aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/efstruc.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-02-04 11:43:05 +0000
committerdos-reis <gdr@axiomatics.org>2009-02-04 11:43:05 +0000
commitc76dce6ee2f6b6830f1087f83bf452974ce3bf09 (patch)
tree40e02b9b2ed5af7e36ebf581f5d58d4557ef94bf /src/algebra/efstruc.spad.pamphlet
parent65045e7285ed629a68ae63529fae61bbcf7bf890 (diff)
downloadopen-axiom-c76dce6ee2f6b6830f1087f83bf452974ce3bf09.tar.gz
* algebra/algfunc.spad.pamphlet: Quote symbols.
* algebra/combfunc.spad.pamphlet: Likewise. * algebra/drawopt.spad.pamphlet: Likewise. * algebra/efstruc.spad.pamphlet: Likewise. * algebra/elemntry.spad.pamphlet: Likewise. * algebra/expr.spad.pamphlet: Likewise. * algebra/exprode.spad.pamphlet: Likewise. * algebra/float.spad.pamphlet: Likewise. * algebra/gaussian.spad.pamphlet: Likewise. * algebra/intaux.spad.pamphlet: Likewise. * algebra/irexpand.spad.pamphlet: Likewise. * algebra/laplace.spad.pamphlet: Likewise. * algebra/limitps.spad.pamphlet: Likewise. * algebra/liouv.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/lmdict.spad.pamphlet: Likewise. * algebra/manip.spad.pamphlet: Likewise. * algebra/matcat.spad.pamphlet: Likewise. * algebra/matrix.spad.pamphlet: Likewise. * algebra/mkfunc.spad.pamphlet: Likewise. * algebra/mset.spad.pamphlet: Likewise. * algebra/oct.spad.pamphlet: Likewise. * algebra/op.spad.pamphlet: Likewise. * algebra/patmatch1.spad.pamphlet: Likewise. * algebra/pattern.spad.pamphlet: Likewise. * algebra/quat.spad.pamphlet: Likewise. * algebra/sets.spad.pamphlet: Likewise. * algebra/transsolve.spad.pamphlet: Likewise. * algebra/vector.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/efstruc.spad.pamphlet')
-rw-r--r--src/algebra/efstruc.spad.pamphlet62
1 files changed, 32 insertions, 30 deletions
diff --git a/src/algebra/efstruc.spad.pamphlet b/src/algebra/efstruc.spad.pamphlet
index a73963fd..d10c7744 100644
--- a/src/algebra/efstruc.spad.pamphlet
+++ b/src/algebra/efstruc.spad.pamphlet
@@ -573,10 +573,10 @@ InnerTrigonometricManipulations(R,F,FG): Exports == Implementation where
for a in argument k]$List(FG)) => kf
im := complex(0, 1)$GR :: FG
z := first args
- is?(k, "tan"::Symbol) =>
+ is?(k,'tan) =>
e := (member?(k, l) => exp(im * z) ** 2; exp(2 * im * z))
- im * (e - 1) /$FG (e + 1)
- is?(k, "atan"::Symbol) =>
+ is?(k,'atan) =>
im * log((1 -$FG im *$FG z)/$FG (1 +$FG im *$FG z))$FG / (2::FG)
(operator k) args
@@ -589,33 +589,33 @@ InnerTrigonometricManipulations(R,F,FG): Exports == Implementation where
"and"/[zero? imag x for x in arg] =>
complex(op [real x for x in arg]$List(F), 0)
a := first arg
- is?(op, "exp"::Symbol) => exp a
- is?(op, "log"::Symbol) => log a
- is?(op, "sin"::Symbol) => sin a
- is?(op, "cos"::Symbol) => cos a
- is?(op, "tan"::Symbol) => tan a
- is?(op, "cot"::Symbol) => cot a
- is?(op, "sec"::Symbol) => sec a
- is?(op, "csc"::Symbol) => csc a
- is?(op, "asin"::Symbol) => asin a
- is?(op, "acos"::Symbol) => acos a
- is?(op, "atan"::Symbol) => atan a
- is?(op, "acot"::Symbol) => acot a
- is?(op, "asec"::Symbol) => asec a
- is?(op, "acsc"::Symbol) => acsc a
- is?(op, "sinh"::Symbol) => sinh a
- is?(op, "cosh"::Symbol) => cosh a
- is?(op, "tanh"::Symbol) => tanh a
- is?(op, "coth"::Symbol) => coth a
- is?(op, "sech"::Symbol) => sech a
- is?(op, "csch"::Symbol) => csch a
- is?(op, "asinh"::Symbol) => asinh a
- is?(op, "acosh"::Symbol) => acosh a
- is?(op, "atanh"::Symbol) => atanh a
- is?(op, "acoth"::Symbol) => acoth a
- is?(op, "asech"::Symbol) => asech a
- is?(op, "acsch"::Symbol) => acsch a
- is?(op, "abs"::Symbol) => sqrt(norm a)::GF
+ is?(op,'exp) => exp a
+ is?(op,'log) => log a
+ is?(op,'sin) => sin a
+ is?(op,'cos) => cos a
+ is?(op,'tan) => tan a
+ is?(op,'cot) => cot a
+ is?(op,'sec) => sec a
+ is?(op,'csc) => csc a
+ is?(op,'asin) => asin a
+ is?(op,'acos) => acos a
+ is?(op,'atan) => atan a
+ is?(op,'acot) => acot a
+ is?(op,'asec) => asec a
+ is?(op,'acsc) => acsc a
+ is?(op,'sinh) => sinh a
+ is?(op,'cosh) => cosh a
+ is?(op,'tanh) => tanh a
+ is?(op,'coth) => coth a
+ is?(op,'sech) => sech a
+ is?(op,'csch) => csch a
+ is?(op,'asinh) => asinh a
+ is?(op,'acosh) => acosh a
+ is?(op,'atanh) => atanh a
+ is?(op,'acoth) => acoth a
+ is?(op,'asech) => asech a
+ is?(op,'acsch) => acsch a
+ is?(op,'abs) => sqrt(norm a)::GF
nth and is?(op, NTHR) => nthRoot(a, retract(second arg)@Z)
error "ker2trigs: cannot convert kernel to gaussian function"
@@ -633,7 +633,7 @@ InnerTrigonometricManipulations(R,F,FG): Exports == Implementation where
arg := [explogs2trigs x for x in argument k]
num := univariate(numer f, k)
den := univariate(denom f, k)
- is?(op, "exp"::Symbol) =>
+ is?(op,'exp) =>
e := exp real first arg
y := imag first arg
g := complex(e * cos y, e * sin y)$GF
@@ -915,6 +915,8 @@ ComplexTrigonometricManipulations(R, F): Exports == Implementation where
<<license>>=
--Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--All rights reserved.
+--Copyright (C) 2007-2009, Gabriel Dos Reis.
+--All rights reserved.
--
--Redistribution and use in source and binary forms, with or without
--modification, are permitted provided that the following conditions are