diff options
Diffstat (limited to 'src/algebra/defintrf.spad.pamphlet')
| -rw-r--r-- | src/algebra/defintrf.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/defintrf.spad.pamphlet b/src/algebra/defintrf.spad.pamphlet index 421f1aa4..fc1c6e09 100644 --- a/src/algebra/defintrf.spad.pamphlet +++ b/src/algebra/defintrf.spad.pamphlet @@ -20,7 +20,7 @@ ++ \spadtype{DefiniteIntegrationTools} provides common tools used ++ by the definite integration of both rational and elementary functions. DefiniteIntegrationTools(R, F): Exports == Implementation where - R : Join(GcdDomain, OrderedSet, RetractableTo Integer, + R : Join(GcdDomain, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(TranscendentalFunctionCategory, AlgebraicallyClosedFunctionSpace R) @@ -272,7 +272,7 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where RationalFunctionDefiniteIntegration(R): Exports == Implementation where - R : Join(EuclideanDomain, OrderedSet, CharacteristicZero, + R : Join(EuclideanDomain, CharacteristicZero, RetractableTo Integer, LinearlyExplicitRingOver Integer) SE ==> Symbol |