diff options
Diffstat (limited to 'src/algebra/intaf.spad.pamphlet')
| -rw-r--r-- | src/algebra/intaf.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/intaf.spad.pamphlet b/src/algebra/intaf.spad.pamphlet index d226fa79..284e11ea 100644 --- a/src/algebra/intaf.spad.pamphlet +++ b/src/algebra/intaf.spad.pamphlet @@ -24,7 +24,7 @@ ++ The rationalization is done for integration, limited integration, ++ extended integration and the risch differential equation; GenusZeroIntegration(R, F, L): Exports == Implementation where - R: Join(GcdDomain, RetractableTo Integer, OrderedSet, CharacteristicZero, + R: Join(GcdDomain, RetractableTo Integer, CharacteristicZero, LinearlyExplicitRingOver Integer) F: Join(FunctionSpace R, AlgebraicallyClosedField, TranscendentalFunctionCategory) @@ -282,7 +282,7 @@ GenusZeroIntegration(R, F, L): Exports == Implementation where ++ extended integration and the risch differential equation for ++ pure algebraic integrands; PureAlgebraicIntegration(R, F, L): Exports == Implementation where - R: Join(GcdDomain,RetractableTo Integer,OrderedSet, CharacteristicZero, + R: Join(GcdDomain,RetractableTo Integer, CharacteristicZero, LinearlyExplicitRingOver Integer) F: Join(FunctionSpace R, AlgebraicallyClosedField, TranscendentalFunctionCategory) @@ -662,7 +662,7 @@ PureAlgebraicIntegration(R, F, L): Exports == Implementation where ++ This package provides functions for the integration of ++ algebraic integrands over transcendental functions; AlgebraicIntegration(R, F): Exports == Implementation where - R : Join(OrderedSet, IntegralDomain) + R : IntegralDomain F : Join(AlgebraicallyClosedField, FunctionSpace R) SY ==> Symbol |