diff options
Diffstat (limited to 'src/algebra/strap/DFLOAT.lsp')
| -rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 87 |
1 files changed, 41 insertions, 46 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 878da4c3..43c27b6f 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -706,15 +706,14 @@ (79 . *) (85 . |coerce|) (90 . |zero?|) (95 . |negative?|) (100 . |One|) (104 . =) (110 . |numer|) (115 . |denom|) |DFLOAT;**;$F$;85| (|PatternMatchResult| 102 $) - (|Pattern| 102) (|Factored| $) (|List| $) - (|Union| 133 '"failed") + (|Pattern| 102) (|Factored| $) + (|Record| (|:| |coef1| $) (|:| |coef2| $)) + (|Union| 133 '"failed") (|List| $) (|Union| 135 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) - (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 136 '"failed") (|Record| (|:| |quotient| $) (|:| |remainder| $)) - (|Record| (|:| |coef| 133) (|:| |generator| $)) (|SparseUnivariatePolynomial| $) + (|Record| (|:| |coef| 135) (|:| |generator| $)) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) (|SingleInteger|)) @@ -740,10 +739,10 @@ |characteristic| 605 |ceiling| 609 |bits| 614 |base| 618 |atanh| 622 |atan| 627 |associates?| 638 |asinh| 644 |asin| 649 |asech| 654 |asec| 659 |acsch| 664 |acsc| 669 - |acoth| 674 |acot| 679 |acosh| 684 |acos| 689 |abs| 694 ^ - 699 |Zero| 717 |One| 721 |OMwrite| 725 |Gamma| 749 D 754 - |Beta| 765 >= 771 > 777 = 783 <= 789 < 795 / 801 - 813 + - 824 ** 830 * 860) + |acoth| 674 |acot| 679 |acosh| 684 |acos| 689 |abs| 694 + |Zero| 699 |One| 703 |OMwrite| 707 |Gamma| 731 D 736 + |Beta| 747 >= 753 > 759 = 765 <= 771 < 777 / 783 - 795 + + 806 ** 812 * 842) '((|approximate| . 0) (|canonicalsClosed| . 0) (|canonicalUnitNormal| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) @@ -828,45 +827,44 @@ 0 0 0 1 1 0 111 0 112 1 0 114 0 115 1 0 105 0 110 1 0 26 0 113 2 0 0 0 0 1 1 0 91 0 92 2 0 105 0 106 108 3 0 105 - 0 106 106 107 2 0 0 0 0 1 1 0 139 133 + 0 106 106 107 2 0 0 0 0 1 1 0 140 135 1 1 0 20 0 1 0 0 24 29 1 0 20 0 1 0 0 0 39 3 0 130 0 131 130 1 1 0 26 0 35 1 0 20 0 1 2 0 0 0 26 1 1 0 0 0 1 1 0 - 20 0 88 2 0 134 133 0 1 0 0 0 34 2 0 + 20 0 88 2 0 136 135 0 1 0 0 0 34 2 0 0 0 0 53 0 0 0 33 2 0 0 0 0 52 1 0 26 0 27 1 0 0 0 30 1 0 0 0 57 1 0 0 0 62 - 1 0 0 133 1 2 0 0 0 0 1 1 0 7 0 1 1 0 - 0 0 1 1 0 26 0 90 1 0 142 0 1 2 0 140 - 140 140 1 1 0 0 133 1 2 0 0 0 0 1 1 0 - 0 0 1 1 0 0 0 1 3 0 0 26 26 24 100 2 - 0 0 26 26 1 1 0 132 0 1 2 0 135 0 0 1 - 3 0 137 0 0 0 1 2 0 91 0 0 1 2 0 134 - 133 0 1 1 0 26 0 28 0 0 0 38 1 0 0 0 - 61 1 0 106 0 1 1 0 7 7 8 2 0 138 0 0 - 1 0 0 24 1 1 0 0 0 93 2 0 0 0 106 1 1 - 0 0 0 78 1 0 0 0 68 1 0 0 0 79 1 0 0 - 0 66 1 0 0 0 76 1 0 0 0 64 1 0 43 0 - 45 1 0 131 0 1 1 0 102 0 104 1 0 15 0 - 101 1 0 0 105 1 1 0 0 26 60 1 0 0 105 - 1 1 0 0 26 60 1 0 0 0 1 1 0 40 0 42 0 - 0 106 1 1 0 0 0 1 0 0 24 32 0 0 24 25 - 1 0 0 0 83 2 0 0 0 0 109 1 0 0 0 71 2 - 0 20 0 0 1 1 0 0 0 81 1 0 0 0 69 1 0 - 0 0 86 1 0 0 0 74 1 0 0 0 84 1 0 0 0 - 72 1 0 0 0 85 1 0 0 0 73 1 0 0 0 82 1 - 0 0 0 70 1 0 0 0 117 2 0 0 0 26 1 2 0 - 0 0 106 1 2 0 0 0 24 1 0 0 0 36 0 0 0 - 37 3 0 13 11 0 20 23 2 0 7 0 20 21 2 - 0 13 11 0 22 1 0 7 0 19 1 0 0 0 96 1 - 0 0 0 1 2 0 0 0 106 1 2 0 0 0 0 98 2 - 0 20 0 0 1 2 0 20 0 0 1 2 0 20 0 0 54 - 2 0 20 0 0 1 2 0 20 0 0 46 2 0 0 0 26 - 55 2 0 0 0 0 87 2 0 0 0 0 49 1 0 0 0 - 47 2 0 0 0 0 48 2 0 0 0 0 59 2 0 0 0 - 105 129 2 0 0 0 26 58 2 0 0 0 106 1 2 - 0 0 0 24 1 2 0 0 0 105 1 2 0 0 105 0 - 1 2 0 0 0 0 50 2 0 0 26 0 51 2 0 0 - 106 0 1 2 0 0 24 0 31))))) + 2 0 0 0 0 1 1 0 0 135 1 1 0 7 0 1 1 0 + 0 0 1 1 0 26 0 90 1 0 142 0 1 2 0 139 + 139 139 1 1 0 0 135 1 2 0 0 0 0 1 1 0 + 0 0 1 1 0 0 0 1 2 0 0 26 26 1 3 0 0 + 26 26 24 100 1 0 132 0 1 3 0 134 0 0 + 0 1 2 0 137 0 0 1 2 0 91 0 0 1 2 0 + 136 135 0 1 1 0 26 0 28 0 0 0 38 1 0 + 0 0 61 1 0 106 0 1 1 0 7 7 8 2 0 138 + 0 0 1 0 0 24 1 1 0 0 0 93 2 0 0 0 106 + 1 1 0 0 0 78 1 0 0 0 68 1 0 0 0 79 1 + 0 0 0 66 1 0 0 0 76 1 0 0 0 64 1 0 43 + 0 45 1 0 131 0 1 1 0 15 0 101 1 0 102 + 0 104 1 0 0 105 1 1 0 0 26 60 1 0 0 + 105 1 1 0 0 26 60 1 0 0 0 1 1 0 40 0 + 42 0 0 106 1 1 0 0 0 1 0 0 24 32 0 0 + 24 25 1 0 0 0 83 2 0 0 0 0 109 1 0 0 + 0 71 2 0 20 0 0 1 1 0 0 0 81 1 0 0 0 + 69 1 0 0 0 86 1 0 0 0 74 1 0 0 0 84 1 + 0 0 0 72 1 0 0 0 85 1 0 0 0 73 1 0 0 + 0 82 1 0 0 0 70 1 0 0 0 117 0 0 0 36 + 0 0 0 37 3 0 13 11 0 20 23 2 0 7 0 20 + 21 2 0 13 11 0 22 1 0 7 0 19 1 0 0 0 + 96 1 0 0 0 1 2 0 0 0 106 1 2 0 0 0 0 + 98 2 0 20 0 0 1 2 0 20 0 0 1 2 0 20 0 + 0 54 2 0 20 0 0 1 2 0 20 0 0 46 2 0 0 + 0 26 55 2 0 0 0 0 87 2 0 0 0 0 49 1 0 + 0 0 47 2 0 0 0 0 48 2 0 0 0 0 59 2 0 + 0 0 105 129 2 0 0 0 26 58 2 0 0 0 106 + 1 2 0 0 0 24 1 2 0 0 0 105 1 2 0 0 + 105 0 1 2 0 0 0 0 50 2 0 0 26 0 51 2 + 0 0 106 0 1 2 0 0 24 0 31))))) '|lookupComplete|)) (SETQ |$CategoryFrame| @@ -997,7 +995,6 @@ ((* ($ (|Fraction| (|Integer|)) $)) T (ELT $ NIL)) ((* ($ $ (|Fraction| (|Integer|)))) T (ELT $ NIL)) ((** ($ $ (|Integer|))) T (ELT $ 58)) - ((^ ($ $ (|Integer|))) T (ELT $ NIL)) ((|inv| ($ $)) T (ELT $ NIL)) ((|prime?| ((|Boolean|) $)) T (ELT $ NIL)) ((|squareFree| ((|Factored| $) $)) T (ELT $ NIL)) @@ -1059,11 +1056,9 @@ ((|One| ($)) T (CONST $ 37)) ((|one?| ((|Boolean|) $)) T (ELT $ NIL)) ((** ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) - ((^ ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) ((|recip| ((|Union| $ "failed") $)) T (ELT $ 92)) ((* ($ $ $)) T (ELT $ 50)) ((** ($ $ (|PositiveInteger|))) T (ELT $ NIL)) - ((^ ($ $ (|PositiveInteger|))) T (ELT $ NIL)) ((* ($ (|Integer|) $)) T (ELT $ 51)) ((- ($ $ $)) T (ELT $ 49)) ((- ($ $)) T (ELT $ 47)) ((|subtractIfCan| ((|Union| $ "failed") $ $)) T |