Skip to content

Instantly share code, notes, and snippets.

@seantalts
Created March 19, 2019 09:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save seantalts/e0fa63de59a679bfd179699092d2401a to your computer and use it in GitHub Desktop.
Save seantalts/e0fa63de59a679bfd179699092d2401a to your computer and use it in GitHub Desktop.
mitzi's mother model
// gen_test_mother1
// tests functions from current impelmentation:
// generate_functions(prog.function_decl_defs_, o);
// generate_member_var_decls_all(prog, o);
// generate_constructor(prog, model_name, o);
// generate_transform_inits_method(prog.parameter_decl_, o);
functions {
int foo(int n);
int foo(int n) {
if (n == 0) return 1;
return n * foo(n - 1);
}
real[] sho(real t,
real[] y,
real[] theta,
data real[] x,
data int[] x_int) ;
real[] sho(real t,
real[] y,
real[] theta,
data real[] x,
data int[] x_int) {
real dydt[2];
dydt[1] = y[2];
dydt[2] = -y[1] - theta[1] * y[2];
return dydt;
}
real foo_bar0() {
return 0.0;
}
real foo_bar1(real x) {
return 1.0;
}
real foo_bar2(real x, real y) {
return 2.0;
}
real foo_lpmf(int y, real lambda) {
return 1.0;
}
real foo_lcdf(int y, real lambda) {
return 1.0;
}
real foo_lccdf(int y, real lambda) {
return 1.0;
}
void unit_normal_lp(real u) {
increment_log_prob(normal_log(u,0,1));
u ~ uniform(-100,100);
}
int foo_1(int a) {
// direct while
while (1) break;
while (0) continue;
// direct for
for (i in 1:10) break;
for (i in 1:10) continue;
// in statement seq
while (1) {
int b;
b = 5;
break;
}
// if, else if, else body
while (1) {
if (0) break;
else if (1) break;
else break;
}
// nested while
while (1) while (0) break;
// nested for
while (1) {
for (i in 1:10) break;
}
// nested foreach (array)
while (1) {
int vs[2, 3];
int z;
for (v in vs) {
z = 0;
break;
}
for (v in vs) {
z = 0;
continue;
}
for (v in vs) {
for (vv in v) {
z = 0;
break;
}
z = 1;
}
}
// nested foreach (matrix)
while (1) {
real z;
matrix[2,3] vs;
for (v in vs) {
z = 0;
break;
}
for (v in vs) {
z = 3.1;
continue;
}
}
// nested foreach (vector)
while (1) {
real z;
vector[2] vs;
for (v in vs) {
z = 0;
break;
}
for (v in vs) {
z = 3.2;
continue;
}
}
// nested foreach (rowvector)
while (1) {
real z;
row_vector[2] vs;
for (v in vs) {
z = 0;
break;
}
for (v in vs) {
z = 3.3;
continue;
}
}
// nested block
while (1) {
int b;
b = 5;
{
int c;
c = 6;
break;
}
}
return 0;
}
int foo_2(int a) {
int vs[2];
int y;
for (v in vs) y = v;
return 0;
}
real[] foo_3(real t, int n) {
return rep_array(t,n);
}
real foo_lp(real x) {
return x + get_lp();
}
void foo_4(real x) {
reject("user-specified rejection");
}
real relative_diff(real x, real y, real max_, real min_) {
real abs_diff;
real avg_scale;
abs_diff = fabs(x - y);
avg_scale = (fabs(x) + fabs(y)) / 2;
if ((abs_diff / avg_scale) > max_)
reject("user-specified rejection, difference above ",max_," x:",x," y:",y);
if ((abs_diff / avg_scale) < min_)
reject("user-specified rejection, difference below ",min_," x:",x," y:",y);
return abs_diff / avg_scale;
}
vector foo_5(vector shared_params, vector job_params,
data real[] data_r, data int[] data_i) {
return [1, 2, 3]';
}
}
data {
int<lower=0> N;
int<lower=0> M;
int<lower=0, upper=N*M> K;
int<upper=N> d_int_1d_ar[N];
int<upper=N> d_int_3d_ar[N,M,K];
real<lower=-2.0, upper=2.0> J;
real d_real_1d_ar[N];
real d_real_3d_ar[N,M,K];
vector[N] d_vec;
vector[N] d_1d_vec[N];
vector[N] d_3d_vec[N,M,K];
row_vector[N] d_row_vec;
row_vector[N] d_1d_row_vec[N];
row_vector[N] d_3d_row_vec[N,M,K];
matrix<lower=0,upper=1>[2,3] d_ar_mat[4,5];
simplex[N] d_simplex;
simplex[N] d_1d_simplex[N];
simplex[N] d_3d_simplex[N,M,K];
cholesky_factor_cov[5,4] d_cfcov_54;
cholesky_factor_cov[3] d_cfcov_33;
cholesky_factor_cov[3] d_cfcov_33_ar[K];
}
transformed data {
int td_a = N;
real td_b = N * J;
real td_c = foo_bar1(td_b);
matrix<lower=0,upper=1>[2,3] td_ar_mat[4,5];
simplex[N] td_simplex;
simplex[N] td_1d_simplex[N];
simplex[N] td_3d_simplex[N,M,K];
cholesky_factor_cov[5,4] td_cfcov_54;
cholesky_factor_cov[3] td_cfcov_33;
for (i in 1:4) {
for (j in 1:5) {
matrix[2,3] l_mat = d_ar_mat[i,j];
print("ar dim1: ",i, " ar dim2: ",j, " matrix: ", l_mat);
}
}
{
real z;
row_vector[2] vs;
for (v in vs) {
z = 0;
}
}
}
parameters {
real p_real;
real p_real_1d_ar[N];
real p_real_3d_ar[N,M,K];
vector<lower=0>[N] p_vec;
vector[N] p_1d_vec[N];
vector[N] p_3d_vec[N,M,K];
row_vector[N] p_row_vec;
row_vector[N] p_1d_row_vec[N];
row_vector[N] p_3d_row_vec[N,M,K];
matrix<lower=0,upper=1>[2,3] p_ar_mat[4,5];
simplex[N] p_simplex;
simplex[N] p_1d_simplex[N];
simplex[N] p_3d_simplex[N,M,K];
cholesky_factor_cov[5,4] p_cfcov_54;
cholesky_factor_cov[3] p_cfcov_33;
cholesky_factor_cov[3] p_cfcov_33_ar[K];
}
transformed parameters {
real<lower = 0> tp_real_1d_ar[N];
real<lower = 0> tp_real_3d_ar[N,M,K];
vector<upper=1>[N] tp_vec;
vector[N] tp_1d_vec[N];
vector[N] tp_3d_vec[N,M,K];
row_vector[N] tp_row_vec;
row_vector[N] tp_1d_row_vec[N];
row_vector[N] tp_3d_row_vec[N,M,K];
matrix<lower=0,upper=1>[2,3] tp_ar_mat[4,5];
simplex[N] tp_simplex;
simplex[N] tp_1d_simplex[N];
simplex[N] tp_3d_simplex[N,M,K];
cholesky_factor_cov[5,4] tp_cfcov_54;
cholesky_factor_cov[3] tp_cfcov_33;
cholesky_factor_cov[3] tp_cfcov_33_ar[K];
for (i in 1:N) tp_vec[i] = -1.0 * p_vec[i];
}
model {
real r1 = foo_bar1(p_real);
real r2 = foo_bar1(J);
p_real ~ normal(0,1);
}
generated quantities {
real gq_r1 = foo_bar1(p_real);
real gq_r2 = foo_bar1(J);
real<lower = 0> gq_real_1d_ar[N];
real<lower = 0> gq_real_3d_ar[N,M,K];
vector<upper=1>[N] gq_vec;
vector[N] gq_1d_vec[N];
vector[N] gq_3d_vec[N,M,K];
row_vector[N] gq_row_vec;
row_vector[N] gq_1d_row_vec[N];
row_vector[N] gq_3d_row_vec[N,M,K];
matrix<lower=0,upper=1>[2,3] gq_ar_mat[4,5];
simplex[N] gq_simplex;
simplex[N] gq_1d_simplex[N];
simplex[N] gq_3d_simplex[N,M,K];
cholesky_factor_cov[5,4] gq_cfcov_54;
cholesky_factor_cov[3] gq_cfcov_33;
cholesky_factor_cov[3] gq_cfcov_33_ar[K];
for (i in 1:N) gq_vec[i] = -1.0 * p_vec[i];
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment