/usr/lib/open-axiom/input/roots.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 | --Copyright The Numerical Algorithms Group Limited 1991.
)cl completely
-- This will compute all the roots of x**4 + 1 = 0
lr:=rootsOf(x**4+1,x)
-- the new expressions satisfy
definingPolynomial %x0
definingPolynomial %x1
--the product of the first three is a root
lr.1 * lr.2 * lr.3
%**4
-- so is the sum
lr.1 + lr.2 + lr.3
%**4
|