diff options
Diffstat (limited to 'src/algebra/limitps.spad.pamphlet')
-rw-r--r-- | src/algebra/limitps.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/limitps.spad.pamphlet b/src/algebra/limitps.spad.pamphlet index b2f66076..5a52d5bc 100644 --- a/src/algebra/limitps.spad.pamphlet +++ b/src/algebra/limitps.spad.pamphlet @@ -29,7 +29,7 @@ ++ limiting value. Included are two-sided limits, left- and right- ++ hand limits, and limits at plus or minus infinity. PowerSeriesLimitPackage(R,FE): Exports == Implementation where - R : Join(GcdDomain,OrderedSet,RetractableTo Integer,_ + R : Join(GcdDomain,RetractableTo Integer,_ LinearlyExplicitRingOver Integer) FE : Join(AlgebraicallyClosedField,TranscendentalFunctionCategory,_ FunctionSpace R) @@ -548,7 +548,7 @@ PowerSeriesLimitPackage(R,FE): Exports == Implementation where ++ This package provides functions to determine the sign of an ++ elementary function around a point or infinity. ElementaryFunctionSign(R,F): Exports == Implementation where - R : Join(IntegralDomain,OrderedSet,RetractableTo Integer,_ + R : Join(IntegralDomain,RetractableTo Integer,_ LinearlyExplicitRingOver Integer,GcdDomain) F : Join(AlgebraicallyClosedField,TranscendentalFunctionCategory,_ FunctionSpace R) |