diff options
Diffstat (limited to 'src/algebra/expexpan.spad.pamphlet')
| -rw-r--r-- | src/algebra/expexpan.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/expexpan.spad.pamphlet b/src/algebra/expexpan.spad.pamphlet index 34ab10d2..346bf3eb 100644 --- a/src/algebra/expexpan.spad.pamphlet +++ b/src/algebra/expexpan.spad.pamphlet @@ -36,7 +36,7 @@ ++ in computing limits involving functions with essential singularities. ExponentialOfUnivariatePuiseuxSeries(FE,var,cen):_ Exports == Implementation where - FE : Join(Field,OrderedSet) + FE : Field var : Symbol cen : FE UPXS ==> UnivariatePuiseuxSeries(FE,var,cen) @@ -75,7 +75,7 @@ ExponentialOfUnivariatePuiseuxSeries(FE,var,cen):_ ordf < ordg => false (fCoef := coefficient(f,ordf)) = (gCoef := coefficient(g,ordg)) => reductum(f) < reductum(g) - fCoef < gCoef -- this is "random" if FE is EXPR INT + before?(fCoef,gCoef) -- this is "random" if FE is EXPR INT coerce(f:%):OutputForm == ("%e" :: OutputForm) ** ((coerce$Rep)(complete f)@OutputForm) @@ -107,7 +107,7 @@ ExponentialOfUnivariatePuiseuxSeries(FE,var,cen):_ ++ degree. UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen):_ Exports == Implementation where - R : Join(OrderedSet,RetractableTo Integer,_ + R : Join(RetractableTo Integer,_ LinearlyExplicitRingOver Integer,GcdDomain) FE : Join(AlgebraicallyClosedField,TranscendentalFunctionCategory,_ FunctionSpace R) @@ -381,7 +381,7 @@ UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen):_ ++ are quotients of sums, where each term in the sum is a univariate Puiseux ++ series times the exponential of a univariate Puiseux series. ExponentialExpansion(R,FE,var,cen): Exports == Implementation where - R : Join(OrderedSet,RetractableTo Integer,_ + R : Join(RetractableTo Integer,_ LinearlyExplicitRingOver Integer,GcdDomain) FE : Join(AlgebraicallyClosedField,TranscendentalFunctionCategory,_ FunctionSpace R) |