diff options
Diffstat (limited to 'src/algebra/algfunc.spad.pamphlet')
| -rw-r--r-- | src/algebra/algfunc.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/algfunc.spad.pamphlet b/src/algebra/algfunc.spad.pamphlet index 9d70445d..abe4bd82 100644 --- a/src/algebra/algfunc.spad.pamphlet +++ b/src/algebra/algfunc.spad.pamphlet @@ -162,7 +162,7 @@ AlgebraicallyClosedField(): Category == Join(Field,RadicalCategory) with ++ Description: ++ Model for algebraically closed function spaces. ++ Keywords: algebraic, closure, field. -AlgebraicallyClosedFunctionSpace(R:Join(OrderedSet, IntegralDomain)): +AlgebraicallyClosedFunctionSpace(R: IntegralDomain): Category == Join(AlgebraicallyClosedField, FunctionSpace R) with rootOf : $ -> $ ++ rootOf(p) returns y such that \spad{p(y) = 0}. @@ -296,7 +296,7 @@ test and give $$1/(-2)^(1/n) \ne (-1/2)^(1/n)$$ ++ Keywords: algebraic, function. AlgebraicFunction(R, F): Exports == Implementation where - R: Join(OrderedSet, IntegralDomain) + R: IntegralDomain F: FunctionSpace R SE ==> Symbol @@ -478,7 +478,7 @@ AlgebraicFunction(R, F): Exports == Implementation where if R has imaginary:() -> R then iroot(r, n) == nthRoot(r, n)::F else iroot(r, n) == - odd? n or r >= 0 => nthRoot(r, n)::F + odd? n or not before?(r,0) => nthRoot(r, n)::F iroot0(r, n) else iroot(r, n) == iroot0(r, n) |