Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

ratpoly-tests.output@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago
First import of a version circa 1997.
File size: 6.3 KB

Line
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^2y-3xy^2+x^2-3x*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^3y-4y^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^2y-3x-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 6x^4-23x^3+32x^2-19x+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 6x^4+23x^3-30x^2-19x+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)

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format