/usr/share/axiom-20170501/src/algebra/INTFTBL.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 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 | )abbrev domain INTFTBL IntegrationFunctionsTable
++ Author: Brian Dupee
++ Date Created: March 1995
++ Date Last Updated: June 1995
++ Description:
++ There is no description for this domain
IntegrationFunctionsTable() : SIG == CODE where
EF2 ==> ExpressionFunctions2
EFI ==> Expression Fraction Integer
FI ==> Fraction Integer
LEDF ==> List Expression DoubleFloat
KEDF ==> Kernel Expression DoubleFloat
EEDF ==> Equation Expression DoubleFloat
EDF ==> Expression DoubleFloat
PDF ==> Polynomial DoubleFloat
LDF ==> List DoubleFloat
SDF ==> Stream DoubleFloat
DF ==> DoubleFloat
F ==> Float
ST ==> String
LST ==> List String
SI ==> SingleInteger
SOCDF ==> Segment OrderedCompletion DoubleFloat
OCDF ==> OrderedCompletion DoubleFloat
OCEDF ==> OrderedCompletion Expression DoubleFloat
EOCEFI ==> Equation OrderedCompletion Expression Fraction Integer
OCEFI ==> OrderedCompletion Expression Fraction Integer
OCFI ==> OrderedCompletion Fraction Integer
NIA ==> Record(var:Symbol,fn:EDF,range:SOCDF,abserr:DF,relerr:DF)
INT ==> Integer
CTYPE ==> Union(continuous: "Continuous at the end points",
lowerSingular: "There is a singularity at the lower end point",
upperSingular: "There is a singularity at the upper end point",
bothSingular: "There are singularities at both end points",
notEvaluated: "End point continuity not yet evaluated")
RTYPE ==> Union(finite: "The range is finite",
lowerInfinite: "The bottom of range is infinite",
upperInfinite: "The top of range is infinite",
bothInfinite: "Both top and bottom points are infinite",
notEvaluated: "Range not yet evaluated")
STYPE ==> Union(str:SDF,
notEvaluated:"Internal singularities not yet evaluated")
ATT ==> Record(endPointContinuity:CTYPE,
singularitiesStream:STYPE,range:RTYPE)
ROA ==> Record(key:NIA,entry:ATT)
SIG ==> with
showTheFTable : () -> $
++ showTheFTable() returns the current table of functions.
clearTheFTable : () -> Void
++ clearTheFTable() clears the current table of functions.
keys : $ -> List(NIA)
++ keys(f) returns the list of keys of f
fTable : List Record(key:NIA,entry:ATT) -> $
++ fTable(l) creates a functions table from the elements of l.
insert! : Record(key:NIA,entry:ATT) -> $
++ insert!(r) inserts an entry r into theIFTable
showAttributes : NIA -> Union(ATT,"failed")
++ showAttributes(x) is not documented
entries : $ -> List Record(key:NIA,entry:ATT)
++ entries(x) is not documented
entry : NIA -> ATT
++ entry(n) is not documented
CODE ==> add
Rep := Table(NIA,ATT)
import Rep
theFTable:$ := empty()$Rep
showTheFTable():$ ==
theFTable
clearTheFTable():Void ==
theFTable := empty()$Rep
void()$Void
fTable(l:List Record(key:NIA,entry:ATT)):$ ==
theFTable := table(l)$Rep
insert!(r:Record(key:NIA,entry:ATT)):$ ==
insert!(r,theFTable)$Rep
keys(t:$):List NIA ==
keys(t)$Rep
showAttributes(k:NIA):Union(ATT,"failed") ==
search(k,theFTable)$Rep
entries(t:$):List Record(key:NIA,entry:ATT) ==
members(t)$Rep
entry(k:NIA):ATT ==
qelt(theFTable,k)$Rep
|