diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-15 19:38:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-15 19:38:25 +0000 |
| commit | ee573325df58dbcc33596630d2710ad2cd37a77d (patch) | |
| tree | cc70f7c9c4f174b8576a16f61da0f511ae8bc954 /src/algebra/efstruc.spad.pamphlet | |
| parent | 530c1ee0f24568ecb6d61c3ce2c7af1863595fdf (diff) | |
| download | open-axiom-ee573325df58dbcc33596630d2710ad2cd37a77d.tar.gz | |
* algebra/algfunc.spad.pamphlet (AlgebraicFunction): User
Identifiers for property names.
* algebra/combfunc.spad.pamphlet: Likewise.
* algebra/constant.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/elemntry.spad.pamphlet: Likewise.
* algebra/expr.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/manip.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/efstruc.spad.pamphlet')
| -rw-r--r-- | src/algebra/efstruc.spad.pamphlet | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/algebra/efstruc.spad.pamphlet b/src/algebra/efstruc.spad.pamphlet index d10c7744..fe6d0bb3 100644 --- a/src/algebra/efstruc.spad.pamphlet +++ b/src/algebra/efstruc.spad.pamphlet @@ -299,14 +299,14 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where is?(k, "%paren"::SY) or is?(k, "%box"::SY) => empty? rest args => z kf - if has?(op := operator k, "htrig") then iez := inv(ez := exp z) + if has?(op := operator k, 'htrig) then iez := inv(ez := exp z) is?(k, "sinh"::SY) => (ez - iez) / (2::F) is?(k, "cosh"::SY) => (ez + iez) / (2::F) is?(k, "tanh"::SY) => (ez - iez) / (ez + iez) is?(k, "coth"::SY) => (ez + iez) / (ez - iez) is?(k, "sech"::SY) => 2 * inv(ez + iez) is?(k, "csch"::SY) => 2 * inv(ez - iez) - if has?(op, "trig") then tz2 := tan(z / (2::F)) + if has?(op, 'trig) then tz2 := tan(z / (2::F)) is?(k, "sin"::SY) => 2 * tz2 / (1 + tz2**2) is?(k, "cos"::SY) => (1 - tz2**2) / (1 + tz2**2) is?(k, "sec"::SY) => (1 + tz2**2) / (1 - tz2**2) @@ -758,14 +758,14 @@ TrigonometricManipulations(R, F): Exports == Implementation where explogs2trigs locexplogs eval(f, l.ker, l.val) locexplogs f == - any?(has?(#1, "rtrig"), + any?(has?(#1, 'rtrig), operators(g := realElementary f))$List(BasicOperator) => localexplogs(f, g, variables g) F2FG g complexNormalize(f, x) == g : F - any?(has?(operator #1, "rtrig"), + any?(has?(operator #1, 'rtrig), [k for k in tower(g := realElementary(f, x)) | member?(x, variables(k::F))]$List(K))$List(K) => FG2F(rischNormalize(localexplogs(f, g, [x]), x).func) @@ -773,7 +773,7 @@ TrigonometricManipulations(R, F): Exports == Implementation where complexNormalize f == l := variables(g := realElementary f) - any?(has?(#1, "rtrig"), operators g)$List(BasicOperator) => + any?(has?(#1, 'rtrig), operators g)$List(BasicOperator) => h := localexplogs(f, g, l) for x in l repeat h := rischNormalize(h, x).func FG2F h @@ -782,14 +782,14 @@ TrigonometricManipulations(R, F): Exports == Implementation where complexElementary(f, x) == g : F - any?(has?(operator #1, "rtrig"), + any?(has?(operator #1, 'rtrig), [k for k in tower(g := realElementary(f, x)) | member?(x, variables(k::F))]$List(K))$List(K) => FG2F localexplogs(f, g, [x]) g complexElementary f == - any?(has?(#1, "rtrig"), + any?(has?(#1, 'rtrig), operators(g := realElementary f))$List(BasicOperator) => FG2F localexplogs(f, g, variables g) g @@ -880,14 +880,14 @@ ComplexTrigonometricManipulations(R, F): Exports == Implementation where | is?(k, "tan"::SY) or is?(k, "cot"::SY)], lx) complexElementary f == - any?(has?(#1, "rtrig"), + any?(has?(#1, 'rtrig), operators(g := realElementary f))$List(BasicOperator) => localexplogs(f, g, variables g) g complexElementary(f, x) == g : F - any?(has?(operator #1, "rtrig"), + any?(has?(operator #1, 'rtrig), [k for k in tower(g := realElementary(f, x)) | member?(x, variables(k::F))]$List(K))$List(K) => localexplogs(f, g, [x]) @@ -895,7 +895,7 @@ ComplexTrigonometricManipulations(R, F): Exports == Implementation where complexNormalize(f, x) == g : F - any?(has?(operator #1, "rtrig"), + any?(has?(operator #1, 'rtrig), [k for k in tower(g := realElementary(f, x)) | member?(x, variables(k::F))]$List(K))$List(K) => (rischNormalize(localexplogs(f, g, [x]), x).func) @@ -903,7 +903,7 @@ ComplexTrigonometricManipulations(R, F): Exports == Implementation where complexNormalize f == l := variables(g := realElementary f) - any?(has?(#1, "rtrig"), operators g)$List(BasicOperator) => + any?(has?(#1, 'rtrig), operators g)$List(BasicOperator) => h := localexplogs(f, g, l) for x in l repeat h := rischNormalize(h, x).func h |