aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/INS-.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-02-08 01:44:04 +0000
committerdos-reis <gdr@axiomatics.org>2009-02-08 01:44:04 +0000
commit6d93161de89559ad66be655a50d3a5001c208c90 (patch)
tree30e165f0c3cf7d8eb28fae9fa9fc9dcf0acd3ab8 /src/algebra/strap/INS-.lsp
parent2fbcd8bc4f97cc3e534e11414f5a12dbc08edf2d (diff)
downloadopen-axiom-6d93161de89559ad66be655a50d3a5001c208c90.tar.gz
Fix AW/66
* algebra/zerodim.spad.pamphlet: Restore use of one? * algebra/updivp.spad.pamphlet: Likewise. * algebra/unifact.spad.pamphlet: Likewise. * algebra/triset.spad.pamphlet: Likewise. * algebra/tools.spad.pamphlet: Likewise. * algebra/suts.spad.pamphlet: Likewise. * algebra/sttaylor.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/sregset.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Likewise. * algebra/riccati.spad.pamphlet: Likewise. * algebra/rf.spad.pamphlet: Likewise. * algebra/regset.spad.pamphlet: Likewise. * algebra/rderf.spad.pamphlet: Likewise. * algebra/rdeef.spad.pamphlet: Likewise. * algebra/quat.spad.pamphlet: Likewise. * algebra/puiseux.spad.pamphlet: Likewise. * algebra/pscat.spad.pamphlet: Likewise. * algebra/prtition.spad.pamphlet: Likewise. * algebra/prs.spad.pamphlet: Likewise. * algebra/primelt.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/poly.spad.pamphlet: Likewise. * algebra/polset.spad.pamphlet: Likewise. * algebra/pfo.spad.pamphlet: Likewise. * algebra/perm.spad.pamphlet: Likewise. * algebra/pattern.spad.pamphlet: Likewise. * algebra/padiclib.spad.pamphlet:Likewise. * algebra/openmath.spad.pamphlet: Likewise. * algebra/opalg.spad.pamphlet: Likewise. * algebra/op.spad.pamphlet: Likewise. * algebra/omerror.spad.pamphlet: Likewise. * algebra/oderf.spad.pamphlet: Likewise. * algebra/odeef.spad.pamphlet: Likewise. * algebra/oct.spad.pamphlet: Likewise. * algebra/nlinsol.spad.pamphlet: Likewise. * algebra/newpoly.spad.pamphlet: Likewise. * algebra/naalgc.spad.pamphlet: Likewise. * algebra/naalg.spad.pamphlet: Likewise. * algebra/multpoly.spad.pamphlet: Likewise. * algebra/mring.spad.pamphlet: Likewise. * algebra/modring.spad.pamphlet: Likewise. * algebra/moddfact.spad.pamphlet: Likewise. * algebra/mkfunc.spad.pamphlet: Likewise. * algebra/matstor.spad.pamphlet: Likewise. * algebra/matrix.spad.pamphlet: Likewise. * algebra/matcat.spad.pamphlet: Likewise. * algebra/manip.spad.pamphlet: Likewise. * algebra/lodof.spad.pamphlet: Likewise. * algebra/liouv.spad.pamphlet: Likewise. * algebra/laplace.spad.pamphlet: Likewise. * algebra/irexpand.spad.pamphlet: Likewise. * algebra/intrf.spad.pamphlet: Likewise. * algebra/intpm.spad.pamphlet: Likewise. * algebra/intfact.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/intclos.spad.pamphlet: Likewise. * algebra/intaux.spad.pamphlet: Likewise. * algebra/intalg.spad.pamphlet: Likewise. * algebra/intaf.spad.pamphlet: Likewise. * algebra/gpol.spad.pamphlet: Likewise. * algebra/gpgcd.spad.pamphlet: Likewise. * algebra/gb.spad.pamphlet: Likewise. * algebra/gaussian.spad.pamphlet: Likewise. * algebra/galutil.spad.pamphlet: Likewise. * algebra/galpolyu.spad.pamphlet: Likewise. * algebra/galfact.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/fs2ups.spad.pamphlet: Likewise. * algebra/fs2expxp.spad.pamphlet: Likewise. * algebra/free.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/fr.spad.pamphlet: Likewise. * algebra/fparfrac.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/fmod.spad.pamphlet: Likewise. * algebra/float.spad.pamphlet: Likewise. * algebra/ffx.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/exprode.spad.pamphlet: Likewise. * algebra/expr.spad.pamphlet: Likewise. * algebra/expexpan.spad.pamphlet: Likewise. * algebra/elemntry.spad.pamphlet: Likewise. * algebra/efupxs.spad.pamphlet: Likewise. * algebra/efuls.spad.pamphlet: Likewise. * algebra/e04routine.spad.pamphlet: Likewise. * algebra/e04agents.spad.pamphlet: Likewise. * algebra/divisor.spad.pamphlet: Likewise. * algebra/derham.spad.pamphlet: Likewise. * algebra/defintrf.spad.pamphlet: Likewise. * algebra/defintef.spad.pamphlet: Likewise. * algebra/defaults.spad.pamphlet: Likewise. * algebra/d03agents.spad.pamphlet: Likewise. * algebra/d01weights.spad.pamphlet: Likewise. * algebra/d01routine.spad.pamphlet: Likewise. * algebra/d01agents.spad.pamphlet: Likewise. * algebra/curve.spad.pamphlet: Likewise. * algebra/crfp.spad.pamphlet: Likewise. * algebra/cont.spad.pamphlet: Likewise. * algebra/constant.spad.pamphlet: Likewise. * algebra/complet.spad.pamphlet: Likewise. * algebra/combfunc.spad.pamphlet: Likewise. * algebra/catdef.spad.pamphlet: Likewise. * algebra/brill.spad.pamphlet: Likewise. * algebra/array1.spad.pamphlet: Likewise. * algebra/algfunc.spad.pamphlet: Likewise. * algebra/algfact.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/strap/INS-.lsp')
-rw-r--r--src/algebra/strap/INS-.lsp67
1 files changed, 34 insertions, 33 deletions
diff --git a/src/algebra/strap/INS-.lsp b/src/algebra/strap/INS-.lsp
index d7e2223b..234dfc24 100644
--- a/src/algebra/strap/INS-.lsp
+++ b/src/algebra/strap/INS-.lsp
@@ -120,7 +120,7 @@
(DEFUN |INS-;rational?;SB;8| (|x| $) (DECLARE (IGNORE $)) 'T)
(DEFUN |INS-;euclideanSize;SNni;9| (|x| $)
- (PROG (#0=#:G1425 #1=#:G1426)
+ (PROG (#0=#:G1426 #1=#:G1427)
(RETURN
(COND
((SPADCALL |x| (|spadConstant| $ 9) (|getShellEntry| $ 24))
@@ -271,17 +271,16 @@
(LETT |d| |r| |INS-;invmod;3S;28|)
(EXIT (LETT |d1| |r1| |INS-;invmod;3S;28|)))
NIL (GO G190) G191 (EXIT NIL))
+ (COND
+ ((NULL (SPADCALL |c| (|getShellEntry| $ 83)))
+ (EXIT (|error| "inverse does not exist"))))
(EXIT (COND
- ((SPADCALL |c| (|spadConstant| $ 20)
- (|getShellEntry| $ 24))
- (COND
- ((SPADCALL |c1| (|getShellEntry| $ 79))
- (SPADCALL |c1| |b| (|getShellEntry| $ 77)))
- ('T |c1|)))
- ('T (|error| "inverse does not exist"))))))))
+ ((SPADCALL |c1| (|getShellEntry| $ 79))
+ (SPADCALL |c1| |b| (|getShellEntry| $ 77)))
+ ('T |c1|)))))))
(DEFUN |INS-;powmod;4S;29| (|x| |n| |p| $)
- (PROG (|y| #0=#:G1483 |z|)
+ (PROG (|y| #0=#:G1484 |z|)
(RETURN
(SEQ (EXIT (SEQ (COND
((SPADCALL |x| (|getShellEntry| $ 79))
@@ -306,7 +305,7 @@
(|getShellEntry| $ 12))
(LETT |y|
(SPADCALL |y| |z| |p|
- (|getShellEntry| $ 84))
+ (|getShellEntry| $ 85))
|INS-;powmod;4S;29|)))
(EXIT
(COND
@@ -326,7 +325,7 @@
('T
(LETT |z|
(SPADCALL |z| |z| |p|
- (|getShellEntry| $ 84))
+ (|getShellEntry| $ 85))
|INS-;powmod;4S;29|)))))
NIL (GO G190) G191 (EXIT NIL)))))))))
#0# (EXIT #0#)))))
@@ -337,7 +336,7 @@
(PROGN
(LETT |dv$1| (|devaluate| |#1|) . #0=(|IntegerNumberSystem&|))
(LETT |dv$| (LIST '|IntegerNumberSystem&| |dv$1|) . #0#)
- (LETT $ (|newShell| 86) . #0#)
+ (LETT $ (|newShell| 87) . #0#)
(|setShellEntry| $ 0 |dv$|)
(|setShellEntry| $ 3
(LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
@@ -378,20 +377,21 @@
(116 . |rem|) (|PositiveInteger|) (122 . *) (128 . +)
|INS-;symmetricRemainder;3S;27| (134 . |negative?|)
(139 . |positiveRemainder|) (145 . |quo|) (151 . *)
- |INS-;invmod;3S;28| (157 . |mulmod|) |INS-;powmod;4S;29|)
- '#(|symmetricRemainder| 164 |squareFree| 170 |retractIfCan|
- 175 |retract| 180 |rationalIfCan| 185 |rational?| 190
- |rational| 195 |prime?| 200 |powmod| 205 |positive?| 212
- |permutation| 217 |patternMatch| 223 |nextItem| 230 |mask|
- 235 |invmod| 240 |init| 246 |factorial| 250 |factor| 255
- |even?| 260 |euclideanSize| 265 |differentiate| 270 |copy|
- 275 |convert| 280 |characteristic| 300 |bit?| 304
- |binomial| 310)
+ (157 . |one?|) |INS-;invmod;3S;28| (162 . |mulmod|)
+ |INS-;powmod;4S;29|)
+ '#(|symmetricRemainder| 169 |squareFree| 175 |retractIfCan|
+ 180 |retract| 185 |rationalIfCan| 190 |rational?| 195
+ |rational| 200 |prime?| 205 |powmod| 210 |positive?| 217
+ |permutation| 222 |patternMatch| 228 |nextItem| 235 |mask|
+ 240 |invmod| 245 |init| 251 |factorial| 255 |factor| 260
+ |even?| 265 |euclideanSize| 270 |differentiate| 275 |copy|
+ 280 |convert| 285 |characteristic| 305 |bit?| 309
+ |binomial| 315)
'NIL
(CONS (|makeByteWordVec2| 1 'NIL)
(CONS '#()
(CONS '#()
- (|makeByteWordVec2| 85
+ (|makeByteWordVec2| 86
'(0 6 0 9 1 6 11 0 12 2 6 11 0 0 14 1 6
0 0 17 2 6 0 0 0 18 0 6 0 20 1 6 0 0
21 2 6 11 0 0 24 1 6 25 0 26 1 28 0
@@ -401,15 +401,16 @@
1 6 11 0 60 2 6 0 0 0 61 3 65 64 6 37
64 66 1 69 0 25 70 2 6 0 0 0 74 2 6 0
75 0 76 2 6 0 0 0 77 1 6 11 0 79 2 6
- 0 0 0 80 2 6 0 0 0 81 2 6 0 0 0 82 3
- 6 0 0 0 0 84 2 0 0 0 0 78 1 0 43 0 46
- 1 0 57 0 58 1 0 25 0 36 1 0 72 0 73 1
- 0 11 0 23 1 0 69 0 71 1 0 11 0 49 3 0
- 0 0 0 0 85 1 0 11 0 15 2 0 0 0 0 56 3
- 0 67 0 37 67 68 1 0 62 0 63 1 0 0 0
- 22 2 0 0 0 0 83 0 0 0 59 1 0 0 0 52 1
- 0 43 0 44 1 0 11 0 13 1 0 7 0 27 1 0
- 0 0 10 1 0 0 0 16 1 0 31 0 32 1 0 28
- 0 30 1 0 37 0 39 1 0 33 0 35 0 0 7 8
- 2 0 11 0 0 19 2 0 0 0 0 54)))))
+ 0 0 0 80 2 6 0 0 0 81 2 6 0 0 0 82 1
+ 6 11 0 83 3 6 0 0 0 0 85 2 0 0 0 0 78
+ 1 0 43 0 46 1 0 57 0 58 1 0 25 0 36 1
+ 0 72 0 73 1 0 11 0 23 1 0 69 0 71 1 0
+ 11 0 49 3 0 0 0 0 0 86 1 0 11 0 15 2
+ 0 0 0 0 56 3 0 67 0 37 67 68 1 0 62 0
+ 63 1 0 0 0 22 2 0 0 0 0 84 0 0 0 59 1
+ 0 0 0 52 1 0 43 0 44 1 0 11 0 13 1 0
+ 7 0 27 1 0 0 0 10 1 0 0 0 16 1 0 31 0
+ 32 1 0 28 0 30 1 0 37 0 39 1 0 33 0
+ 35 0 0 7 8 2 0 11 0 0 19 2 0 0 0 0
+ 54)))))
'|lookupComplete|))