diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
| commit | aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa (patch) | |
| tree | 2a10e3ef795b0e2625f642cf2d1d47c7e695a88e /src/algebra/laplace.spad.pamphlet | |
| parent | 7f0313f8c6cce367c51cf5bb6bc8c073a466191b (diff) | |
| download | open-axiom-aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa.tar.gz | |
* algebra/curve.spad.pamphlet: Use literal symbols.
* algebra/defintef.spad.pamphlet: Likewise.
* algebra/defintrf.spad.pamphlet: Likewise.
* algebra/divisor.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/intaf.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/intpm.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/oderf.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/laplace.spad.pamphlet')
| -rw-r--r-- | src/algebra/laplace.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/laplace.spad.pamphlet b/src/algebra/laplace.spad.pamphlet index 9652f91d..28e2a1dd 100644 --- a/src/algebra/laplace.spad.pamphlet +++ b/src/algebra/laplace.spad.pamphlet @@ -116,7 +116,7 @@ LaplaceTransform(R, F): Exports == Implementation where -- returns [a, c, b] iff f = a * exp(c * t + b) -- and b and c do not involve t aexp(f, t) == - is?(f, "exp"::SE) => + is?(f, 'exp) => (v := isLinear(first argument(retract(f)@K),t)) case "failed" => "failed" [1, v.nconst, v.const] @@ -162,7 +162,7 @@ LaplaceTransform(R, F): Exports == Implementation where lapkernel(f, t, tt, ss) == (k := retractIfCan(f)@Union(K, "failed")) case "failed" => "failed" empty?(arg := argument(k::K)) => "failed" - is?(op := operator k, "%diff"::SE) => + is?(op := operator k, '%diff) => not( #arg = 3) => "failed" not(is?(arg.3, t)) => "failed" fint := eval(arg.1, arg.2, tt) @@ -170,11 +170,11 @@ LaplaceTransform(R, F): Exports == Implementation where ss * locallaplace(fint, t, tt, s, ss) - eval(fint, tt = 0) not (empty?(rest arg)) => "failed" member?(t, variables(a := first(arg) / tt)) => "failed" - is?(op := operator k, "Si"::SE) => atan(a / ss) / ss - is?(op, "Ci"::SE) => log((ss**2 + a**2) / a**2) / (2 * ss) - is?(op, "Ei"::SE) => log((ss + a) / a) / ss + is?(op := operator k, 'Si) => atan(a / ss) / ss + is?(op, 'Ci) => log((ss**2 + a**2) / a**2) / (2 * ss) + is?(op, 'Ei) => log((ss + a) / a) / ss if F has SpecialFunctionCategory then - is?(op, "log"::SE) => (digamma(1) - log(a) - log(ss)) / ss + is?(op, 'log) => (digamma(1) - log(a) - log(ss)) / ss "failed" -- Below we try to apply one of the texbook rules for computing |