diff options
| -rw-r--r-- | impl/systems/basic-range | 2 | ||||
| -rw-r--r-- | impl/systems/example.eqns | 6 | ||||
| -rw-r--r-- | impl/systems/range-test | 1 |
3 files changed, 6 insertions, 3 deletions
diff --git a/impl/systems/basic-range b/impl/systems/basic-range new file mode 100644 index 0000000..c6bf8fa --- /dev/null +++ b/impl/systems/basic-range @@ -0,0 +1,2 @@ +x = [0, 1] +y = -[0, 1] diff --git a/impl/systems/example.eqns b/impl/systems/example.eqns index 71ee74a..9ef3135 100644 --- a/impl/systems/example.eqns +++ b/impl/systems/example.eqns @@ -1,3 +1,3 @@ -x1 = max(0, min(x1-1, x2)) -x2 = max(0, 5+x1, x1) -x3 = max(0, 1+x3, 0+x1) +x1 = max([0,0], min(x1-[1,1], x2)) +x2 = max([0,0], [5,5]+x1, x1) +x3 = max([0,0], [1,1]+x3, [0,0]+x1) diff --git a/impl/systems/range-test b/impl/systems/range-test new file mode 100644 index 0000000..c2ac047 --- /dev/null +++ b/impl/systems/range-test @@ -0,0 +1 @@ +x = max([0, 1], -x + [-1, 1]) |