aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/elemntry.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/elemntry.spad.pamphlet')
-rw-r--r--src/algebra/elemntry.spad.pamphlet110
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