/usr/share/axiom-20170501/src/algebra/NIPROB.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 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 | )abbrev domain NIPROB NumericalIntegrationProblem
++ 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{NumericalIntegrationProblem} is a \axiom{domain}
++ for the representation of Numerical Integration problems for use
++ by ANNA.
++
++ The representation is a Union of two record types - one for integration of
++ a function of one variable:
++
++ \axiomType{Record}(var:\axiomType{Symbol},\br
++ fn:\axiomType{Expression DoubleFloat},\br
++ range:\axiomType{Segment OrderedCompletion DoubleFloat},\br
++ abserr:\axiomType{DoubleFloat},\br
++ relerr:\axiomType{DoubleFloat},)
++
++ and one for multivariate integration:
++
++ \axiomType{Record}(fn:\axiomType{Expression DoubleFloat},\br
++ range:\axiomType{List Segment OrderedCompletion DoubleFloat},\br
++ abserr:\axiomType{DoubleFloat},\br
++ relerr:\axiomType{DoubleFloat},).
NumericalIntegrationProblem() : SIG == CODE where
EDFA ==> Expression DoubleFloat
SOCDFA ==> Segment OrderedCompletion DoubleFloat
DFA ==> DoubleFloat
NIAA ==> Record(var:Symbol,fn:EDFA,range:SOCDFA,abserr:DFA,relerr:DFA)
MDNIAA ==> Record(fn:EDFA,range:List SOCDFA,abserr:DFA,relerr:DFA)
SIG ==> SetCategory with
coerce : NIAA -> %
++ coerce(x) is not documented
coerce : MDNIAA -> %
++ coerce(x) is not documented
coerce : Union(nia:NIAA,mdnia:MDNIAA) -> %
++ coerce(x) is not documented
coerce : % -> OutputForm
++ coerce(x) is not documented
retract : % -> Union(nia:NIAA,mdnia:MDNIAA)
++ retract(x) is not documented
CODE ==> add
Rep := Union(nia:NIAA,mdnia:MDNIAA)
coerce(s:NIAA) == [s]
coerce(s:MDNIAA) == [s]
coerce(s:Union(nia:NIAA,mdnia:MDNIAA)) == s
coerce(x:%):OutputForm ==
(x) case nia => (x.nia)::OutputForm
(x.mdnia)::OutputForm
retract(x:%):Union(nia:NIAA,mdnia:MDNIAA) ==
(x) case nia => [x.nia]
[x.mdnia]
|