diff options
Diffstat (limited to 'src/algebra/intpm.spad.pamphlet')
-rw-r--r-- | src/algebra/intpm.spad.pamphlet | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/intpm.spad.pamphlet b/src/algebra/intpm.spad.pamphlet index aca1a275..3ac33ab1 100644 --- a/src/algebra/intpm.spad.pamphlet +++ b/src/algebra/intpm.spad.pamphlet @@ -20,7 +20,7 @@ ++ the pattern matcher to find some indefinite and definite integrals ++ involving special functions and found in the litterature. PatternMatchIntegration(R, F): Exports == Implementation where - R : Join(OrderedSet, RetractableTo Integer, GcdDomain, + R : Join(RetractableTo Integer, GcdDomain, LinearlyExplicitRingOver Integer) F : Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace R) @@ -87,7 +87,7 @@ PatternMatchIntegration(R, F): Exports == Implementation where w := suchThat(optional(pmw::F), empty? variables #1) s := suchThat(optional(pms::F), empty? variables #1 and real? #1) m := suchThat(optional(pmm::F), - (retractIfCan(#1)@Union(Z,"failed") case Z) and #1 >= 0) + (retractIfCan(#1)@Union(Z,"failed") case Z) and not before?(#1,0)) spi := sqrt(pi()$F) @@ -125,7 +125,6 @@ PatternMatchIntegration(R, F): Exports == Implementation where if R has ConvertibleTo Pattern Integer and R has PatternMatchable Integer then if F has LiouvillianFunctionCategory then - import ElementaryFunctionSign(R, F) insqrt : F -> F matchei : (F, SY) -> REC |