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/limitps.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/limitps.spad.pamphlet')
-rw-r--r-- | src/algebra/limitps.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/limitps.spad.pamphlet b/src/algebra/limitps.spad.pamphlet index faf927cc..2ae98c68 100644 --- a/src/algebra/limitps.spad.pamphlet +++ b/src/algebra/limitps.spad.pamphlet @@ -563,8 +563,6 @@ ElementaryFunctionSign(R,F): Exports == Implementation where P ==> SparseMultivariatePolynomial(R, K) U ==> Union(Z, "failed") FS2 ==> FunctionSpaceFunctions2 - POSIT ==> "positive" - NEGAT ==> "negative" Exports ==> with sign: F -> U @@ -577,6 +575,8 @@ ElementaryFunctionSign(R,F): Exports == Implementation where ++ if s is "left", or above if s is "right". Implementation ==> add + macro POSIT == 'positive + macro NEGAT == 'negative import ToolsForSign R import RationalFunctionSign(R) import PowerSeriesLimitPackage(R, F) @@ -700,8 +700,8 @@ ElementaryFunctionSign(R,F): Exports == Implementation where us::Z kerSign k == - has?(op := operator k, "NEGAT") => -1 - has?(op, "POSIT") or is?(op, "pi"::SY) or is?(op,"exp"::SY) or + has?(op := operator k, NEGAT) => -1 + has?(op, POSIT) or is?(op, "pi"::SY) or is?(op,"exp"::SY) or is?(op,"cosh"::SY) or is?(op,"sech"::SY) => 1 empty?(arg := argument k) => "failed" (s := sign first arg) case "failed" => |