diff options
Diffstat (limited to 'src/algebra/integrat.spad.pamphlet')
| -rw-r--r-- | src/algebra/integrat.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/integrat.spad.pamphlet b/src/algebra/integrat.spad.pamphlet index fb83e7f3..e09eb80d 100644 --- a/src/algebra/integrat.spad.pamphlet +++ b/src/algebra/integrat.spad.pamphlet @@ -21,7 +21,7 @@ ++ indefinite integration of complex-valued functions. ++ Keywords: function, integration. FunctionSpaceComplexIntegration(R, F): Exports == Implementation where - R : Join(EuclideanDomain, OrderedSet, CharacteristicZero, + R : Join(EuclideanDomain, CharacteristicZero, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(TranscendentalFunctionCategory, AlgebraicallyClosedFunctionSpace R) @@ -98,7 +98,7 @@ FunctionSpaceComplexIntegration(R, F): Exports == Implementation where ++ indefinite integration of real-valued functions. ++ Examples: )r INTEF INPUT FunctionSpaceIntegration(R, F): Exports == Implementation where - R : Join(EuclideanDomain, OrderedSet, CharacteristicZero, + R : Join(EuclideanDomain, CharacteristicZero, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(TranscendentalFunctionCategory, PrimitiveFunctionCategory, AlgebraicallyClosedFunctionSpace R) |