diff options
author | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
commit | c76dce6ee2f6b6830f1087f83bf452974ce3bf09 (patch) | |
tree | 40e02b9b2ed5af7e36ebf581f5d58d4557ef94bf /src/algebra/elemntry.spad.pamphlet | |
parent | 65045e7285ed629a68ae63529fae61bbcf7bf890 (diff) | |
download | open-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/elemntry.spad.pamphlet')
-rw-r--r-- | src/algebra/elemntry.spad.pamphlet | 110 |
1 files changed, 56 insertions, 54 deletions
diff --git a/src/algebra/elemntry.spad.pamphlet b/src/algebra/elemntry.spad.pamphlet index 52da98a3..9a9bdeb2 100644 --- a/src/algebra/elemntry.spad.pamphlet +++ b/src/algebra/elemntry.spad.pamphlet @@ -185,33 +185,33 @@ ElementaryFunction(R, F): Exports == Implementation where iisqrt1 : () -> F valueOrPole : Record(func:F, pole:B) -> F - oppi := operator("pi"::Symbol)$CommonOperators - oplog := operator("log"::Symbol)$CommonOperators - opexp := operator("exp"::Symbol)$CommonOperators - opsin := operator("sin"::Symbol)$CommonOperators - opcos := operator("cos"::Symbol)$CommonOperators - optan := operator("tan"::Symbol)$CommonOperators - opcot := operator("cot"::Symbol)$CommonOperators - opsec := operator("sec"::Symbol)$CommonOperators - opcsc := operator("csc"::Symbol)$CommonOperators - opasin := operator("asin"::Symbol)$CommonOperators - opacos := operator("acos"::Symbol)$CommonOperators - opatan := operator("atan"::Symbol)$CommonOperators - opacot := operator("acot"::Symbol)$CommonOperators - opasec := operator("asec"::Symbol)$CommonOperators - opacsc := operator("acsc"::Symbol)$CommonOperators - opsinh := operator("sinh"::Symbol)$CommonOperators - opcosh := operator("cosh"::Symbol)$CommonOperators - optanh := operator("tanh"::Symbol)$CommonOperators - opcoth := operator("coth"::Symbol)$CommonOperators - opsech := operator("sech"::Symbol)$CommonOperators - opcsch := operator("csch"::Symbol)$CommonOperators - opasinh := operator("asinh"::Symbol)$CommonOperators - opacosh := operator("acosh"::Symbol)$CommonOperators - opatanh := operator("atanh"::Symbol)$CommonOperators - opacoth := operator("acoth"::Symbol)$CommonOperators - opasech := operator("asech"::Symbol)$CommonOperators - opacsch := operator("acsch"::Symbol)$CommonOperators + oppi := operator('pi)$CommonOperators + oplog := operator('log)$CommonOperators + opexp := operator('exp)$CommonOperators + opsin := operator('sin)$CommonOperators + opcos := operator('cos)$CommonOperators + optan := operator('tan)$CommonOperators + opcot := operator('cot)$CommonOperators + opsec := operator('sec)$CommonOperators + opcsc := operator('csc)$CommonOperators + opasin := operator('asin)$CommonOperators + opacos := operator('acos)$CommonOperators + opatan := operator('atan)$CommonOperators + opacot := operator('acot)$CommonOperators + opasec := operator('asec)$CommonOperators + opacsc := operator('acsc)$CommonOperators + opsinh := operator('sinh)$CommonOperators + opcosh := operator('cosh)$CommonOperators + optanh := operator('tanh)$CommonOperators + opcoth := operator('coth)$CommonOperators + opsech := operator('sech)$CommonOperators + opcsch := operator('csch)$CommonOperators + opasinh := operator('asinh)$CommonOperators + opacosh := operator('acosh)$CommonOperators + opatanh := operator('atanh)$CommonOperators + opacoth := operator('acoth)$CommonOperators + opasech := operator('asech)$CommonOperators + opacsch := operator('acsch)$CommonOperators -- Pi is a domain... Pie, isqrt1, isqrt2, isqrt3: F @@ -282,33 +282,33 @@ ElementaryFunction(R, F): Exports == Implementation where belong? op == has?(op, "elem") operator op == - is?(op, "pi"::Symbol) => oppi - is?(op, "log"::Symbol) => oplog - is?(op, "exp"::Symbol) => opexp - is?(op, "sin"::Symbol) => opsin - is?(op, "cos"::Symbol) => opcos - is?(op, "tan"::Symbol) => optan - is?(op, "cot"::Symbol) => opcot - is?(op, "sec"::Symbol) => opsec - is?(op, "csc"::Symbol) => opcsc - is?(op, "asin"::Symbol) => opasin - is?(op, "acos"::Symbol) => opacos - is?(op, "atan"::Symbol) => opatan - is?(op, "acot"::Symbol) => opacot - is?(op, "asec"::Symbol) => opasec - is?(op, "acsc"::Symbol) => opacsc - is?(op, "sinh"::Symbol) => opsinh - is?(op, "cosh"::Symbol) => opcosh - is?(op, "tanh"::Symbol) => optanh - is?(op, "coth"::Symbol) => opcoth - is?(op, "sech"::Symbol) => opsech - is?(op, "csch"::Symbol) => opcsch - is?(op, "asinh"::Symbol) => opasinh - is?(op, "acosh"::Symbol) => opacosh - is?(op, "atanh"::Symbol) => opatanh - is?(op, "acoth"::Symbol) => opacoth - is?(op, "asech"::Symbol) => opasech - is?(op, "acsch"::Symbol) => opacsch + is?(op,'pi) => oppi + is?(op,'log) => oplog + is?(op,'exp) => opexp + is?(op,'sin) => opsin + is?(op,'cos) => opcos + is?(op,'tan) => optan + is?(op,'cot) => opcot + is?(op,'sec) => opsec + is?(op,'csc) => opcsc + is?(op,'asin) => opasin + is?(op,'acos) => opacos + is?(op,'atan) => opatan + is?(op,'acot) => opacot + is?(op,'asec) => opasec + is?(op,'acsc) => opacsc + is?(op,'sinh) => opsinh + is?(op,'cosh) => opcosh + is?(op,'tanh) => optanh + is?(op,'coth) => opcoth + is?(op,'sech) => opsech + is?(op,'csch) => opcsch + is?(op,'asinh) => opasinh + is?(op,'acosh) => opacosh + is?(op,'atanh) => opatanh + is?(op,'acoth) => opacoth + is?(op,'asech) => opasech + is?(op,'acsch) => opacsch error "Not an elementary operator" dropfun x == @@ -869,6 +869,8 @@ ElementaryFunction(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 |