/usr/lib/open-axiom/input/op1.input is in open-axiom-test 1.4.1+svn~2299+ds-1ubuntu1.
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 | -- Input generated from OperatorXmpPage
)clear all
R := SQMATRIX(2, INT)
t := operator("tilde") :: OP(R)
)set expose add constructor Operator
evaluate(t, m +-> transpose m)
s : R := matrix [[0, 1], [1, 0]]
rho := t * s
z := rho**4 - 1
m:R := matrix [[1, 2], [3, 4]]
z m
rho m
rho rho m
(rho**3) m
b := t * s - s * t
b m
L n ==
n = 0 => 1
n = 1 => x
(2*n-1)/n * x * L(n-1) - (n-1)/n * L(n-2)
dx := operator("D") :: OP(POLY FRAC INT)
evaluate(dx, p +-> D(p, 'x))
E n == (1 - x**2) * dx**2 - 2 * x * dx + n*(n+1)
L 15
E 15
(E 15)(L 15)
|