add stur files for tests

edin-dal · Jul 18, 2024 · 0ae3c34 · 0ae3c34
1 parent be66cfc
commit 0ae3c34
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/examples/covar.stur b/examples/covar.stur
@@ -0,0 +1,4 @@
+symbols: N, M
+covar(j, k) := X(i, j) * X(i, k)
+covar:D(i, j) := (0 <= i < N) * (0 <= j < N)
+X:D(i, j) := (0 <= i < M) * (0 <= j < N)
diff --git a/examples/pseudo-lr-training.stur b/examples/pseudo-lr-training.stur
@@ -0,0 +1,13 @@
+symbols: N, P
+outputs: DW, covar
+covar(i, k) := X(j, i) * X(j, k)
+T1(i) := covar(i, j) * w(i)
+T2(i) := X(j, i) * y(j)
+DW(i) := T1(i) + T2(i)
+X:D(j, i) := (0 <= j) * (j < N) * (0 <= i) * (i < P)
+y:D(j) := (0 <= j) * (j < N)
+w:D(i) := (0 <= i) * (i < P)
+covar:D(i, k) := (0 <= i) * (i < P) * (0 <= k) * (k < P)
+T1:D(i) := (0 <= i) * (i < P)
+T2:D(i) := (0 <= i) * (i < P)
+DW:D(i) := (0 <= i) * (i < P)