diff options
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" => |