[1] | 1 | Starts dribbling to ratpoly-tests.output (1995/3/28, 23:27:4).
|
---|
| 2 | VALUE--> NIL
|
---|
| 3 |
|
---|
| 4 | EVAL> (SETF F
|
---|
| 5 | (PARSE-STRING-TO-SORTED-ALIST x^2*y-3*x*y^2+x^2-3*x*y
|
---|
| 6 | '(X Y)))
|
---|
| 7 | VALUE--> (((2 1) . 1) ((2 0) . 1) ((1 2) . -3) ((1 1) . -3))
|
---|
| 8 |
|
---|
| 9 | EVAL> (SETF G
|
---|
| 10 | (PARSE-STRING-TO-SORTED-ALIST x^3*y-4*y^2+y+x^3-4*y+1
|
---|
| 11 | '(X Y)))
|
---|
| 12 | VALUE--> (((3 1) . 1) ((3 0) . 1) ((0 2) . -4) ((0 1) . -3)
|
---|
| 13 | ((0 0) . 1))
|
---|
| 14 |
|
---|
| 15 | EVAL> (POLY-PRINT F '(X Y))
|
---|
| 16 | X^2 * Y + X^2 - 3 * X * Y^2 - 3 * X * Y
|
---|
| 17 | VALUE--> (((2 1) . 1) ((2 0) . 1) ((1 2) . -3) ((1 1) . -3))
|
---|
| 18 |
|
---|
| 19 | EVAL> (POLY-PRINT G '(X Y))
|
---|
| 20 | X^3 * Y + X^3 - 4 * Y^2 - 3 * Y + 1
|
---|
| 21 | VALUE--> (((3 1) . 1) ((3 0) . 1) ((0 2) . -4) ((0 1) . -3)
|
---|
| 22 | ((0 0) . 1))
|
---|
| 23 |
|
---|
| 24 | EVAL> (SETF RF (POLY-TO-RATPOLY F))
|
---|
| 25 | VALUE--> (2 ((((1) . 1) ((0) . 1)) ((0) . 1)) 1
|
---|
| 26 | ((((2) . -3) ((1) . -3)) ((0) . 1)))
|
---|
| 27 |
|
---|
| 28 | EVAL> (SETF RG (POLY-TO-RATPOLY G))
|
---|
| 29 | VALUE--> (3 ((((1) . 1) ((0) . 1)) ((0) . 1)) 0
|
---|
| 30 | ((((2) . -4) ((1) . -3) ((0) . 1)) ((0) . 1)))
|
---|
| 31 |
|
---|
| 32 | EVAL> (RATPOLY-PRINT RF '(X Y))
|
---|
| 33 | ((Y + 1) / (1)) * X^2 + (( - 3 * Y^2 - 3 * Y) / (1)) * X
|
---|
| 34 | VALUE--> (2 ((((1) . 1) ((0) . 1)) ((0) . 1)) 1
|
---|
| 35 | ((((2) . -3) ((1) . -3)) ((0) . 1)))
|
---|
| 36 |
|
---|
| 37 | EVAL> (RATPOLY-PRINT RG '(X Y))
|
---|
| 38 | ((Y + 1) / (1)) * X^3 + (( - 4 * Y^2 - 3 * Y + 1) / (1))
|
---|
| 39 | VALUE--> (3 ((((1) . 1) ((0) . 1)) ((0) . 1)) 0
|
---|
| 40 | ((((2) . -4) ((1) . -3) ((0) . 1)) ((0) . 1)))
|
---|
| 41 |
|
---|
| 42 | EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
|
---|
| 43 | VALUE--> (0
|
---|
| 44 | ((((9) . 108) ((8) . 513) ((7) . 929) ((6) . 738) ((5) . 149)
|
---|
| 45 | ((4) . -112) ((3) . -37) ((2) . 14) ((1) . 3) ((0) . -1))
|
---|
| 46 | ((0) . -1)))
|
---|
| 47 |
|
---|
| 48 | EVAL> (RATPOLY-PRINT RES '(X Y))
|
---|
| 49 | ((108 * Y^9 + 513 * Y^8 + 929 * Y^7 + 738 * Y^6 + 149 * Y^5 - 112 * Y^4 - 37 * Y^3 + 14 * Y^2 + 3 * Y - 1) / ( - 1))
|
---|
| 50 | VALUE--> (0
|
---|
| 51 | ((((9) . 108) ((8) . 513) ((7) . 929) ((6) . 738) ((5) . 149)
|
---|
| 52 | ((4) . -112) ((3) . -37) ((2) . 14) ((1) . 3) ((0) . -1))
|
---|
| 53 | ((0) . -1)))
|
---|
| 54 |
|
---|
| 55 | EVAL> (SETF RES (RATPOLY-TO-POLY RES))
|
---|
| 56 | VALUE--> (((0 9) . -108) ((0 8) . -513) ((0 7) . -929) ((0 6) . -738)
|
---|
| 57 | ((0 5) . -149) ((0 4) . 112) ((0 3) . 37) ((0 2) . -14)
|
---|
| 58 | ((0 1) . -3) ((0 0) . 1))
|
---|
| 59 |
|
---|
| 60 | EVAL> (POLY-PRINT RES '(X Y))
|
---|
| 61 | - 108 * Y^9 - 513 * Y^8 - 929 * Y^7 - 738 * Y^6 - 149 * Y^5 + 112 * Y^4 + 37 * Y^3 - 14 * Y^2 - 3 * Y + 1
|
---|
| 62 | VALUE--> (((0 9) . -108) ((0 8) . -513) ((0 7) . -929) ((0 6) . -738)
|
---|
| 63 | ((0 5) . -149) ((0 4) . 112) ((0 3) . 37) ((0 2) . -14)
|
---|
| 64 | ((0 1) . -3) ((0 0) . 1))
|
---|
| 65 |
|
---|
| 66 | EVAL> (SETF DISC (RATPOLY-DISCRIMINANT RF))
|
---|
| 67 | VALUE--> (0 ((((4) . -9) ((3) . -18) ((2) . -9)) ((0) . 1)))
|
---|
| 68 |
|
---|
| 69 | EVAL> (RATPOLY-PRINT DISC '(X Y))
|
---|
| 70 | (( - 9 * Y^4 - 18 * Y^3 - 9 * Y^2) / (1))
|
---|
| 71 | VALUE--> (0 ((((4) . -9) ((3) . -18) ((2) . -9)) ((0) . 1)))
|
---|
| 72 |
|
---|
| 73 | EVAL> (SETF DISC (RATPOLY-TO-POLY DISC))
|
---|
| 74 | VALUE--> (((0 4) . -9) ((0 3) . -18) ((0 2) . -9))
|
---|
| 75 |
|
---|
| 76 | EVAL> (POLY-PRINT DISC '(X Y))
|
---|
| 77 | - 9 * Y^4 - 18 * Y^3 - 9 * Y^2
|
---|
| 78 | VALUE--> (((0 4) . -9) ((0 3) . -18) ((0 2) . -9))
|
---|
| 79 |
|
---|
| 80 | EVAL> (SETF F (PARSE-STRING-TO-SORTED-ALIST x^2*y-3*x-1 '(X Y)))
|
---|
| 81 | VALUE--> (((2 1) . 1) ((1 0) . -3) ((0 0) . -1))
|
---|
| 82 |
|
---|
| 83 | EVAL> (SETF G (PARSE-STRING-TO-SORTED-ALIST 6*x^2+y^2-4 '(X Y)))
|
---|
| 84 | VALUE--> (((2 0) . 6) ((0 2) . 1) ((0 0) . -4))
|
---|
| 85 |
|
---|
| 86 | EVAL> (SETF RF (POLY-TO-RATPOLY F))
|
---|
| 87 | VALUE--> (2 ((((1) . 1)) ((0) . 1)) 1 ((((0) . -3)) ((0) . 1)) 0
|
---|
| 88 | ((((0) . -1)) ((0) . 1)))
|
---|
| 89 |
|
---|
| 90 | EVAL> (SETF RG (POLY-TO-RATPOLY G))
|
---|
| 91 | VALUE--> (2 ((((0) . 6)) ((0) . 1)) 0
|
---|
| 92 | ((((2) . 1) ((0) . -4)) ((0) . 1)))
|
---|
| 93 |
|
---|
| 94 | EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
|
---|
| 95 | VALUE--> (0
|
---|
| 96 | ((((6) . 1) ((4) . -8) ((3) . 12) ((2) . 70) ((1) . -48)
|
---|
| 97 | ((0) . -180))
|
---|
| 98 | ((0) . 1)))
|
---|
| 99 |
|
---|
| 100 | EVAL> (SETF RES (RATPOLY-TO-POLY RES))
|
---|
| 101 | VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
|
---|
| 102 | ((0 1) . -48) ((0 0) . -180))
|
---|
| 103 |
|
---|
| 104 | EVAL> (POLY-PRINT RES '(X Y))
|
---|
| 105 | Y^6 - 8 * Y^4 + 12 * Y^3 + 70 * Y^2 - 48 * Y - 180
|
---|
| 106 | VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
|
---|
| 107 | ((0 1) . -48) ((0 0) . -180))
|
---|
| 108 |
|
---|
| 109 | EVAL> (SETF RES (POLY-RESULTANT F G))
|
---|
| 110 | VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
|
---|
| 111 | ((0 1) . -48) ((0 0) . -180))
|
---|
| 112 |
|
---|
| 113 | EVAL> (POLY-PRINT RES '(X Y))
|
---|
| 114 | Y^6 - 8 * Y^4 + 12 * Y^3 + 70 * Y^2 - 48 * Y - 180
|
---|
| 115 | VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
|
---|
| 116 | ((0 1) . -48) ((0 0) . -180))
|
---|
| 117 |
|
---|
| 118 | EVAL> (SETF F
|
---|
| 119 | (PARSE-STRING-TO-SORTED-ALIST 6*x^4-23*x^3+32*x^2-19*x+4
|
---|
| 120 | '(X)))
|
---|
| 121 | VALUE--> (((4) . 6) ((3) . -23) ((2) . 32) ((1) . -19) ((0) . 4))
|
---|
| 122 |
|
---|
| 123 | EVAL> (SETF RF (POLY-TO-RATPOLY F))
|
---|
| 124 | VALUE--> (4 (((NIL . 6)) (NIL . 1)) 3 (((NIL . -23)) (NIL . 1)) 2
|
---|
| 125 | (((NIL . 32)) (NIL . 1)) 1 (((NIL . -19)) (NIL . 1)) 0
|
---|
| 126 | (((NIL . 4)) (NIL . 1)))
|
---|
| 127 |
|
---|
| 128 | EVAL> (SETF RG (RATPOLY-DIFF RF))
|
---|
| 129 | VALUE--> (3 (((NIL . 24)) (NIL . 1)) 2 (((NIL . -69)) (NIL . 1)) 1
|
---|
| 130 | (((NIL . 64)) (NIL . 1)) 0 (((NIL . -19)) (NIL . 1)))
|
---|
| 131 |
|
---|
| 132 | EVAL> (SETF G (RATPOLY-TO-POLY RG))
|
---|
| 133 | VALUE--> (((3) . 24) ((2) . -69) ((1) . 64) ((0) . -19))
|
---|
| 134 |
|
---|
| 135 | EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
|
---|
| 136 | VALUE--> NIL
|
---|
| 137 |
|
---|
| 138 | EVAL> (SETF RES (RATPOLY-TO-POLY RES))
|
---|
| 139 | VALUE--> NIL
|
---|
| 140 |
|
---|
| 141 | EVAL> (POLY-PRINT RES '(X))
|
---|
| 142 | 0
|
---|
| 143 | VALUE--> NIL
|
---|
| 144 |
|
---|
| 145 | EVAL> (SETF RES (POLY-RESULTANT F G))
|
---|
| 146 | VALUE--> NIL
|
---|
| 147 |
|
---|
| 148 | EVAL> (POLY-PRINT RES '(X))
|
---|
| 149 | 0
|
---|
| 150 | VALUE--> NIL
|
---|
| 151 |
|
---|
| 152 | EVAL> (SETF F
|
---|
| 153 | (PARSE-STRING-TO-SORTED-ALIST 6*x^4+23*x^3-30*x^2-19*x+4
|
---|
| 154 | '(X)))
|
---|
| 155 | VALUE--> (((4) . 6) ((3) . 23) ((2) . -30) ((1) . -19) ((0) . 4))
|
---|
| 156 |
|
---|
| 157 | EVAL> (SETF RF (POLY-TO-RATPOLY F))
|
---|
| 158 | VALUE--> (4 (((NIL . 6)) (NIL . 1)) 3 (((NIL . 23)) (NIL . 1)) 2
|
---|
| 159 | (((NIL . -30)) (NIL . 1)) 1 (((NIL . -19)) (NIL . 1)) 0
|
---|
| 160 | (((NIL . 4)) (NIL . 1)))
|
---|
| 161 |
|
---|
| 162 | EVAL> (SETF RG (RATPOLY-DIFF RF))
|
---|
| 163 | VALUE--> (3 (((NIL . 24)) (NIL . 1)) 2 (((NIL . 69)) (NIL . 1)) 1
|
---|
| 164 | (((NIL . -60)) (NIL . 1)) 0 (((NIL . -19)) (NIL . 1)))
|
---|
| 165 |
|
---|
| 166 | EVAL> (SETF G (RATPOLY-TO-POLY RG))
|
---|
| 167 | VALUE--> (((3) . 24) ((2) . 69) ((1) . -60) ((0) . -19))
|
---|
| 168 |
|
---|
| 169 | EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
|
---|
| 170 | VALUE--> (0 (((NIL . 13867656600)) (NIL . 1)))
|
---|
| 171 |
|
---|
| 172 | EVAL> (SETF RES (RATPOLY-TO-POLY RES))
|
---|
| 173 | VALUE--> (((0) . 13867656600))
|
---|
| 174 |
|
---|
| 175 | EVAL> (POLY-PRINT RES '(X))
|
---|
| 176 | 13867656600
|
---|
| 177 | VALUE--> (((0) . 13867656600))
|
---|
| 178 |
|
---|
| 179 | EVAL> (SETF RES (POLY-RESULTANT F G))
|
---|
| 180 | VALUE--> (((0) . 13867656600))
|
---|
| 181 |
|
---|
| 182 | EVAL> (POLY-PRINT RES '(X))
|
---|
| 183 | 13867656600
|
---|
| 184 | VALUE--> (((0) . 13867656600))
|
---|
| 185 |
|
---|
| 186 | EVAL> (SETF DISC (RATPOLY-DISCRIMINANT RF))
|
---|
| 187 | VALUE--> (0 (((NIL . 2311276100)) (NIL . 1)))
|
---|
| 188 |
|
---|
| 189 | EVAL> (RATPOLY-PRINT DISC '(X Y))
|
---|
| 190 | ((2311276100) / (1))
|
---|
| 191 | VALUE--> (0 (((NIL . 2311276100)) (NIL . 1)))
|
---|
| 192 |
|
---|
| 193 | EVAL> (SETF DISC (RATPOLY-TO-POLY DISC))
|
---|
| 194 | VALUE--> (((0) . 2311276100))
|
---|
| 195 |
|
---|
| 196 | EVAL> (POLY-PRINT DISC '(X Y))
|
---|
| 197 | 2311276100
|
---|
| 198 | VALUE--> (((0) . 2311276100))
|
---|
| 199 |
|
---|
| 200 | EVAL> (DRIBBLE)
|
---|