/usr/share/axiom-20170501/input/xpoly.input is in axiom-test 20170501-3.
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)
|