diff options
author | dos-reis <gdr@axiomatics.org> | 2011-11-26 20:11:59 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-11-26 20:11:59 +0000 |
commit | b91436e16c46bb3c8b0fa22d4f81eb8743f6cbd7 (patch) | |
tree | 94aa152472dbe57557213cb97bc466ef875a125a /src/algebra/poly.spad.pamphlet | |
parent | d80f7180b482bb3f61954d1260aad9a9fac81fa7 (diff) | |
download | open-axiom-b91436e16c46bb3c8b0fa22d4f81eb8743f6cbd7.tar.gz |
* algebra/indexedp.spad.pamphlet: Avoid direct use or RPLACD.
* algebra/poly.spad.pamphlet: Likewise.
* interp/define.boot (spadCompileOrSetq): Tidy replacement info.
* interp/i-output.boot ($BinaryOperators): New.
(binaryInfix?): Tidy.
Diffstat (limited to 'src/algebra/poly.spad.pamphlet')
-rw-r--r-- | src/algebra/poly.spad.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet index b86755a0..aeca4bf1 100644 --- a/src/algebra/poly.spad.pamphlet +++ b/src/algebra/poly.spad.pamphlet @@ -151,8 +151,11 @@ PolynomialRing(R:Ring,E:OrderedAbelianMonoid): T == C ground?(p): Boolean == empty? p or (empty? rest p and zero? degree p) + import %tail: Rep -> Rep from Foreign Builtin + qsetrest!: (Rep, Rep) -> Rep - qsetrest!(l: Rep, e: Rep): Rep == RPLACD(l, e)$Lisp + qsetrest!(l: Rep, e: Rep): Rep == + %store(%tail l,e)$Foreign(Builtin) entireRing? := R has EntireRing |