diff options
Diffstat (limited to 'omegalib/examples/old_test/subsets1')
-rw-r--r-- | omegalib/examples/old_test/subsets1 | 20 |
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; |