diff options
Diffstat (limited to 'src/algebra/rdeef.spad.pamphlet')
-rw-r--r-- | src/algebra/rdeef.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet index 0f5c1ffb..971fe2a6 100644 --- a/src/algebra/rdeef.spad.pamphlet +++ b/src/algebra/rdeef.spad.pamphlet @@ -17,7 +17,7 @@ ++ Date Created: 25 April 1990 ++ Date Last Updated: 9 June 1993 ++ Keywords: elementary, function, integration. -IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where +IntegrationTools(R: SetCategory, F:FunctionSpace R): Exp == Impl where K ==> Kernel F SE ==> Symbol P ==> SparseMultivariatePolynomial(R, K) @@ -153,7 +153,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where ++ Date Last Updated: 2 November 1995 ++ Keywords: elementary, function, integration. ElementaryRischDE(R, F): Exports == Implementation where - R : Join(GcdDomain, OrderedSet, CharacteristicZero, + R : Join(GcdDomain, CharacteristicZero, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(TranscendentalFunctionCategory, AlgebraicallyClosedField, FunctionSpace R) |