/usr/share/axiom-20170501/input/sincosex.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 | )set break resume
)spool sincosex.output
)set message test on
)set message auto off
)clear all
--S 1 of 1
sinCosExpand := rule
sin(-x) == - sin(x)
cos(-x) == cos(x)
sin(x + y) == sin(x) * cos(y) + sin(y) * cos(x)
cos(x + y) == cos(x) * cos(y) - sin(x) * sin(y)
sin((n | integer? n and n > 1) * x) ==_
sin(x) * cos((n-1)*x) + sin((n-1)*x) * cos(x)
cos((n | integer? n and n > 1) * x) ==_
cos(x) * cos((n-1)*x) - sin(x) * sin((n-1)*x)
--R
--R
--R (1)
--R {- %B sin(x) == - %B sin(x), cos(x) == cos(x),
--R sin(y + x) == cos(x)sin(y) + cos(y)sin(x),
--R cos(y + x) == - sin(x)sin(y) + cos(x)cos(y),
--R sin(n x) == cos(x)sin((n - 1)x) + cos((n - 1)x)sin(x),
--R cos(n x) == - sin(x)sin((n - 1)x) + cos(x)cos((n - 1)x)}
--R Type: Ruleset(Integer,Integer,Expression(Integer))
--E 1
)spool
)lisp (bye)
|