/usr/share/axiom-20170501/src/algebra/LOCPOWC.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 | )abbrev category LOCPOWC LocalPowerSeriesCategory
LocalPowerSeriesCategory(K) : Category == SIG where
K : Field
INT ==> Integer
TERM ==> Record(k:INT,c:K)
SER ==> Stream(TERM)
NNI ==> NonNegativeInteger
SIG ==> Join(Field,UnivariatePowerSeriesCategory(K,INT)) with
order : % -> Integer
++ order(s) returns the order of s.
findCoef : (%,Integer) -> K
coerce : SER -> %
coerce : % -> SER
posExpnPart : % -> %
++ posExpnPart(s) returns the series s less the terms with
++ negative exponant.
orderIfNegative : % -> Union(Integer,"failed")
removeFirstZeroes : % -> %
sbt : (%,%) -> %
delay : ( () -> % ) -> %
++ delay delayed the computation of the next term of the series given
++ by the input function.
monomial2series : (List %, List NNI, INT) -> %
++ monomial2series(ls,le,n) returns
++ t**n * reduce("*",[s ** e for s in ls for e in le])
removeZeroes : (INT,%) -> %
++ removeZeroes(n,s) removes the zero terms in the first n terms of s.
removeZeroes : % -> %
++ removeZeroes(s) removes the zero terms in s.
series : (INT,K,%) -> %
++ series(e,c,s) create the series c*t**e + s.
shift : (%,INT) -> %
++ shift(s,n) returns t**n * s
filterUpTo : (%,INT) -> %
++ filterUpTo(s,n) returns the series consisting of the terms
++ of s having degree strictly less than n.
coefOfFirstNonZeroTerm : % -> K
++ coefOfFirstNonZeroTerm(s) returns the first non zero coefficient
++ of the series.
printInfo : Boolean -> Boolean
++ printInfo(b) set a flag such that when true (b <- true) prints
++ some information during some critical computation.
printInfo : () -> Boolean
++ printInfo() returns the value of the \spad{printInfo} flag.
|