/usr/share/axiom-20170501/input/distexpr.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 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 | )set break resume
)sys rm -f distexpr.output
)spool distexpr.output
)set message test on
)set message auto off
)clear all
)sys cp $AXIOM/../../src/input/distexpr.input.pamphlet .
)lisp (tangle "distexpr.input.pamphlet" "distexpr.spad" "distexpr.spad")
)co distexpr
--S 1 of 6
ex1:=(2*log(x)+3*exp(y))*(4*sin(z)+2*log(x))
--R
--R
--R y 2 y
--R (1) (8log(x) + 12%e )sin(z) + 4log(x) + 6%e log(x)
--R Type: Expression(Integer)
--E 1
--S 2 of 6
ex2:=8*log(x)*sin(z)+4*log(x)^2+12*exp(y)*sin(z)+6*exp(y)*log(x)
--R
--R
--R y 2 y
--R (2) (8log(x) + 12%e )sin(z) + 4log(x) + 6%e log(x)
--R Type: Expression(Integer)
--E 2
--S 3 of 6
subst(ex1, kernels ex1, [x1,x2,x3])::DMP([x1,x2,x3],INT)
--R
--R
--R 2
--R (3) 8x1 x2 + 12x1 x3 + 4x2 + 6x2 x3
--R Type: DistributedMultivariatePolynomial([x1,x2,x3],Integer)
--E 3
--S 4 of 6
ex1::DistributedExpression(Integer)
--R
--R
--R y y 2
--R (4) 6%e log(x) + 12%e sin(z) + 4log(x) + 8log(x)sin(z)
--R Type: DistributedExpression(Integer)
--E 4
--S 5 of 6
((1+2*a+3*b)*(4*c+5*d))::DEXPR INT
--R
--R
--R (5) 8a c + 10a d + 12b c + 15b d + 4c + 5d
--R Type: DistributedExpression(Integer)
--E 5
--S 6 of 6
((1+2*a+3*b)*(4*c+5*d))::POLY INT
--R
--R
--R (6) (15b + 10a + 5)d + (12b + 8a + 4)c
--R Type: Polynomial(Integer)
--E 6
)spool
)lisp (bye)
|