aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/GCDDOM-.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-11 21:16:28 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-11 21:16:28 +0000
commit5687e549faf2a00133c91dd21b48d876e0e2c449 (patch)
tree81c27b56ba305a55c7aba8442ff36f7333096050 /src/algebra/strap/GCDDOM-.lsp
parent567d3bbfc92aad2305987e3d6adedcb92615d5d5 (diff)
downloadopen-axiom-5687e549faf2a00133c91dd21b48d876e0e2c449.tar.gz
Update algebra bootstrap cache.
Diffstat (limited to 'src/algebra/strap/GCDDOM-.lsp')
-rw-r--r--src/algebra/strap/GCDDOM-.lsp14
1 files changed, 13 insertions, 1 deletions
diff --git a/src/algebra/strap/GCDDOM-.lsp b/src/algebra/strap/GCDDOM-.lsp
index 8d0c8ea7..8e9a0e77 100644
--- a/src/algebra/strap/GCDDOM-.lsp
+++ b/src/algebra/strap/GCDDOM-.lsp
@@ -1,6 +1,18 @@
(/VERSIONCHECK 2)
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+ |GCDDOM-;lcm;3S;1|))
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
+ |GCDDOM-;lcm;LS;2|))
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
+ |GCDDOM-;gcd;LS;3|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+ |GCDDOM-;gcdPolynomial;3Sup;4|))
+
(DEFUN |GCDDOM-;lcm;3S;1| (|x| |y| $)
(PROG (LCM)
(RETURN
@@ -31,7 +43,7 @@
(|getShellEntry| $ 19)))
(DEFUN |GCDDOM-;gcdPolynomial;3Sup;4| (|p1| |p2| $)
- (PROG (|e2| |e1| |c1| |p| |c2| #0=#:G1415)
+ (PROG (|e2| |e1| |c1| |p| |c2| #0=#:G1418)
(RETURN
(SEQ (COND
((SPADCALL |p1| (|getShellEntry| $ 24))