/usr/lib/open-axiom/input/set.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.
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 | -- Input generated from SetXmpPage
)clear all
s := set [x**2-1, y**2-1, z**2-1]
t := set [x**i - i+1 for i in 2..10 | prime? i]
i := intersect(s,t)
u := union(s,t)
difference(s,t)
symmetricDifference(s,t)
member?(y, s)
member?((y+1)*(y-1), s)
subset?(i, s)
subset?(u, s)
gs := set [g for i in 1..11 | primitive?(g := i::PF 11)]
complement gs
a := set [i**2 for i in 1..5]
insert!(32, a)
remove!(25, a)
a
b := b0 := set [i**2 for i in 1..5]
b := union(b, {32})
b := difference(b, {25})
b0
|