/usr/share/axiom-20120501/input/mpoly.input is in axiom-test 20120501-8.
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 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 | )set break resume
)spool mpoly.output
)set message test on
)set message auto off
)clear all
--S 1 of 10
m : MPOLY([x,y],INT) := (x**2 - x*y**3 +3*y)**2
--R
--R
--R 4 3 3 6 2 4 2
--R (1) x - 2y x + (y + 6y)x - 6y x + 9y
--R Type: MultivariatePolynomial([x,y],Integer)
--E 1
--S 2 of 10
m :: MPOLY([y,x],INT)
--R
--R
--R 2 6 4 3 3 2 2 4
--R (2) x y - 6x y - 2x y + 9y + 6x y + x
--R Type: MultivariatePolynomial([y,x],Integer)
--E 2
--S 3 of 10
p : MPOLY([x,y],POLY INT)
--R
--R Type: Void
--E 3
--S 4 of 10
p := (a**2*x - b*y**2 + 1)**2
--R
--R
--R 4 2 2 2 2 2 4 2
--R (4) a x + (- 2a b y + 2a )x + b y - 2b y + 1
--R Type: MultivariatePolynomial([x,y],Polynomial(Integer))
--E 4
--S 5 of 10
p :: POLY INT
--R
--R
--R 2 4 2 2 4 2 2
--R (5) b y + (- 2a b x - 2b)y + a x + 2a x + 1
--R Type: Polynomial(Integer)
--E 5
--S 6 of 10
% :: MPOLY([a,b],POLY INT)
--R
--R
--R 2 4 2 2 4 2 2
--R (6) x a + (- 2x y b + 2x)a + y b - 2y b + 1
--R Type: MultivariatePolynomial([a,b],Polynomial(Integer))
--E 6
--S 7 of 10
q : UP(x, FRAC MPOLY([y,z],INT))
--R
--R Type: Void
--E 7
--S 8 of 10
q := (x**2 - x*(z+1)/y +2)**2
--R
--R
--R 2 2
--R 4 - 2z - 2 3 4y + z + 2z + 1 2 - 4z - 4
--R (8) x + -------- x + ----------------- x + -------- x + 4
--R y 2 y
--R y
--RType: UnivariatePolynomial(x,Fraction(MultivariatePolynomial([y,z],Integer)))
--E 8
--S 9 of 10
q :: UP(z, FRAC MPOLY([x,y],INT))
--R
--R
--R (9)
--R 2 3 2 2 4 3 2 2 2
--R x 2 - 2y x + 2x - 4y x y x - 2y x + (4y + 1)x - 4y x + 4y
--R -- z + -------------------- z + ---------------------------------------
--R 2 2 2
--R y y y
--RType: UnivariatePolynomial(z,Fraction(MultivariatePolynomial([x,y],Integer)))
--E 9
--S 10 of 10
q :: MPOLY([x,z], FRAC UP(y,INT))
--R
--R
--R 2
--R 4 2 2 3 1 2 2 4y + 1 2 4 4
--R (10) x + (- - z - -)x + (-- z + -- z + -------)x + (- - z - -)x + 4
--R y y 2 2 2 y y
--R y y y
--RType: MultivariatePolynomial([x,z],Fraction(UnivariatePolynomial(y,Integer)))
--E 10
)spool
)lisp (bye)
|