/usr/lib/open-axiom/input/robidoux.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 15 16 17 18 19 20 21 22 | --Copyright The Numerical Algorithms Group Limited 1994.
)clear all
-- from the paper:
-- Does OpenAxiom Solve Systems of O.D.E.'s Like Mathematica?
-- Nicolas Robidoux University of New Mexico 24 June 1993
X1:=operator 'X1
deq1:=D(X1 t,t)=(1+ cos t /(2+sin t)) * X1 t
solve(deq1,X1,t)
C1*%.basis.1
function(%,'x1,'t)
x1
X2:=operator 'X2
deq2:=D(X2 t,t)=x1 t - X2 t
solve(deq2,X2,t)
%.particular
simplify %
%+C2*%%(-3).basis.1
function(%,'x2,'t)
x2
-- we can stop here because the answer is improved over the
-- one given in the paper.
x1 t
|