/usr/lib/open-axiom/input/poly1.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 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 | -- Input generated from PolynomialXmpPage
)clear all
x + 1
z - 2.3
y**2 - z + 3/4
y **2 + x*y + y
% :: DMP([y,x],INT)
p := (y-1)**2 * x * z
q := (y-1) * x * (z+5)
factor(q)
p - q**2
gcd(p,q)
factor %
lcm(p,q)
content p
resultant(p,q,z)
resultant(p,q,x)
mainVariable p
mainVariable(1 :: POLY INT)
ground? p
ground?(1 :: POLY INT)
variables p
degree(p,x)
degree(p,y)
degree(p,z)
degree(p,[x,y,z])
minimumDegree(p,z)
totalDegree p
leadingMonomial p
reductum p
p - leadingMonomial p - reductum p
leadingCoefficient p
p
eval(p,x,w)
eval(p,x,1)
eval(p,x,y**2 - 1)
D(p,x)
D(p,y)
D(p,z)
integrate(p,y)
qr := monicDivide(p,x+1,x)
qr.remainder
p - ((x+1) * qr.quotient + qr.remainder)
p/q
(2/3) * x**2 - y + 4/5
% :: FRAC POLY INT
% :: POLY FRAC INT
map(numeric,%)
|