diff options
Diffstat (limited to 'src/algebra/strap/DFLOAT.lsp')
| -rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 68 |
1 files changed, 35 insertions, 33 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 5e8043f1..f6af98ec 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -995,12 +995,13 @@ (196 . |negative?|) (201 . |one?|) (206 . |numer|) (211 . |denom|) (216 . |odd?|) |DFLOAT;**;$F$;85| (|PatternMatchResult| 109 $) (|Pattern| 109) - (|Factored| $) (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 153 '"failed") (|List| $) (|Union| 155 '"failed") + (|Factored| $) (|List| $) (|Union| 153 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) + (|Record| (|:| |coef1| $) (|:| |coef2| $)) + (|Union| 156 '"failed") + (|Record| (|:| |coef| 153) (|:| |generator| $)) (|SparseUnivariatePolynomial| $) - (|Record| (|:| |coef| 155) (|:| |generator| $)) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))) '#(~= 221 |zero?| 227 |wholePart| 232 |unitNormal| 237 @@ -1022,12 +1023,12 @@ 590 |divide| 595 |digits| 601 |differentiate| 605 |csch| 616 |csc| 621 |coth| 626 |cot| 631 |cosh| 636 |cos| 641 |convert| 646 |coerce| 666 |characteristic| 696 |ceiling| - 700 |bits| 705 |base| 709 |atanh| 713 |atan| 718 - |associates?| 729 |asinh| 735 |asin| 740 |asech| 745 - |asec| 750 |acsch| 755 |acsc| 760 |acoth| 765 |acot| 770 - |acosh| 775 |acos| 780 |abs| 785 |Zero| 790 |One| 794 - |OMwrite| 798 |Gamma| 822 D 827 |Beta| 838 >= 844 > 850 = - 856 <= 862 < 868 / 874 - 886 + 897 ** 903 * 933) + 700 |bits| 705 |before?| 709 |base| 715 |atanh| 719 |atan| + 724 |associates?| 735 |asinh| 741 |asin| 746 |asech| 751 + |asec| 756 |acsch| 761 |acsc| 766 |acoth| 771 |acot| 776 + |acosh| 781 |acos| 786 |abs| 791 |Zero| 796 |One| 800 + |OMwrite| 804 |Gamma| 828 D 833 |Beta| 844 >= 850 > 856 = + 862 <= 868 < 874 / 880 - 892 + 903 ** 909 * 939) '((|approximate| . 0) (|canonicalsClosed| . 0) (|canonicalUnitNormal| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) @@ -1123,19 +1124,19 @@ 122 1 0 124 0 125 1 0 112 0 120 1 0 26 0 123 2 0 0 0 0 1 1 0 100 0 101 2 0 112 0 113 115 3 0 112 0 113 113 114 - 2 0 0 0 0 1 1 0 159 155 1 1 0 19 0 1 + 2 0 0 0 0 1 1 0 158 153 1 1 0 19 0 1 0 0 24 29 1 0 19 0 1 0 0 0 47 3 0 150 0 151 150 1 1 0 26 0 43 1 0 19 0 97 2 0 0 0 26 1 1 0 0 0 1 1 0 19 0 95 2 0 - 156 155 0 1 0 0 0 39 2 0 0 0 0 61 0 0 + 154 153 0 1 0 0 0 39 2 0 0 0 0 61 0 0 0 38 2 0 0 0 0 60 1 0 26 0 27 1 0 0 0 - 34 1 0 0 0 65 1 0 0 0 70 2 0 0 0 0 1 - 1 0 0 155 1 1 0 8 0 1 1 0 0 0 1 1 0 - 98 0 99 2 0 158 158 158 1 1 0 0 155 1 + 34 1 0 0 0 65 1 0 0 0 70 1 0 0 153 1 + 2 0 0 0 0 1 1 0 8 0 1 1 0 0 0 1 1 0 + 98 0 99 2 0 159 159 159 1 1 0 0 153 1 2 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 3 0 0 26 26 24 108 2 0 0 26 26 1 1 0 152 0 - 1 3 0 154 0 0 0 1 2 0 157 0 0 1 2 0 - 100 0 0 1 2 0 156 155 0 1 1 0 26 0 28 + 1 2 0 155 0 0 1 3 0 157 0 0 0 1 2 0 + 100 0 0 1 2 0 154 153 0 1 1 0 26 0 28 0 0 0 46 1 0 0 0 69 1 0 113 0 1 2 0 136 0 0 1 0 0 24 1 1 0 0 0 102 2 0 0 0 113 1 1 0 0 0 86 1 0 0 0 76 1 0 0 0 @@ -1143,23 +1144,24 @@ 0 51 0 53 1 0 151 0 1 1 0 109 0 111 1 0 13 0 14 1 0 0 112 1 1 0 0 26 68 1 0 0 112 1 1 0 0 0 1 1 0 0 26 68 1 0 48 - 0 50 0 0 113 1 1 0 0 0 1 0 0 24 37 0 - 0 24 25 1 0 0 0 91 2 0 0 0 0 118 1 0 - 0 0 79 2 0 19 0 0 1 1 0 0 0 89 1 0 0 - 0 77 1 0 0 0 94 1 0 0 0 82 1 0 0 0 92 - 1 0 0 0 80 1 0 0 0 93 1 0 0 0 81 1 0 - 0 0 90 1 0 0 0 78 1 0 0 0 117 0 0 0 - 23 0 0 0 44 2 0 11 9 0 21 3 0 11 9 0 - 19 22 1 0 8 0 18 2 0 8 0 19 20 1 0 0 - 0 105 1 0 0 0 1 2 0 0 0 113 1 2 0 0 0 - 0 107 2 0 19 0 0 1 2 0 19 0 0 1 2 0 - 19 0 0 62 2 0 19 0 0 1 2 0 19 0 0 54 - 2 0 0 0 26 63 2 0 0 0 0 45 2 0 0 0 0 - 57 1 0 0 0 55 2 0 0 0 0 56 2 0 0 0 0 - 67 2 0 0 0 112 149 2 0 0 0 26 66 2 0 - 0 0 113 1 2 0 0 0 24 1 2 0 0 112 0 1 - 2 0 0 0 112 1 2 0 0 0 0 58 2 0 0 26 0 - 59 2 0 0 113 0 1 2 0 0 24 0 35))))) + 0 50 0 0 113 1 1 0 0 0 1 0 0 24 37 2 + 0 19 0 0 1 0 0 24 25 1 0 0 0 91 2 0 0 + 0 0 118 1 0 0 0 79 2 0 19 0 0 1 1 0 0 + 0 89 1 0 0 0 77 1 0 0 0 94 1 0 0 0 82 + 1 0 0 0 92 1 0 0 0 80 1 0 0 0 93 1 0 + 0 0 81 1 0 0 0 90 1 0 0 0 78 1 0 0 0 + 117 0 0 0 23 0 0 0 44 2 0 11 9 0 21 3 + 0 11 9 0 19 22 1 0 8 0 18 2 0 8 0 19 + 20 1 0 0 0 105 1 0 0 0 1 2 0 0 0 113 + 1 2 0 0 0 0 107 2 0 19 0 0 1 2 0 19 0 + 0 1 2 0 19 0 0 62 2 0 19 0 0 1 2 0 19 + 0 0 54 2 0 0 0 26 63 2 0 0 0 0 45 1 0 + 0 0 55 2 0 0 0 0 57 2 0 0 0 0 56 2 0 + 0 0 0 67 2 0 0 0 112 149 2 0 0 0 26 + 66 2 0 0 0 113 1 2 0 0 0 24 1 2 0 0 + 112 0 1 2 0 0 0 112 1 2 0 0 0 0 58 2 + 0 0 26 0 59 2 0 0 113 0 1 2 0 0 24 0 + 35))))) '|lookupComplete|)) (MAKEPROP '|DoubleFloat| 'NILADIC T) |