/usr/share/axiom-20170501/src/algebra/ODEPROB.spad is in axiom-source 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 | )abbrev domain ODEPROB NumericalODEProblem
++ Author: Brian Dupee
++ Date Created: December 1997
++ Date Last Updated: December 1997
++ References:
++ Dupe95 Using Computer Algebra to Choose and Apply Numerical Routines
++ Dewa92 Using Computer Algebra to Select Numerical Algorithms
++ Description:
++ \axiomType{NumericalODEProblem} is a \axiom{domain}
++ for the representation of Numerical ODE problems for use
++ by ANNA.
++
++ The representation is of type:
++
++ \axiomType{Record}(xinit:\axiomType{DoubleFloat},\br
++ xend:\axiomType{DoubleFloat},\br
++ fn:\axiomType{Vector Expression DoubleFloat},\br
++ yinit:\axiomType{List DoubleFloat},intvals:\axiomType{List DoubleFloat},\br
++ g:\axiomType{Expression DoubleFloat},abserr:\axiomType{DoubleFloat},\br
++ relerr:\axiomType{DoubleFloat})
++
NumericalODEProblem() : SIG == CODE where
DFB ==> DoubleFloat
VEDFB ==> Vector Expression DoubleFloat
LDFB ==> List DoubleFloat
EDFB ==> Expression DoubleFloat
ODEAB ==> Record(xinit:DFB,xend:DFB,fn:VEDFB,yinit:LDFB,intvals:LDFB,
g:EDFB,abserr:DFB,relerr:DFB)
SIG ==> SetCategory with
coerce : ODEAB -> %
++ coerce(x) is not documented
coerce : % -> OutputForm
++ coerce(x) is not documented
retract : % -> ODEAB
++ retract(x) is not documented
CODE ==> add
Rep := ODEAB
coerce(s:ODEAB) == s
coerce(x:%):OutputForm ==
(retract(x))::OutputForm
retract(x:%):ODEAB == x :: Rep
|