diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-05 03:52:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-05 03:52:54 +0000 |
| commit | 5eebd42bedc639efb11826fcc56520afbb4637ca (patch) | |
| tree | c692329216ca44718ddb41e58679d5c334187a4f /src/algebra/gaussian.spad.pamphlet | |
| parent | dd16b47e4904b1839b2918cf5b38c352979a6141 (diff) | |
| download | open-axiom-5eebd42bedc639efb11826fcc56520afbb4637ca.tar.gz | |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove CGREATERP
and GGREATERP. Add VM-level complex number operators.
* interp/lisp-backend.boot: Expand them.
* algebra/gaussian.spad.pamphlet (ComplexCategory): Use VM form
instead of Lisp level forms.
* algebra/pfr.spad.pamphlet (PartialFraction): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/symbol.spad.pamphlet (Symbol): Likewise.
Diffstat (limited to 'src/algebra/gaussian.spad.pamphlet')
| -rw-r--r-- | src/algebra/gaussian.spad.pamphlet | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index 220947c9..dac3d85a 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -378,25 +378,25 @@ ComplexCategory(R:CommutativeRing): Category == pi() == pi()$R :: % if R is DoubleFloat then - stoc ==> S_-TO_-C$Lisp - ctos ==> C_-TO_-S$Lisp - - exp x == ctos EXP(stoc x)$Lisp - log x == ctos LOG(stoc x)$Lisp - - sin x == ctos SIN(stoc x)$Lisp - cos x == ctos COS(stoc x)$Lisp - tan x == ctos TAN(stoc x)$Lisp - asin x == ctos ASIN(stoc x)$Lisp - acos x == ctos ACOS(stoc x)$Lisp - atan x == ctos ATAN(stoc x)$Lisp - - sinh x == ctos SINH(stoc x)$Lisp - cosh x == ctos COSH(stoc x)$Lisp - tanh x == ctos TANH(stoc x)$Lisp - asinh x == ctos ASINH(stoc x)$Lisp - acosh x == ctos ACOSH(stoc x)$Lisp - atanh x == ctos ATANH(stoc x)$Lisp + stoc ==> %val2z$Foreign(Builtin) + ctos ==> %z2val$Foreign(Builtin) + + exp x == ctos %zexp(stoc x)$Foreign(Builtin) + log x == ctos %zlog(stoc x)$Foreign(Builtin) + + sin x == ctos %zsin(stoc x)$Foreign(Builtin) + cos x == ctos %zcos(stoc x)$Foreign(Builtin) + tan x == ctos %ztan(stoc x)$Foreign(Builtin) + asin x == ctos %zasin(stoc x)$Foreign(Builtin) + acos x == ctos %zacos(stoc x)$Foreign(Builtin) + atan x == ctos %zatan(stoc x)$Foreign(Builtin) + + sinh x == ctos %zsinh(stoc x)$Foreign(Builtin) + cosh x == ctos %zcosh(stoc x)$Foreign(Builtin) + tanh x == ctos %ztanh(stoc x)$Foreign(Builtin) + asinh x == ctos %zasinh(stoc x)$Foreign(Builtin) + acosh x == ctos %zacosh(stoc x)$Foreign(Builtin) + atanh x == ctos %zatanh(stoc x)$Foreign(Builtin) else atan x == |