diff options
Diffstat (limited to 'src/algebra/strap/EUCDOM-.lsp')
-rw-r--r-- | src/algebra/strap/EUCDOM-.lsp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/strap/EUCDOM-.lsp b/src/algebra/strap/EUCDOM-.lsp index 349e80b8..b8aa478a 100644 --- a/src/algebra/strap/EUCDOM-.lsp +++ b/src/algebra/strap/EUCDOM-.lsp @@ -230,7 +230,7 @@ (|getShellEntry| $ 33)))))))))))))))) (DEFUN |EUCDOM-;principalIdeal;LR;9| (|l| $) - (PROG (|uca| |v| |u| #0=#:G1519 |vv| #1=#:G1520) + (PROG (|uca| |v| |u| #0=#:G1517 |vv| #1=#:G1518) (RETURN (SEQ (COND ((SPADCALL |l| NIL (|getShellEntry| $ 42)) @@ -287,7 +287,7 @@ (QVELT |u| 2)))))))))) (DEFUN |EUCDOM-;expressIdealMember;LSU;10| (|l| |z| $) - (PROG (#0=#:G1521 #1=#:G1522 |pid| |q| #2=#:G1523 |v| #3=#:G1524) + (PROG (#0=#:G1519 #1=#:G1520 |pid| |q| #2=#:G1521 |v| #3=#:G1522) (RETURN (SEQ (COND ((SPADCALL |z| (|spadConstant| $ 19) @@ -352,9 +352,9 @@ (EXIT (NREVERSE0 #2#))))))))))))))) (DEFUN |EUCDOM-;multiEuclidean;LSU;11| (|l| |z| $) - (PROG (|n| |l1| |l2| #0=#:G1398 #1=#:G1525 #2=#:G1506 #3=#:G1504 - #4=#:G1505 #5=#:G1399 #6=#:G1526 #7=#:G1509 #8=#:G1507 - #9=#:G1508 |u| |v1| |v2|) + (PROG (|n| |l1| |l2| #0=#:G1396 #1=#:G1523 #2=#:G1504 #3=#:G1502 + #4=#:G1503 #5=#:G1397 #6=#:G1524 #7=#:G1507 #8=#:G1505 + #9=#:G1506 |u| |v1| |v2|) (RETURN (SEQ (LETT |n| (LENGTH |l|) |EUCDOM-;multiEuclidean;LSU;11|) (EXIT (COND |