diff options
Diffstat (limited to 'src/algebra/laplace.spad.pamphlet')
| -rw-r--r-- | src/algebra/laplace.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/laplace.spad.pamphlet b/src/algebra/laplace.spad.pamphlet index 28e2a1dd..05d97079 100644 --- a/src/algebra/laplace.spad.pamphlet +++ b/src/algebra/laplace.spad.pamphlet @@ -18,7 +18,7 @@ ++ Date Last Updated: 13 December 1995 ++ Description: This package computes the forward Laplace Transform. LaplaceTransform(R, F): Exports == Implementation where - R : Join(EuclideanDomain, OrderedSet, CharacteristicZero, + R : Join(EuclideanDomain, CharacteristicZero, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(TranscendentalFunctionCategory, PrimitiveFunctionCategory, AlgebraicallyClosedFunctionSpace R) @@ -232,7 +232,7 @@ LaplaceTransform(R, F): Exports == Implementation where ++ Date Last Updated: 3 Sept 1991 ++ Description: This package computes the inverse Laplace Transform. InverseLaplaceTransform(R, F): Exports == Implementation where - R : Join(EuclideanDomain, OrderedSet, CharacteristicZero, + R : Join(EuclideanDomain, CharacteristicZero, RetractableTo Integer, LinearlyExplicitRingOver Integer) F : Join(TranscendentalFunctionCategory, PrimitiveFunctionCategory, SpecialFunctionCategory, AlgebraicallyClosedFunctionSpace R) @@ -303,7 +303,7 @@ InverseLaplaceTransform(R, F): Exports == Implementation where e := exp(c*t) b := b+a*c d := d-c**2 - d > 0 => + before?(0,d) => alpha:F := sqrt d e*(a*cos(t*alpha) + b*sin(t*alpha)/alpha) alpha :F := sqrt(-d) |