diff options
Diffstat (limited to 'src/algebra/strap/INT.lsp')
-rw-r--r-- | src/algebra/strap/INT.lsp | 48 |
1 files changed, 25 insertions, 23 deletions
diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 4bb78bc9..2d9d4f7a 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -587,12 +587,13 @@ |INT;gcdPolynomial;3Sup;57| (|Fraction| 17) (|Union| 126 '"failed") (|PatternMatchResult| 17 $) (|Pattern| 17) (|Union| 17 '"failed") (|List| $) - (|Record| (|:| |coef| 131) (|:| |generator| $)) (|Union| 131 '"failed") + (|Record| (|:| |coef| 131) (|:| |generator| $)) + (|Record| (|:| |coef1| $) (|:| |coef2| $)) + (|Union| 134 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) - (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 135 '"failed") (|PositiveInteger|)) + (|PositiveInteger|)) '#(~= 167 |zero?| 173 |unitNormal| 178 |unitCanonical| 183 |unit?| 188 |symmetricRemainder| 193 |subtractIfCan| 199 |submod| 205 |squareFreePart| 212 |squareFree| 217 @@ -610,10 +611,10 @@ |exquo| 477 |expressIdealMember| 483 |even?| 489 |euclideanSize| 494 |divide| 499 |differentiate| 505 |dec| 516 |copy| 521 |convert| 526 |coerce| 556 |characteristic| - 576 |bit?| 580 |binomial| 586 |base| 592 |associates?| 596 - |addmod| 602 |abs| 609 |Zero| 614 |One| 618 |OMwrite| 622 - D 646 >= 657 > 663 = 669 <= 675 < 681 - 687 + 698 ** 704 * - 716) + 576 |bit?| 580 |binomial| 586 |before?| 592 |base| 598 + |associates?| 602 |addmod| 608 |abs| 615 |Zero| 620 |One| + 624 |OMwrite| 628 D 652 >= 663 > 669 = 675 <= 681 < 687 - + 693 + 704 ** 710 * 722) '((|infinite| . 0) (|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) @@ -688,33 +689,34 @@ 0 130 0 1 1 0 17 0 1 2 0 0 0 0 53 2 0 74 71 75 76 1 0 70 71 72 1 0 89 0 90 1 0 127 0 1 1 0 9 0 1 1 0 126 0 1 0 0 - 0 78 1 0 0 0 79 2 0 0 0 0 87 1 0 132 + 0 78 1 0 0 0 79 2 0 0 0 0 87 1 0 133 131 1 1 0 9 0 1 3 0 0 0 0 0 1 2 0 0 0 0 69 1 0 9 0 1 2 0 0 0 0 1 3 0 128 0 129 128 1 1 0 9 0 34 1 0 9 0 82 1 0 - 89 0 1 1 0 9 0 43 2 0 133 131 0 1 3 0 + 89 0 1 1 0 9 0 43 2 0 132 131 0 1 3 0 0 0 0 0 54 2 0 0 0 0 84 2 0 0 0 0 83 - 1 0 0 0 1 1 0 0 0 49 2 0 0 0 0 1 1 0 - 0 131 1 1 0 14 0 68 2 0 0 0 0 1 0 0 0 + 1 0 0 0 1 1 0 0 0 49 1 0 0 131 1 2 0 + 0 0 0 1 1 0 14 0 68 2 0 0 0 0 1 0 0 0 1 1 0 0 0 38 1 0 41 0 42 2 0 124 124 - 124 125 2 0 0 0 0 91 1 0 0 131 1 1 0 - 0 0 1 1 0 110 0 111 2 0 134 0 0 1 3 0 - 136 0 0 0 1 2 0 89 0 0 109 2 0 133 + 124 125 1 0 0 131 1 2 0 0 0 0 91 1 0 + 0 0 1 1 0 110 0 111 3 0 135 0 0 0 1 2 + 0 136 0 0 1 2 0 89 0 0 109 2 0 132 131 0 1 1 0 9 0 1 1 0 7 0 1 2 0 85 0 0 86 1 0 0 0 1 2 0 0 0 7 1 1 0 0 0 40 1 0 0 0 36 1 0 14 0 65 1 0 58 0 60 1 0 55 0 57 1 0 61 0 63 1 0 129 0 1 1 0 17 0 48 1 0 0 17 47 1 0 0 0 1 1 0 0 17 47 1 0 44 0 46 0 0 7 1 2 0 9 0 0 1 - 2 0 0 0 0 1 0 0 0 35 2 0 9 0 0 1 3 0 - 0 0 0 0 50 1 0 0 0 77 0 0 0 6 0 0 0 - 31 3 0 11 12 0 9 29 2 0 14 0 9 27 2 0 - 11 12 0 28 1 0 14 0 26 1 0 0 0 1 2 0 - 0 0 7 1 2 0 9 0 0 1 2 0 9 0 0 1 2 0 9 - 0 0 33 2 0 9 0 0 1 2 0 9 0 0 10 2 0 0 - 0 0 39 1 0 0 0 16 2 0 0 0 0 37 2 0 0 - 0 7 81 2 0 0 0 137 1 2 0 0 0 0 52 2 0 - 0 17 0 80 2 0 0 7 0 1 2 0 0 137 0 1))))) + 2 0 0 0 0 1 2 0 9 0 0 1 0 0 0 35 2 0 + 9 0 0 1 3 0 0 0 0 0 50 1 0 0 0 77 0 0 + 0 6 0 0 0 31 3 0 11 12 0 9 29 2 0 14 + 0 9 27 2 0 11 12 0 28 1 0 14 0 26 1 0 + 0 0 1 2 0 0 0 7 1 2 0 9 0 0 1 2 0 9 0 + 0 1 2 0 9 0 0 33 2 0 9 0 0 1 2 0 9 0 + 0 10 2 0 0 0 0 39 1 0 0 0 16 2 0 0 0 + 0 37 2 0 0 0 7 81 2 0 0 0 137 1 2 0 0 + 0 0 52 2 0 0 17 0 80 2 0 0 7 0 1 2 0 + 0 137 0 1))))) '|lookupComplete|)) (MAKEPROP '|Integer| 'NILADIC T) |