/usr/lib/open-axiom/input/magma.input is in open-axiom-test 1.5.0~svn3056+ds-1.
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 | )cl all
x:Symbol :='x
y:Symbol :='y
z:Symbol :='z
word := OrderedFreeMonoid(Symbol)
tree := Magma(Symbol)
a:tree := x*x
b:tree := y*y
c:tree := a*b
left c
right c
length c
c::word
a < b
a < c
b < c
first c
rest c
rest rest c
ax:tree := a*x
xa:tree := x*a
xa < ax
lexico(xa,ax)
|