/usr/lib/open-axiom/input/xpr.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 | )cl all
Word := OrderedFreeMonoid(Symbol)
poly:= XPR(Integer,Word)
p:poly := 2 * x - 3 * y + 1
q:poly := 2 * x + 1
p + q
p * q
(p +q)^2 -p^2 -q^2 - 2*p*q
M := SquareMatrix(2,Fraction Integer)
poly1:= XPR(M,Word)
m1:M := matrix [[i*j**2 for i in 1..2] for j in 1..2]
m2:M := m1 - 5/4
m3: M := m2**2
pm:poly1 := m1*x + m2*y + m3*z - 2/3
qm:poly1 := pm - m1*x
qm**3
|