diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-13 07:49:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-13 07:49:23 +0000 |
| commit | 667ec69af3090bccd576e23e56a229168f8733b7 (patch) | |
| tree | 29c79e3c4e3c651bd24ea8aa64188185f596931a /src/share/algebra/browse.daase | |
| parent | 82c5eafa04137f6c660d8b4d3f8512587d4fef9c (diff) | |
| download | open-axiom-667ec69af3090bccd576e23e56a229168f8733b7.tar.gz | |
small cleanup
Diffstat (limited to 'src/share/algebra/browse.daase')
| -rw-r--r-- | src/share/algebra/browse.daase | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/src/share/algebra/browse.daase b/src/share/algebra/browse.daase index 3b549dc3..e77bac28 100644 --- a/src/share/algebra/browse.daase +++ b/src/share/algebra/browse.daase @@ -1,5 +1,5 @@ -(2296269 . 3487980641) +(2296269 . 3487991533) (-18 A S) ((|constructor| (NIL "One-dimensional-array aggregates serves as models for one-dimensional arrays. Categorically,{} these aggregates are finite linear aggregates with the \\spadatt{shallowlyMutable} property,{} that is,{} any component of the array may be changed without affecting the identity of the overall array. Array data structures are typically represented by a fixed area in storage and therefore cannot efficiently grow or shrink on demand as can list structures (see however \\spadtype{FlexibleArray} for a data structure which is a cross between a list and an array). Iteration over,{} and access to,{} elements of arrays is extremely fast (and often can be optimized to open-code). Insertion and deletion however is generally slow since an entirely new data structure must be created for the result."))) NIL @@ -88,7 +88,7 @@ NIL ((|constructor| (NIL "Factorization of univariate polynomials with coefficients in \\spadtype{AlgebraicNumber}.")) (|doublyTransitive?| (((|Boolean|) |#1|) "\\spad{doublyTransitive?(p)} is \\spad{true} if \\spad{p} is irreducible over over the field \\spad{K} generated by its coefficients,{} and if \\spad{p(X) / (X - a)} is irreducible over \\spad{K(a)} where \\spad{p(a) = 0}.")) (|split| (((|Factored| |#1|) |#1|) "\\spad{split(p)} returns a prime factorisation of \\spad{p} over its splitting field.")) (|factor| (((|Factored| |#1|) |#1|) "\\spad{factor(p)} returns a prime factorisation of \\spad{p} over the field generated by its coefficients.") (((|Factored| |#1|) |#1| (|List| (|AlgebraicNumber|))) "\\spad{factor(p, [a1,...,an])} returns a prime factorisation of \\spad{p} over the field generated by its coefficients and a1,{}...,{}an."))) NIL NIL -(-40 -1985 UP UPUP -4286) +(-40 -1985 UP UPUP -1688) ((|constructor| (NIL "Function field defined by \\spad{f}(\\spad{x},{} \\spad{y}) = 0.")) (|knownInfBasis| (((|Void|) (|NonNegativeInteger|)) "\\spad{knownInfBasis(n)} \\undocumented{}"))) ((-4463 |has| (-420 |#2|) (-375)) (-4468 |has| (-420 |#2|) (-375)) (-4462 |has| (-420 |#2|) (-375)) ((-4472 "*") . T) (-4464 . T) (-4465 . T) (-4467 . T)) ((|HasCategory| (-420 |#2|) (QUOTE (-146))) (|HasCategory| (-420 |#2|) (QUOTE (-148))) (|HasCategory| (-420 |#2|) (QUOTE (-361))) (-2811 (|HasCategory| (-420 |#2|) (QUOTE (-375))) (|HasCategory| (-420 |#2|) (QUOTE (-361)))) (|HasCategory| (-420 |#2|) (QUOTE (-375))) (|HasCategory| (-420 |#2|) (QUOTE (-380))) (-2811 (-12 (|HasCategory| (-420 |#2|) (QUOTE (-239))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (|HasCategory| (-420 |#2|) (QUOTE (-361)))) (-2811 (-12 (|HasCategory| (-420 |#2|) (QUOTE (-239))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (-12 (|HasCategory| (-420 |#2|) (QUOTE (-238))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (|HasCategory| (-420 |#2|) (QUOTE (-361)))) (-2811 (-12 (|HasCategory| (-420 |#2|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (-12 (|HasCategory| (-420 |#2|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| (-420 |#2|) (QUOTE (-361))))) (-2811 (-12 (|HasCategory| (-420 |#2|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (-12 (|HasCategory| (-420 |#2|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| (-420 |#2|) (QUOTE (-375))))) (|HasCategory| (-420 |#2|) (LIST (QUOTE -654) (QUOTE (-577)))) (-2811 (|HasCategory| (-420 |#2|) (LIST (QUOTE -1063) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (|HasCategory| (-420 |#2|) (LIST (QUOTE -1063) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| (-420 |#2|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-380))) (-12 (|HasCategory| (-420 |#2|) (QUOTE (-238))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (-12 (|HasCategory| (-420 |#2|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (-12 (|HasCategory| (-420 |#2|) (QUOTE (-239))) (|HasCategory| (-420 |#2|) (QUOTE (-375)))) (-12 (|HasCategory| (-420 |#2|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| (-420 |#2|) (QUOTE (-375))))) @@ -1128,7 +1128,7 @@ NIL ((|constructor| (NIL "An eltable aggregate is one which can be viewed as a function. For example,{} the list \\axiom{[1,{}7,{}4]} can applied to 0,{}1,{} and 2 respectively will return the integers 1,{}7,{} and 4; thus this list may be viewed as mapping 0 to 1,{} 1 to 7 and 2 to 4. In general,{} an aggregate can map members of a domain {\\em Dom} to an image domain {\\em Im}.")) (|qsetelt!| ((|#2| $ |#1| |#2|) "\\spad{qsetelt!(u,x,y)} sets the image of \\axiom{\\spad{x}} to be \\axiom{\\spad{y}} under \\axiom{\\spad{u}},{} without checking that \\axiom{\\spad{x}} is in the domain of \\axiom{\\spad{u}}. If such a check is required use the function \\axiom{setelt}.")) (|setelt| ((|#2| $ |#1| |#2|) "\\spad{setelt(u,x,y)} sets the image of \\spad{x} to be \\spad{y} under \\spad{u},{} assuming \\spad{x} is in the domain of \\spad{u}. Error: if \\spad{x} is not in the domain of \\spad{u}.")) (|qelt| ((|#2| $ |#1|) "\\spad{qelt(u, x)} applies \\axiom{\\spad{u}} to \\axiom{\\spad{x}} without checking whether \\axiom{\\spad{x}} is in the domain of \\axiom{\\spad{u}}. If \\axiom{\\spad{x}} is not in the domain of \\axiom{\\spad{u}} a memory-access violation may occur. If a check on whether \\axiom{\\spad{x}} is in the domain of \\axiom{\\spad{u}} is required,{} use the function \\axiom{elt}.")) (|elt| ((|#2| $ |#1| |#2|) "\\spad{elt(u, x, y)} applies \\spad{u} to \\spad{x} if \\spad{x} is in the domain of \\spad{u},{} and returns \\spad{y} otherwise. For example,{} if \\spad{u} is a polynomial in \\axiom{\\spad{x}} over the rationals,{} \\axiom{elt(\\spad{u},{}\\spad{n},{}0)} may define the coefficient of \\axiom{\\spad{x}} to the power \\spad{n},{} returning 0 when \\spad{n} is out of range."))) NIL NIL -(-300 S R |Mod| -3222 -3955 |exactQuo|) +(-300 S R |Mod| -2871 -1334 |exactQuo|) ((|constructor| (NIL "These domains are used for the factorization and gcds of univariate polynomials over the integers in order to work modulo different primes. See \\spadtype{ModularRing},{} \\spadtype{ModularField}")) (|inv| (($ $) "\\spad{inv(x)} \\undocumented")) (|recip| (((|Union| $ "failed") $) "\\spad{recip(x)} \\undocumented")) (|exQuo| (((|Union| $ "failed") $ $) "\\spad{exQuo(x,y)} \\undocumented")) (|reduce| (($ |#2| |#3|) "\\spad{reduce(r,m)} \\undocumented")) (|coerce| ((|#2| $) "\\spad{coerce(x)} \\undocumented")) (|modulus| ((|#3| $) "\\spad{modulus(x)} \\undocumented"))) ((-4463 . T) ((-4472 "*") . T) (-4464 . T) (-4465 . T) (-4467 . T)) NIL @@ -1251,7 +1251,7 @@ NIL (-330 FE |var| |cen|) ((|constructor| (NIL "ExponentialOfUnivariatePuiseuxSeries is a domain used to represent essential singularities of functions. An object in this domain is a function of the form \\spad{exp(f(x))},{} where \\spad{f(x)} is a Puiseux series with no terms of non-negative degree. Objects are ordered according to order of singularity,{} with functions which tend more rapidly to zero or infinity considered to be larger. Thus,{} if \\spad{order(f(x)) < order(g(x))},{} \\spadignore{i.e.} the first non-zero term of \\spad{f(x)} has lower degree than the first non-zero term of \\spad{g(x)},{} then \\spad{exp(f(x)) > exp(g(x))}. If \\spad{order(f(x)) = order(g(x))},{} then the ordering is essentially random. This domain is used in computing limits involving functions with essential singularities.")) (|exponentialOrder| (((|Fraction| (|Integer|)) $) "\\spad{exponentialOrder(exp(c * x **(-n) + ...))} returns \\spad{-n}. exponentialOrder(0) returns \\spad{0}.")) (|exponent| (((|UnivariatePuiseuxSeries| |#1| |#2| |#3|) $) "\\spad{exponent(exp(f(x)))} returns \\spad{f(x)}")) (|exponential| (($ (|UnivariatePuiseuxSeries| |#1| |#2| |#3|)) "\\spad{exponential(f(x))} returns \\spad{exp(f(x))}. Note: the function does NOT check that \\spad{f(x)} has no non-negative terms."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) +((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) (-331 M) ((|constructor| (NIL "computes various functions on factored arguments.")) (|log| (((|List| (|Record| (|:| |coef| (|NonNegativeInteger|)) (|:| |logand| |#1|))) (|Factored| |#1|)) "\\spad{log(f)} returns \\spad{[(a1,b1),...,(am,bm)]} such that the logarithm of \\spad{f} is equal to \\spad{a1*log(b1) + ... + am*log(bm)}.")) (|nthRoot| (((|Record| (|:| |exponent| (|NonNegativeInteger|)) (|:| |coef| |#1|) (|:| |radicand| (|List| |#1|))) (|Factored| |#1|) (|NonNegativeInteger|)) "\\spad{nthRoot(f, n)} returns \\spad{(p, r, [r1,...,rm])} such that the \\spad{n}th-root of \\spad{f} is equal to \\spad{r * \\spad{p}th-root(r1 * ... * rm)},{} where \\spad{r1},{}...,{}\\spad{rm} are distinct factors of \\spad{f},{} each of which has an exponent smaller than \\spad{p} in \\spad{f}."))) NIL @@ -1879,7 +1879,7 @@ NIL (-487 |Coef| |var| |cen|) ((|constructor| (NIL "This is a category of univariate Puiseux series constructed from univariate Laurent series. A Puiseux series is represented by a pair \\spad{[r,f(x)]},{} where \\spad{r} is a positive rational number and \\spad{f(x)} is a Laurent series. This pair represents the Puiseux series \\spad{f(x\\^r)}.")) (|integrate| (($ $ (|Variable| |#2|)) "\\spad{integrate(f(x))} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers.")) (|coerce| (($ (|UnivariatePuiseuxSeries| |#1| |#2| |#3|)) "\\spad{coerce(f)} converts a Puiseux series to a general power series.") (($ (|Variable| |#2|)) "\\spad{coerce(var)} converts the series variable \\spad{var} into a Puiseux series."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) +((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) (-488 |Key| |Entry| |Tbl| |dent|) ((|constructor| (NIL "A sparse table has a default entry,{} which is returned if no other value has been explicitly stored for a key."))) ((-4471 . T)) @@ -2624,7 +2624,7 @@ NIL ((|constructor| (NIL "\\spadtype{LinearOrdinaryDifferentialOperatorFactorizer} provides a factorizer for linear ordinary differential operators whose coefficients are rational functions.")) (|factor1| (((|List| (|LinearOrdinaryDifferentialOperator1| (|Fraction| |#2|))) (|LinearOrdinaryDifferentialOperator1| (|Fraction| |#2|))) "\\spad{factor1(a)} returns the factorisation of a,{} assuming that a has no first-order right factor.")) (|factor| (((|List| (|LinearOrdinaryDifferentialOperator1| (|Fraction| |#2|))) (|LinearOrdinaryDifferentialOperator1| (|Fraction| |#2|))) "\\spad{factor(a)} returns the factorisation of a.") (((|List| (|LinearOrdinaryDifferentialOperator1| (|Fraction| |#2|))) (|LinearOrdinaryDifferentialOperator1| (|Fraction| |#2|)) (|Mapping| (|List| |#1|) |#2|)) "\\spad{factor(a, zeros)} returns the factorisation of a. \\spad{zeros} is a zero finder in \\spad{UP}."))) NIL ((|HasCategory| |#1| (QUOTE (-27)))) -(-674 A -3616) +(-674 A -2202) ((|constructor| (NIL "\\spad{LinearOrdinaryDifferentialOperator} defines a ring of differential operators with coefficients in a ring A with a given derivation. Multiplication of operators corresponds to functional composition: \\indented{4}{\\spad{(L1 * L2).(f) = L1 L2 f}}"))) ((-4464 . T) (-4465 . T) (-4467 . T)) ((|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (LIST (QUOTE -1063) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-465))) (|HasCategory| |#1| (QUOTE (-375)))) @@ -2836,7 +2836,7 @@ NIL ((|constructor| (NIL "\\spadtype{MathMLFormat} provides a coercion from \\spadtype{OutputForm} to MathML format.")) (|display| (((|Void|) (|String|)) "prints the string returned by coerce,{} adding <math ...> tags.")) (|exprex| (((|String|) (|OutputForm|)) "coverts \\spadtype{OutputForm} to \\spadtype{String} with the structure preserved with braces. Actually this is not quite accurate. The function \\spadfun{precondition} is first applied to the \\spadtype{OutputForm} expression before \\spadfun{exprex}. The raw \\spadtype{OutputForm} and the nature of the \\spadfun{precondition} function is still obscure to me at the time of this writing (2007-02-14).")) (|coerceL| (((|String|) (|OutputForm|)) "coerceS(\\spad{o}) changes \\spad{o} in the standard output format to MathML format and displays result as one long string.")) (|coerceS| (((|String|) (|OutputForm|)) "\\spad{coerceS(o)} changes \\spad{o} in the standard output format to MathML format and displays formatted result.")) (|coerce| (((|String|) (|OutputForm|)) "coerceS(\\spad{o}) changes \\spad{o} in the standard output format to MathML format."))) NIL NIL -(-727 R |Mod| -3222 -3955 |exactQuo|) +(-727 R |Mod| -2871 -1334 |exactQuo|) ((|constructor| (NIL "\\indented{1}{These domains are used for the factorization and gcds} of univariate polynomials over the integers in order to work modulo different primes. See \\spadtype{ModularRing},{} \\spadtype{EuclideanModularRing}")) (|exQuo| (((|Union| $ "failed") $ $) "\\spad{exQuo(x,y)} \\undocumented")) (|reduce| (($ |#1| |#2|) "\\spad{reduce(r,m)} \\undocumented")) (|coerce| ((|#1| $) "\\spad{coerce(x)} \\undocumented")) (|modulus| ((|#2| $) "\\spad{modulus(x)} \\undocumented"))) ((-4462 . T) (-4468 . T) (-4463 . T) ((-4472 "*") . T) (-4464 . T) (-4465 . T) (-4467 . T)) NIL @@ -2852,7 +2852,7 @@ NIL ((|constructor| (NIL "Algebra of ADDITIVE operators on a module.")) (|makeop| (($ |#1| (|FreeGroup| (|BasicOperator|))) "\\spad{makeop should} be local but conditional")) (|opeval| ((|#2| (|BasicOperator|) |#2|) "\\spad{opeval should} be local but conditional")) (** (($ $ (|Integer|)) "\\spad{op**n} \\undocumented") (($ (|BasicOperator|) (|Integer|)) "\\spad{op**n} \\undocumented")) (|evaluateInverse| (($ $ (|Mapping| |#2| |#2|)) "\\spad{evaluateInverse(x,f)} \\undocumented")) (|evaluate| (($ $ (|Mapping| |#2| |#2|)) "\\spad{evaluate(f, u +-> g u)} attaches the map \\spad{g} to \\spad{f}. \\spad{f} must be a basic operator \\spad{g} MUST be additive,{} \\spadignore{i.e.} \\spad{g(a + b) = g(a) + g(b)} for any \\spad{a},{} \\spad{b} in \\spad{M}. This implies that \\spad{g(n a) = n g(a)} for any \\spad{a} in \\spad{M} and integer \\spad{n > 0}.")) (|conjug| ((|#1| |#1|) "\\spad{conjug(x)}should be local but conditional")) (|adjoint| (($ $ $) "\\spad{adjoint(op1, op2)} sets the adjoint of \\spad{op1} to be op2. \\spad{op1} must be a basic operator") (($ $) "\\spad{adjoint(op)} returns the adjoint of the operator \\spad{op}."))) ((-4465 |has| |#1| (-174)) (-4464 |has| |#1| (-174)) (-4467 . T)) ((|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148)))) -(-731 R |Mod| -3222 -3955 |exactQuo|) +(-731 R |Mod| -2871 -1334 |exactQuo|) ((|constructor| (NIL "These domains are used for the factorization and gcds of univariate polynomials over the integers in order to work modulo different primes. See \\spadtype{EuclideanModularRing} ,{}\\spadtype{ModularField}")) (|inv| (($ $) "\\spad{inv(x)} \\undocumented")) (|recip| (((|Union| $ "failed") $) "\\spad{recip(x)} \\undocumented")) (|exQuo| (((|Union| $ "failed") $ $) "\\spad{exQuo(x,y)} \\undocumented")) (|reduce| (($ |#1| |#2|) "\\spad{reduce(r,m)} \\undocumented")) (|coerce| ((|#1| $) "\\spad{coerce(x)} \\undocumented")) (|modulus| ((|#2| $) "\\spad{modulus(x)} \\undocumented"))) ((-4467 . T)) NIL @@ -4699,7 +4699,7 @@ NIL (-1192 |Coef| |var| |cen|) ((|constructor| (NIL "Sparse Laurent series in one variable \\indented{2}{\\spadtype{SparseUnivariateLaurentSeries} is a domain representing Laurent} \\indented{2}{series in one variable with coefficients in an arbitrary ring.\\space{2}The} \\indented{2}{parameters of the type specify the coefficient ring,{} the power series} \\indented{2}{variable,{} and the center of the power series expansion.\\space{2}For example,{}} \\indented{2}{\\spad{SparseUnivariateLaurentSeries(Integer,x,3)} represents Laurent} \\indented{2}{series in \\spad{(x - 3)} with integer coefficients.}")) (|integrate| (($ $ (|Variable| |#2|)) "\\spad{integrate(f(x))} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers.")) (|coerce| (($ (|Variable| |#2|)) "\\spad{coerce(var)} converts the series variable \\spad{var} into a Laurent series."))) (((-4472 "*") -2811 (-2700 (|has| |#1| (-375)) (|has| (-1199 |#1| |#2| |#3|) (-836))) (|has| |#1| (-174)) (-2700 (|has| |#1| (-375)) (|has| (-1199 |#1| |#2| |#3|) (-932)))) (-4463 -2811 (-2700 (|has| |#1| (-375)) (|has| (-1199 |#1| |#2| |#3|) (-836))) (|has| |#1| (-569)) (-2700 (|has| |#1| (-375)) (|has| (-1199 |#1| |#2| |#3|) (-932)))) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-148))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-148)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (|HasCategory| (-577) (QUOTE (-1137))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-375))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375))))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-558))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-318))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-146))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-174)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146))))) +((-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-148))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-148)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (|HasCategory| (-577) (QUOTE (-1137))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-375))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375))))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1199) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-558))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-318))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-146))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-174)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1199 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146))))) (-1193 R -1985) ((|constructor| (NIL "computes sums of top-level expressions.")) (|sum| ((|#2| |#2| (|SegmentBinding| |#2|)) "\\spad{sum(f(n), n = a..b)} returns \\spad{f}(a) + \\spad{f}(a+1) + ... + \\spad{f}(\\spad{b}).") ((|#2| |#2| (|Symbol|)) "\\spad{sum(a(n), n)} returns A(\\spad{n}) such that A(\\spad{n+1}) - A(\\spad{n}) = a(\\spad{n})."))) NIL @@ -4723,11 +4723,11 @@ NIL (-1198 |Coef| |var| |cen|) ((|constructor| (NIL "Sparse Puiseux series in one variable \\indented{2}{\\spadtype{SparseUnivariatePuiseuxSeries} is a domain representing Puiseux} \\indented{2}{series in one variable with coefficients in an arbitrary ring.\\space{2}The} \\indented{2}{parameters of the type specify the coefficient ring,{} the power series} \\indented{2}{variable,{} and the center of the power series expansion.\\space{2}For example,{}} \\indented{2}{\\spad{SparseUnivariatePuiseuxSeries(Integer,x,3)} represents Puiseux} \\indented{2}{series in \\spad{(x - 3)} with \\spadtype{Integer} coefficients.}")) (|integrate| (($ $ (|Variable| |#2|)) "\\spad{integrate(f(x))} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) +((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) (-1199 |Coef| |var| |cen|) ((|constructor| (NIL "Sparse Taylor series in one variable \\indented{2}{\\spadtype{SparseUnivariateTaylorSeries} is a domain representing Taylor} \\indented{2}{series in one variable with coefficients in an arbitrary ring.\\space{2}The} \\indented{2}{parameters of the type specify the coefficient ring,{} the power series} \\indented{2}{variable,{} and the center of the power series expansion.\\space{2}For example,{}} \\indented{2}{\\spadtype{SparseUnivariateTaylorSeries}(Integer,{}\\spad{x},{}3) represents Taylor} \\indented{2}{series in \\spad{(x - 3)} with \\spadtype{Integer} coefficients.}")) (|integrate| (($ $ (|Variable| |#2|)) "\\spad{integrate(f(x),x)} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers.")) (|univariatePolynomial| (((|UnivariatePolynomial| |#2| |#1|) $ (|NonNegativeInteger|)) "\\spad{univariatePolynomial(f,k)} returns a univariate polynomial \\indented{1}{consisting of the sum of all terms of \\spad{f} of degree \\spad{<= k}.}")) (|coerce| (($ (|Variable| |#2|)) "\\spad{coerce(var)} converts the series variable \\spad{var} into a \\indented{1}{Taylor series.}") (($ (|UnivariatePolynomial| |#2| |#1|)) "\\spad{coerce(p)} converts a univariate polynomial \\spad{p} in the variable \\spad{var} to a univariate Taylor series in \\spad{var}."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4464 . T) (-4465 . T) (-4467 . T)) -((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|)))) (|HasCategory| (-787) (QUOTE (-1137))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) +((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|)))) (|HasCategory| (-787) (QUOTE (-1137))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) (-1200) ((|constructor| (NIL "This domain builds representations of boolean expressions for use with the \\axiomType{FortranCode} domain.")) (NOT (($ $) "\\spad{NOT(x)} returns the \\axiomType{Switch} expression representing \\spad{\\~~x}.") (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{NOT(x)} returns the \\axiomType{Switch} expression representing \\spad{\\~~x}.")) (AND (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $)) (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{AND(x,y)} returns the \\axiomType{Switch} expression representing \\spad{x and y}.")) (EQ (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $)) (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{EQ(x,y)} returns the \\axiomType{Switch} expression representing \\spad{x = y}.")) (OR (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $)) (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{OR(x,y)} returns the \\axiomType{Switch} expression representing \\spad{x or y}.")) (GE (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $)) (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{GE(x,y)} returns the \\axiomType{Switch} expression representing \\spad{x>=y}.")) (LE (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $)) (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{LE(x,y)} returns the \\axiomType{Switch} expression representing \\spad{x<=y}.")) (GT (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $)) (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{GT(x,y)} returns the \\axiomType{Switch} expression representing \\spad{x>y}.")) (LT (($ (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $)) (|Union| (|:| I (|Expression| (|Integer|))) (|:| F (|Expression| (|Float|))) (|:| CF (|Expression| (|Complex| (|Float|)))) (|:| |switch| $))) "\\spad{LT(x,y)} returns the \\axiomType{Switch} expression representing \\spad{x<y}.")) (|coerce| (($ (|Symbol|)) "\\spad{coerce(s)} \\undocumented{}"))) NIL @@ -4951,11 +4951,11 @@ NIL (-1255 |Coef| UTS) ((|constructor| (NIL "This package enables one to construct a univariate Laurent series domain from a univariate Taylor series domain. Univariate Laurent series are represented by a pair \\spad{[n,f(x)]},{} where \\spad{n} is an arbitrary integer and \\spad{f(x)} is a Taylor series. This pair represents the Laurent series \\spad{x**n * f(x)}."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((-2811 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -297) (|devaluate| |#2|) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -527) (QUOTE (-1201)) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1047)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1177)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (QUOTE (-549))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -320) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-1201)))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-146))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-146))))) (-2811 (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-148))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -921) (QUOTE (-1201)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -921) (QUOTE (-1201))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -923) (QUOTE (-1201)))))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-239)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-239)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-238)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (|HasCategory| (-577) (QUOTE (-1137))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-375))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-1201))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (QUOTE (-549))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1047)))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865))))) (-2811 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -297) (|devaluate| |#2|) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -527) (QUOTE (-1201)) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -654) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1047)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1177)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (QUOTE (-549))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -320) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-391))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-1201)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1177)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -297) (|devaluate| |#2|) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -320) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -527) (QUOTE (-1201)) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -654) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-391))))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865)))) (|HasCategory| |#2| (QUOTE (-932))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-558)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-318)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#2| (QUOTE (-146))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-238)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -923) (QUOTE (-1201)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -923) (QUOTE (-1201))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-238)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-2811 (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (|HasCategory| |#1| (QUOTE (-146))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-146)))))) +((-2811 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -297) (|devaluate| |#2|) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -527) (QUOTE (-1201)) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1047)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1177)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (QUOTE (-549))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -320) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-1201)))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-146))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-146))))) (-2811 (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-148))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -921) (QUOTE (-1201)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -921) (QUOTE (-1201))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -923) (QUOTE (-1201)))))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-239)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-239)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-238)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (|HasCategory| (-577) (QUOTE (-1137))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-375))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-1201))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (QUOTE (-549))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1047)))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865))))) (-2811 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -297) (|devaluate| |#2|) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -527) (QUOTE (-1201)) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -654) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-836)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1047)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1177)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (QUOTE (-549))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -320) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-391))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-1201)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -1063) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-1177)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -297) (|devaluate| |#2|) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -320) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -527) (QUOTE (-1201)) (|devaluate| |#2|)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -654) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-577))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -905) (QUOTE (-391))))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-865)))) (|HasCategory| |#2| (QUOTE (-932))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-558)))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-318)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#2| (QUOTE (-146))) (-2811 (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-238)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -923) (QUOTE (-1201)))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (LIST (QUOTE -923) (QUOTE (-1201))))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-238)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (-2811 (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-932)))) (|HasCategory| |#1| (QUOTE (-146))) (-12 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#2| (QUOTE (-146)))))) (-1256 |Coef| |var| |cen|) ((|constructor| (NIL "Dense Laurent series in one variable \\indented{2}{\\spadtype{UnivariateLaurentSeries} is a domain representing Laurent} \\indented{2}{series in one variable with coefficients in an arbitrary ring.\\space{2}The} \\indented{2}{parameters of the type specify the coefficient ring,{} the power series} \\indented{2}{variable,{} and the center of the power series expansion.\\space{2}For example,{}} \\indented{2}{\\spad{UnivariateLaurentSeries(Integer,x,3)} represents Laurent series in} \\indented{2}{\\spad{(x - 3)} with integer coefficients.}")) (|integrate| (($ $ (|Variable| |#2|)) "\\spad{integrate(f(x))} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers.")) (|coerce| (($ (|Variable| |#2|)) "\\spad{coerce(var)} converts the series variable \\spad{var} into a Laurent series."))) (((-4472 "*") -2811 (-2700 (|has| |#1| (-375)) (|has| (-1284 |#1| |#2| |#3|) (-836))) (|has| |#1| (-174)) (-2700 (|has| |#1| (-375)) (|has| (-1284 |#1| |#2| |#3|) (-932)))) (-4463 -2811 (-2700 (|has| |#1| (-375)) (|has| (-1284 |#1| |#2| |#3|) (-836))) (|has| |#1| (-569)) (-2700 (|has| |#1| (-375)) (|has| (-1284 |#1| |#2| |#3|) (-932)))) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-148))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-148)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (|HasCategory| (-577) (QUOTE (-1137))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-375))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375))))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-558))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-318))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-146))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-174)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146))))) +((-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-148))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-148)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|)))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-239))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-577)) (|devaluate| |#1|))))) (|HasCategory| (-577) (QUOTE (-1137))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-375))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (QUOTE (-549)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1047))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375))))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-1177))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -297) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -320) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -527) (QUOTE (-1201)) (LIST (QUOTE -1284) (|devaluate| |#1|) (|devaluate| |#2|) (|devaluate| |#3|)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -654) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -627) (LIST (QUOTE -911) (QUOTE (-391))))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -905) (QUOTE (-391)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-577))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-558))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-318))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-146))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -1063) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-836))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-174)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (LIST (QUOTE -923) (QUOTE (-1201)))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-238))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-865))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-2811 (-12 (|HasCategory| $ (QUOTE (-146))) (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-932))) (|HasCategory| |#1| (QUOTE (-375)))) (-12 (|HasCategory| (-1284 |#1| |#2| |#3|) (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-375)))) (|HasCategory| |#1| (QUOTE (-146))))) (-1257 ZP) ((|constructor| (NIL "Package for the factorization of univariate polynomials with integer coefficients. The factorization is done by \"lifting\" (HENSEL) the factorization over a finite field.")) (|henselFact| (((|Record| (|:| |contp| (|Integer|)) (|:| |factors| (|List| (|Record| (|:| |irr| |#1|) (|:| |pow| (|Integer|)))))) |#1| (|Boolean|)) "\\spad{henselFact(m,flag)} returns the factorization of \\spad{m},{} FinalFact is a Record \\spad{s}.\\spad{t}. FinalFact.contp=content \\spad{m},{} FinalFact.factors=List of irreducible factors of \\spad{m} with exponent ,{} if \\spad{flag} =true the polynomial is assumed square free.")) (|factorSquareFree| (((|Factored| |#1|) |#1|) "\\spad{factorSquareFree(m)} returns the factorization of \\spad{m} square free polynomial")) (|factor| (((|Factored| |#1|) |#1|) "\\spad{factor(m)} returns the factorization of \\spad{m}"))) NIL @@ -5035,11 +5035,11 @@ NIL (-1276 |Coef| ULS) ((|constructor| (NIL "This package enables one to construct a univariate Puiseux series domain from a univariate Laurent series domain. Univariate Puiseux series are represented by a pair \\spad{[r,f(x)]},{} where \\spad{r} is a positive rational number and \\spad{f(x)} is a Laurent series. This pair represents the Puiseux series \\spad{f(x^r)}."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) +((|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|)))))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-1277 |Coef| |var| |cen|) ((|constructor| (NIL "Dense Puiseux series in one variable \\indented{2}{\\spadtype{UnivariatePuiseuxSeries} is a domain representing Puiseux} \\indented{2}{series in one variable with coefficients in an arbitrary ring.\\space{2}The} \\indented{2}{parameters of the type specify the coefficient ring,{} the power series} \\indented{2}{variable,{} and the center of the power series expansion.\\space{2}For example,{}} \\indented{2}{\\spad{UnivariatePuiseuxSeries(Integer,x,3)} represents Puiseux series in} \\indented{2}{\\spad{(x - 3)} with \\spadtype{Integer} coefficients.}")) (|integrate| (($ $ (|Variable| |#2|)) "\\spad{integrate(f(x))} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4468 |has| |#1| (-375)) (-4462 |has| |#1| (-375)) (-4464 . T) (-4465 . T) (-4467 . T)) -((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) +((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (|HasCategory| |#1| (QUOTE (-174))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577))) (|devaluate| |#1|)))) (|HasCategory| (-420 (-577)) (QUOTE (-1137))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-2811 (|HasCategory| |#1| (QUOTE (-375))) (|HasCategory| |#1| (QUOTE (-569)))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (LIST (QUOTE -420) (QUOTE (-577)))))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) (-1278 R FE |var| |cen|) ((|constructor| (NIL "UnivariatePuiseuxSeriesWithExponentialSingularity is a domain used to represent functions with essential singularities. Objects in this domain are sums,{} where each term in the sum is a univariate Puiseux series times the exponential of a univariate Puiseux series. Thus,{} the elements of this domain are sums of expressions of the form \\spad{g(x) * exp(f(x))},{} where \\spad{g}(\\spad{x}) is a univariate Puiseux series and \\spad{f}(\\spad{x}) is a univariate Puiseux series with no terms of non-negative degree.")) (|dominantTerm| (((|Union| (|Record| (|:| |%term| (|Record| (|:| |%coef| (|UnivariatePuiseuxSeries| |#2| |#3| |#4|)) (|:| |%expon| (|ExponentialOfUnivariatePuiseuxSeries| |#2| |#3| |#4|)) (|:| |%expTerms| (|List| (|Record| (|:| |k| (|Fraction| (|Integer|))) (|:| |c| |#2|)))))) (|:| |%type| (|String|))) "failed") $) "\\spad{dominantTerm(f(var))} returns the term that dominates the limiting behavior of \\spad{f(var)} as \\spad{var -> cen+} together with a \\spadtype{String} which briefly describes that behavior. The value of the \\spadtype{String} will be \\spad{\"zero\"} (resp. \\spad{\"infinity\"}) if the term tends to zero (resp. infinity) exponentially and will \\spad{\"series\"} if the term is a Puiseux series.")) (|limitPlus| (((|Union| (|OrderedCompletion| |#2|) "failed") $) "\\spad{limitPlus(f(var))} returns \\spad{limit(var -> cen+,f(var))}."))) (((-4472 "*") |has| (-1277 |#2| |#3| |#4|) (-174)) (-4463 |has| (-1277 |#2| |#3| |#4|) (-569)) (-4464 . T) (-4465 . T) (-4467 . T)) @@ -5059,7 +5059,7 @@ NIL (-1282 S |Coef|) ((|constructor| (NIL "\\spadtype{UnivariateTaylorSeriesCategory} is the category of Taylor series in one variable.")) (|integrate| (($ $ (|Symbol|)) "\\spad{integrate(f(x),y)} returns an anti-derivative of the power series \\spad{f(x)} with respect to the variable \\spad{y}.") (($ $ (|Symbol|)) "\\spad{integrate(f(x),y)} returns an anti-derivative of the power series \\spad{f(x)} with respect to the variable \\spad{y}.") (($ $) "\\spad{integrate(f(x))} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers.")) (** (($ $ |#2|) "\\spad{f(x) ** a} computes a power of a power series. When the coefficient ring is a field,{} we may raise a series to an exponent from the coefficient ring provided that the constant coefficient of the series is 1.")) (|polynomial| (((|Polynomial| |#2|) $ (|NonNegativeInteger|) (|NonNegativeInteger|)) "\\spad{polynomial(f,k1,k2)} returns a polynomial consisting of the sum of all terms of \\spad{f} of degree \\spad{d} with \\spad{k1 <= d <= k2}.") (((|Polynomial| |#2|) $ (|NonNegativeInteger|)) "\\spad{polynomial(f,k)} returns a polynomial consisting of the sum of all terms of \\spad{f} of degree \\spad{<= k}.")) (|multiplyCoefficients| (($ (|Mapping| |#2| (|Integer|)) $) "\\spad{multiplyCoefficients(f,sum(n = 0..infinity,a[n] * x**n))} returns \\spad{sum(n = 0..infinity,f(n) * a[n] * x**n)}. This function is used when Laurent series are represented by a Taylor series and an order.")) (|quoByVar| (($ $) "\\spad{quoByVar(a0 + a1 x + a2 x**2 + ...)} returns \\spad{a1 + a2 x + a3 x**2 + ...} Thus,{} this function substracts the constant term and divides by the series variable. This function is used when Laurent series are represented by a Taylor series and an order.")) (|coefficients| (((|Stream| |#2|) $) "\\spad{coefficients(a0 + a1 x + a2 x**2 + ...)} returns a stream of coefficients: \\spad{[a0,a1,a2,...]}. The entries of the stream may be zero.")) (|series| (($ (|Stream| |#2|)) "\\spad{series([a0,a1,a2,...])} is the Taylor series \\spad{a0 + a1 x + a2 x**2 + ...}.") (($ (|Stream| (|Record| (|:| |k| (|NonNegativeInteger|)) (|:| |c| |#2|)))) "\\spad{series(st)} creates a series from a stream of non-zero terms,{} where a term is an exponent-coefficient pair. The terms in the stream should be ordered by increasing order of exponents."))) NIL -((|HasCategory| |#2| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#2| (QUOTE (-982))) (|HasCategory| |#2| (QUOTE (-1227))) (|HasSignature| |#2| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#2|)))) (|HasSignature| |#2| (LIST (QUOTE -4339) (LIST (|devaluate| |#2|) (|devaluate| |#2|) (QUOTE (-1201))))) (|HasCategory| |#2| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#2| (QUOTE (-375)))) +((|HasCategory| |#2| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#2| (QUOTE (-982))) (|HasCategory| |#2| (QUOTE (-1227))) (|HasSignature| |#2| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#2|)))) (|HasSignature| |#2| (LIST (QUOTE -4129) (LIST (|devaluate| |#2|) (|devaluate| |#2|) (QUOTE (-1201))))) (|HasCategory| |#2| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#2| (QUOTE (-375)))) (-1283 |Coef|) ((|constructor| (NIL "\\spadtype{UnivariateTaylorSeriesCategory} is the category of Taylor series in one variable.")) (|integrate| (($ $ (|Symbol|)) "\\spad{integrate(f(x),y)} returns an anti-derivative of the power series \\spad{f(x)} with respect to the variable \\spad{y}.") (($ $ (|Symbol|)) "\\spad{integrate(f(x),y)} returns an anti-derivative of the power series \\spad{f(x)} with respect to the variable \\spad{y}.") (($ $) "\\spad{integrate(f(x))} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers.")) (** (($ $ |#1|) "\\spad{f(x) ** a} computes a power of a power series. When the coefficient ring is a field,{} we may raise a series to an exponent from the coefficient ring provided that the constant coefficient of the series is 1.")) (|polynomial| (((|Polynomial| |#1|) $ (|NonNegativeInteger|) (|NonNegativeInteger|)) "\\spad{polynomial(f,k1,k2)} returns a polynomial consisting of the sum of all terms of \\spad{f} of degree \\spad{d} with \\spad{k1 <= d <= k2}.") (((|Polynomial| |#1|) $ (|NonNegativeInteger|)) "\\spad{polynomial(f,k)} returns a polynomial consisting of the sum of all terms of \\spad{f} of degree \\spad{<= k}.")) (|multiplyCoefficients| (($ (|Mapping| |#1| (|Integer|)) $) "\\spad{multiplyCoefficients(f,sum(n = 0..infinity,a[n] * x**n))} returns \\spad{sum(n = 0..infinity,f(n) * a[n] * x**n)}. This function is used when Laurent series are represented by a Taylor series and an order.")) (|quoByVar| (($ $) "\\spad{quoByVar(a0 + a1 x + a2 x**2 + ...)} returns \\spad{a1 + a2 x + a3 x**2 + ...} Thus,{} this function substracts the constant term and divides by the series variable. This function is used when Laurent series are represented by a Taylor series and an order.")) (|coefficients| (((|Stream| |#1|) $) "\\spad{coefficients(a0 + a1 x + a2 x**2 + ...)} returns a stream of coefficients: \\spad{[a0,a1,a2,...]}. The entries of the stream may be zero.")) (|series| (($ (|Stream| |#1|)) "\\spad{series([a0,a1,a2,...])} is the Taylor series \\spad{a0 + a1 x + a2 x**2 + ...}.") (($ (|Stream| (|Record| (|:| |k| (|NonNegativeInteger|)) (|:| |c| |#1|)))) "\\spad{series(st)} creates a series from a stream of non-zero terms,{} where a term is an exponent-coefficient pair. The terms in the stream should be ordered by increasing order of exponents."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4464 . T) (-4465 . T) (-4467 . T)) @@ -5067,7 +5067,7 @@ NIL (-1284 |Coef| |var| |cen|) ((|constructor| (NIL "Dense Taylor series in one variable \\spadtype{UnivariateTaylorSeries} is a domain representing Taylor series in one variable with coefficients in an arbitrary ring. The parameters of the type specify the coefficient ring,{} the power series variable,{} and the center of the power series expansion. For example,{} \\spadtype{UnivariateTaylorSeries}(Integer,{}\\spad{x},{}3) represents Taylor series in \\spad{(x - 3)} with \\spadtype{Integer} coefficients.")) (|integrate| (($ $ (|Variable| |#2|)) "\\spad{integrate(f(x),x)} returns an anti-derivative of the power series \\spad{f(x)} with constant coefficient 0. We may integrate a series when we can divide coefficients by integers.")) (|invmultisect| (($ (|Integer|) (|Integer|) $) "\\spad{invmultisect(a,b,f(x))} substitutes \\spad{x^((a+b)*n)} \\indented{1}{for \\spad{x^n} and multiples by \\spad{x^b}.}")) (|multisect| (($ (|Integer|) (|Integer|) $) "\\spad{multisect(a,b,f(x))} selects the coefficients of \\indented{1}{\\spad{x^((a+b)*n+a)},{} and changes this monomial to \\spad{x^n}.}")) (|revert| (($ $) "\\spad{revert(f(x))} returns a Taylor series \\spad{g(x)} such that \\spad{f(g(x)) = g(f(x)) = x}. Series \\spad{f(x)} should have constant coefficient 0 and invertible 1st order coefficient.")) (|generalLambert| (($ $ (|Integer|) (|Integer|)) "\\spad{generalLambert(f(x),a,d)} returns \\spad{f(x^a) + f(x^(a + d)) + \\indented{1}{f(x^(a + 2 d)) + ... }. \\spad{f(x)} should have zero constant} \\indented{1}{coefficient and \\spad{a} and \\spad{d} should be positive.}")) (|evenlambert| (($ $) "\\spad{evenlambert(f(x))} returns \\spad{f(x^2) + f(x^4) + f(x^6) + ...}. \\indented{1}{\\spad{f(x)} should have a zero constant coefficient.} \\indented{1}{This function is used for computing infinite products.} \\indented{1}{If \\spad{f(x)} is a Taylor series with constant term 1,{} then} \\indented{1}{\\spad{product(n=1..infinity,f(x^(2*n))) = exp(log(evenlambert(f(x))))}.}")) (|oddlambert| (($ $) "\\spad{oddlambert(f(x))} returns \\spad{f(x) + f(x^3) + f(x^5) + ...}. \\indented{1}{\\spad{f(x)} should have a zero constant coefficient.} \\indented{1}{This function is used for computing infinite products.} \\indented{1}{If \\spad{f(x)} is a Taylor series with constant term 1,{} then} \\indented{1}{\\spad{product(n=1..infinity,f(x^(2*n-1)))=exp(log(oddlambert(f(x))))}.}")) (|lambert| (($ $) "\\spad{lambert(f(x))} returns \\spad{f(x) + f(x^2) + f(x^3) + ...}. \\indented{1}{This function is used for computing infinite products.} \\indented{1}{\\spad{f(x)} should have zero constant coefficient.} \\indented{1}{If \\spad{f(x)} is a Taylor series with constant term 1,{} then} \\indented{1}{\\spad{product(n = 1..infinity,f(x^n)) = exp(log(lambert(f(x))))}.}")) (|lagrange| (($ $) "\\spad{lagrange(g(x))} produces the Taylor series for \\spad{f(x)} \\indented{1}{where \\spad{f(x)} is implicitly defined as \\spad{f(x) = x*g(f(x))}.}")) (|univariatePolynomial| (((|UnivariatePolynomial| |#2| |#1|) $ (|NonNegativeInteger|)) "\\spad{univariatePolynomial(f,k)} returns a univariate polynomial \\indented{1}{consisting of the sum of all terms of \\spad{f} of degree \\spad{<= k}.}")) (|coerce| (($ (|Variable| |#2|)) "\\spad{coerce(var)} converts the series variable \\spad{var} into a \\indented{1}{Taylor series.}") (($ (|UnivariatePolynomial| |#2| |#1|)) "\\spad{coerce(p)} converts a univariate polynomial \\spad{p} in the variable \\spad{var} to a univariate Taylor series in \\spad{var}."))) (((-4472 "*") |has| |#1| (-174)) (-4463 |has| |#1| (-569)) (-4464 . T) (-4465 . T) (-4467 . T)) -((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|)))) (|HasCategory| (-787) (QUOTE (-1137))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4339) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) +((|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasCategory| |#1| (QUOTE (-569))) (-2811 (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-569)))) (|HasCategory| |#1| (QUOTE (-174))) (|HasCategory| |#1| (QUOTE (-146))) (|HasCategory| |#1| (QUOTE (-148))) (-12 (|HasCategory| |#1| (LIST (QUOTE -921) (QUOTE (-1201)))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|))))) (|HasSignature| |#1| (LIST (QUOTE *) (LIST (|devaluate| |#1|) (QUOTE (-787)) (|devaluate| |#1|)))) (|HasCategory| (-787) (QUOTE (-1137))) (-12 (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasSignature| |#1| (LIST (QUOTE -3603) (LIST (|devaluate| |#1|) (QUOTE (-1201)))))) (|HasSignature| |#1| (LIST (QUOTE **) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-787))))) (|HasCategory| |#1| (QUOTE (-375))) (-2811 (-12 (|HasCategory| |#1| (LIST (QUOTE -29) (QUOTE (-577)))) (|HasCategory| |#1| (QUOTE (-982))) (|HasCategory| |#1| (QUOTE (-1227))) (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577)))))) (-12 (|HasCategory| |#1| (LIST (QUOTE -38) (LIST (QUOTE -420) (QUOTE (-577))))) (|HasSignature| |#1| (LIST (QUOTE -4129) (LIST (|devaluate| |#1|) (|devaluate| |#1|) (QUOTE (-1201))))) (|HasSignature| |#1| (LIST (QUOTE -3206) (LIST (LIST (QUOTE -660) (QUOTE (-1201))) (|devaluate| |#1|))))))) (-1285 |Coef| UTS) ((|constructor| (NIL "\\indented{1}{This package provides Taylor series solutions to regular} linear or non-linear ordinary differential equations of arbitrary order.")) (|mpsode| (((|List| |#2|) (|List| |#1|) (|List| (|Mapping| |#2| (|List| |#2|)))) "\\spad{mpsode(r,f)} solves the system of differential equations \\spad{dy[i]/dx =f[i] [x,y[1],y[2],...,y[n]]},{} \\spad{y[i](a) = r[i]} for \\spad{i} in 1..\\spad{n}.")) (|ode| ((|#2| (|Mapping| |#2| (|List| |#2|)) (|List| |#1|)) "\\spad{ode(f,cl)} is the solution to \\spad{y<n>=f(y,y',..,y<n-1>)} such that \\spad{y<i>(a) = cl.i} for \\spad{i} in 1..\\spad{n}.")) (|ode2| ((|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#1|) "\\spad{ode2(f,c0,c1)} is the solution to \\spad{y'' = f(y,y')} such that \\spad{y(a) = c0} and \\spad{y'(a) = c1}.")) (|ode1| ((|#2| (|Mapping| |#2| |#2|) |#1|) "\\spad{ode1(f,c)} is the solution to \\spad{y' = f(y)} such that \\spad{y(a) = c}.")) (|fixedPointExquo| ((|#2| |#2| |#2|) "\\spad{fixedPointExquo(f,g)} computes the exact quotient of \\spad{f} and \\spad{g} using a fixed point computation.")) (|stFuncN| (((|Mapping| (|Stream| |#1|) (|List| (|Stream| |#1|))) (|Mapping| |#2| (|List| |#2|))) "\\spad{stFuncN(f)} is a local function xported due to compiler problem. This function is of no interest to the top-level user.")) (|stFunc2| (((|Mapping| (|Stream| |#1|) (|Stream| |#1|) (|Stream| |#1|)) (|Mapping| |#2| |#2| |#2|)) "\\spad{stFunc2(f)} is a local function exported due to compiler problem. This function is of no interest to the top-level user.")) (|stFunc1| (((|Mapping| (|Stream| |#1|) (|Stream| |#1|)) (|Mapping| |#2| |#2|)) "\\spad{stFunc1(f)} is a local function exported due to compiler problem. This function is of no interest to the top-level user."))) NIL |