/usr/share/axiom-20140801/input/mset2.input is in axiom-test 20140801-6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 | )set break resume
)spool mset2.output
)set message test on
)set message auto off
)clear all
--S 1 of 12
s := multiset [1,2,3,4,5,4,3,2,3,4,5,6,7,4,10]
--R
--R
--R (1) {1,2: 2,3: 3,4: 4,2: 5,6,7,10}
--R Type: Multiset(PositiveInteger)
--E 1
--S 2 of 12
insert!(3,s)
--R
--R
--R (2) {1,2: 2,4: 3,4: 4,2: 5,6,7,10}
--R Type: Multiset(PositiveInteger)
--E 2
--S 3 of 12
remove!(3,s,1); s
--R
--R
--R (3) {1,2: 2,3: 3,4: 4,2: 5,6,7,10}
--R Type: Multiset(PositiveInteger)
--E 3
--S 4 of 12
remove!(5,s); s
--R
--R
--R (4) {1,2: 2,3: 3,4: 4,6,7,10}
--R Type: Multiset(PositiveInteger)
--E 4
--S 5 of 12
count(5,s)
--R
--R
--R (5) 0
--R Type: NonNegativeInteger
--E 5
--S 6 of 12
t := multiset [2,2,2,-9]
--R
--R
--R (6) {3: 2,- 9}
--R Type: Multiset(Integer)
--E 6
--S 7 of 12
U := union(s,t)
--R
--R
--R (7) {1,5: 2,3: 3,4: 4,6,7,10,- 9}
--R Type: Multiset(Integer)
--E 7
--S 8 of 12
I := intersect(s,t)
--R
--R
--R (8) {5: 2}
--R Type: Multiset(Integer)
--E 8
--S 9 of 12
difference(s,t)
--R
--R
--R (9) {1,3: 3,4: 4,6,7,10}
--R Type: Multiset(Integer)
--E 9
--S 10 of 12
S := symmetricDifference(s,t)
--R
--R
--R (10) {1,3: 3,4: 4,6,7,10,- 9}
--R Type: Multiset(Integer)
--E 10
--S 11 of 12
(U = union(S,I))@Boolean
--R
--R
--R (11) true
--R Type: Boolean
--E 11
--S 12 of 12
t1 := multiset [1,2,2,3]; [t1 < t, t1 < s, t < s, t1 <= s]
--R
--R
--R (12) [false,true,false,true]
--R Type: List(Boolean)
--E 12
)spool
)lisp (bye)
|