diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-17 05:01:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-17 05:01:33 +0000 |
commit | 86a5494a7187d226750c7cf49ce2c6505ec87079 (patch) | |
tree | fe8a5b2fe2aad99bc87b88598918e2e316476e6a /src/algebra/algfunc.spad.pamphlet | |
parent | cfda765b2e6342596df91ac9d4110f3fa95f5d75 (diff) | |
download | open-axiom-86a5494a7187d226750c7cf49ce2c6505ec87079.tar.gz |
cleanup
Diffstat (limited to 'src/algebra/algfunc.spad.pamphlet')
-rw-r--r-- | src/algebra/algfunc.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/algfunc.spad.pamphlet b/src/algebra/algfunc.spad.pamphlet index 5cb93af1..ca14074d 100644 --- a/src/algebra/algfunc.spad.pamphlet +++ b/src/algebra/algfunc.spad.pamphlet @@ -89,7 +89,9 @@ AlgebraicallyClosedField(): Category == Join(Field,RadicalCategory) with rootsOf(p:SUP) == rootsOf(p, new()) rootsOf(p:SUP, y:Symbol) == allroots(p, y, rootOf) zerosOf(p:SUP, y:Symbol) == allroots(p, y, zeroOf) - assign(x, f) == (assignSymbol(x, f, $)$Lisp; f) + assign(x, f) == + assignSymbol(x, f, $)$Foreign(Builtin) + f zeroOf(p:Polynomial $) == empty?(l := variables p) => error "zeroOf: constant polynomial" |