Starts dribbling to ratpoly-tests.output (1995/3/28, 23:27:4).
VALUE--> NIL

EVAL> (SETF F
            (PARSE-STRING-TO-SORTED-ALIST x^2*y-3*x*y^2+x^2-3*x*y
                '(X Y)))
VALUE--> (((2 1) . 1) ((2 0) . 1) ((1 2) . -3) ((1 1) . -3))

EVAL> (SETF G
            (PARSE-STRING-TO-SORTED-ALIST x^3*y-4*y^2+y+x^3-4*y+1
                '(X Y)))
VALUE--> (((3 1) . 1) ((3 0) . 1) ((0 2) . -4) ((0 1) . -3)
          ((0 0) . 1))

EVAL> (POLY-PRINT F '(X Y))
X^2 * Y + X^2 - 3 * X * Y^2 - 3 * X * Y
VALUE--> (((2 1) . 1) ((2 0) . 1) ((1 2) . -3) ((1 1) . -3))

EVAL> (POLY-PRINT G '(X Y))
X^3 * Y + X^3 - 4 * Y^2 - 3 * Y + 1
VALUE--> (((3 1) . 1) ((3 0) . 1) ((0 2) . -4) ((0 1) . -3)
          ((0 0) . 1))

EVAL> (SETF RF (POLY-TO-RATPOLY F))
VALUE--> (2 ((((1) . 1) ((0) . 1)) ((0) . 1)) 1
          ((((2) . -3) ((1) . -3)) ((0) . 1)))

EVAL> (SETF RG (POLY-TO-RATPOLY G))
VALUE--> (3 ((((1) . 1) ((0) . 1)) ((0) . 1)) 0
          ((((2) . -4) ((1) . -3) ((0) . 1)) ((0) . 1)))

EVAL> (RATPOLY-PRINT RF '(X Y))
((Y + 1) / (1)) * X^2 + (( - 3 * Y^2 - 3 * Y) / (1)) * X
VALUE--> (2 ((((1) . 1) ((0) . 1)) ((0) . 1)) 1
          ((((2) . -3) ((1) . -3)) ((0) . 1)))

EVAL> (RATPOLY-PRINT RG '(X Y))
((Y + 1) / (1)) * X^3 + (( - 4 * Y^2 - 3 * Y + 1) / (1))
VALUE--> (3 ((((1) . 1) ((0) . 1)) ((0) . 1)) 0
          ((((2) . -4) ((1) . -3) ((0) . 1)) ((0) . 1)))

EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
VALUE--> (0
          ((((9) . 108) ((8) . 513) ((7) . 929) ((6) . 738) ((5) . 149)
            ((4) . -112) ((3) . -37) ((2) . 14) ((1) . 3) ((0) . -1))
           ((0) . -1)))

EVAL> (RATPOLY-PRINT RES '(X Y))
((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))
VALUE--> (0
          ((((9) . 108) ((8) . 513) ((7) . 929) ((6) . 738) ((5) . 149)
            ((4) . -112) ((3) . -37) ((2) . 14) ((1) . 3) ((0) . -1))
           ((0) . -1)))

EVAL> (SETF RES (RATPOLY-TO-POLY RES))
VALUE--> (((0 9) . -108) ((0 8) . -513) ((0 7) . -929) ((0 6) . -738)
          ((0 5) . -149) ((0 4) . 112) ((0 3) . 37) ((0 2) . -14)
          ((0 1) . -3) ((0 0) . 1))

EVAL> (POLY-PRINT RES '(X Y))
 - 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
VALUE--> (((0 9) . -108) ((0 8) . -513) ((0 7) . -929) ((0 6) . -738)
          ((0 5) . -149) ((0 4) . 112) ((0 3) . 37) ((0 2) . -14)
          ((0 1) . -3) ((0 0) . 1))

EVAL> (SETF DISC (RATPOLY-DISCRIMINANT RF))
VALUE--> (0 ((((4) . -9) ((3) . -18) ((2) . -9)) ((0) . 1)))

EVAL> (RATPOLY-PRINT DISC '(X Y))
(( - 9 * Y^4 - 18 * Y^3 - 9 * Y^2) / (1))
VALUE--> (0 ((((4) . -9) ((3) . -18) ((2) . -9)) ((0) . 1)))

EVAL> (SETF DISC (RATPOLY-TO-POLY DISC))
VALUE--> (((0 4) . -9) ((0 3) . -18) ((0 2) . -9))

EVAL> (POLY-PRINT DISC '(X Y))
 - 9 * Y^4 - 18 * Y^3 - 9 * Y^2
VALUE--> (((0 4) . -9) ((0 3) . -18) ((0 2) . -9))

EVAL> (SETF F (PARSE-STRING-TO-SORTED-ALIST x^2*y-3*x-1 '(X Y)))
VALUE--> (((2 1) . 1) ((1 0) . -3) ((0 0) . -1))

EVAL> (SETF G (PARSE-STRING-TO-SORTED-ALIST 6*x^2+y^2-4 '(X Y)))
VALUE--> (((2 0) . 6) ((0 2) . 1) ((0 0) . -4))

EVAL> (SETF RF (POLY-TO-RATPOLY F))
VALUE--> (2 ((((1) . 1)) ((0) . 1)) 1 ((((0) . -3)) ((0) . 1)) 0
          ((((0) . -1)) ((0) . 1)))

EVAL> (SETF RG (POLY-TO-RATPOLY G))
VALUE--> (2 ((((0) . 6)) ((0) . 1)) 0
          ((((2) . 1) ((0) . -4)) ((0) . 1)))

EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
VALUE--> (0
          ((((6) . 1) ((4) . -8) ((3) . 12) ((2) . 70) ((1) . -48)
            ((0) . -180))
           ((0) . 1)))

EVAL> (SETF RES (RATPOLY-TO-POLY RES))
VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
          ((0 1) . -48) ((0 0) . -180))

EVAL> (POLY-PRINT RES '(X Y))
Y^6 - 8 * Y^4 + 12 * Y^3 + 70 * Y^2 - 48 * Y - 180
VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
          ((0 1) . -48) ((0 0) . -180))

EVAL> (SETF RES (POLY-RESULTANT F G))
VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
          ((0 1) . -48) ((0 0) . -180))

EVAL> (POLY-PRINT RES '(X Y))
Y^6 - 8 * Y^4 + 12 * Y^3 + 70 * Y^2 - 48 * Y - 180
VALUE--> (((0 6) . 1) ((0 4) . -8) ((0 3) . 12) ((0 2) . 70)
          ((0 1) . -48) ((0 0) . -180))

EVAL> (SETF F
            (PARSE-STRING-TO-SORTED-ALIST 6*x^4-23*x^3+32*x^2-19*x+4
                '(X)))
VALUE--> (((4) . 6) ((3) . -23) ((2) . 32) ((1) . -19) ((0) . 4))

EVAL> (SETF RF (POLY-TO-RATPOLY F))
VALUE--> (4 (((NIL . 6)) (NIL . 1)) 3 (((NIL . -23)) (NIL . 1)) 2
          (((NIL . 32)) (NIL . 1)) 1 (((NIL . -19)) (NIL . 1)) 0
          (((NIL . 4)) (NIL . 1)))

EVAL> (SETF RG (RATPOLY-DIFF RF))
VALUE--> (3 (((NIL . 24)) (NIL . 1)) 2 (((NIL . -69)) (NIL . 1)) 1
          (((NIL . 64)) (NIL . 1)) 0 (((NIL . -19)) (NIL . 1)))

EVAL> (SETF G (RATPOLY-TO-POLY RG))
VALUE--> (((3) . 24) ((2) . -69) ((1) . 64) ((0) . -19))

EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
VALUE--> NIL

EVAL> (SETF RES (RATPOLY-TO-POLY RES))
VALUE--> NIL

EVAL> (POLY-PRINT RES '(X))
0
VALUE--> NIL

EVAL> (SETF RES (POLY-RESULTANT F G))
VALUE--> NIL

EVAL> (POLY-PRINT RES '(X))
0
VALUE--> NIL

EVAL> (SETF F
            (PARSE-STRING-TO-SORTED-ALIST 6*x^4+23*x^3-30*x^2-19*x+4
                '(X)))
VALUE--> (((4) . 6) ((3) . 23) ((2) . -30) ((1) . -19) ((0) . 4))

EVAL> (SETF RF (POLY-TO-RATPOLY F))
VALUE--> (4 (((NIL . 6)) (NIL . 1)) 3 (((NIL . 23)) (NIL . 1)) 2
          (((NIL . -30)) (NIL . 1)) 1 (((NIL . -19)) (NIL . 1)) 0
          (((NIL . 4)) (NIL . 1)))

EVAL> (SETF RG (RATPOLY-DIFF RF))
VALUE--> (3 (((NIL . 24)) (NIL . 1)) 2 (((NIL . 69)) (NIL . 1)) 1
          (((NIL . -60)) (NIL . 1)) 0 (((NIL . -19)) (NIL . 1)))

EVAL> (SETF G (RATPOLY-TO-POLY RG))
VALUE--> (((3) . 24) ((2) . 69) ((1) . -60) ((0) . -19))

EVAL> (SETF RES (RATPOLY-RESULTANT RF RG))
VALUE--> (0 (((NIL . 13867656600)) (NIL . 1)))

EVAL> (SETF RES (RATPOLY-TO-POLY RES))
VALUE--> (((0) . 13867656600))

EVAL> (POLY-PRINT RES '(X))
13867656600
VALUE--> (((0) . 13867656600))

EVAL> (SETF RES (POLY-RESULTANT F G))
VALUE--> (((0) . 13867656600))

EVAL> (POLY-PRINT RES '(X))
13867656600
VALUE--> (((0) . 13867656600))

EVAL> (SETF DISC (RATPOLY-DISCRIMINANT RF))
VALUE--> (0 (((NIL . 2311276100)) (NIL . 1)))

EVAL> (RATPOLY-PRINT DISC '(X Y))
((2311276100) / (1))
VALUE--> (0 (((NIL . 2311276100)) (NIL . 1)))

EVAL> (SETF DISC (RATPOLY-TO-POLY DISC))
VALUE--> (((0) . 2311276100))

EVAL> (POLY-PRINT DISC '(X Y))
2311276100
VALUE--> (((0) . 2311276100))

EVAL> (DRIBBLE)