diff options
Diffstat (limited to 'src/algebra/elemntry.spad.pamphlet')
-rw-r--r-- | src/algebra/elemntry.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/elemntry.spad.pamphlet b/src/algebra/elemntry.spad.pamphlet index e0f0c440..1b645e04 100644 --- a/src/algebra/elemntry.spad.pamphlet +++ b/src/algebra/elemntry.spad.pamphlet @@ -19,7 +19,7 @@ ++ Examples: )r EF INPUT ++ Description: Provides elementary functions over an integral domain. ElementaryFunction(R, F): Exports == Implementation where - R: Join(OrderedSet, IntegralDomain) + R: IntegralDomain F: Join(FunctionSpace R, RadicalCategory) B ==> Boolean @@ -610,7 +610,7 @@ ElementaryFunction(R, F): Exports == Implementation where iexp x == zero? x => 1 is?(x, oplog) => first argument kernel x - x < 0 and empty? variables x => inv iexp(-x) + before?(x,0) and empty? variables x => inv iexp(-x) h := inv(2::F) i := iisqrt1() s2 := h * iisqrt2() |