diff options
Diffstat (limited to 'src/algebra/irexpand.spad.pamphlet')
| -rw-r--r-- | src/algebra/irexpand.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/irexpand.spad.pamphlet b/src/algebra/irexpand.spad.pamphlet index 47fc84a2..e2d1daac 100644 --- a/src/algebra/irexpand.spad.pamphlet +++ b/src/algebra/irexpand.spad.pamphlet @@ -22,7 +22,7 @@ ++ that the indexing polynomial can be factored into quadratics. ++ Keywords: integration, expansion, function. IntegrationResultToFunction(R, F): Exports == Implementation where - R: Join(GcdDomain, RetractableTo Integer, OrderedSet, + R: Join(GcdDomain, RetractableTo Integer, LinearlyExplicitRingOver Integer) F: Join(AlgebraicallyClosedFunctionSpace R, TranscendentalFunctionCategory) @@ -235,7 +235,7 @@ IntegrationResultToFunction(R, F): Exports == Implementation where ++ Date Created: 21 August 1988 ++ Date Last Updated: 4 October 1993 IntegrationResultRFToFunction(R): Exports == Implementation where - R: Join(GcdDomain, RetractableTo Integer, OrderedSet, + R: Join(GcdDomain, RetractableTo Integer, LinearlyExplicitRingOver Integer) RF ==> Fraction Polynomial R |