aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/POLYCAT-.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-02-24 18:06:28 +0000
committerdos-reis <gdr@axiomatics.org>2011-02-24 18:06:28 +0000
commit1f68c8c90efaf97535bfc1bfc99cad368213870e (patch)
treeb58a560a5e83f5dc73b3e5443e3a8bcabf5d0f19 /src/algebra/strap/POLYCAT-.lsp
parent04608dfa938b011bce60031e7eccfb6cb67c2ced (diff)
downloadopen-axiom-1f68c8c90efaf97535bfc1bfc99cad368213870e.tar.gz
* interp/sys-macros.lisp (shellEntry): New.
* interp/g-util.boot (setShellEntry): Remove. * interp/compiler.boot: Use %store to %tref forms instead of setHSellEntry. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/showimp.boot: Likewise. * interp/c-util.boot (isSimple): Tidy. (isSideEffectFree): Likewise. (updateCapsuleDirectory): Likewise.
Diffstat (limited to 'src/algebra/strap/POLYCAT-.lsp')
-rw-r--r--src/algebra/strap/POLYCAT-.lsp168
1 files changed, 88 insertions, 80 deletions
diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp
index 71c72c64..e343ce8d 100644
--- a/src/algebra/strap/POLYCAT-.lsp
+++ b/src/algebra/strap/POLYCAT-.lsp
@@ -1097,66 +1097,69 @@
'(|ConvertibleTo| (|InputForm|)))
(|HasCategory| |#2|
'(|ConvertibleTo| (|InputForm|)))))))
- (|setShellEntry| $ 0 |dv$|)
- (|setShellEntry| $ 3 |pv$|)
+ (SETF (|shellEntry| $ 0) |dv$|)
+ (SETF (|shellEntry| $ 3) |pv$|)
(|stuffDomainSlots| $)
- (|setShellEntry| $ 6 |#1|)
- (|setShellEntry| $ 7 |#2|)
- (|setShellEntry| $ 8 |#3|)
- (|setShellEntry| $ 9 |#4|)
+ (SETF (|shellEntry| $ 6) |#1|)
+ (SETF (|shellEntry| $ 7) |#2|)
+ (SETF (|shellEntry| $ 8) |#3|)
+ (SETF (|shellEntry| $ 9) |#4|)
(COND
((|testBitVector| |pv$| 4)
(PROGN
- (|setShellEntry| $ 95
- (CONS (|dispatchFunction|
- |POLYCAT-;resultant;2SVarSetS;15|)
- $))
- (|setShellEntry| $ 97
- (CONS (|dispatchFunction|
- |POLYCAT-;discriminant;SVarSetS;16|)
- $)))))
+ (SETF (|shellEntry| $ 95)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;resultant;2SVarSetS;15|)
+ $))
+ (SETF (|shellEntry| $ 97)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;discriminant;SVarSetS;16|)
+ $)))))
(COND
((|HasCategory| |#2| '(|IntegralDomain|))
(PROGN
- (|setShellEntry| $ 121
- (CONS (|dispatchFunction| |POLYCAT-;reducedSystem;MM;20|)
- $))
- (|setShellEntry| $ 131
- (CONS (|dispatchFunction| |POLYCAT-;reducedSystem;MVR;21|)
- $)))))
+ (SETF (|shellEntry| $ 121)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;reducedSystem;MM;20|)
+ $))
+ (SETF (|shellEntry| $ 131)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;reducedSystem;MVR;21|)
+ $)))))
(COND
((|testBitVector| |pv$| 1)
(PROGN
- (|setShellEntry| $ 134
- (CONS (|dispatchFunction|
- |POLYCAT-;gcdPolynomial;3Sup;22|)
- $))
- (|setShellEntry| $ 141
- (CONS (|dispatchFunction|
- |POLYCAT-;solveLinearPolynomialEquation;LSupU;23|)
- $))
- (|setShellEntry| $ 145
- (CONS (|dispatchFunction|
- |POLYCAT-;factorPolynomial;SupF;24|)
- $))
- (|setShellEntry| $ 147
- (CONS (|dispatchFunction|
- |POLYCAT-;factorSquareFreePolynomial;SupF;25|)
- $))
- (|setShellEntry| $ 165
- (CONS (|dispatchFunction| |POLYCAT-;factor;SF;26|) $))
+ (SETF (|shellEntry| $ 134)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;gcdPolynomial;3Sup;22|)
+ $))
+ (SETF (|shellEntry| $ 141)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;solveLinearPolynomialEquation;LSupU;23|)
+ $))
+ (SETF (|shellEntry| $ 145)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;factorPolynomial;SupF;24|)
+ $))
+ (SETF (|shellEntry| $ 147)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;factorSquareFreePolynomial;SupF;25|)
+ $))
+ (SETF (|shellEntry| $ 165)
+ (CONS (|dispatchFunction| |POLYCAT-;factor;SF;26|) $))
(COND
((|HasCategory| |#2| '(|CharacteristicNonZero|))
(PROGN
- (|setShellEntry| $ 184
- (CONS (|dispatchFunction|
- |POLYCAT-;conditionP;MU;27|)
- $))))))))
+ (SETF (|shellEntry| $ 184)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;conditionP;MU;27|)
+ $))))))))
(COND
((|HasCategory| |#2| '(|CharacteristicNonZero|))
(PROGN
- (|setShellEntry| $ 186
- (CONS (|dispatchFunction| |POLYCAT-;charthRoot;SU;28|) $)))))
+ (SETF (|shellEntry| $ 186)
+ (CONS (|dispatchFunction| |POLYCAT-;charthRoot;SU;28|)
+ $)))))
(COND
((|testBitVector| |pv$| 3)
(PROGN
@@ -1164,53 +1167,58 @@
((|HasCategory| |#2| '(|EuclideanDomain|))
(COND
((|HasCategory| |#2| '(|CharacteristicZero|))
- (|setShellEntry| $ 195
- (CONS (|dispatchFunction|
- |POLYCAT-;squareFree;SF;31|)
- $)))
- (T (|setShellEntry| $ 195
+ (SETF (|shellEntry| $ 195)
(CONS (|dispatchFunction|
- |POLYCAT-;squareFree;SF;32|)
- $)))))
- (T (|setShellEntry| $ 195
- (CONS (|dispatchFunction|
- |POLYCAT-;squareFree;SF;33|)
- $))))
- (|setShellEntry| $ 203
- (CONS (|dispatchFunction| |POLYCAT-;squareFreePart;2S;34|)
- $))
- (|setShellEntry| $ 205
- (CONS (|dispatchFunction| |POLYCAT-;content;SVarSetS;35|)
- $))
- (|setShellEntry| $ 210
- (CONS (|dispatchFunction| |POLYCAT-;primitivePart;2S;36|)
- $))
- (|setShellEntry| $ 213
- (CONS (|dispatchFunction|
- |POLYCAT-;primitivePart;SVarSetS;37|)
- $)))))
+ |POLYCAT-;squareFree;SF;31|)
+ $)))
+ (T (SETF (|shellEntry| $ 195)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;squareFree;SF;32|)
+ $)))))
+ (T (SETF (|shellEntry| $ 195)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;squareFree;SF;33|)
+ $))))
+ (SETF (|shellEntry| $ 203)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;squareFreePart;2S;34|)
+ $))
+ (SETF (|shellEntry| $ 205)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;content;SVarSetS;35|)
+ $))
+ (SETF (|shellEntry| $ 210)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;primitivePart;2S;36|)
+ $))
+ (SETF (|shellEntry| $ 213)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;primitivePart;SVarSetS;37|)
+ $)))))
(COND
((AND (|testBitVector| |pv$| 8) (|testBitVector| |pv$| 7))
- (|setShellEntry| $ 222
- (CONS (|dispatchFunction| |POLYCAT-;patternMatch;SP2Pmr;39|)
- $))))
+ (SETF (|shellEntry| $ 222)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;patternMatch;SP2Pmr;39|)
+ $))))
(COND
((AND (|testBitVector| |pv$| 6) (|testBitVector| |pv$| 5))
- (|setShellEntry| $ 229
- (CONS (|dispatchFunction| |POLYCAT-;patternMatch;SP2Pmr;40|)
- $))))
+ (SETF (|shellEntry| $ 229)
+ (CONS (|dispatchFunction|
+ |POLYCAT-;patternMatch;SP2Pmr;40|)
+ $))))
(COND
((AND (|testBitVector| |pv$| 12) (|testBitVector| |pv$| 11))
- (|setShellEntry| $ 236
- (CONS (|dispatchFunction| |POLYCAT-;convert;SP;41|) $))))
+ (SETF (|shellEntry| $ 236)
+ (CONS (|dispatchFunction| |POLYCAT-;convert;SP;41|) $))))
(COND
((AND (|testBitVector| |pv$| 10) (|testBitVector| |pv$| 9))
- (|setShellEntry| $ 243
- (CONS (|dispatchFunction| |POLYCAT-;convert;SP;42|) $))))
+ (SETF (|shellEntry| $ 243)
+ (CONS (|dispatchFunction| |POLYCAT-;convert;SP;42|) $))))
(COND
((AND (|testBitVector| |pv$| 14) (|testBitVector| |pv$| 13))
- (|setShellEntry| $ 251
- (CONS (|dispatchFunction| |POLYCAT-;convert;SIf;43|) $))))
+ (SETF (|shellEntry| $ 251)
+ (CONS (|dispatchFunction| |POLYCAT-;convert;SIf;43|) $))))
$))
(MAKEPROP '|PolynomialCategory&| '|infovec|