summaryrefslogtreecommitdiff
path: root/omegalib/examples/old_test/subsets1
diff options
context:
space:
mode:
Diffstat (limited to 'omegalib/examples/old_test/subsets1')
-rw-r--r--omegalib/examples/old_test/subsets120
1 files changed, 0 insertions, 20 deletions
diff --git a/omegalib/examples/old_test/subsets1 b/omegalib/examples/old_test/subsets1
deleted file mode 100644
index 1b3721d..0000000
--- a/omegalib/examples/old_test/subsets1
+++ /dev/null
@@ -1,20 +0,0 @@
-R := {[x]:x > 1 };
-R;
-R2 := subsetof R;
-R2;
-
-R - R2;
-R subset R2;
-R2 - R;
-R2 subset R;
-
-S := {[x]: x > 0};
-S - R;
-R subset S;
-S - R2;
-R2 subset S;
-
-S2 := {[x]: x > -1};
-S3 := subsetof S2;
-S3 - S;
-S subset S3;