1 | <!--Converted with LaTeX2HTML 97.1 (release) (July 13th, 1997)
|
---|
2 | by Nikos Drakos (nikos@cbl.leeds.ac.uk), CBLU, University of Leeds
|
---|
3 | * revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan
|
---|
4 | * with significant contributions from:
|
---|
5 | Jens Lippman, Marek Rouchal, Martin Wilck and others -->
|
---|
6 | <HTML>
|
---|
7 | <HEAD>
|
---|
8 | <TITLE>Contents</TITLE>
|
---|
9 | <META NAME="description" CONTENT="Contents">
|
---|
10 | <META NAME="keywords" CONTENT="manual">
|
---|
11 | <META NAME="resource-type" CONTENT="document">
|
---|
12 | <META NAME="distribution" CONTENT="global">
|
---|
13 | <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso_8859_1">
|
---|
14 | <LINK REL="STYLESHEET" HREF="manual.css">
|
---|
15 | <LINK REL="next" HREF="node2.html">
|
---|
16 | <LINK REL="previous" HREF="manual.html">
|
---|
17 | <LINK REL="up" HREF="manual.html">
|
---|
18 | <LINK REL="next" HREF="node2.html">
|
---|
19 | </HEAD>
|
---|
20 | <BODY bgcolor="#ffffff">
|
---|
21 | <!--Navigation Panel-->
|
---|
22 | <A NAME="tex2html372"
|
---|
23 | HREF="node2.html">
|
---|
24 | <IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next_motif.gif"></A>
|
---|
25 | <A NAME="tex2html370"
|
---|
26 | HREF="manual.html">
|
---|
27 | <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif.gif"></A>
|
---|
28 | <A NAME="tex2html364"
|
---|
29 | HREF="manual.html">
|
---|
30 | <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif.gif"></A>
|
---|
31 | <BR>
|
---|
32 | <B> Next:</B> <A NAME="tex2html373"
|
---|
33 | HREF="node2.html">The Gröbner Basis package</A>
|
---|
34 | <B> Up:</B> <A NAME="tex2html371"
|
---|
35 | HREF="manual.html">CGBLisp User Guide and</A>
|
---|
36 | <B> Previous:</B> <A NAME="tex2html365"
|
---|
37 | HREF="manual.html">CGBLisp User Guide and</A>
|
---|
38 | <BR>
|
---|
39 | <BR>
|
---|
40 | <!--End of Navigation Panel-->
|
---|
41 | <BR>
|
---|
42 | <H2><A NAME="SECTION00010000000000000000">
|
---|
43 | Contents</A>
|
---|
44 | </H2>
|
---|
45 | <!--Table of Contents-->
|
---|
46 | <UL>
|
---|
47 | <LI><A NAME="tex2html374"
|
---|
48 | HREF="node1.html#SECTION00010000000000000000">
|
---|
49 | Contents</A>
|
---|
50 | <LI><A NAME="tex2html375"
|
---|
51 | HREF="node2.html#SECTION00020000000000000000">
|
---|
52 | The Gröbner Basis package</A>
|
---|
53 | <UL>
|
---|
54 | <LI><A NAME="tex2html376"
|
---|
55 | HREF="node2.html#SECTION00020010000000000000">
|
---|
56 | <I>*grobner<MATH CLASS="INLINE">
|
---|
57 | -
|
---|
58 | </MATH>debug*</I></A>
|
---|
59 | <LI><A NAME="tex2html377"
|
---|
60 | HREF="node2.html#SECTION00020020000000000000">
|
---|
61 | <I>*buchberger<MATH CLASS="INLINE">
|
---|
62 | -
|
---|
63 | </MATH>merge<MATH CLASS="INLINE">
|
---|
64 | -
|
---|
65 | </MATH>pairs*</I></A>
|
---|
66 | <LI><A NAME="tex2html378"
|
---|
67 | HREF="node2.html#SECTION00020030000000000000">
|
---|
68 | <I>*gebauer<MATH CLASS="INLINE">
|
---|
69 | -
|
---|
70 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
71 | -
|
---|
72 | </MATH>merge<MATH CLASS="INLINE">
|
---|
73 | -
|
---|
74 | </MATH>pairs*</I></A>
|
---|
75 | <LI><A NAME="tex2html379"
|
---|
76 | HREF="node2.html#SECTION00020040000000000000">
|
---|
77 | <I>*grobner<MATH CLASS="INLINE">
|
---|
78 | -
|
---|
79 | </MATH>function*</I></A>
|
---|
80 | <LI><A NAME="tex2html380"
|
---|
81 | HREF="node2.html#SECTION00020050000000000000">
|
---|
82 | <I>select<MATH CLASS="INLINE">
|
---|
83 | -
|
---|
84 | </MATH>grobner<MATH CLASS="INLINE">
|
---|
85 | -
|
---|
86 | </MATH>algorithm</I></A>
|
---|
87 | <LI><A NAME="tex2html381"
|
---|
88 | HREF="node2.html#SECTION00020060000000000000">
|
---|
89 | <I>grobner</I></A>
|
---|
90 | <LI><A NAME="tex2html382"
|
---|
91 | HREF="node2.html#SECTION00020070000000000000">
|
---|
92 | <I>debug<MATH CLASS="INLINE">
|
---|
93 | -
|
---|
94 | </MATH>cgb</I></A>
|
---|
95 | <LI><A NAME="tex2html383"
|
---|
96 | HREF="node2.html#SECTION00020080000000000000">
|
---|
97 | <I>spoly</I></A>
|
---|
98 | <LI><A NAME="tex2html384"
|
---|
99 | HREF="node2.html#SECTION00020090000000000000">
|
---|
100 | <I>grobner<MATH CLASS="INLINE">
|
---|
101 | -
|
---|
102 | </MATH>primitive<MATH CLASS="INLINE">
|
---|
103 | -
|
---|
104 | </MATH>part</I></A>
|
---|
105 | <LI><A NAME="tex2html385"
|
---|
106 | HREF="node2.html#SECTION000200100000000000000">
|
---|
107 | <I>grobner<MATH CLASS="INLINE">
|
---|
108 | -
|
---|
109 | </MATH>content</I></A>
|
---|
110 | <LI><A NAME="tex2html386"
|
---|
111 | HREF="node2.html#SECTION000200110000000000000">
|
---|
112 | <I>normal<MATH CLASS="INLINE">
|
---|
113 | -
|
---|
114 | </MATH>form</I></A>
|
---|
115 | <LI><A NAME="tex2html387"
|
---|
116 | HREF="node2.html#SECTION000200120000000000000">
|
---|
117 | <I>buchberger</I></A>
|
---|
118 | <LI><A NAME="tex2html388"
|
---|
119 | HREF="node2.html#SECTION000200130000000000000">
|
---|
120 | <I>grobner<MATH CLASS="INLINE">
|
---|
121 | -
|
---|
122 | </MATH>op</I></A>
|
---|
123 | <LI><A NAME="tex2html389"
|
---|
124 | HREF="node2.html#SECTION000200140000000000000">
|
---|
125 | <I>buchberger<MATH CLASS="INLINE">
|
---|
126 | -
|
---|
127 | </MATH>sort<MATH CLASS="INLINE">
|
---|
128 | -
|
---|
129 | </MATH>pairs</I></A>
|
---|
130 | <LI><A NAME="tex2html390"
|
---|
131 | HREF="node2.html#SECTION000200150000000000000">
|
---|
132 | <I>mock<MATH CLASS="INLINE">
|
---|
133 | -
|
---|
134 | </MATH>spoly</I></A>
|
---|
135 | <LI><A NAME="tex2html391"
|
---|
136 | HREF="node2.html#SECTION000200160000000000000">
|
---|
137 | <I>buchberger<MATH CLASS="INLINE">
|
---|
138 | -
|
---|
139 | </MATH>merge<MATH CLASS="INLINE">
|
---|
140 | -
|
---|
141 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
142 | -
|
---|
143 | </MATH>use<MATH CLASS="INLINE">
|
---|
144 | -
|
---|
145 | </MATH>mock<MATH CLASS="INLINE">
|
---|
146 | -
|
---|
147 | </MATH>spoly</I></A>
|
---|
148 | <LI><A NAME="tex2html392"
|
---|
149 | HREF="node2.html#SECTION000200170000000000000">
|
---|
150 | <I>buchberger<MATH CLASS="INLINE">
|
---|
151 | -
|
---|
152 | </MATH>merge<MATH CLASS="INLINE">
|
---|
153 | -
|
---|
154 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
155 | -
|
---|
156 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
157 | -
|
---|
158 | </MATH>lcm</I></A>
|
---|
159 | <LI><A NAME="tex2html393"
|
---|
160 | HREF="node2.html#SECTION000200180000000000000">
|
---|
161 | <I>buchberger<MATH CLASS="INLINE">
|
---|
162 | -
|
---|
163 | </MATH>merge<MATH CLASS="INLINE">
|
---|
164 | -
|
---|
165 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
166 | -
|
---|
167 | </MATH>use<MATH CLASS="INLINE">
|
---|
168 | -
|
---|
169 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
170 | -
|
---|
171 | </MATH>degree</I></A>
|
---|
172 | <LI><A NAME="tex2html394"
|
---|
173 | HREF="node2.html#SECTION000200190000000000000">
|
---|
174 | <I>buchberger<MATH CLASS="INLINE">
|
---|
175 | -
|
---|
176 | </MATH>merge<MATH CLASS="INLINE">
|
---|
177 | -
|
---|
178 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
179 | -
|
---|
180 | </MATH>use<MATH CLASS="INLINE">
|
---|
181 | -
|
---|
182 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
183 | -
|
---|
184 | </MATH>length</I></A>
|
---|
185 | <LI><A NAME="tex2html395"
|
---|
186 | HREF="node2.html#SECTION000200200000000000000">
|
---|
187 | <I>buchberger<MATH CLASS="INLINE">
|
---|
188 | -
|
---|
189 | </MATH>merge<MATH CLASS="INLINE">
|
---|
190 | -
|
---|
191 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
192 | -
|
---|
193 | </MATH>use<MATH CLASS="INLINE">
|
---|
194 | -
|
---|
195 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
196 | -
|
---|
197 | </MATH>coefficient<MATH CLASS="INLINE">
|
---|
198 | -
|
---|
199 | </MATH>length</I></A>
|
---|
200 | <LI><A NAME="tex2html396"
|
---|
201 | HREF="node2.html#SECTION000200210000000000000">
|
---|
202 | <I>buchberger<MATH CLASS="INLINE">
|
---|
203 | -
|
---|
204 | </MATH>set<MATH CLASS="INLINE">
|
---|
205 | -
|
---|
206 | </MATH>pair<MATH CLASS="INLINE">
|
---|
207 | -
|
---|
208 | </MATH>heuristic</I></A>
|
---|
209 | <LI><A NAME="tex2html397"
|
---|
210 | HREF="node2.html#SECTION000200220000000000000">
|
---|
211 | <I>criterion<MATH CLASS="INLINE">
|
---|
212 | -
|
---|
213 | </MATH>1</I></A>
|
---|
214 | <LI><A NAME="tex2html398"
|
---|
215 | HREF="node2.html#SECTION000200230000000000000">
|
---|
216 | <I>criterion<MATH CLASS="INLINE">
|
---|
217 | -
|
---|
218 | </MATH>2</I></A>
|
---|
219 | <LI><A NAME="tex2html399"
|
---|
220 | HREF="node2.html#SECTION000200240000000000000">
|
---|
221 | <I>normalize<MATH CLASS="INLINE">
|
---|
222 | -
|
---|
223 | </MATH>poly</I></A>
|
---|
224 | <LI><A NAME="tex2html400"
|
---|
225 | HREF="node2.html#SECTION000200250000000000000">
|
---|
226 | <I>normalize<MATH CLASS="INLINE">
|
---|
227 | -
|
---|
228 | </MATH>basis</I></A>
|
---|
229 | <LI><A NAME="tex2html401"
|
---|
230 | HREF="node2.html#SECTION000200260000000000000">
|
---|
231 | <I>reduction</I></A>
|
---|
232 | <LI><A NAME="tex2html402"
|
---|
233 | HREF="node2.html#SECTION000200270000000000000">
|
---|
234 | <I>reduced<MATH CLASS="INLINE">
|
---|
235 | -
|
---|
236 | </MATH>grobner</I></A>
|
---|
237 | <LI><A NAME="tex2html403"
|
---|
238 | HREF="node2.html#SECTION000200280000000000000">
|
---|
239 | <I>monom<MATH CLASS="INLINE">
|
---|
240 | -
|
---|
241 | </MATH>depends<MATH CLASS="INLINE">
|
---|
242 | -
|
---|
243 | </MATH>p</I></A>
|
---|
244 | <LI><A NAME="tex2html404"
|
---|
245 | HREF="node2.html#SECTION000200290000000000000">
|
---|
246 | <I>term<MATH CLASS="INLINE">
|
---|
247 | -
|
---|
248 | </MATH>depends<MATH CLASS="INLINE">
|
---|
249 | -
|
---|
250 | </MATH>p</I></A>
|
---|
251 | <LI><A NAME="tex2html405"
|
---|
252 | HREF="node2.html#SECTION000200300000000000000">
|
---|
253 | <I>poly<MATH CLASS="INLINE">
|
---|
254 | -
|
---|
255 | </MATH>depends<MATH CLASS="INLINE">
|
---|
256 | -
|
---|
257 | </MATH>p</I></A>
|
---|
258 | <LI><A NAME="tex2html406"
|
---|
259 | HREF="node2.html#SECTION000200310000000000000">
|
---|
260 | <I>ring<MATH CLASS="INLINE">
|
---|
261 | -
|
---|
262 | </MATH>intersection</I></A>
|
---|
263 | <LI><A NAME="tex2html407"
|
---|
264 | HREF="node2.html#SECTION000200320000000000000">
|
---|
265 | <I>elimination<MATH CLASS="INLINE">
|
---|
266 | -
|
---|
267 | </MATH>ideal</I></A>
|
---|
268 | <LI><A NAME="tex2html408"
|
---|
269 | HREF="node2.html#SECTION000200330000000000000">
|
---|
270 | <I>ideal<MATH CLASS="INLINE">
|
---|
271 | -
|
---|
272 | </MATH>intersection</I></A>
|
---|
273 | <LI><A NAME="tex2html409"
|
---|
274 | HREF="node2.html#SECTION000200340000000000000">
|
---|
275 | <I>poly<MATH CLASS="INLINE">
|
---|
276 | -
|
---|
277 | </MATH>contract</I></A>
|
---|
278 | <LI><A NAME="tex2html410"
|
---|
279 | HREF="node2.html#SECTION000200350000000000000">
|
---|
280 | <I>poly<MATH CLASS="INLINE">
|
---|
281 | -
|
---|
282 | </MATH>lcm</I></A>
|
---|
283 | <LI><A NAME="tex2html411"
|
---|
284 | HREF="node2.html#SECTION000200360000000000000">
|
---|
285 | <I>grobner<MATH CLASS="INLINE">
|
---|
286 | -
|
---|
287 | </MATH>gcd</I></A>
|
---|
288 | <LI><A NAME="tex2html412"
|
---|
289 | HREF="node2.html#SECTION000200370000000000000">
|
---|
290 | <I>grobner<MATH CLASS="INLINE">
|
---|
291 | -
|
---|
292 | </MATH>equal</I></A>
|
---|
293 | <LI><A NAME="tex2html413"
|
---|
294 | HREF="node2.html#SECTION000200380000000000000">
|
---|
295 | <I>grobner<MATH CLASS="INLINE">
|
---|
296 | -
|
---|
297 | </MATH>subsetp</I></A>
|
---|
298 | <LI><A NAME="tex2html414"
|
---|
299 | HREF="node2.html#SECTION000200390000000000000">
|
---|
300 | <I>grobner<MATH CLASS="INLINE">
|
---|
301 | -
|
---|
302 | </MATH>member</I></A>
|
---|
303 | <LI><A NAME="tex2html415"
|
---|
304 | HREF="node2.html#SECTION000200400000000000000">
|
---|
305 | <I>ideal<MATH CLASS="INLINE">
|
---|
306 | -
|
---|
307 | </MATH>equal</I></A>
|
---|
308 | <LI><A NAME="tex2html416"
|
---|
309 | HREF="node2.html#SECTION000200410000000000000">
|
---|
310 | <I>ideal<MATH CLASS="INLINE">
|
---|
311 | -
|
---|
312 | </MATH>subsetp</I></A>
|
---|
313 | <LI><A NAME="tex2html417"
|
---|
314 | HREF="node2.html#SECTION000200420000000000000">
|
---|
315 | <I>ideal<MATH CLASS="INLINE">
|
---|
316 | -
|
---|
317 | </MATH>member</I></A>
|
---|
318 | <LI><A NAME="tex2html418"
|
---|
319 | HREF="node2.html#SECTION000200430000000000000">
|
---|
320 | <I>ideal<MATH CLASS="INLINE">
|
---|
321 | -
|
---|
322 | </MATH>saturation<MATH CLASS="INLINE">
|
---|
323 | -
|
---|
324 | </MATH>1</I></A>
|
---|
325 | <LI><A NAME="tex2html419"
|
---|
326 | HREF="node2.html#SECTION000200440000000000000">
|
---|
327 | <I>add<MATH CLASS="INLINE">
|
---|
328 | -
|
---|
329 | </MATH>variables</I></A>
|
---|
330 | <LI><A NAME="tex2html420"
|
---|
331 | HREF="node2.html#SECTION000200450000000000000">
|
---|
332 | <I>extend<MATH CLASS="INLINE">
|
---|
333 | -
|
---|
334 | </MATH>polynomials</I></A>
|
---|
335 | <LI><A NAME="tex2html421"
|
---|
336 | HREF="node2.html#SECTION000200460000000000000">
|
---|
337 | <I>saturation<MATH CLASS="INLINE">
|
---|
338 | -
|
---|
339 | </MATH>extension</I></A>
|
---|
340 | <LI><A NAME="tex2html422"
|
---|
341 | HREF="node2.html#SECTION000200470000000000000">
|
---|
342 | <I>polysaturation<MATH CLASS="INLINE">
|
---|
343 | -
|
---|
344 | </MATH>extension</I></A>
|
---|
345 | <LI><A NAME="tex2html423"
|
---|
346 | HREF="node2.html#SECTION000200480000000000000">
|
---|
347 | <I>saturation<MATH CLASS="INLINE">
|
---|
348 | -
|
---|
349 | </MATH>extension<MATH CLASS="INLINE">
|
---|
350 | -
|
---|
351 | </MATH>1</I></A>
|
---|
352 | <LI><A NAME="tex2html424"
|
---|
353 | HREF="node2.html#SECTION000200490000000000000">
|
---|
354 | <I>ideal<MATH CLASS="INLINE">
|
---|
355 | -
|
---|
356 | </MATH>polysaturation<MATH CLASS="INLINE">
|
---|
357 | -
|
---|
358 | </MATH>1</I></A>
|
---|
359 | <LI><A NAME="tex2html425"
|
---|
360 | HREF="node2.html#SECTION000200500000000000000">
|
---|
361 | <I>ideal<MATH CLASS="INLINE">
|
---|
362 | -
|
---|
363 | </MATH>saturation</I></A>
|
---|
364 | <LI><A NAME="tex2html426"
|
---|
365 | HREF="node2.html#SECTION000200510000000000000">
|
---|
366 | <I>ideal<MATH CLASS="INLINE">
|
---|
367 | -
|
---|
368 | </MATH>polysaturation</I></A>
|
---|
369 | <LI><A NAME="tex2html427"
|
---|
370 | HREF="node2.html#SECTION000200520000000000000">
|
---|
371 | <I>buchberger<MATH CLASS="INLINE">
|
---|
372 | -
|
---|
373 | </MATH>criterion</I></A>
|
---|
374 | <LI><A NAME="tex2html428"
|
---|
375 | HREF="node2.html#SECTION000200530000000000000">
|
---|
376 | <I>grobner<MATH CLASS="INLINE">
|
---|
377 | -
|
---|
378 | </MATH>test</I></A>
|
---|
379 | <LI><A NAME="tex2html429"
|
---|
380 | HREF="node2.html#SECTION000200540000000000000">
|
---|
381 | <I>minimization</I></A>
|
---|
382 | <LI><A NAME="tex2html430"
|
---|
383 | HREF="node2.html#SECTION000200550000000000000">
|
---|
384 | <I>add<MATH CLASS="INLINE">
|
---|
385 | -
|
---|
386 | </MATH>minimized</I></A>
|
---|
387 | <LI><A NAME="tex2html431"
|
---|
388 | HREF="node2.html#SECTION000200560000000000000">
|
---|
389 | <I>colon<MATH CLASS="INLINE">
|
---|
390 | -
|
---|
391 | </MATH>ideal</I></A>
|
---|
392 | <LI><A NAME="tex2html432"
|
---|
393 | HREF="node2.html#SECTION000200570000000000000">
|
---|
394 | <I>colon<MATH CLASS="INLINE">
|
---|
395 | -
|
---|
396 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
397 | -
|
---|
398 | </MATH>1</I></A>
|
---|
399 | <LI><A NAME="tex2html433"
|
---|
400 | HREF="node2.html#SECTION000200580000000000000">
|
---|
401 | <I>pseudo<MATH CLASS="INLINE">
|
---|
402 | -
|
---|
403 | </MATH>divide</I></A>
|
---|
404 | <LI><A NAME="tex2html434"
|
---|
405 | HREF="node2.html#SECTION000200590000000000000">
|
---|
406 | <I>gebauer<MATH CLASS="INLINE">
|
---|
407 | -
|
---|
408 | </MATH>moeller</I></A>
|
---|
409 | <LI><A NAME="tex2html435"
|
---|
410 | HREF="node2.html#SECTION000200600000000000000">
|
---|
411 | <I>update</I></A>
|
---|
412 | <LI><A NAME="tex2html436"
|
---|
413 | HREF="node2.html#SECTION000200610000000000000">
|
---|
414 | <I>gebauer<MATH CLASS="INLINE">
|
---|
415 | -
|
---|
416 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
417 | -
|
---|
418 | </MATH>merge<MATH CLASS="INLINE">
|
---|
419 | -
|
---|
420 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
421 | -
|
---|
422 | </MATH>use<MATH CLASS="INLINE">
|
---|
423 | -
|
---|
424 | </MATH>mock<MATH CLASS="INLINE">
|
---|
425 | -
|
---|
426 | </MATH>spoly</I></A>
|
---|
427 | <LI><A NAME="tex2html437"
|
---|
428 | HREF="node2.html#SECTION000200620000000000000">
|
---|
429 | <I>gebauer<MATH CLASS="INLINE">
|
---|
430 | -
|
---|
431 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
432 | -
|
---|
433 | </MATH>merge<MATH CLASS="INLINE">
|
---|
434 | -
|
---|
435 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
436 | -
|
---|
437 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
438 | -
|
---|
439 | </MATH>lcm</I></A>
|
---|
440 | <LI><A NAME="tex2html438"
|
---|
441 | HREF="node2.html#SECTION000200630000000000000">
|
---|
442 | <I>gebauer<MATH CLASS="INLINE">
|
---|
443 | -
|
---|
444 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
445 | -
|
---|
446 | </MATH>merge<MATH CLASS="INLINE">
|
---|
447 | -
|
---|
448 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
449 | -
|
---|
450 | </MATH>use<MATH CLASS="INLINE">
|
---|
451 | -
|
---|
452 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
453 | -
|
---|
454 | </MATH>degree</I></A>
|
---|
455 | <LI><A NAME="tex2html439"
|
---|
456 | HREF="node2.html#SECTION000200640000000000000">
|
---|
457 | <I>gebauer<MATH CLASS="INLINE">
|
---|
458 | -
|
---|
459 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
460 | -
|
---|
461 | </MATH>merge<MATH CLASS="INLINE">
|
---|
462 | -
|
---|
463 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
464 | -
|
---|
465 | </MATH>use<MATH CLASS="INLINE">
|
---|
466 | -
|
---|
467 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
468 | -
|
---|
469 | </MATH>length</I></A>
|
---|
470 | <LI><A NAME="tex2html440"
|
---|
471 | HREF="node2.html#SECTION000200650000000000000">
|
---|
472 | <I>gebauer<MATH CLASS="INLINE">
|
---|
473 | -
|
---|
474 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
475 | -
|
---|
476 | </MATH>merge<MATH CLASS="INLINE">
|
---|
477 | -
|
---|
478 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
479 | -
|
---|
480 | </MATH>use<MATH CLASS="INLINE">
|
---|
481 | -
|
---|
482 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
483 | -
|
---|
484 | </MATH>coefficient<MATH CLASS="INLINE">
|
---|
485 | -
|
---|
486 | </MATH>length</I></A>
|
---|
487 | <LI><A NAME="tex2html441"
|
---|
488 | HREF="node2.html#SECTION000200660000000000000">
|
---|
489 | <I>gebauer<MATH CLASS="INLINE">
|
---|
490 | -
|
---|
491 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
492 | -
|
---|
493 | </MATH>set<MATH CLASS="INLINE">
|
---|
494 | -
|
---|
495 | </MATH>pair<MATH CLASS="INLINE">
|
---|
496 | -
|
---|
497 | </MATH>heuristic</I></A>
|
---|
498 | <LI><A NAME="tex2html442"
|
---|
499 | HREF="node2.html#SECTION000200670000000000000">
|
---|
500 | <I>spoly<MATH CLASS="INLINE">
|
---|
501 | -
|
---|
502 | </MATH>sugar</I></A>
|
---|
503 | <LI><A NAME="tex2html443"
|
---|
504 | HREF="node2.html#SECTION000200680000000000000">
|
---|
505 | <I>spoly<MATH CLASS="INLINE">
|
---|
506 | -
|
---|
507 | </MATH>with<MATH CLASS="INLINE">
|
---|
508 | -
|
---|
509 | </MATH>sugar</I></A>
|
---|
510 | <LI><A NAME="tex2html444"
|
---|
511 | HREF="node2.html#SECTION000200690000000000000">
|
---|
512 | <I>normal<MATH CLASS="INLINE">
|
---|
513 | -
|
---|
514 | </MATH>form<MATH CLASS="INLINE">
|
---|
515 | -
|
---|
516 | </MATH>with<MATH CLASS="INLINE">
|
---|
517 | -
|
---|
518 | </MATH>sugar</I></A>
|
---|
519 | <LI><A NAME="tex2html445"
|
---|
520 | HREF="node2.html#SECTION000200700000000000000">
|
---|
521 | <I>buchberger<MATH CLASS="INLINE">
|
---|
522 | -
|
---|
523 | </MATH>with<MATH CLASS="INLINE">
|
---|
524 | -
|
---|
525 | </MATH>sugar</I></A>
|
---|
526 | <LI><A NAME="tex2html446"
|
---|
527 | HREF="node2.html#SECTION000200710000000000000">
|
---|
528 | <I>buchberger<MATH CLASS="INLINE">
|
---|
529 | -
|
---|
530 | </MATH>with<MATH CLASS="INLINE">
|
---|
531 | -
|
---|
532 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
533 | -
|
---|
534 | </MATH>merge<MATH CLASS="INLINE">
|
---|
535 | -
|
---|
536 | </MATH>pairs</I></A>
|
---|
537 | <LI><A NAME="tex2html447"
|
---|
538 | HREF="node2.html#SECTION000200720000000000000">
|
---|
539 | <I>buchberger<MATH CLASS="INLINE">
|
---|
540 | -
|
---|
541 | </MATH>with<MATH CLASS="INLINE">
|
---|
542 | -
|
---|
543 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
544 | -
|
---|
545 | </MATH>sort<MATH CLASS="INLINE">
|
---|
546 | -
|
---|
547 | </MATH>pairs</I></A>
|
---|
548 | <LI><A NAME="tex2html448"
|
---|
549 | HREF="node2.html#SECTION000200730000000000000">
|
---|
550 | <I>criterion<MATH CLASS="INLINE">
|
---|
551 | -
|
---|
552 | </MATH>1<MATH CLASS="INLINE">
|
---|
553 | -
|
---|
554 | </MATH>with<MATH CLASS="INLINE">
|
---|
555 | -
|
---|
556 | </MATH>sugar</I></A>
|
---|
557 | <LI><A NAME="tex2html449"
|
---|
558 | HREF="node2.html#SECTION000200740000000000000">
|
---|
559 | <I>criterion<MATH CLASS="INLINE">
|
---|
560 | -
|
---|
561 | </MATH>2<MATH CLASS="INLINE">
|
---|
562 | -
|
---|
563 | </MATH>with<MATH CLASS="INLINE">
|
---|
564 | -
|
---|
565 | </MATH>sugar</I></A>
|
---|
566 | <LI><A NAME="tex2html450"
|
---|
567 | HREF="node2.html#SECTION000200750000000000000">
|
---|
568 | <I>gebauer<MATH CLASS="INLINE">
|
---|
569 | -
|
---|
570 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
571 | -
|
---|
572 | </MATH>with<MATH CLASS="INLINE">
|
---|
573 | -
|
---|
574 | </MATH>sugar</I></A>
|
---|
575 | <LI><A NAME="tex2html451"
|
---|
576 | HREF="node2.html#SECTION000200760000000000000">
|
---|
577 | <I>update<MATH CLASS="INLINE">
|
---|
578 | -
|
---|
579 | </MATH>with<MATH CLASS="INLINE">
|
---|
580 | -
|
---|
581 | </MATH>sugar</I></A>
|
---|
582 | <LI><A NAME="tex2html452"
|
---|
583 | HREF="node2.html#SECTION000200770000000000000">
|
---|
584 | <I>gebauer<MATH CLASS="INLINE">
|
---|
585 | -
|
---|
586 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
587 | -
|
---|
588 | </MATH>with<MATH CLASS="INLINE">
|
---|
589 | -
|
---|
590 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
591 | -
|
---|
592 | </MATH>merge<MATH CLASS="INLINE">
|
---|
593 | -
|
---|
594 | </MATH>pairs</I></A>
|
---|
595 | <LI><A NAME="tex2html453"
|
---|
596 | HREF="node2.html#SECTION000200780000000000000">
|
---|
597 | <I>grobner<MATH CLASS="INLINE">
|
---|
598 | -
|
---|
599 | </MATH>primitive<MATH CLASS="INLINE">
|
---|
600 | -
|
---|
601 | </MATH>part<MATH CLASS="INLINE">
|
---|
602 | -
|
---|
603 | </MATH>with<MATH CLASS="INLINE">
|
---|
604 | -
|
---|
605 | </MATH>sugar</I></A>
|
---|
606 | </UL>
|
---|
607 | <LI><A NAME="tex2html454"
|
---|
608 | HREF="node3.html#SECTION00030000000000000000">
|
---|
609 | The String Interface to the Gröbner Basis package</A>
|
---|
610 | <UL>
|
---|
611 | <LI><A NAME="tex2html455"
|
---|
612 | HREF="node3.html#SECTION00030010000000000000">
|
---|
613 | <I>string<MATH CLASS="INLINE">
|
---|
614 | -
|
---|
615 | </MATH>normal<MATH CLASS="INLINE">
|
---|
616 | -
|
---|
617 | </MATH>form</I></A>
|
---|
618 | <LI><A NAME="tex2html456"
|
---|
619 | HREF="node3.html#SECTION00030020000000000000">
|
---|
620 | <I>string<MATH CLASS="INLINE">
|
---|
621 | -
|
---|
622 | </MATH>grobner</I></A>
|
---|
623 | <LI><A NAME="tex2html457"
|
---|
624 | HREF="node3.html#SECTION00030030000000000000">
|
---|
625 | <I>string<MATH CLASS="INLINE">
|
---|
626 | -
|
---|
627 | </MATH>elimination<MATH CLASS="INLINE">
|
---|
628 | -
|
---|
629 | </MATH>ideal</I></A>
|
---|
630 | <LI><A NAME="tex2html458"
|
---|
631 | HREF="node3.html#SECTION00030040000000000000">
|
---|
632 | <I>string<MATH CLASS="INLINE">
|
---|
633 | -
|
---|
634 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
635 | -
|
---|
636 | </MATH>intersection</I></A>
|
---|
637 | <LI><A NAME="tex2html459"
|
---|
638 | HREF="node3.html#SECTION00030050000000000000">
|
---|
639 | <I>string<MATH CLASS="INLINE">
|
---|
640 | -
|
---|
641 | </MATH>poly<MATH CLASS="INLINE">
|
---|
642 | -
|
---|
643 | </MATH>lcm</I></A>
|
---|
644 | <LI><A NAME="tex2html460"
|
---|
645 | HREF="node3.html#SECTION00030060000000000000">
|
---|
646 | <I>string<MATH CLASS="INLINE">
|
---|
647 | -
|
---|
648 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
649 | -
|
---|
650 | </MATH>saturation<MATH CLASS="INLINE">
|
---|
651 | -
|
---|
652 | </MATH>1</I></A>
|
---|
653 | <LI><A NAME="tex2html461"
|
---|
654 | HREF="node3.html#SECTION00030070000000000000">
|
---|
655 | <I>string<MATH CLASS="INLINE">
|
---|
656 | -
|
---|
657 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
658 | -
|
---|
659 | </MATH>polysaturation<MATH CLASS="INLINE">
|
---|
660 | -
|
---|
661 | </MATH>1</I></A>
|
---|
662 | <LI><A NAME="tex2html462"
|
---|
663 | HREF="node3.html#SECTION00030080000000000000">
|
---|
664 | <I>string<MATH CLASS="INLINE">
|
---|
665 | -
|
---|
666 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
667 | -
|
---|
668 | </MATH>saturation</I></A>
|
---|
669 | <LI><A NAME="tex2html463"
|
---|
670 | HREF="node3.html#SECTION00030090000000000000">
|
---|
671 | <I>string<MATH CLASS="INLINE">
|
---|
672 | -
|
---|
673 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
674 | -
|
---|
675 | </MATH>polysaturation</I></A>
|
---|
676 | <LI><A NAME="tex2html464"
|
---|
677 | HREF="node3.html#SECTION000300100000000000000">
|
---|
678 | <I>string<MATH CLASS="INLINE">
|
---|
679 | -
|
---|
680 | </MATH>colon<MATH CLASS="INLINE">
|
---|
681 | -
|
---|
682 | </MATH>ideal</I></A>
|
---|
683 | <LI><A NAME="tex2html465"
|
---|
684 | HREF="node3.html#SECTION000300110000000000000">
|
---|
685 | <I>string<MATH CLASS="INLINE">
|
---|
686 | -
|
---|
687 | </MATH>read<MATH CLASS="INLINE">
|
---|
688 | -
|
---|
689 | </MATH>poly</I></A>
|
---|
690 | <LI><A NAME="tex2html466"
|
---|
691 | HREF="node3.html#SECTION000300120000000000000">
|
---|
692 | <I>poly<MATH CLASS="INLINE">
|
---|
693 | -
|
---|
694 | </MATH>rational<MATH CLASS="INLINE">
|
---|
695 | -
|
---|
696 | </MATH>to<MATH CLASS="INLINE">
|
---|
697 | -
|
---|
698 | </MATH>integer</I></A>
|
---|
699 | <LI><A NAME="tex2html467"
|
---|
700 | HREF="node3.html#SECTION000300130000000000000">
|
---|
701 | <I>read<MATH CLASS="INLINE">
|
---|
702 | -
|
---|
703 | </MATH>vars</I></A>
|
---|
704 | </UL>
|
---|
705 | <LI><A NAME="tex2html468"
|
---|
706 | HREF="node4.html#SECTION00040000000000000000">
|
---|
707 | The Comprehensive Gröbner basis package</A>
|
---|
708 | <UL>
|
---|
709 | <LI><A NAME="tex2html469"
|
---|
710 | HREF="node4.html#SECTION00040010000000000000">
|
---|
711 | <I>*colored<MATH CLASS="INLINE">
|
---|
712 | -
|
---|
713 | </MATH>poly<MATH CLASS="INLINE">
|
---|
714 | -
|
---|
715 | </MATH>debug*</I></A>
|
---|
716 | <LI><A NAME="tex2html470"
|
---|
717 | HREF="node4.html#SECTION00040020000000000000">
|
---|
718 | <I>debug<MATH CLASS="INLINE">
|
---|
719 | -
|
---|
720 | </MATH>cgb</I></A>
|
---|
721 | <LI><A NAME="tex2html471"
|
---|
722 | HREF="node4.html#SECTION00040030000000000000">
|
---|
723 | <I>make<MATH CLASS="INLINE">
|
---|
724 | -
|
---|
725 | </MATH>colored<MATH CLASS="INLINE">
|
---|
726 | -
|
---|
727 | </MATH>poly</I></A>
|
---|
728 | <LI><A NAME="tex2html472"
|
---|
729 | HREF="node4.html#SECTION00040040000000000000">
|
---|
730 | <I>make<MATH CLASS="INLINE">
|
---|
731 | -
|
---|
732 | </MATH>colored<MATH CLASS="INLINE">
|
---|
733 | -
|
---|
734 | </MATH>poly<MATH CLASS="INLINE">
|
---|
735 | -
|
---|
736 | </MATH>list</I></A>
|
---|
737 | <LI><A NAME="tex2html473"
|
---|
738 | HREF="node4.html#SECTION00040050000000000000">
|
---|
739 | <I>color<MATH CLASS="INLINE">
|
---|
740 | -
|
---|
741 | </MATH>poly<MATH CLASS="INLINE">
|
---|
742 | -
|
---|
743 | </MATH>list</I></A>
|
---|
744 | <LI><A NAME="tex2html474"
|
---|
745 | HREF="node4.html#SECTION00040060000000000000">
|
---|
746 | <I>color<MATH CLASS="INLINE">
|
---|
747 | -
|
---|
748 | </MATH>poly</I></A>
|
---|
749 | <LI><A NAME="tex2html475"
|
---|
750 | HREF="node4.html#SECTION00040070000000000000">
|
---|
751 | <I>colored<MATH CLASS="INLINE">
|
---|
752 | -
|
---|
753 | </MATH>poly<MATH CLASS="INLINE">
|
---|
754 | -
|
---|
755 | </MATH>to<MATH CLASS="INLINE">
|
---|
756 | -
|
---|
757 | </MATH>poly</I></A>
|
---|
758 | <LI><A NAME="tex2html476"
|
---|
759 | HREF="node4.html#SECTION00040080000000000000">
|
---|
760 | <I>colored<MATH CLASS="INLINE">
|
---|
761 | -
|
---|
762 | </MATH>poly<MATH CLASS="INLINE">
|
---|
763 | -
|
---|
764 | </MATH>print</I></A>
|
---|
765 | <LI><A NAME="tex2html477"
|
---|
766 | HREF="node4.html#SECTION00040090000000000000">
|
---|
767 | <I>colored<MATH CLASS="INLINE">
|
---|
768 | -
|
---|
769 | </MATH>poly<MATH CLASS="INLINE">
|
---|
770 | -
|
---|
771 | </MATH>print<MATH CLASS="INLINE">
|
---|
772 | -
|
---|
773 | </MATH>list</I></A>
|
---|
774 | <LI><A NAME="tex2html478"
|
---|
775 | HREF="node4.html#SECTION000400100000000000000">
|
---|
776 | <I>determine</I></A>
|
---|
777 | <LI><A NAME="tex2html479"
|
---|
778 | HREF="node4.html#SECTION000400110000000000000">
|
---|
779 | <I>determine<MATH CLASS="INLINE">
|
---|
780 | -
|
---|
781 | </MATH>1</I></A>
|
---|
782 | <LI><A NAME="tex2html480"
|
---|
783 | HREF="node4.html#SECTION000400120000000000000">
|
---|
784 | <I>determine<MATH CLASS="INLINE">
|
---|
785 | -
|
---|
786 | </MATH>white<MATH CLASS="INLINE">
|
---|
787 | -
|
---|
788 | </MATH>term</I></A>
|
---|
789 | <LI><A NAME="tex2html481"
|
---|
790 | HREF="node4.html#SECTION000400130000000000000">
|
---|
791 | <I>cond<MATH CLASS="INLINE">
|
---|
792 | -
|
---|
793 | </MATH>system<MATH CLASS="INLINE">
|
---|
794 | -
|
---|
795 | </MATH>print</I></A>
|
---|
796 | <LI><A NAME="tex2html482"
|
---|
797 | HREF="node4.html#SECTION000400140000000000000">
|
---|
798 | <I>cond<MATH CLASS="INLINE">
|
---|
799 | -
|
---|
800 | </MATH>print</I></A>
|
---|
801 | <LI><A NAME="tex2html483"
|
---|
802 | HREF="node4.html#SECTION000400150000000000000">
|
---|
803 | <I>add<MATH CLASS="INLINE">
|
---|
804 | -
|
---|
805 | </MATH>pairs</I></A>
|
---|
806 | <LI><A NAME="tex2html484"
|
---|
807 | HREF="node4.html#SECTION000400160000000000000">
|
---|
808 | <I>cond<MATH CLASS="INLINE">
|
---|
809 | -
|
---|
810 | </MATH>part</I></A>
|
---|
811 | <LI><A NAME="tex2html485"
|
---|
812 | HREF="node4.html#SECTION000400170000000000000">
|
---|
813 | <I>cond<MATH CLASS="INLINE">
|
---|
814 | -
|
---|
815 | </MATH>hm</I></A>
|
---|
816 | <LI><A NAME="tex2html486"
|
---|
817 | HREF="node4.html#SECTION000400180000000000000">
|
---|
818 | <I>delete<MATH CLASS="INLINE">
|
---|
819 | -
|
---|
820 | </MATH>green<MATH CLASS="INLINE">
|
---|
821 | -
|
---|
822 | </MATH>polys</I></A>
|
---|
823 | <LI><A NAME="tex2html487"
|
---|
824 | HREF="node4.html#SECTION000400190000000000000">
|
---|
825 | <I>grobner<MATH CLASS="INLINE">
|
---|
826 | -
|
---|
827 | </MATH>system</I></A>
|
---|
828 | <LI><A NAME="tex2html488"
|
---|
829 | HREF="node4.html#SECTION000400200000000000000">
|
---|
830 | <I>reorder<MATH CLASS="INLINE">
|
---|
831 | -
|
---|
832 | </MATH>pairs</I></A>
|
---|
833 | <LI><A NAME="tex2html489"
|
---|
834 | HREF="node4.html#SECTION000400210000000000000">
|
---|
835 | <I>colored<MATH CLASS="INLINE">
|
---|
836 | -
|
---|
837 | </MATH>criterion<MATH CLASS="INLINE">
|
---|
838 | -
|
---|
839 | </MATH>1</I></A>
|
---|
840 | <LI><A NAME="tex2html490"
|
---|
841 | HREF="node4.html#SECTION000400220000000000000">
|
---|
842 | <I>colored<MATH CLASS="INLINE">
|
---|
843 | -
|
---|
844 | </MATH>criterion<MATH CLASS="INLINE">
|
---|
845 | -
|
---|
846 | </MATH>2</I></A>
|
---|
847 | <LI><A NAME="tex2html491"
|
---|
848 | HREF="node4.html#SECTION000400230000000000000">
|
---|
849 | <I>cond<MATH CLASS="INLINE">
|
---|
850 | -
|
---|
851 | </MATH>normal<MATH CLASS="INLINE">
|
---|
852 | -
|
---|
853 | </MATH>form</I></A>
|
---|
854 | <LI><A NAME="tex2html492"
|
---|
855 | HREF="node4.html#SECTION000400240000000000000">
|
---|
856 | <I>cond<MATH CLASS="INLINE">
|
---|
857 | -
|
---|
858 | </MATH>spoly</I></A>
|
---|
859 | <LI><A NAME="tex2html493"
|
---|
860 | HREF="node4.html#SECTION000400250000000000000">
|
---|
861 | <I>cond<MATH CLASS="INLINE">
|
---|
862 | -
|
---|
863 | </MATH>lm</I></A>
|
---|
864 | <LI><A NAME="tex2html494"
|
---|
865 | HREF="node4.html#SECTION000400260000000000000">
|
---|
866 | <I>cond<MATH CLASS="INLINE">
|
---|
867 | -
|
---|
868 | </MATH>lc</I></A>
|
---|
869 | <LI><A NAME="tex2html495"
|
---|
870 | HREF="node4.html#SECTION000400270000000000000">
|
---|
871 | <I>colored<MATH CLASS="INLINE">
|
---|
872 | -
|
---|
873 | </MATH>term<MATH CLASS="INLINE">
|
---|
874 | -
|
---|
875 | </MATH>times<MATH CLASS="INLINE">
|
---|
876 | -
|
---|
877 | </MATH>poly</I></A>
|
---|
878 | <LI><A NAME="tex2html496"
|
---|
879 | HREF="node4.html#SECTION000400280000000000000">
|
---|
880 | <I>colored<MATH CLASS="INLINE">
|
---|
881 | -
|
---|
882 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
883 | -
|
---|
884 | </MATH>times<MATH CLASS="INLINE">
|
---|
885 | -
|
---|
886 | </MATH>poly</I></A>
|
---|
887 | <LI><A NAME="tex2html497"
|
---|
888 | HREF="node4.html#SECTION000400290000000000000">
|
---|
889 | <I>colored<MATH CLASS="INLINE">
|
---|
890 | -
|
---|
891 | </MATH>term*</I></A>
|
---|
892 | <LI><A NAME="tex2html498"
|
---|
893 | HREF="node4.html#SECTION000400300000000000000">
|
---|
894 | <I>color*</I></A>
|
---|
895 | <LI><A NAME="tex2html499"
|
---|
896 | HREF="node4.html#SECTION000400310000000000000">
|
---|
897 | <I>color+</I></A>
|
---|
898 | <LI><A NAME="tex2html500"
|
---|
899 | HREF="node4.html#SECTION000400320000000000000">
|
---|
900 | <I>color<MATH CLASS="INLINE">
|
---|
901 | -
|
---|
902 | </MATH></I></A>
|
---|
903 | <LI><A NAME="tex2html501"
|
---|
904 | HREF="node4.html#SECTION000400330000000000000">
|
---|
905 | <I>colored<MATH CLASS="INLINE">
|
---|
906 | -
|
---|
907 | </MATH>poly+</I></A>
|
---|
908 | <LI><A NAME="tex2html502"
|
---|
909 | HREF="node4.html#SECTION000400340000000000000">
|
---|
910 | <I>colored<MATH CLASS="INLINE">
|
---|
911 | -
|
---|
912 | </MATH>poly<MATH CLASS="INLINE">
|
---|
913 | -
|
---|
914 | </MATH></I></A>
|
---|
915 | <LI><A NAME="tex2html503"
|
---|
916 | HREF="node4.html#SECTION000400350000000000000">
|
---|
917 | <I>colored<MATH CLASS="INLINE">
|
---|
918 | -
|
---|
919 | </MATH>term<MATH CLASS="INLINE">
|
---|
920 | -
|
---|
921 | </MATH>uminus</I></A>
|
---|
922 | <LI><A NAME="tex2html504"
|
---|
923 | HREF="node4.html#SECTION000400360000000000000">
|
---|
924 | <I>colored<MATH CLASS="INLINE">
|
---|
925 | -
|
---|
926 | </MATH>minus<MATH CLASS="INLINE">
|
---|
927 | -
|
---|
928 | </MATH>poly</I></A>
|
---|
929 | <LI><A NAME="tex2html505"
|
---|
930 | HREF="node4.html#SECTION000400370000000000000">
|
---|
931 | <I>string<MATH CLASS="INLINE">
|
---|
932 | -
|
---|
933 | </MATH>grobner<MATH CLASS="INLINE">
|
---|
934 | -
|
---|
935 | </MATH>system</I></A>
|
---|
936 | <LI><A NAME="tex2html506"
|
---|
937 | HREF="node4.html#SECTION000400380000000000000">
|
---|
938 | <I>string<MATH CLASS="INLINE">
|
---|
939 | -
|
---|
940 | </MATH>cond</I></A>
|
---|
941 | <LI><A NAME="tex2html507"
|
---|
942 | HREF="node4.html#SECTION000400390000000000000">
|
---|
943 | <I>string<MATH CLASS="INLINE">
|
---|
944 | -
|
---|
945 | </MATH>cover</I></A>
|
---|
946 | <LI><A NAME="tex2html508"
|
---|
947 | HREF="node4.html#SECTION000400400000000000000">
|
---|
948 | <I>saturate<MATH CLASS="INLINE">
|
---|
949 | -
|
---|
950 | </MATH>cover</I></A>
|
---|
951 | <LI><A NAME="tex2html509"
|
---|
952 | HREF="node4.html#SECTION000400410000000000000">
|
---|
953 | <I>saturate<MATH CLASS="INLINE">
|
---|
954 | -
|
---|
955 | </MATH>cond</I></A>
|
---|
956 | <LI><A NAME="tex2html510"
|
---|
957 | HREF="node4.html#SECTION000400420000000000000">
|
---|
958 | <I>string<MATH CLASS="INLINE">
|
---|
959 | -
|
---|
960 | </MATH>determine</I></A>
|
---|
961 | <LI><A NAME="tex2html511"
|
---|
962 | HREF="node4.html#SECTION000400430000000000000">
|
---|
963 | <I>tidy<MATH CLASS="INLINE">
|
---|
964 | -
|
---|
965 | </MATH>grobner<MATH CLASS="INLINE">
|
---|
966 | -
|
---|
967 | </MATH>system</I></A>
|
---|
968 | <LI><A NAME="tex2html512"
|
---|
969 | HREF="node4.html#SECTION000400440000000000000">
|
---|
970 | <I>tidy<MATH CLASS="INLINE">
|
---|
971 | -
|
---|
972 | </MATH>pair</I></A>
|
---|
973 | <LI><A NAME="tex2html513"
|
---|
974 | HREF="node4.html#SECTION000400450000000000000">
|
---|
975 | <I>tidy<MATH CLASS="INLINE">
|
---|
976 | -
|
---|
977 | </MATH>cond</I></A>
|
---|
978 | <LI><A NAME="tex2html514"
|
---|
979 | HREF="node4.html#SECTION000400460000000000000">
|
---|
980 | <I>colored<MATH CLASS="INLINE">
|
---|
981 | -
|
---|
982 | </MATH>reduction</I></A>
|
---|
983 | <LI><A NAME="tex2html515"
|
---|
984 | HREF="node4.html#SECTION000400470000000000000">
|
---|
985 | <I>green<MATH CLASS="INLINE">
|
---|
986 | -
|
---|
987 | </MATH>reduce<MATH CLASS="INLINE">
|
---|
988 | -
|
---|
989 | </MATH>colored<MATH CLASS="INLINE">
|
---|
990 | -
|
---|
991 | </MATH>poly</I></A>
|
---|
992 | <LI><A NAME="tex2html516"
|
---|
993 | HREF="node4.html#SECTION000400480000000000000">
|
---|
994 | <I>green<MATH CLASS="INLINE">
|
---|
995 | -
|
---|
996 | </MATH>reduce<MATH CLASS="INLINE">
|
---|
997 | -
|
---|
998 | </MATH>colored<MATH CLASS="INLINE">
|
---|
999 | -
|
---|
1000 | </MATH>list</I></A>
|
---|
1001 | <LI><A NAME="tex2html517"
|
---|
1002 | HREF="node4.html#SECTION000400490000000000000">
|
---|
1003 | <I>cond<MATH CLASS="INLINE">
|
---|
1004 | -
|
---|
1005 | </MATH>system<MATH CLASS="INLINE">
|
---|
1006 | -
|
---|
1007 | </MATH>green<MATH CLASS="INLINE">
|
---|
1008 | -
|
---|
1009 | </MATH>reduce</I></A>
|
---|
1010 | <LI><A NAME="tex2html518"
|
---|
1011 | HREF="node4.html#SECTION000400500000000000000">
|
---|
1012 | <I>parse<MATH CLASS="INLINE">
|
---|
1013 | -
|
---|
1014 | </MATH>to<MATH CLASS="INLINE">
|
---|
1015 | -
|
---|
1016 | </MATH>colored<MATH CLASS="INLINE">
|
---|
1017 | -
|
---|
1018 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1019 | -
|
---|
1020 | </MATH>list</I></A>
|
---|
1021 | <LI><A NAME="tex2html519"
|
---|
1022 | HREF="node4.html#SECTION000400510000000000000">
|
---|
1023 | <I>red<MATH CLASS="INLINE">
|
---|
1024 | -
|
---|
1025 | </MATH>reduction</I></A>
|
---|
1026 | </UL>
|
---|
1027 | <LI><A NAME="tex2html520"
|
---|
1028 | HREF="node5.html#SECTION00050000000000000000">
|
---|
1029 | The Coefficient Ring package</A>
|
---|
1030 | <UL>
|
---|
1031 | <LI><A NAME="tex2html521"
|
---|
1032 | HREF="node5.html#SECTION00050010000000000000">
|
---|
1033 | <I>ring</I></A>
|
---|
1034 | <LI><A NAME="tex2html522"
|
---|
1035 | HREF="node5.html#SECTION00050020000000000000">
|
---|
1036 | <I>*ring<MATH CLASS="INLINE">
|
---|
1037 | -
|
---|
1038 | </MATH>of<MATH CLASS="INLINE">
|
---|
1039 | -
|
---|
1040 | </MATH>integers*</I></A>
|
---|
1041 | <LI><A NAME="tex2html523"
|
---|
1042 | HREF="node5.html#SECTION00050030000000000000">
|
---|
1043 | <I>*field<MATH CLASS="INLINE">
|
---|
1044 | -
|
---|
1045 | </MATH>of<MATH CLASS="INLINE">
|
---|
1046 | -
|
---|
1047 | </MATH>rationals*</I></A>
|
---|
1048 | <LI><A NAME="tex2html524"
|
---|
1049 | HREF="node5.html#SECTION00050040000000000000">
|
---|
1050 | <I>field<MATH CLASS="INLINE">
|
---|
1051 | -
|
---|
1052 | </MATH>modulo<MATH CLASS="INLINE">
|
---|
1053 | -
|
---|
1054 | </MATH>prime</I></A>
|
---|
1055 | <LI><A NAME="tex2html525"
|
---|
1056 | HREF="node5.html#SECTION00050050000000000000">
|
---|
1057 | <I>*coefficient<MATH CLASS="INLINE">
|
---|
1058 | -
|
---|
1059 | </MATH>ring*</I></A>
|
---|
1060 | </UL>
|
---|
1061 | <LI><A NAME="tex2html526"
|
---|
1062 | HREF="node6.html#SECTION00060000000000000000">
|
---|
1063 | The Division Package</A>
|
---|
1064 | <UL>
|
---|
1065 | <LI><A NAME="tex2html527"
|
---|
1066 | HREF="node6.html#SECTION00060010000000000000">
|
---|
1067 | <I>divide</I></A>
|
---|
1068 | <LI><A NAME="tex2html528"
|
---|
1069 | HREF="node6.html#SECTION00060020000000000000">
|
---|
1070 | <I>poly<MATH CLASS="INLINE">
|
---|
1071 | -
|
---|
1072 | </MATH>exact<MATH CLASS="INLINE">
|
---|
1073 | -
|
---|
1074 | </MATH>divide</I></A>
|
---|
1075 | </UL>
|
---|
1076 | <LI><A NAME="tex2html529"
|
---|
1077 | HREF="node7.html#SECTION00070000000000000000">
|
---|
1078 | The Dynamical Systems package</A>
|
---|
1079 | <UL>
|
---|
1080 | <LI><A NAME="tex2html530"
|
---|
1081 | HREF="node7.html#SECTION00070010000000000000">
|
---|
1082 | <I>poly<MATH CLASS="INLINE">
|
---|
1083 | -
|
---|
1084 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
1085 | -
|
---|
1086 | </MATH>composition</I></A>
|
---|
1087 | <LI><A NAME="tex2html531"
|
---|
1088 | HREF="node7.html#SECTION00070020000000000000">
|
---|
1089 | <I>poly<MATH CLASS="INLINE">
|
---|
1090 | -
|
---|
1091 | </MATH>composition</I></A>
|
---|
1092 | <LI><A NAME="tex2html532"
|
---|
1093 | HREF="node7.html#SECTION00070030000000000000">
|
---|
1094 | <I>poly<MATH CLASS="INLINE">
|
---|
1095 | -
|
---|
1096 | </MATH>dynamic<MATH CLASS="INLINE">
|
---|
1097 | -
|
---|
1098 | </MATH>power</I></A>
|
---|
1099 | <LI><A NAME="tex2html533"
|
---|
1100 | HREF="node7.html#SECTION00070040000000000000">
|
---|
1101 | <I>poly<MATH CLASS="INLINE">
|
---|
1102 | -
|
---|
1103 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
1104 | -
|
---|
1105 | </MATH>evaluate</I></A>
|
---|
1106 | <LI><A NAME="tex2html534"
|
---|
1107 | HREF="node7.html#SECTION00070050000000000000">
|
---|
1108 | <I>poly<MATH CLASS="INLINE">
|
---|
1109 | -
|
---|
1110 | </MATH>evaluate</I></A>
|
---|
1111 | <LI><A NAME="tex2html535"
|
---|
1112 | HREF="node7.html#SECTION00070060000000000000">
|
---|
1113 | <I>factorial</I></A>
|
---|
1114 | <LI><A NAME="tex2html536"
|
---|
1115 | HREF="node7.html#SECTION00070070000000000000">
|
---|
1116 | <I>poly<MATH CLASS="INLINE">
|
---|
1117 | -
|
---|
1118 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
1119 | -
|
---|
1120 | </MATH>diff</I></A>
|
---|
1121 | <LI><A NAME="tex2html537"
|
---|
1122 | HREF="node7.html#SECTION00070080000000000000">
|
---|
1123 | <I>poly<MATH CLASS="INLINE">
|
---|
1124 | -
|
---|
1125 | </MATH>diff</I></A>
|
---|
1126 | <LI><A NAME="tex2html538"
|
---|
1127 | HREF="node7.html#SECTION00070090000000000000">
|
---|
1128 | <I>standard<MATH CLASS="INLINE">
|
---|
1129 | -
|
---|
1130 | </MATH>vector</I></A>
|
---|
1131 | <LI><A NAME="tex2html539"
|
---|
1132 | HREF="node7.html#SECTION000700100000000000000">
|
---|
1133 | <I>scalar<MATH CLASS="INLINE">
|
---|
1134 | -
|
---|
1135 | </MATH>partial</I></A>
|
---|
1136 | <LI><A NAME="tex2html540"
|
---|
1137 | HREF="node7.html#SECTION000700110000000000000">
|
---|
1138 | <I>partial</I></A>
|
---|
1139 | <LI><A NAME="tex2html541"
|
---|
1140 | HREF="node7.html#SECTION000700120000000000000">
|
---|
1141 | <I>determinant</I></A>
|
---|
1142 | <LI><A NAME="tex2html542"
|
---|
1143 | HREF="node7.html#SECTION000700130000000000000">
|
---|
1144 | <I>minor</I></A>
|
---|
1145 | <LI><A NAME="tex2html543"
|
---|
1146 | HREF="node7.html#SECTION000700140000000000000">
|
---|
1147 | <I>drop<MATH CLASS="INLINE">
|
---|
1148 | -
|
---|
1149 | </MATH>row</I></A>
|
---|
1150 | <LI><A NAME="tex2html544"
|
---|
1151 | HREF="node7.html#SECTION000700150000000000000">
|
---|
1152 | <I>drop<MATH CLASS="INLINE">
|
---|
1153 | -
|
---|
1154 | </MATH>column</I></A>
|
---|
1155 | <LI><A NAME="tex2html545"
|
---|
1156 | HREF="node7.html#SECTION000700160000000000000">
|
---|
1157 | <I>drop<MATH CLASS="INLINE">
|
---|
1158 | -
|
---|
1159 | </MATH>elt</I></A>
|
---|
1160 | <LI><A NAME="tex2html546"
|
---|
1161 | HREF="node7.html#SECTION000700170000000000000">
|
---|
1162 | <I>matrix<MATH CLASS="INLINE">
|
---|
1163 | -
|
---|
1164 | </MATH></I></A>
|
---|
1165 | <LI><A NAME="tex2html547"
|
---|
1166 | HREF="node7.html#SECTION000700180000000000000">
|
---|
1167 | <I>scalar<MATH CLASS="INLINE">
|
---|
1168 | -
|
---|
1169 | </MATH>times<MATH CLASS="INLINE">
|
---|
1170 | -
|
---|
1171 | </MATH>matrix</I></A>
|
---|
1172 | <LI><A NAME="tex2html548"
|
---|
1173 | HREF="node7.html#SECTION000700190000000000000">
|
---|
1174 | <I>monom<MATH CLASS="INLINE">
|
---|
1175 | -
|
---|
1176 | </MATH>times<MATH CLASS="INLINE">
|
---|
1177 | -
|
---|
1178 | </MATH>matrix</I></A>
|
---|
1179 | <LI><A NAME="tex2html549"
|
---|
1180 | HREF="node7.html#SECTION000700200000000000000">
|
---|
1181 | <I>term<MATH CLASS="INLINE">
|
---|
1182 | -
|
---|
1183 | </MATH>times<MATH CLASS="INLINE">
|
---|
1184 | -
|
---|
1185 | </MATH>matrix</I></A>
|
---|
1186 | <LI><A NAME="tex2html550"
|
---|
1187 | HREF="node7.html#SECTION000700210000000000000">
|
---|
1188 | <I>poly<MATH CLASS="INLINE">
|
---|
1189 | -
|
---|
1190 | </MATH>list<MATH CLASS="INLINE">
|
---|
1191 | -
|
---|
1192 | </MATH></I></A>
|
---|
1193 | <LI><A NAME="tex2html551"
|
---|
1194 | HREF="node7.html#SECTION000700220000000000000">
|
---|
1195 | <I>scalar<MATH CLASS="INLINE">
|
---|
1196 | -
|
---|
1197 | </MATH>times<MATH CLASS="INLINE">
|
---|
1198 | -
|
---|
1199 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1200 | -
|
---|
1201 | </MATH>list</I></A>
|
---|
1202 | <LI><A NAME="tex2html552"
|
---|
1203 | HREF="node7.html#SECTION000700230000000000000">
|
---|
1204 | <I>monom<MATH CLASS="INLINE">
|
---|
1205 | -
|
---|
1206 | </MATH>times<MATH CLASS="INLINE">
|
---|
1207 | -
|
---|
1208 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1209 | -
|
---|
1210 | </MATH>list</I></A>
|
---|
1211 | <LI><A NAME="tex2html553"
|
---|
1212 | HREF="node7.html#SECTION000700240000000000000">
|
---|
1213 | <I>term<MATH CLASS="INLINE">
|
---|
1214 | -
|
---|
1215 | </MATH>times<MATH CLASS="INLINE">
|
---|
1216 | -
|
---|
1217 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1218 | -
|
---|
1219 | </MATH>list</I></A>
|
---|
1220 | <LI><A NAME="tex2html554"
|
---|
1221 | HREF="node7.html#SECTION000700250000000000000">
|
---|
1222 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1223 | -
|
---|
1224 | </MATH>combination</I></A>
|
---|
1225 | <LI><A NAME="tex2html555"
|
---|
1226 | HREF="node7.html#SECTION000700260000000000000">
|
---|
1227 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1228 | -
|
---|
1229 | </MATH>combination<MATH CLASS="INLINE">
|
---|
1230 | -
|
---|
1231 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1232 | -
|
---|
1233 | </MATH>list</I></A>
|
---|
1234 | <LI><A NAME="tex2html556"
|
---|
1235 | HREF="node7.html#SECTION000700270000000000000">
|
---|
1236 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1237 | -
|
---|
1238 | </MATH>matrix</I></A>
|
---|
1239 | <LI><A NAME="tex2html557"
|
---|
1240 | HREF="node7.html#SECTION000700280000000000000">
|
---|
1241 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1242 | -
|
---|
1243 | </MATH>polynomial</I></A>
|
---|
1244 | <LI><A NAME="tex2html558"
|
---|
1245 | HREF="node7.html#SECTION000700290000000000000">
|
---|
1246 | <I>identity<MATH CLASS="INLINE">
|
---|
1247 | -
|
---|
1248 | </MATH>matrix</I></A>
|
---|
1249 | <LI><A NAME="tex2html559"
|
---|
1250 | HREF="node7.html#SECTION000700300000000000000">
|
---|
1251 | <I>print<MATH CLASS="INLINE">
|
---|
1252 | -
|
---|
1253 | </MATH>matrix</I></A>
|
---|
1254 | <LI><A NAME="tex2html560"
|
---|
1255 | HREF="node7.html#SECTION000700310000000000000">
|
---|
1256 | <I>jacobi<MATH CLASS="INLINE">
|
---|
1257 | -
|
---|
1258 | </MATH>matrix</I></A>
|
---|
1259 | <LI><A NAME="tex2html561"
|
---|
1260 | HREF="node7.html#SECTION000700320000000000000">
|
---|
1261 | <I>jacobian</I></A>
|
---|
1262 | </UL>
|
---|
1263 | <LI><A NAME="tex2html562"
|
---|
1264 | HREF="node8.html#SECTION00080000000000000000">
|
---|
1265 | The Geometric Theorem Prover package</A>
|
---|
1266 | <UL>
|
---|
1267 | <LI><A NAME="tex2html563"
|
---|
1268 | HREF="node8.html#SECTION00080010000000000000">
|
---|
1269 | <I>*prover<MATH CLASS="INLINE">
|
---|
1270 | -
|
---|
1271 | </MATH>order*</I></A>
|
---|
1272 | <LI><A NAME="tex2html564"
|
---|
1273 | HREF="node8.html#SECTION00080020000000000000">
|
---|
1274 | <I>csym</I></A>
|
---|
1275 | <LI><A NAME="tex2html565"
|
---|
1276 | HREF="node8.html#SECTION00080030000000000000">
|
---|
1277 | <I>real<MATH CLASS="INLINE">
|
---|
1278 | -
|
---|
1279 | </MATH>identical<MATH CLASS="INLINE">
|
---|
1280 | -
|
---|
1281 | </MATH>points</I></A>
|
---|
1282 | <LI><A NAME="tex2html566"
|
---|
1283 | HREF="node8.html#SECTION00080040000000000000">
|
---|
1284 | <I>identical<MATH CLASS="INLINE">
|
---|
1285 | -
|
---|
1286 | </MATH>points</I></A>
|
---|
1287 | <LI><A NAME="tex2html567"
|
---|
1288 | HREF="node8.html#SECTION00080050000000000000">
|
---|
1289 | <I>perpendicular</I></A>
|
---|
1290 | <LI><A NAME="tex2html568"
|
---|
1291 | HREF="node8.html#SECTION00080060000000000000">
|
---|
1292 | <I>parallel</I></A>
|
---|
1293 | <LI><A NAME="tex2html569"
|
---|
1294 | HREF="node8.html#SECTION00080070000000000000">
|
---|
1295 | <I>collinear</I></A>
|
---|
1296 | <LI><A NAME="tex2html570"
|
---|
1297 | HREF="node8.html#SECTION00080080000000000000">
|
---|
1298 | <I>equidistant</I></A>
|
---|
1299 | <LI><A NAME="tex2html571"
|
---|
1300 | HREF="node8.html#SECTION00080090000000000000">
|
---|
1301 | <I>euclidean<MATH CLASS="INLINE">
|
---|
1302 | -
|
---|
1303 | </MATH>distance</I></A>
|
---|
1304 | <LI><A NAME="tex2html572"
|
---|
1305 | HREF="node8.html#SECTION000800100000000000000">
|
---|
1306 | <I>midpoint</I></A>
|
---|
1307 | <LI><A NAME="tex2html573"
|
---|
1308 | HREF="node8.html#SECTION000800110000000000000">
|
---|
1309 | <I>translate<MATH CLASS="INLINE">
|
---|
1310 | -
|
---|
1311 | </MATH>statements</I></A>
|
---|
1312 | <LI><A NAME="tex2html574"
|
---|
1313 | HREF="node8.html#SECTION000800120000000000000">
|
---|
1314 | <I>translate<MATH CLASS="INLINE">
|
---|
1315 | -
|
---|
1316 | </MATH>assumptions</I></A>
|
---|
1317 | <LI><A NAME="tex2html575"
|
---|
1318 | HREF="node8.html#SECTION000800130000000000000">
|
---|
1319 | <I>translate<MATH CLASS="INLINE">
|
---|
1320 | -
|
---|
1321 | </MATH>conclusions</I></A>
|
---|
1322 | <LI><A NAME="tex2html576"
|
---|
1323 | HREF="node8.html#SECTION000800140000000000000">
|
---|
1324 | <I>translate<MATH CLASS="INLINE">
|
---|
1325 | -
|
---|
1326 | </MATH>theorem</I></A>
|
---|
1327 | <LI><A NAME="tex2html577"
|
---|
1328 | HREF="node8.html#SECTION000800150000000000000">
|
---|
1329 | <I>prove<MATH CLASS="INLINE">
|
---|
1330 | -
|
---|
1331 | </MATH>theorem</I></A>
|
---|
1332 | </UL>
|
---|
1333 | <LI><A NAME="tex2html578"
|
---|
1334 | HREF="node9.html#SECTION00090000000000000000">
|
---|
1335 | The Monomial Order Package</A>
|
---|
1336 | <UL>
|
---|
1337 | <LI><A NAME="tex2html579"
|
---|
1338 | HREF="node9.html#SECTION00090010000000000000">
|
---|
1339 | <I>lex<MATH CLASS="INLINE">
|
---|
1340 | >
|
---|
1341 | </MATH></I></A>
|
---|
1342 | <LI><A NAME="tex2html580"
|
---|
1343 | HREF="node9.html#SECTION00090020000000000000">
|
---|
1344 | <I>total<MATH CLASS="INLINE">
|
---|
1345 | -
|
---|
1346 | </MATH>degree</I></A>
|
---|
1347 | <LI><A NAME="tex2html581"
|
---|
1348 | HREF="node9.html#SECTION00090030000000000000">
|
---|
1349 | <I>grlex<MATH CLASS="INLINE">
|
---|
1350 | >
|
---|
1351 | </MATH></I></A>
|
---|
1352 | <LI><A NAME="tex2html582"
|
---|
1353 | HREF="node9.html#SECTION00090040000000000000">
|
---|
1354 | <I>grevlex<MATH CLASS="INLINE">
|
---|
1355 | >
|
---|
1356 | </MATH></I></A>
|
---|
1357 | <LI><A NAME="tex2html583"
|
---|
1358 | HREF="node9.html#SECTION00090050000000000000">
|
---|
1359 | <I>revlex<MATH CLASS="INLINE">
|
---|
1360 | >
|
---|
1361 | </MATH></I></A>
|
---|
1362 | <LI><A NAME="tex2html584"
|
---|
1363 | HREF="node9.html#SECTION00090060000000000000">
|
---|
1364 | <I>invlex<MATH CLASS="INLINE">
|
---|
1365 | >
|
---|
1366 | </MATH></I></A>
|
---|
1367 | <LI><A NAME="tex2html585"
|
---|
1368 | HREF="node9.html#SECTION00090070000000000000">
|
---|
1369 | <I>elimination<MATH CLASS="INLINE">
|
---|
1370 | -
|
---|
1371 | </MATH>order</I></A>
|
---|
1372 | <LI><A NAME="tex2html586"
|
---|
1373 | HREF="node9.html#SECTION00090080000000000000">
|
---|
1374 | <I>elimination<MATH CLASS="INLINE">
|
---|
1375 | -
|
---|
1376 | </MATH>order<MATH CLASS="INLINE">
|
---|
1377 | -
|
---|
1378 | </MATH>1</I></A>
|
---|
1379 | </UL>
|
---|
1380 | <LI><A NAME="tex2html587"
|
---|
1381 | HREF="node10.html#SECTION000100000000000000000">
|
---|
1382 | The Polynomial Package</A>
|
---|
1383 | <UL>
|
---|
1384 | <LI><A NAME="tex2html588"
|
---|
1385 | HREF="node10.html#SECTION000100010000000000000">
|
---|
1386 | <I>scalar<MATH CLASS="INLINE">
|
---|
1387 | -
|
---|
1388 | </MATH>times<MATH CLASS="INLINE">
|
---|
1389 | -
|
---|
1390 | </MATH>poly</I></A>
|
---|
1391 | <LI><A NAME="tex2html589"
|
---|
1392 | HREF="node10.html#SECTION000100020000000000000">
|
---|
1393 | <I>term<MATH CLASS="INLINE">
|
---|
1394 | -
|
---|
1395 | </MATH>times<MATH CLASS="INLINE">
|
---|
1396 | -
|
---|
1397 | </MATH>poly</I></A>
|
---|
1398 | <LI><A NAME="tex2html590"
|
---|
1399 | HREF="node10.html#SECTION000100030000000000000">
|
---|
1400 | <I>monom<MATH CLASS="INLINE">
|
---|
1401 | -
|
---|
1402 | </MATH>times<MATH CLASS="INLINE">
|
---|
1403 | -
|
---|
1404 | </MATH>poly</I></A>
|
---|
1405 | <LI><A NAME="tex2html591"
|
---|
1406 | HREF="node10.html#SECTION000100040000000000000">
|
---|
1407 | <I>minus<MATH CLASS="INLINE">
|
---|
1408 | -
|
---|
1409 | </MATH>poly</I></A>
|
---|
1410 | <LI><A NAME="tex2html592"
|
---|
1411 | HREF="node10.html#SECTION000100050000000000000">
|
---|
1412 | <I>sort<MATH CLASS="INLINE">
|
---|
1413 | -
|
---|
1414 | </MATH>poly</I></A>
|
---|
1415 | <LI><A NAME="tex2html593"
|
---|
1416 | HREF="node10.html#SECTION000100060000000000000">
|
---|
1417 | <I>poly+</I></A>
|
---|
1418 | <LI><A NAME="tex2html594"
|
---|
1419 | HREF="node10.html#SECTION000100070000000000000">
|
---|
1420 | <I>poly<MATH CLASS="INLINE">
|
---|
1421 | -
|
---|
1422 | </MATH></I></A>
|
---|
1423 | <LI><A NAME="tex2html595"
|
---|
1424 | HREF="node10.html#SECTION000100080000000000000">
|
---|
1425 | <I>poly*</I></A>
|
---|
1426 | <LI><A NAME="tex2html596"
|
---|
1427 | HREF="node10.html#SECTION000100090000000000000">
|
---|
1428 | <I>poly<MATH CLASS="INLINE">
|
---|
1429 | -
|
---|
1430 | </MATH>op</I></A>
|
---|
1431 | <LI><A NAME="tex2html597"
|
---|
1432 | HREF="node10.html#SECTION0001000100000000000000">
|
---|
1433 | <I>poly<MATH CLASS="INLINE">
|
---|
1434 | -
|
---|
1435 | </MATH>expt</I></A>
|
---|
1436 | <LI><A NAME="tex2html598"
|
---|
1437 | HREF="node10.html#SECTION0001000110000000000000">
|
---|
1438 | <I>poly<MATH CLASS="INLINE">
|
---|
1439 | -
|
---|
1440 | </MATH>mexpt</I></A>
|
---|
1441 | <LI><A NAME="tex2html599"
|
---|
1442 | HREF="node10.html#SECTION0001000120000000000000">
|
---|
1443 | <I>poly<MATH CLASS="INLINE">
|
---|
1444 | -
|
---|
1445 | </MATH>constant<MATH CLASS="INLINE">
|
---|
1446 | -
|
---|
1447 | </MATH>p</I></A>
|
---|
1448 | <LI><A NAME="tex2html600"
|
---|
1449 | HREF="node10.html#SECTION0001000130000000000000">
|
---|
1450 | <I>poly<MATH CLASS="INLINE">
|
---|
1451 | -
|
---|
1452 | </MATH>extend</I></A>
|
---|
1453 | <LI><A NAME="tex2html601"
|
---|
1454 | HREF="node10.html#SECTION0001000140000000000000">
|
---|
1455 | <I>poly<MATH CLASS="INLINE">
|
---|
1456 | -
|
---|
1457 | </MATH>extend<MATH CLASS="INLINE">
|
---|
1458 | -
|
---|
1459 | </MATH>end</I></A>
|
---|
1460 | <LI><A NAME="tex2html602"
|
---|
1461 | HREF="node10.html#SECTION0001000150000000000000">
|
---|
1462 | <I>poly<MATH CLASS="INLINE">
|
---|
1463 | -
|
---|
1464 | </MATH>zerop</I></A>
|
---|
1465 | <LI><A NAME="tex2html603"
|
---|
1466 | HREF="node10.html#SECTION0001000160000000000000">
|
---|
1467 | <I>lt</I></A>
|
---|
1468 | <LI><A NAME="tex2html604"
|
---|
1469 | HREF="node10.html#SECTION0001000170000000000000">
|
---|
1470 | <I>lm</I></A>
|
---|
1471 | <LI><A NAME="tex2html605"
|
---|
1472 | HREF="node10.html#SECTION0001000180000000000000">
|
---|
1473 | <I>lc</I></A>
|
---|
1474 | </UL>
|
---|
1475 | <LI><A NAME="tex2html606"
|
---|
1476 | HREF="node11.html#SECTION000110000000000000000">
|
---|
1477 | The Parser Package</A>
|
---|
1478 | <UL>
|
---|
1479 | <LI><A NAME="tex2html607"
|
---|
1480 | HREF="node11.html#SECTION000110010000000000000">
|
---|
1481 | <I>parse</I></A>
|
---|
1482 | <LI><A NAME="tex2html608"
|
---|
1483 | HREF="node11.html#SECTION000110020000000000000">
|
---|
1484 | <I>alist<MATH CLASS="INLINE">
|
---|
1485 | -
|
---|
1486 | </MATH>form</I></A>
|
---|
1487 | <LI><A NAME="tex2html609"
|
---|
1488 | HREF="node11.html#SECTION000110030000000000000">
|
---|
1489 | <I>alist<MATH CLASS="INLINE">
|
---|
1490 | -
|
---|
1491 | </MATH>form<MATH CLASS="INLINE">
|
---|
1492 | -
|
---|
1493 | </MATH>1</I></A>
|
---|
1494 | <LI><A NAME="tex2html610"
|
---|
1495 | HREF="node11.html#SECTION000110040000000000000">
|
---|
1496 | <I>powers</I></A>
|
---|
1497 | <LI><A NAME="tex2html611"
|
---|
1498 | HREF="node11.html#SECTION000110050000000000000">
|
---|
1499 | <I>parse<MATH CLASS="INLINE">
|
---|
1500 | -
|
---|
1501 | </MATH>to<MATH CLASS="INLINE">
|
---|
1502 | -
|
---|
1503 | </MATH>alist</I></A>
|
---|
1504 | <LI><A NAME="tex2html612"
|
---|
1505 | HREF="node11.html#SECTION000110060000000000000">
|
---|
1506 | <I>parse<MATH CLASS="INLINE">
|
---|
1507 | -
|
---|
1508 | </MATH>string<MATH CLASS="INLINE">
|
---|
1509 | -
|
---|
1510 | </MATH>to<MATH CLASS="INLINE">
|
---|
1511 | -
|
---|
1512 | </MATH>alist</I></A>
|
---|
1513 | <LI><A NAME="tex2html613"
|
---|
1514 | HREF="node11.html#SECTION000110070000000000000">
|
---|
1515 | <I>parse<MATH CLASS="INLINE">
|
---|
1516 | -
|
---|
1517 | </MATH>to<MATH CLASS="INLINE">
|
---|
1518 | -
|
---|
1519 | </MATH>sorted<MATH CLASS="INLINE">
|
---|
1520 | -
|
---|
1521 | </MATH>alist</I></A>
|
---|
1522 | <LI><A NAME="tex2html614"
|
---|
1523 | HREF="node11.html#SECTION000110080000000000000">
|
---|
1524 | <I>parse<MATH CLASS="INLINE">
|
---|
1525 | -
|
---|
1526 | </MATH>string<MATH CLASS="INLINE">
|
---|
1527 | -
|
---|
1528 | </MATH>to<MATH CLASS="INLINE">
|
---|
1529 | -
|
---|
1530 | </MATH>sorted<MATH CLASS="INLINE">
|
---|
1531 | -
|
---|
1532 | </MATH>alist</I></A>
|
---|
1533 | <LI><A NAME="tex2html615"
|
---|
1534 | HREF="node11.html#SECTION000110090000000000000">
|
---|
1535 | <I>sort<MATH CLASS="INLINE">
|
---|
1536 | -
|
---|
1537 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1538 | -
|
---|
1539 | </MATH>1</I></A>
|
---|
1540 | <LI><A NAME="tex2html616"
|
---|
1541 | HREF="node11.html#SECTION0001100100000000000000">
|
---|
1542 | <I>sort<MATH CLASS="INLINE">
|
---|
1543 | -
|
---|
1544 | </MATH>poly</I></A>
|
---|
1545 | <LI><A NAME="tex2html617"
|
---|
1546 | HREF="node11.html#SECTION0001100110000000000000">
|
---|
1547 | <I>poly<MATH CLASS="INLINE">
|
---|
1548 | -
|
---|
1549 | </MATH>eval<MATH CLASS="INLINE">
|
---|
1550 | -
|
---|
1551 | </MATH>1</I></A>
|
---|
1552 | <LI><A NAME="tex2html618"
|
---|
1553 | HREF="node11.html#SECTION0001100120000000000000">
|
---|
1554 | <I>poly<MATH CLASS="INLINE">
|
---|
1555 | -
|
---|
1556 | </MATH>eval</I></A>
|
---|
1557 | <LI><A NAME="tex2html619"
|
---|
1558 | HREF="node11.html#SECTION0001100130000000000000">
|
---|
1559 | <I>monom<MATH CLASS="INLINE">
|
---|
1560 | -
|
---|
1561 | </MATH>basis</I></A>
|
---|
1562 | <LI><A NAME="tex2html620"
|
---|
1563 | HREF="node11.html#SECTION0001100140000000000000">
|
---|
1564 | <I>convert<MATH CLASS="INLINE">
|
---|
1565 | -
|
---|
1566 | </MATH>number</I></A>
|
---|
1567 | <LI><A NAME="tex2html621"
|
---|
1568 | HREF="node11.html#SECTION0001100150000000000000">
|
---|
1569 | <I>$poly+</I></A>
|
---|
1570 | <LI><A NAME="tex2html622"
|
---|
1571 | HREF="node11.html#SECTION0001100160000000000000">
|
---|
1572 | <I>$poly<MATH CLASS="INLINE">
|
---|
1573 | -
|
---|
1574 | </MATH></I></A>
|
---|
1575 | <LI><A NAME="tex2html623"
|
---|
1576 | HREF="node11.html#SECTION0001100170000000000000">
|
---|
1577 | <I>$minus<MATH CLASS="INLINE">
|
---|
1578 | -
|
---|
1579 | </MATH>poly</I></A>
|
---|
1580 | <LI><A NAME="tex2html624"
|
---|
1581 | HREF="node11.html#SECTION0001100180000000000000">
|
---|
1582 | <I>$poly*</I></A>
|
---|
1583 | <LI><A NAME="tex2html625"
|
---|
1584 | HREF="node11.html#SECTION0001100190000000000000">
|
---|
1585 | <I>$poly/</I></A>
|
---|
1586 | <LI><A NAME="tex2html626"
|
---|
1587 | HREF="node11.html#SECTION0001100200000000000000">
|
---|
1588 | <I>$poly<MATH CLASS="INLINE">
|
---|
1589 | -
|
---|
1590 | </MATH>expt</I></A>
|
---|
1591 | </UL>
|
---|
1592 | <LI><A NAME="tex2html627"
|
---|
1593 | HREF="node12.html#SECTION000120000000000000000">
|
---|
1594 | Other packages</A>
|
---|
1595 | <UL>
|
---|
1596 | <LI><A NAME="tex2html628"
|
---|
1597 | HREF="node12.html#SECTION000120010000000000000">
|
---|
1598 | <I>makelist<MATH CLASS="INLINE">
|
---|
1599 | -
|
---|
1600 | </MATH>1</I></A>
|
---|
1601 | <LI><A NAME="tex2html629"
|
---|
1602 | HREF="node12.html#SECTION000120020000000000000">
|
---|
1603 | <I>makelist</I></A>
|
---|
1604 | <LI><A NAME="tex2html630"
|
---|
1605 | HREF="node12.html#SECTION000120030000000000000">
|
---|
1606 | <I>sum</I></A>
|
---|
1607 | <LI><A NAME="tex2html631"
|
---|
1608 | HREF="node12.html#SECTION000120040000000000000">
|
---|
1609 | <I>list<MATH CLASS="INLINE">
|
---|
1610 | -
|
---|
1611 | </MATH>of</I></A>
|
---|
1612 | <LI><A NAME="tex2html632"
|
---|
1613 | HREF="node12.html#SECTION000120050000000000000">
|
---|
1614 | <I>list<MATH CLASS="INLINE">
|
---|
1615 | -
|
---|
1616 | </MATH>of<MATH CLASS="INLINE">
|
---|
1617 | -
|
---|
1618 | </MATH>1</I></A>
|
---|
1619 | <LI><A NAME="tex2html633"
|
---|
1620 | HREF="node12.html#SECTION000120060000000000000">
|
---|
1621 | <I>union<MATH CLASS="INLINE">
|
---|
1622 | -
|
---|
1623 | </MATH>of</I></A>
|
---|
1624 | <LI><A NAME="tex2html634"
|
---|
1625 | HREF="node12.html#SECTION000120070000000000000">
|
---|
1626 | <I>union<MATH CLASS="INLINE">
|
---|
1627 | -
|
---|
1628 | </MATH>of<MATH CLASS="INLINE">
|
---|
1629 | -
|
---|
1630 | </MATH>1</I></A>
|
---|
1631 | <LI><A NAME="tex2html635"
|
---|
1632 | HREF="node12.html#SECTION000120080000000000000">
|
---|
1633 | <I>set<MATH CLASS="INLINE">
|
---|
1634 | -
|
---|
1635 | </MATH>of</I></A>
|
---|
1636 | <LI><A NAME="tex2html636"
|
---|
1637 | HREF="node12.html#SECTION000120090000000000000">
|
---|
1638 | <I>set<MATH CLASS="INLINE">
|
---|
1639 | -
|
---|
1640 | </MATH>of<MATH CLASS="INLINE">
|
---|
1641 | -
|
---|
1642 | </MATH>1</I></A>
|
---|
1643 | <LI><A NAME="tex2html637"
|
---|
1644 | HREF="node12.html#SECTION0001200100000000000000">
|
---|
1645 | <I>select</I></A>
|
---|
1646 | <LI><A NAME="tex2html638"
|
---|
1647 | HREF="node12.html#SECTION0001200110000000000000">
|
---|
1648 | <I>monom/</I></A>
|
---|
1649 | <LI><A NAME="tex2html639"
|
---|
1650 | HREF="node12.html#SECTION0001200120000000000000">
|
---|
1651 | <I>monom*</I></A>
|
---|
1652 | <LI><A NAME="tex2html640"
|
---|
1653 | HREF="node12.html#SECTION0001200130000000000000">
|
---|
1654 | <I>nmonom*</I></A>
|
---|
1655 | <LI><A NAME="tex2html641"
|
---|
1656 | HREF="node12.html#SECTION0001200140000000000000">
|
---|
1657 | <I>monom<MATH CLASS="INLINE">
|
---|
1658 | -
|
---|
1659 | </MATH>divides<MATH CLASS="INLINE">
|
---|
1660 | -
|
---|
1661 | </MATH>p</I></A>
|
---|
1662 | <LI><A NAME="tex2html642"
|
---|
1663 | HREF="node12.html#SECTION0001200150000000000000">
|
---|
1664 | <I>monom<MATH CLASS="INLINE">
|
---|
1665 | -
|
---|
1666 | </MATH>divisible<MATH CLASS="INLINE">
|
---|
1667 | -
|
---|
1668 | </MATH>by<MATH CLASS="INLINE">
|
---|
1669 | -
|
---|
1670 | </MATH>p</I></A>
|
---|
1671 | <LI><A NAME="tex2html643"
|
---|
1672 | HREF="node12.html#SECTION0001200160000000000000">
|
---|
1673 | <I>monom<MATH CLASS="INLINE">
|
---|
1674 | -
|
---|
1675 | </MATH>rel<MATH CLASS="INLINE">
|
---|
1676 | -
|
---|
1677 | </MATH>prime</I></A>
|
---|
1678 | <LI><A NAME="tex2html644"
|
---|
1679 | HREF="node12.html#SECTION0001200170000000000000">
|
---|
1680 | <I>monom<MATH CLASS="INLINE">
|
---|
1681 | -
|
---|
1682 | </MATH>equal</I></A>
|
---|
1683 | <LI><A NAME="tex2html645"
|
---|
1684 | HREF="node12.html#SECTION0001200180000000000000">
|
---|
1685 | <I>monom<MATH CLASS="INLINE">
|
---|
1686 | -
|
---|
1687 | </MATH>lcm</I></A>
|
---|
1688 | <LI><A NAME="tex2html646"
|
---|
1689 | HREF="node12.html#SECTION0001200190000000000000">
|
---|
1690 | <I>monom<MATH CLASS="INLINE">
|
---|
1691 | -
|
---|
1692 | </MATH>gcd</I></A>
|
---|
1693 | <LI><A NAME="tex2html647"
|
---|
1694 | HREF="node12.html#SECTION0001200200000000000000">
|
---|
1695 | <I>poly<MATH CLASS="INLINE">
|
---|
1696 | -
|
---|
1697 | </MATH>gcd</I></A>
|
---|
1698 | <LI><A NAME="tex2html648"
|
---|
1699 | HREF="node12.html#SECTION0001200210000000000000">
|
---|
1700 | <I>poly<MATH CLASS="INLINE">
|
---|
1701 | -
|
---|
1702 | </MATH>pseudo<MATH CLASS="INLINE">
|
---|
1703 | -
|
---|
1704 | </MATH>divide</I></A>
|
---|
1705 | <LI><A NAME="tex2html649"
|
---|
1706 | HREF="node12.html#SECTION0001200220000000000000">
|
---|
1707 | <I>poly<MATH CLASS="INLINE">
|
---|
1708 | -
|
---|
1709 | </MATH>pseudo<MATH CLASS="INLINE">
|
---|
1710 | -
|
---|
1711 | </MATH>remainder</I></A>
|
---|
1712 | <LI><A NAME="tex2html650"
|
---|
1713 | HREF="node12.html#SECTION0001200230000000000000">
|
---|
1714 | <I>mdeg</I></A>
|
---|
1715 | <LI><A NAME="tex2html651"
|
---|
1716 | HREF="node12.html#SECTION0001200240000000000000">
|
---|
1717 | <I>lcoeff</I></A>
|
---|
1718 | <LI><A NAME="tex2html652"
|
---|
1719 | HREF="node12.html#SECTION0001200250000000000000">
|
---|
1720 | <I>lrest</I></A>
|
---|
1721 | <LI><A NAME="tex2html653"
|
---|
1722 | HREF="node12.html#SECTION0001200260000000000000">
|
---|
1723 | <I>lpart</I></A>
|
---|
1724 | <LI><A NAME="tex2html654"
|
---|
1725 | HREF="node12.html#SECTION0001200270000000000000">
|
---|
1726 | <I>poly<MATH CLASS="INLINE">
|
---|
1727 | -
|
---|
1728 | </MATH>primitive<MATH CLASS="INLINE">
|
---|
1729 | -
|
---|
1730 | </MATH>part</I></A>
|
---|
1731 | <LI><A NAME="tex2html655"
|
---|
1732 | HREF="node12.html#SECTION0001200280000000000000">
|
---|
1733 | <I>poly<MATH CLASS="INLINE">
|
---|
1734 | -
|
---|
1735 | </MATH>content</I></A>
|
---|
1736 | <LI><A NAME="tex2html656"
|
---|
1737 | HREF="node12.html#SECTION0001200290000000000000">
|
---|
1738 | <I>poly<MATH CLASS="INLINE">
|
---|
1739 | -
|
---|
1740 | </MATH>with<MATH CLASS="INLINE">
|
---|
1741 | -
|
---|
1742 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1743 | -
|
---|
1744 | </MATH>poly</I></A>
|
---|
1745 | <LI><A NAME="tex2html657"
|
---|
1746 | HREF="node12.html#SECTION0001200300000000000000">
|
---|
1747 | <I>poly<MATH CLASS="INLINE">
|
---|
1748 | -
|
---|
1749 | </MATH>with<MATH CLASS="INLINE">
|
---|
1750 | -
|
---|
1751 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1752 | -
|
---|
1753 | </MATH>sugar</I></A>
|
---|
1754 | <LI><A NAME="tex2html658"
|
---|
1755 | HREF="node12.html#SECTION0001200310000000000000">
|
---|
1756 | <I>poly<MATH CLASS="INLINE">
|
---|
1757 | -
|
---|
1758 | </MATH>with<MATH CLASS="INLINE">
|
---|
1759 | -
|
---|
1760 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1761 | -
|
---|
1762 | </MATH>tail</I></A>
|
---|
1763 | <LI><A NAME="tex2html659"
|
---|
1764 | HREF="node12.html#SECTION0001200320000000000000">
|
---|
1765 | <I>(setf poly<MATH CLASS="INLINE">
|
---|
1766 | -
|
---|
1767 | </MATH>with<MATH CLASS="INLINE">
|
---|
1768 | -
|
---|
1769 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1770 | -
|
---|
1771 | </MATH>poly)</I></A>
|
---|
1772 | <LI><A NAME="tex2html660"
|
---|
1773 | HREF="node12.html#SECTION0001200330000000000000">
|
---|
1774 | <I>(setf poly<MATH CLASS="INLINE">
|
---|
1775 | -
|
---|
1776 | </MATH>with<MATH CLASS="INLINE">
|
---|
1777 | -
|
---|
1778 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1779 | -
|
---|
1780 | </MATH>sugar)</I></A>
|
---|
1781 | <LI><A NAME="tex2html661"
|
---|
1782 | HREF="node12.html#SECTION0001200340000000000000">
|
---|
1783 | <I>(setf poly<MATH CLASS="INLINE">
|
---|
1784 | -
|
---|
1785 | </MATH>with<MATH CLASS="INLINE">
|
---|
1786 | -
|
---|
1787 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1788 | -
|
---|
1789 | </MATH>tail)</I></A>
|
---|
1790 | <LI><A NAME="tex2html662"
|
---|
1791 | HREF="node12.html#SECTION0001200350000000000000">
|
---|
1792 | <I>monom<MATH CLASS="INLINE">
|
---|
1793 | -
|
---|
1794 | </MATH>sugar</I></A>
|
---|
1795 | <LI><A NAME="tex2html663"
|
---|
1796 | HREF="node12.html#SECTION0001200360000000000000">
|
---|
1797 | <I>coefficient<MATH CLASS="INLINE">
|
---|
1798 | -
|
---|
1799 | </MATH>sugar</I></A>
|
---|
1800 | <LI><A NAME="tex2html664"
|
---|
1801 | HREF="node12.html#SECTION0001200370000000000000">
|
---|
1802 | <I>term<MATH CLASS="INLINE">
|
---|
1803 | -
|
---|
1804 | </MATH>sugar</I></A>
|
---|
1805 | <LI><A NAME="tex2html665"
|
---|
1806 | HREF="node12.html#SECTION0001200380000000000000">
|
---|
1807 | <I>poly<MATH CLASS="INLINE">
|
---|
1808 | -
|
---|
1809 | </MATH>add<MATH CLASS="INLINE">
|
---|
1810 | -
|
---|
1811 | </MATH>sugar</I></A>
|
---|
1812 | <LI><A NAME="tex2html666"
|
---|
1813 | HREF="node12.html#SECTION0001200390000000000000">
|
---|
1814 | <I>scalar<MATH CLASS="INLINE">
|
---|
1815 | -
|
---|
1816 | </MATH>times<MATH CLASS="INLINE">
|
---|
1817 | -
|
---|
1818 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1819 | -
|
---|
1820 | </MATH>with<MATH CLASS="INLINE">
|
---|
1821 | -
|
---|
1822 | </MATH>sugar</I></A>
|
---|
1823 | <LI><A NAME="tex2html667"
|
---|
1824 | HREF="node12.html#SECTION0001200400000000000000">
|
---|
1825 | <I>term<MATH CLASS="INLINE">
|
---|
1826 | -
|
---|
1827 | </MATH>times<MATH CLASS="INLINE">
|
---|
1828 | -
|
---|
1829 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1830 | -
|
---|
1831 | </MATH>with<MATH CLASS="INLINE">
|
---|
1832 | -
|
---|
1833 | </MATH>sugar</I></A>
|
---|
1834 | <LI><A NAME="tex2html668"
|
---|
1835 | HREF="node12.html#SECTION0001200410000000000000">
|
---|
1836 | <I>monom<MATH CLASS="INLINE">
|
---|
1837 | -
|
---|
1838 | </MATH>times<MATH CLASS="INLINE">
|
---|
1839 | -
|
---|
1840 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1841 | -
|
---|
1842 | </MATH>with<MATH CLASS="INLINE">
|
---|
1843 | -
|
---|
1844 | </MATH>sugar</I></A>
|
---|
1845 | <LI><A NAME="tex2html669"
|
---|
1846 | HREF="node12.html#SECTION0001200420000000000000">
|
---|
1847 | <I>minus<MATH CLASS="INLINE">
|
---|
1848 | -
|
---|
1849 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1850 | -
|
---|
1851 | </MATH>with<MATH CLASS="INLINE">
|
---|
1852 | -
|
---|
1853 | </MATH>sugar</I></A>
|
---|
1854 | <LI><A NAME="tex2html670"
|
---|
1855 | HREF="node12.html#SECTION0001200430000000000000">
|
---|
1856 | <I>poly<MATH CLASS="INLINE">
|
---|
1857 | -
|
---|
1858 | </MATH>with<MATH CLASS="INLINE">
|
---|
1859 | -
|
---|
1860 | </MATH>sugar+</I></A>
|
---|
1861 | <LI><A NAME="tex2html671"
|
---|
1862 | HREF="node12.html#SECTION0001200440000000000000">
|
---|
1863 | <I>poly<MATH CLASS="INLINE">
|
---|
1864 | -
|
---|
1865 | </MATH>with<MATH CLASS="INLINE">
|
---|
1866 | -
|
---|
1867 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1868 | -
|
---|
1869 | </MATH></I></A>
|
---|
1870 | <LI><A NAME="tex2html672"
|
---|
1871 | HREF="node12.html#SECTION0001200450000000000000">
|
---|
1872 | <I>poly<MATH CLASS="INLINE">
|
---|
1873 | -
|
---|
1874 | </MATH>with<MATH CLASS="INLINE">
|
---|
1875 | -
|
---|
1876 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1877 | -
|
---|
1878 | </MATH>op</I></A>
|
---|
1879 | <LI><A NAME="tex2html673"
|
---|
1880 | HREF="node12.html#SECTION0001200460000000000000">
|
---|
1881 | <I>poly<MATH CLASS="INLINE">
|
---|
1882 | -
|
---|
1883 | </MATH>with<MATH CLASS="INLINE">
|
---|
1884 | -
|
---|
1885 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1886 | -
|
---|
1887 | </MATH>nreverse</I></A>
|
---|
1888 | <LI><A NAME="tex2html674"
|
---|
1889 | HREF="node12.html#SECTION0001200470000000000000">
|
---|
1890 | <I>poly<MATH CLASS="INLINE">
|
---|
1891 | -
|
---|
1892 | </MATH>with<MATH CLASS="INLINE">
|
---|
1893 | -
|
---|
1894 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1895 | -
|
---|
1896 | </MATH>append</I></A>
|
---|
1897 | <LI><A NAME="tex2html675"
|
---|
1898 | HREF="node12.html#SECTION0001200480000000000000">
|
---|
1899 | <I>poly<MATH CLASS="INLINE">
|
---|
1900 | -
|
---|
1901 | </MATH>with<MATH CLASS="INLINE">
|
---|
1902 | -
|
---|
1903 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1904 | -
|
---|
1905 | </MATH>zerop</I></A>
|
---|
1906 | <LI><A NAME="tex2html676"
|
---|
1907 | HREF="node12.html#SECTION0001200490000000000000">
|
---|
1908 | <I>poly<MATH CLASS="INLINE">
|
---|
1909 | -
|
---|
1910 | </MATH>with<MATH CLASS="INLINE">
|
---|
1911 | -
|
---|
1912 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1913 | -
|
---|
1914 | </MATH>lm</I></A>
|
---|
1915 | <LI><A NAME="tex2html677"
|
---|
1916 | HREF="node12.html#SECTION0001200500000000000000">
|
---|
1917 | <I>poly<MATH CLASS="INLINE">
|
---|
1918 | -
|
---|
1919 | </MATH>with<MATH CLASS="INLINE">
|
---|
1920 | -
|
---|
1921 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1922 | -
|
---|
1923 | </MATH>lc</I></A>
|
---|
1924 | <LI><A NAME="tex2html678"
|
---|
1925 | HREF="node12.html#SECTION0001200510000000000000">
|
---|
1926 | <I>poly<MATH CLASS="INLINE">
|
---|
1927 | -
|
---|
1928 | </MATH>with<MATH CLASS="INLINE">
|
---|
1929 | -
|
---|
1930 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1931 | -
|
---|
1932 | </MATH>lt</I></A>
|
---|
1933 | <LI><A NAME="tex2html679"
|
---|
1934 | HREF="node12.html#SECTION0001200520000000000000">
|
---|
1935 | <I>poly<MATH CLASS="INLINE">
|
---|
1936 | -
|
---|
1937 | </MATH>print</I></A>
|
---|
1938 | <LI><A NAME="tex2html680"
|
---|
1939 | HREF="node12.html#SECTION0001200530000000000000">
|
---|
1940 | <I>poly<MATH CLASS="INLINE">
|
---|
1941 | -
|
---|
1942 | </MATH>print<MATH CLASS="INLINE">
|
---|
1943 | -
|
---|
1944 | </MATH>1</I></A>
|
---|
1945 | <LI><A NAME="tex2html681"
|
---|
1946 | HREF="node12.html#SECTION0001200540000000000000">
|
---|
1947 | <I>poly<MATH CLASS="INLINE">
|
---|
1948 | -
|
---|
1949 | </MATH>print<MATH CLASS="INLINE">
|
---|
1950 | -
|
---|
1951 | </MATH>2</I></A>
|
---|
1952 | <LI><A NAME="tex2html682"
|
---|
1953 | HREF="node12.html#SECTION0001200550000000000000">
|
---|
1954 | <I>print<MATH CLASS="INLINE">
|
---|
1955 | -
|
---|
1956 | </MATH>term</I></A>
|
---|
1957 | <LI><A NAME="tex2html683"
|
---|
1958 | HREF="node12.html#SECTION0001200560000000000000">
|
---|
1959 | <I>print<MATH CLASS="INLINE">
|
---|
1960 | -
|
---|
1961 | </MATH>monom</I></A>
|
---|
1962 | <LI><A NAME="tex2html684"
|
---|
1963 | HREF="node12.html#SECTION0001200570000000000000">
|
---|
1964 | <I>num</I></A>
|
---|
1965 | <LI><A NAME="tex2html685"
|
---|
1966 | HREF="node12.html#SECTION0001200580000000000000">
|
---|
1967 | <I>denom</I></A>
|
---|
1968 | <LI><A NAME="tex2html686"
|
---|
1969 | HREF="node12.html#SECTION0001200590000000000000">
|
---|
1970 | <I>rat<MATH CLASS="INLINE">
|
---|
1971 | -
|
---|
1972 | </MATH>simplify<MATH CLASS="INLINE">
|
---|
1973 | -
|
---|
1974 | </MATH>2</I></A>
|
---|
1975 | <LI><A NAME="tex2html687"
|
---|
1976 | HREF="node12.html#SECTION0001200600000000000000">
|
---|
1977 | <I>rat<MATH CLASS="INLINE">
|
---|
1978 | -
|
---|
1979 | </MATH>simplify</I></A>
|
---|
1980 | <LI><A NAME="tex2html688"
|
---|
1981 | HREF="node12.html#SECTION0001200610000000000000">
|
---|
1982 | <I>rat+</I></A>
|
---|
1983 | <LI><A NAME="tex2html689"
|
---|
1984 | HREF="node12.html#SECTION0001200620000000000000">
|
---|
1985 | <I>rat<MATH CLASS="INLINE">
|
---|
1986 | -
|
---|
1987 | </MATH></I></A>
|
---|
1988 | <LI><A NAME="tex2html690"
|
---|
1989 | HREF="node12.html#SECTION0001200630000000000000">
|
---|
1990 | <I>rat*</I></A>
|
---|
1991 | <LI><A NAME="tex2html691"
|
---|
1992 | HREF="node12.html#SECTION0001200640000000000000">
|
---|
1993 | <I>rat/</I></A>
|
---|
1994 | <LI><A NAME="tex2html692"
|
---|
1995 | HREF="node12.html#SECTION0001200650000000000000">
|
---|
1996 | <I>scalar<MATH CLASS="INLINE">
|
---|
1997 | -
|
---|
1998 | </MATH>times<MATH CLASS="INLINE">
|
---|
1999 | -
|
---|
2000 | </MATH>rat</I></A>
|
---|
2001 | <LI><A NAME="tex2html693"
|
---|
2002 | HREF="node12.html#SECTION0001200660000000000000">
|
---|
2003 | <I>scalar<MATH CLASS="INLINE">
|
---|
2004 | -
|
---|
2005 | </MATH>div<MATH CLASS="INLINE">
|
---|
2006 | -
|
---|
2007 | </MATH>rat</I></A>
|
---|
2008 | <LI><A NAME="tex2html694"
|
---|
2009 | HREF="node12.html#SECTION0001200670000000000000">
|
---|
2010 | <I>rat<MATH CLASS="INLINE">
|
---|
2011 | -
|
---|
2012 | </MATH>zerop</I></A>
|
---|
2013 | <LI><A NAME="tex2html695"
|
---|
2014 | HREF="node12.html#SECTION0001200680000000000000">
|
---|
2015 | <I>rat<MATH CLASS="INLINE">
|
---|
2016 | -
|
---|
2017 | </MATH>uminus</I></A>
|
---|
2018 | <LI><A NAME="tex2html696"
|
---|
2019 | HREF="node12.html#SECTION0001200690000000000000">
|
---|
2020 | <I>rat<MATH CLASS="INLINE">
|
---|
2021 | -
|
---|
2022 | </MATH>expt</I></A>
|
---|
2023 | <LI><A NAME="tex2html697"
|
---|
2024 | HREF="node12.html#SECTION0001200700000000000000">
|
---|
2025 | <I>rat<MATH CLASS="INLINE">
|
---|
2026 | -
|
---|
2027 | </MATH>constant</I></A>
|
---|
2028 | <LI><A NAME="tex2html698"
|
---|
2029 | HREF="node12.html#SECTION0001200710000000000000">
|
---|
2030 | <I>rat<MATH CLASS="INLINE">
|
---|
2031 | -
|
---|
2032 | </MATH>to<MATH CLASS="INLINE">
|
---|
2033 | -
|
---|
2034 | </MATH>poly</I></A>
|
---|
2035 | <LI><A NAME="tex2html699"
|
---|
2036 | HREF="node12.html#SECTION0001200720000000000000">
|
---|
2037 | <I>ratpoly+</I></A>
|
---|
2038 | <LI><A NAME="tex2html700"
|
---|
2039 | HREF="node12.html#SECTION0001200730000000000000">
|
---|
2040 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2041 | -
|
---|
2042 | </MATH></I></A>
|
---|
2043 | <LI><A NAME="tex2html701"
|
---|
2044 | HREF="node12.html#SECTION0001200740000000000000">
|
---|
2045 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2046 | -
|
---|
2047 | </MATH>uminus</I></A>
|
---|
2048 | <LI><A NAME="tex2html702"
|
---|
2049 | HREF="node12.html#SECTION0001200750000000000000">
|
---|
2050 | <I>ratpoly*</I></A>
|
---|
2051 | <LI><A NAME="tex2html703"
|
---|
2052 | HREF="node12.html#SECTION0001200760000000000000">
|
---|
2053 | <I>scalar<MATH CLASS="INLINE">
|
---|
2054 | -
|
---|
2055 | </MATH>times<MATH CLASS="INLINE">
|
---|
2056 | -
|
---|
2057 | </MATH>ratpoly</I></A>
|
---|
2058 | <LI><A NAME="tex2html704"
|
---|
2059 | HREF="node12.html#SECTION0001200770000000000000">
|
---|
2060 | <I>rat<MATH CLASS="INLINE">
|
---|
2061 | -
|
---|
2062 | </MATH>times<MATH CLASS="INLINE">
|
---|
2063 | -
|
---|
2064 | </MATH>ratpoly</I></A>
|
---|
2065 | <LI><A NAME="tex2html705"
|
---|
2066 | HREF="node12.html#SECTION0001200780000000000000">
|
---|
2067 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2068 | -
|
---|
2069 | </MATH>divide</I></A>
|
---|
2070 | <LI><A NAME="tex2html706"
|
---|
2071 | HREF="node12.html#SECTION0001200790000000000000">
|
---|
2072 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2073 | -
|
---|
2074 | </MATH>remainder</I></A>
|
---|
2075 | <LI><A NAME="tex2html707"
|
---|
2076 | HREF="node12.html#SECTION0001200800000000000000">
|
---|
2077 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2078 | -
|
---|
2079 | </MATH>gcd</I></A>
|
---|
2080 | <LI><A NAME="tex2html708"
|
---|
2081 | HREF="node12.html#SECTION0001200810000000000000">
|
---|
2082 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2083 | -
|
---|
2084 | </MATH>diff</I></A>
|
---|
2085 | <LI><A NAME="tex2html709"
|
---|
2086 | HREF="node12.html#SECTION0001200820000000000000">
|
---|
2087 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2088 | -
|
---|
2089 | </MATH>square<MATH CLASS="INLINE">
|
---|
2090 | -
|
---|
2091 | </MATH>free</I></A>
|
---|
2092 | <LI><A NAME="tex2html710"
|
---|
2093 | HREF="node12.html#SECTION0001200830000000000000">
|
---|
2094 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2095 | -
|
---|
2096 | </MATH>normalize</I></A>
|
---|
2097 | <LI><A NAME="tex2html711"
|
---|
2098 | HREF="node12.html#SECTION0001200840000000000000">
|
---|
2099 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2100 | -
|
---|
2101 | </MATH>resultant</I></A>
|
---|
2102 | <LI><A NAME="tex2html712"
|
---|
2103 | HREF="node12.html#SECTION0001200850000000000000">
|
---|
2104 | <I>deg</I></A>
|
---|
2105 | <LI><A NAME="tex2html713"
|
---|
2106 | HREF="node12.html#SECTION0001200860000000000000">
|
---|
2107 | <I>lead</I></A>
|
---|
2108 | <LI><A NAME="tex2html714"
|
---|
2109 | HREF="node12.html#SECTION0001200870000000000000">
|
---|
2110 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2111 | -
|
---|
2112 | </MATH>discriminant</I></A>
|
---|
2113 | <LI><A NAME="tex2html715"
|
---|
2114 | HREF="node12.html#SECTION0001200880000000000000">
|
---|
2115 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2116 | -
|
---|
2117 | </MATH>print</I></A>
|
---|
2118 | <LI><A NAME="tex2html716"
|
---|
2119 | HREF="node12.html#SECTION0001200890000000000000">
|
---|
2120 | <I>poly<MATH CLASS="INLINE">
|
---|
2121 | -
|
---|
2122 | </MATH>to<MATH CLASS="INLINE">
|
---|
2123 | -
|
---|
2124 | </MATH>ratpoly</I></A>
|
---|
2125 | <LI><A NAME="tex2html717"
|
---|
2126 | HREF="node12.html#SECTION0001200900000000000000">
|
---|
2127 | <I>poly<MATH CLASS="INLINE">
|
---|
2128 | -
|
---|
2129 | </MATH>to<MATH CLASS="INLINE">
|
---|
2130 | -
|
---|
2131 | </MATH>poly1</I></A>
|
---|
2132 | <LI><A NAME="tex2html718"
|
---|
2133 | HREF="node12.html#SECTION0001200910000000000000">
|
---|
2134 | <I>poly1<MATH CLASS="INLINE">
|
---|
2135 | -
|
---|
2136 | </MATH>to<MATH CLASS="INLINE">
|
---|
2137 | -
|
---|
2138 | </MATH>ratpoly</I></A>
|
---|
2139 | <LI><A NAME="tex2html719"
|
---|
2140 | HREF="node12.html#SECTION0001200920000000000000">
|
---|
2141 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2142 | -
|
---|
2143 | </MATH>to<MATH CLASS="INLINE">
|
---|
2144 | -
|
---|
2145 | </MATH>poly1</I></A>
|
---|
2146 | <LI><A NAME="tex2html720"
|
---|
2147 | HREF="node12.html#SECTION0001200930000000000000">
|
---|
2148 | <I>poly1<MATH CLASS="INLINE">
|
---|
2149 | -
|
---|
2150 | </MATH>to<MATH CLASS="INLINE">
|
---|
2151 | -
|
---|
2152 | </MATH>poly</I></A>
|
---|
2153 | <LI><A NAME="tex2html721"
|
---|
2154 | HREF="node12.html#SECTION0001200940000000000000">
|
---|
2155 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2156 | -
|
---|
2157 | </MATH>to<MATH CLASS="INLINE">
|
---|
2158 | -
|
---|
2159 | </MATH>poly</I></A>
|
---|
2160 | <LI><A NAME="tex2html722"
|
---|
2161 | HREF="node12.html#SECTION0001200950000000000000">
|
---|
2162 | <I>poly<MATH CLASS="INLINE">
|
---|
2163 | -
|
---|
2164 | </MATH>resultant</I></A>
|
---|
2165 | <LI><A NAME="tex2html723"
|
---|
2166 | HREF="node12.html#SECTION0001200960000000000000">
|
---|
2167 | <I>term*</I></A>
|
---|
2168 | <LI><A NAME="tex2html724"
|
---|
2169 | HREF="node12.html#SECTION0001200970000000000000">
|
---|
2170 | <I>term/</I></A>
|
---|
2171 | <LI><A NAME="tex2html725"
|
---|
2172 | HREF="node12.html#SECTION0001200980000000000000">
|
---|
2173 | <I>monom<MATH CLASS="INLINE">
|
---|
2174 | -
|
---|
2175 | </MATH>times<MATH CLASS="INLINE">
|
---|
2176 | -
|
---|
2177 | </MATH>term</I></A>
|
---|
2178 | <LI><A NAME="tex2html726"
|
---|
2179 | HREF="node12.html#SECTION0001200990000000000000">
|
---|
2180 | <I>term<MATH CLASS="INLINE">
|
---|
2181 | -
|
---|
2182 | </MATH>divides<MATH CLASS="INLINE">
|
---|
2183 | -
|
---|
2184 | </MATH>p</I></A>
|
---|
2185 | <LI><A NAME="tex2html727"
|
---|
2186 | HREF="node12.html#SECTION00012001000000000000000">
|
---|
2187 | <I>term<MATH CLASS="INLINE">
|
---|
2188 | -
|
---|
2189 | </MATH>monom</I></A>
|
---|
2190 | <LI><A NAME="tex2html728"
|
---|
2191 | HREF="node12.html#SECTION00012001010000000000000">
|
---|
2192 | <I>term<MATH CLASS="INLINE">
|
---|
2193 | -
|
---|
2194 | </MATH>coefficient</I></A>
|
---|
2195 | <LI><A NAME="tex2html729"
|
---|
2196 | HREF="node12.html#SECTION00012001020000000000000">
|
---|
2197 | <I>(setf term<MATH CLASS="INLINE">
|
---|
2198 | -
|
---|
2199 | </MATH>monom)</I></A>
|
---|
2200 | <LI><A NAME="tex2html730"
|
---|
2201 | HREF="node12.html#SECTION00012001030000000000000">
|
---|
2202 | <I>(setf term<MATH CLASS="INLINE">
|
---|
2203 | -
|
---|
2204 | </MATH>coefficient)</I></A>
|
---|
2205 | <LI><A NAME="tex2html731"
|
---|
2206 | HREF="node12.html#SECTION00012001040000000000000">
|
---|
2207 | <I>xgcd</I></A>
|
---|
2208 | </UL>
|
---|
2209 | <LI><A NAME="tex2html732"
|
---|
2210 | HREF="node13.html#SECTION000130000000000000000">
|
---|
2211 | All examples produced by the <TT>all-examples</TT> utility</A>
|
---|
2212 | </UL>
|
---|
2213 | <!--End of Table of Contents-->
|
---|
2214 | <BR><HR>
|
---|
2215 | <ADDRESS>
|
---|
2216 | <I>Marek Rychlik</I>
|
---|
2217 | <BR><I>3/21/1998</I>
|
---|
2218 | </ADDRESS>
|
---|
2219 | </BODY>
|
---|
2220 | </HTML>
|
---|