/usr/lib/open-axiom/input/xpoly.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 | )cl all
poly := XPolynomial(Integer)
pr: poly := 2*x + 3*y-5
pr2: poly := pr*pr
pd := expand pr
pd2 := pd*pd
expand(pr2) - pd2
qr := pr**3
qd := pd**3
trunc(qd,2)
trunc(qr,2)
Word := OrderedFreeMonoid Symbol
w: Word := x*y**2
rquo(qr,w)
sh(pr,w::poly)
|