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>CGBLisp User Guide and Manual</TITLE>
|
---|
9 | <META NAME="description" CONTENT="CGBLisp User Guide and Manual">
|
---|
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="node1.html">
|
---|
16 | </HEAD>
|
---|
17 | <BODY bgcolor="#ffffff">
|
---|
18 | <!--Navigation Panel-->
|
---|
19 | <A NAME="tex2html2"
|
---|
20 | HREF="node1.html">
|
---|
21 | <IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next_motif.gif"></A>
|
---|
22 | <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif_gr.gif">
|
---|
23 | <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif_gr.gif">
|
---|
24 | <A NAME="tex2html1"
|
---|
25 | HREF="node1.html">
|
---|
26 | <IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A>
|
---|
27 | <BR>
|
---|
28 | <B> Next:</B> <A NAME="tex2html3"
|
---|
29 | HREF="node1.html">Contents</A>
|
---|
30 | <BR>
|
---|
31 | <BR>
|
---|
32 | <!--End of Navigation Panel-->
|
---|
33 | <H1 ALIGN="CENTER">CGBLisp User Guide and Manual</H1>
|
---|
34 | <P ALIGN="CENTER"><STRONG>Marek Rychlik</STRONG></P>
|
---|
35 | <P ALIGN="LEFT"></P>
|
---|
36 | <BR><HR>
|
---|
37 | <!--Table of Child-Links-->
|
---|
38 | <A NAME="CHILD_LINKS"> </A>
|
---|
39 | <UL>
|
---|
40 | <LI><A NAME="tex2html4"
|
---|
41 | HREF="node1.html#SECTION00010000000000000000">
|
---|
42 | Contents</A>
|
---|
43 | <LI><A NAME="tex2html5"
|
---|
44 | HREF="node2.html#SECTION00020000000000000000">
|
---|
45 | The Gröbner Basis package</A>
|
---|
46 | <UL>
|
---|
47 | <LI><A NAME="tex2html6"
|
---|
48 | HREF="node2.html#SECTION00020010000000000000">
|
---|
49 | <I>*grobner<MATH CLASS="INLINE">
|
---|
50 | -
|
---|
51 | </MATH>debug*</I></A>
|
---|
52 | <LI><A NAME="tex2html7"
|
---|
53 | HREF="node2.html#SECTION00020020000000000000">
|
---|
54 | <I>*buchberger<MATH CLASS="INLINE">
|
---|
55 | -
|
---|
56 | </MATH>merge<MATH CLASS="INLINE">
|
---|
57 | -
|
---|
58 | </MATH>pairs*</I></A>
|
---|
59 | <LI><A NAME="tex2html8"
|
---|
60 | HREF="node2.html#SECTION00020030000000000000">
|
---|
61 | <I>*gebauer<MATH CLASS="INLINE">
|
---|
62 | -
|
---|
63 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
64 | -
|
---|
65 | </MATH>merge<MATH CLASS="INLINE">
|
---|
66 | -
|
---|
67 | </MATH>pairs*</I></A>
|
---|
68 | <LI><A NAME="tex2html9"
|
---|
69 | HREF="node2.html#SECTION00020040000000000000">
|
---|
70 | <I>*grobner<MATH CLASS="INLINE">
|
---|
71 | -
|
---|
72 | </MATH>function*</I></A>
|
---|
73 | <LI><A NAME="tex2html10"
|
---|
74 | HREF="node2.html#SECTION00020050000000000000">
|
---|
75 | <I>select<MATH CLASS="INLINE">
|
---|
76 | -
|
---|
77 | </MATH>grobner<MATH CLASS="INLINE">
|
---|
78 | -
|
---|
79 | </MATH>algorithm</I></A>
|
---|
80 | <LI><A NAME="tex2html11"
|
---|
81 | HREF="node2.html#SECTION00020060000000000000">
|
---|
82 | <I>grobner</I></A>
|
---|
83 | <LI><A NAME="tex2html12"
|
---|
84 | HREF="node2.html#SECTION00020070000000000000">
|
---|
85 | <I>debug<MATH CLASS="INLINE">
|
---|
86 | -
|
---|
87 | </MATH>cgb</I></A>
|
---|
88 | <LI><A NAME="tex2html13"
|
---|
89 | HREF="node2.html#SECTION00020080000000000000">
|
---|
90 | <I>spoly</I></A>
|
---|
91 | <LI><A NAME="tex2html14"
|
---|
92 | HREF="node2.html#SECTION00020090000000000000">
|
---|
93 | <I>grobner<MATH CLASS="INLINE">
|
---|
94 | -
|
---|
95 | </MATH>primitive<MATH CLASS="INLINE">
|
---|
96 | -
|
---|
97 | </MATH>part</I></A>
|
---|
98 | <LI><A NAME="tex2html15"
|
---|
99 | HREF="node2.html#SECTION000200100000000000000">
|
---|
100 | <I>grobner<MATH CLASS="INLINE">
|
---|
101 | -
|
---|
102 | </MATH>content</I></A>
|
---|
103 | <LI><A NAME="tex2html16"
|
---|
104 | HREF="node2.html#SECTION000200110000000000000">
|
---|
105 | <I>normal<MATH CLASS="INLINE">
|
---|
106 | -
|
---|
107 | </MATH>form</I></A>
|
---|
108 | <LI><A NAME="tex2html17"
|
---|
109 | HREF="node2.html#SECTION000200120000000000000">
|
---|
110 | <I>buchberger</I></A>
|
---|
111 | <LI><A NAME="tex2html18"
|
---|
112 | HREF="node2.html#SECTION000200130000000000000">
|
---|
113 | <I>grobner<MATH CLASS="INLINE">
|
---|
114 | -
|
---|
115 | </MATH>op</I></A>
|
---|
116 | <LI><A NAME="tex2html19"
|
---|
117 | HREF="node2.html#SECTION000200140000000000000">
|
---|
118 | <I>buchberger<MATH CLASS="INLINE">
|
---|
119 | -
|
---|
120 | </MATH>sort<MATH CLASS="INLINE">
|
---|
121 | -
|
---|
122 | </MATH>pairs</I></A>
|
---|
123 | <LI><A NAME="tex2html20"
|
---|
124 | HREF="node2.html#SECTION000200150000000000000">
|
---|
125 | <I>mock<MATH CLASS="INLINE">
|
---|
126 | -
|
---|
127 | </MATH>spoly</I></A>
|
---|
128 | <LI><A NAME="tex2html21"
|
---|
129 | HREF="node2.html#SECTION000200160000000000000">
|
---|
130 | <I>buchberger<MATH CLASS="INLINE">
|
---|
131 | -
|
---|
132 | </MATH>merge<MATH CLASS="INLINE">
|
---|
133 | -
|
---|
134 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
135 | -
|
---|
136 | </MATH>use<MATH CLASS="INLINE">
|
---|
137 | -
|
---|
138 | </MATH>mock<MATH CLASS="INLINE">
|
---|
139 | -
|
---|
140 | </MATH>spoly</I></A>
|
---|
141 | <LI><A NAME="tex2html22"
|
---|
142 | HREF="node2.html#SECTION000200170000000000000">
|
---|
143 | <I>buchberger<MATH CLASS="INLINE">
|
---|
144 | -
|
---|
145 | </MATH>merge<MATH CLASS="INLINE">
|
---|
146 | -
|
---|
147 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
148 | -
|
---|
149 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
150 | -
|
---|
151 | </MATH>lcm</I></A>
|
---|
152 | <LI><A NAME="tex2html23"
|
---|
153 | HREF="node2.html#SECTION000200180000000000000">
|
---|
154 | <I>buchberger<MATH CLASS="INLINE">
|
---|
155 | -
|
---|
156 | </MATH>merge<MATH CLASS="INLINE">
|
---|
157 | -
|
---|
158 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
159 | -
|
---|
160 | </MATH>use<MATH CLASS="INLINE">
|
---|
161 | -
|
---|
162 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
163 | -
|
---|
164 | </MATH>degree</I></A>
|
---|
165 | <LI><A NAME="tex2html24"
|
---|
166 | HREF="node2.html#SECTION000200190000000000000">
|
---|
167 | <I>buchberger<MATH CLASS="INLINE">
|
---|
168 | -
|
---|
169 | </MATH>merge<MATH CLASS="INLINE">
|
---|
170 | -
|
---|
171 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
172 | -
|
---|
173 | </MATH>use<MATH CLASS="INLINE">
|
---|
174 | -
|
---|
175 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
176 | -
|
---|
177 | </MATH>length</I></A>
|
---|
178 | <LI><A NAME="tex2html25"
|
---|
179 | HREF="node2.html#SECTION000200200000000000000">
|
---|
180 | <I>buchberger<MATH CLASS="INLINE">
|
---|
181 | -
|
---|
182 | </MATH>merge<MATH CLASS="INLINE">
|
---|
183 | -
|
---|
184 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
185 | -
|
---|
186 | </MATH>use<MATH CLASS="INLINE">
|
---|
187 | -
|
---|
188 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
189 | -
|
---|
190 | </MATH>coefficient<MATH CLASS="INLINE">
|
---|
191 | -
|
---|
192 | </MATH>length</I></A>
|
---|
193 | <LI><A NAME="tex2html26"
|
---|
194 | HREF="node2.html#SECTION000200210000000000000">
|
---|
195 | <I>buchberger<MATH CLASS="INLINE">
|
---|
196 | -
|
---|
197 | </MATH>set<MATH CLASS="INLINE">
|
---|
198 | -
|
---|
199 | </MATH>pair<MATH CLASS="INLINE">
|
---|
200 | -
|
---|
201 | </MATH>heuristic</I></A>
|
---|
202 | <LI><A NAME="tex2html27"
|
---|
203 | HREF="node2.html#SECTION000200220000000000000">
|
---|
204 | <I>criterion<MATH CLASS="INLINE">
|
---|
205 | -
|
---|
206 | </MATH>1</I></A>
|
---|
207 | <LI><A NAME="tex2html28"
|
---|
208 | HREF="node2.html#SECTION000200230000000000000">
|
---|
209 | <I>criterion<MATH CLASS="INLINE">
|
---|
210 | -
|
---|
211 | </MATH>2</I></A>
|
---|
212 | <LI><A NAME="tex2html29"
|
---|
213 | HREF="node2.html#SECTION000200240000000000000">
|
---|
214 | <I>normalize<MATH CLASS="INLINE">
|
---|
215 | -
|
---|
216 | </MATH>poly</I></A>
|
---|
217 | <LI><A NAME="tex2html30"
|
---|
218 | HREF="node2.html#SECTION000200250000000000000">
|
---|
219 | <I>normalize<MATH CLASS="INLINE">
|
---|
220 | -
|
---|
221 | </MATH>basis</I></A>
|
---|
222 | <LI><A NAME="tex2html31"
|
---|
223 | HREF="node2.html#SECTION000200260000000000000">
|
---|
224 | <I>reduction</I></A>
|
---|
225 | <LI><A NAME="tex2html32"
|
---|
226 | HREF="node2.html#SECTION000200270000000000000">
|
---|
227 | <I>reduced<MATH CLASS="INLINE">
|
---|
228 | -
|
---|
229 | </MATH>grobner</I></A>
|
---|
230 | <LI><A NAME="tex2html33"
|
---|
231 | HREF="node2.html#SECTION000200280000000000000">
|
---|
232 | <I>monom<MATH CLASS="INLINE">
|
---|
233 | -
|
---|
234 | </MATH>depends<MATH CLASS="INLINE">
|
---|
235 | -
|
---|
236 | </MATH>p</I></A>
|
---|
237 | <LI><A NAME="tex2html34"
|
---|
238 | HREF="node2.html#SECTION000200290000000000000">
|
---|
239 | <I>term<MATH CLASS="INLINE">
|
---|
240 | -
|
---|
241 | </MATH>depends<MATH CLASS="INLINE">
|
---|
242 | -
|
---|
243 | </MATH>p</I></A>
|
---|
244 | <LI><A NAME="tex2html35"
|
---|
245 | HREF="node2.html#SECTION000200300000000000000">
|
---|
246 | <I>poly<MATH CLASS="INLINE">
|
---|
247 | -
|
---|
248 | </MATH>depends<MATH CLASS="INLINE">
|
---|
249 | -
|
---|
250 | </MATH>p</I></A>
|
---|
251 | <LI><A NAME="tex2html36"
|
---|
252 | HREF="node2.html#SECTION000200310000000000000">
|
---|
253 | <I>ring<MATH CLASS="INLINE">
|
---|
254 | -
|
---|
255 | </MATH>intersection</I></A>
|
---|
256 | <LI><A NAME="tex2html37"
|
---|
257 | HREF="node2.html#SECTION000200320000000000000">
|
---|
258 | <I>elimination<MATH CLASS="INLINE">
|
---|
259 | -
|
---|
260 | </MATH>ideal</I></A>
|
---|
261 | <LI><A NAME="tex2html38"
|
---|
262 | HREF="node2.html#SECTION000200330000000000000">
|
---|
263 | <I>ideal<MATH CLASS="INLINE">
|
---|
264 | -
|
---|
265 | </MATH>intersection</I></A>
|
---|
266 | <LI><A NAME="tex2html39"
|
---|
267 | HREF="node2.html#SECTION000200340000000000000">
|
---|
268 | <I>poly<MATH CLASS="INLINE">
|
---|
269 | -
|
---|
270 | </MATH>contract</I></A>
|
---|
271 | <LI><A NAME="tex2html40"
|
---|
272 | HREF="node2.html#SECTION000200350000000000000">
|
---|
273 | <I>poly<MATH CLASS="INLINE">
|
---|
274 | -
|
---|
275 | </MATH>lcm</I></A>
|
---|
276 | <LI><A NAME="tex2html41"
|
---|
277 | HREF="node2.html#SECTION000200360000000000000">
|
---|
278 | <I>grobner<MATH CLASS="INLINE">
|
---|
279 | -
|
---|
280 | </MATH>gcd</I></A>
|
---|
281 | <LI><A NAME="tex2html42"
|
---|
282 | HREF="node2.html#SECTION000200370000000000000">
|
---|
283 | <I>grobner<MATH CLASS="INLINE">
|
---|
284 | -
|
---|
285 | </MATH>equal</I></A>
|
---|
286 | <LI><A NAME="tex2html43"
|
---|
287 | HREF="node2.html#SECTION000200380000000000000">
|
---|
288 | <I>grobner<MATH CLASS="INLINE">
|
---|
289 | -
|
---|
290 | </MATH>subsetp</I></A>
|
---|
291 | <LI><A NAME="tex2html44"
|
---|
292 | HREF="node2.html#SECTION000200390000000000000">
|
---|
293 | <I>grobner<MATH CLASS="INLINE">
|
---|
294 | -
|
---|
295 | </MATH>member</I></A>
|
---|
296 | <LI><A NAME="tex2html45"
|
---|
297 | HREF="node2.html#SECTION000200400000000000000">
|
---|
298 | <I>ideal<MATH CLASS="INLINE">
|
---|
299 | -
|
---|
300 | </MATH>equal</I></A>
|
---|
301 | <LI><A NAME="tex2html46"
|
---|
302 | HREF="node2.html#SECTION000200410000000000000">
|
---|
303 | <I>ideal<MATH CLASS="INLINE">
|
---|
304 | -
|
---|
305 | </MATH>subsetp</I></A>
|
---|
306 | <LI><A NAME="tex2html47"
|
---|
307 | HREF="node2.html#SECTION000200420000000000000">
|
---|
308 | <I>ideal<MATH CLASS="INLINE">
|
---|
309 | -
|
---|
310 | </MATH>member</I></A>
|
---|
311 | <LI><A NAME="tex2html48"
|
---|
312 | HREF="node2.html#SECTION000200430000000000000">
|
---|
313 | <I>ideal<MATH CLASS="INLINE">
|
---|
314 | -
|
---|
315 | </MATH>saturation<MATH CLASS="INLINE">
|
---|
316 | -
|
---|
317 | </MATH>1</I></A>
|
---|
318 | <LI><A NAME="tex2html49"
|
---|
319 | HREF="node2.html#SECTION000200440000000000000">
|
---|
320 | <I>add<MATH CLASS="INLINE">
|
---|
321 | -
|
---|
322 | </MATH>variables</I></A>
|
---|
323 | <LI><A NAME="tex2html50"
|
---|
324 | HREF="node2.html#SECTION000200450000000000000">
|
---|
325 | <I>extend<MATH CLASS="INLINE">
|
---|
326 | -
|
---|
327 | </MATH>polynomials</I></A>
|
---|
328 | <LI><A NAME="tex2html51"
|
---|
329 | HREF="node2.html#SECTION000200460000000000000">
|
---|
330 | <I>saturation<MATH CLASS="INLINE">
|
---|
331 | -
|
---|
332 | </MATH>extension</I></A>
|
---|
333 | <LI><A NAME="tex2html52"
|
---|
334 | HREF="node2.html#SECTION000200470000000000000">
|
---|
335 | <I>polysaturation<MATH CLASS="INLINE">
|
---|
336 | -
|
---|
337 | </MATH>extension</I></A>
|
---|
338 | <LI><A NAME="tex2html53"
|
---|
339 | HREF="node2.html#SECTION000200480000000000000">
|
---|
340 | <I>saturation<MATH CLASS="INLINE">
|
---|
341 | -
|
---|
342 | </MATH>extension<MATH CLASS="INLINE">
|
---|
343 | -
|
---|
344 | </MATH>1</I></A>
|
---|
345 | <LI><A NAME="tex2html54"
|
---|
346 | HREF="node2.html#SECTION000200490000000000000">
|
---|
347 | <I>ideal<MATH CLASS="INLINE">
|
---|
348 | -
|
---|
349 | </MATH>polysaturation<MATH CLASS="INLINE">
|
---|
350 | -
|
---|
351 | </MATH>1</I></A>
|
---|
352 | <LI><A NAME="tex2html55"
|
---|
353 | HREF="node2.html#SECTION000200500000000000000">
|
---|
354 | <I>ideal<MATH CLASS="INLINE">
|
---|
355 | -
|
---|
356 | </MATH>saturation</I></A>
|
---|
357 | <LI><A NAME="tex2html56"
|
---|
358 | HREF="node2.html#SECTION000200510000000000000">
|
---|
359 | <I>ideal<MATH CLASS="INLINE">
|
---|
360 | -
|
---|
361 | </MATH>polysaturation</I></A>
|
---|
362 | <LI><A NAME="tex2html57"
|
---|
363 | HREF="node2.html#SECTION000200520000000000000">
|
---|
364 | <I>buchberger<MATH CLASS="INLINE">
|
---|
365 | -
|
---|
366 | </MATH>criterion</I></A>
|
---|
367 | <LI><A NAME="tex2html58"
|
---|
368 | HREF="node2.html#SECTION000200530000000000000">
|
---|
369 | <I>grobner<MATH CLASS="INLINE">
|
---|
370 | -
|
---|
371 | </MATH>test</I></A>
|
---|
372 | <LI><A NAME="tex2html59"
|
---|
373 | HREF="node2.html#SECTION000200540000000000000">
|
---|
374 | <I>minimization</I></A>
|
---|
375 | <LI><A NAME="tex2html60"
|
---|
376 | HREF="node2.html#SECTION000200550000000000000">
|
---|
377 | <I>add<MATH CLASS="INLINE">
|
---|
378 | -
|
---|
379 | </MATH>minimized</I></A>
|
---|
380 | <LI><A NAME="tex2html61"
|
---|
381 | HREF="node2.html#SECTION000200560000000000000">
|
---|
382 | <I>colon<MATH CLASS="INLINE">
|
---|
383 | -
|
---|
384 | </MATH>ideal</I></A>
|
---|
385 | <LI><A NAME="tex2html62"
|
---|
386 | HREF="node2.html#SECTION000200570000000000000">
|
---|
387 | <I>colon<MATH CLASS="INLINE">
|
---|
388 | -
|
---|
389 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
390 | -
|
---|
391 | </MATH>1</I></A>
|
---|
392 | <LI><A NAME="tex2html63"
|
---|
393 | HREF="node2.html#SECTION000200580000000000000">
|
---|
394 | <I>pseudo<MATH CLASS="INLINE">
|
---|
395 | -
|
---|
396 | </MATH>divide</I></A>
|
---|
397 | <LI><A NAME="tex2html64"
|
---|
398 | HREF="node2.html#SECTION000200590000000000000">
|
---|
399 | <I>gebauer<MATH CLASS="INLINE">
|
---|
400 | -
|
---|
401 | </MATH>moeller</I></A>
|
---|
402 | <LI><A NAME="tex2html65"
|
---|
403 | HREF="node2.html#SECTION000200600000000000000">
|
---|
404 | <I>update</I></A>
|
---|
405 | <LI><A NAME="tex2html66"
|
---|
406 | HREF="node2.html#SECTION000200610000000000000">
|
---|
407 | <I>gebauer<MATH CLASS="INLINE">
|
---|
408 | -
|
---|
409 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
410 | -
|
---|
411 | </MATH>merge<MATH CLASS="INLINE">
|
---|
412 | -
|
---|
413 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
414 | -
|
---|
415 | </MATH>use<MATH CLASS="INLINE">
|
---|
416 | -
|
---|
417 | </MATH>mock<MATH CLASS="INLINE">
|
---|
418 | -
|
---|
419 | </MATH>spoly</I></A>
|
---|
420 | <LI><A NAME="tex2html67"
|
---|
421 | HREF="node2.html#SECTION000200620000000000000">
|
---|
422 | <I>gebauer<MATH CLASS="INLINE">
|
---|
423 | -
|
---|
424 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
425 | -
|
---|
426 | </MATH>merge<MATH CLASS="INLINE">
|
---|
427 | -
|
---|
428 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
429 | -
|
---|
430 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
431 | -
|
---|
432 | </MATH>lcm</I></A>
|
---|
433 | <LI><A NAME="tex2html68"
|
---|
434 | HREF="node2.html#SECTION000200630000000000000">
|
---|
435 | <I>gebauer<MATH CLASS="INLINE">
|
---|
436 | -
|
---|
437 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
438 | -
|
---|
439 | </MATH>merge<MATH CLASS="INLINE">
|
---|
440 | -
|
---|
441 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
442 | -
|
---|
443 | </MATH>use<MATH CLASS="INLINE">
|
---|
444 | -
|
---|
445 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
446 | -
|
---|
447 | </MATH>degree</I></A>
|
---|
448 | <LI><A NAME="tex2html69"
|
---|
449 | HREF="node2.html#SECTION000200640000000000000">
|
---|
450 | <I>gebauer<MATH CLASS="INLINE">
|
---|
451 | -
|
---|
452 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
453 | -
|
---|
454 | </MATH>merge<MATH CLASS="INLINE">
|
---|
455 | -
|
---|
456 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
457 | -
|
---|
458 | </MATH>use<MATH CLASS="INLINE">
|
---|
459 | -
|
---|
460 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
461 | -
|
---|
462 | </MATH>length</I></A>
|
---|
463 | <LI><A NAME="tex2html70"
|
---|
464 | HREF="node2.html#SECTION000200650000000000000">
|
---|
465 | <I>gebauer<MATH CLASS="INLINE">
|
---|
466 | -
|
---|
467 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
468 | -
|
---|
469 | </MATH>merge<MATH CLASS="INLINE">
|
---|
470 | -
|
---|
471 | </MATH>pairs<MATH CLASS="INLINE">
|
---|
472 | -
|
---|
473 | </MATH>use<MATH CLASS="INLINE">
|
---|
474 | -
|
---|
475 | </MATH>smallest<MATH CLASS="INLINE">
|
---|
476 | -
|
---|
477 | </MATH>coefficient<MATH CLASS="INLINE">
|
---|
478 | -
|
---|
479 | </MATH>length</I></A>
|
---|
480 | <LI><A NAME="tex2html71"
|
---|
481 | HREF="node2.html#SECTION000200660000000000000">
|
---|
482 | <I>gebauer<MATH CLASS="INLINE">
|
---|
483 | -
|
---|
484 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
485 | -
|
---|
486 | </MATH>set<MATH CLASS="INLINE">
|
---|
487 | -
|
---|
488 | </MATH>pair<MATH CLASS="INLINE">
|
---|
489 | -
|
---|
490 | </MATH>heuristic</I></A>
|
---|
491 | <LI><A NAME="tex2html72"
|
---|
492 | HREF="node2.html#SECTION000200670000000000000">
|
---|
493 | <I>spoly<MATH CLASS="INLINE">
|
---|
494 | -
|
---|
495 | </MATH>sugar</I></A>
|
---|
496 | <LI><A NAME="tex2html73"
|
---|
497 | HREF="node2.html#SECTION000200680000000000000">
|
---|
498 | <I>spoly<MATH CLASS="INLINE">
|
---|
499 | -
|
---|
500 | </MATH>with<MATH CLASS="INLINE">
|
---|
501 | -
|
---|
502 | </MATH>sugar</I></A>
|
---|
503 | <LI><A NAME="tex2html74"
|
---|
504 | HREF="node2.html#SECTION000200690000000000000">
|
---|
505 | <I>normal<MATH CLASS="INLINE">
|
---|
506 | -
|
---|
507 | </MATH>form<MATH CLASS="INLINE">
|
---|
508 | -
|
---|
509 | </MATH>with<MATH CLASS="INLINE">
|
---|
510 | -
|
---|
511 | </MATH>sugar</I></A>
|
---|
512 | <LI><A NAME="tex2html75"
|
---|
513 | HREF="node2.html#SECTION000200700000000000000">
|
---|
514 | <I>buchberger<MATH CLASS="INLINE">
|
---|
515 | -
|
---|
516 | </MATH>with<MATH CLASS="INLINE">
|
---|
517 | -
|
---|
518 | </MATH>sugar</I></A>
|
---|
519 | <LI><A NAME="tex2html76"
|
---|
520 | HREF="node2.html#SECTION000200710000000000000">
|
---|
521 | <I>buchberger<MATH CLASS="INLINE">
|
---|
522 | -
|
---|
523 | </MATH>with<MATH CLASS="INLINE">
|
---|
524 | -
|
---|
525 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
526 | -
|
---|
527 | </MATH>merge<MATH CLASS="INLINE">
|
---|
528 | -
|
---|
529 | </MATH>pairs</I></A>
|
---|
530 | <LI><A NAME="tex2html77"
|
---|
531 | HREF="node2.html#SECTION000200720000000000000">
|
---|
532 | <I>buchberger<MATH CLASS="INLINE">
|
---|
533 | -
|
---|
534 | </MATH>with<MATH CLASS="INLINE">
|
---|
535 | -
|
---|
536 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
537 | -
|
---|
538 | </MATH>sort<MATH CLASS="INLINE">
|
---|
539 | -
|
---|
540 | </MATH>pairs</I></A>
|
---|
541 | <LI><A NAME="tex2html78"
|
---|
542 | HREF="node2.html#SECTION000200730000000000000">
|
---|
543 | <I>criterion<MATH CLASS="INLINE">
|
---|
544 | -
|
---|
545 | </MATH>1<MATH CLASS="INLINE">
|
---|
546 | -
|
---|
547 | </MATH>with<MATH CLASS="INLINE">
|
---|
548 | -
|
---|
549 | </MATH>sugar</I></A>
|
---|
550 | <LI><A NAME="tex2html79"
|
---|
551 | HREF="node2.html#SECTION000200740000000000000">
|
---|
552 | <I>criterion<MATH CLASS="INLINE">
|
---|
553 | -
|
---|
554 | </MATH>2<MATH CLASS="INLINE">
|
---|
555 | -
|
---|
556 | </MATH>with<MATH CLASS="INLINE">
|
---|
557 | -
|
---|
558 | </MATH>sugar</I></A>
|
---|
559 | <LI><A NAME="tex2html80"
|
---|
560 | HREF="node2.html#SECTION000200750000000000000">
|
---|
561 | <I>gebauer<MATH CLASS="INLINE">
|
---|
562 | -
|
---|
563 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
564 | -
|
---|
565 | </MATH>with<MATH CLASS="INLINE">
|
---|
566 | -
|
---|
567 | </MATH>sugar</I></A>
|
---|
568 | <LI><A NAME="tex2html81"
|
---|
569 | HREF="node2.html#SECTION000200760000000000000">
|
---|
570 | <I>update<MATH CLASS="INLINE">
|
---|
571 | -
|
---|
572 | </MATH>with<MATH CLASS="INLINE">
|
---|
573 | -
|
---|
574 | </MATH>sugar</I></A>
|
---|
575 | <LI><A NAME="tex2html82"
|
---|
576 | HREF="node2.html#SECTION000200770000000000000">
|
---|
577 | <I>gebauer<MATH CLASS="INLINE">
|
---|
578 | -
|
---|
579 | </MATH>moeller<MATH CLASS="INLINE">
|
---|
580 | -
|
---|
581 | </MATH>with<MATH CLASS="INLINE">
|
---|
582 | -
|
---|
583 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
584 | -
|
---|
585 | </MATH>merge<MATH CLASS="INLINE">
|
---|
586 | -
|
---|
587 | </MATH>pairs</I></A>
|
---|
588 | <LI><A NAME="tex2html83"
|
---|
589 | HREF="node2.html#SECTION000200780000000000000">
|
---|
590 | <I>grobner<MATH CLASS="INLINE">
|
---|
591 | -
|
---|
592 | </MATH>primitive<MATH CLASS="INLINE">
|
---|
593 | -
|
---|
594 | </MATH>part<MATH CLASS="INLINE">
|
---|
595 | -
|
---|
596 | </MATH>with<MATH CLASS="INLINE">
|
---|
597 | -
|
---|
598 | </MATH>sugar</I></A>
|
---|
599 | </UL>
|
---|
600 | <LI><A NAME="tex2html84"
|
---|
601 | HREF="node3.html#SECTION00030000000000000000">
|
---|
602 | The String Interface to the Gröbner Basis package</A>
|
---|
603 | <UL>
|
---|
604 | <LI><A NAME="tex2html85"
|
---|
605 | HREF="node3.html#SECTION00030010000000000000">
|
---|
606 | <I>string<MATH CLASS="INLINE">
|
---|
607 | -
|
---|
608 | </MATH>normal<MATH CLASS="INLINE">
|
---|
609 | -
|
---|
610 | </MATH>form</I></A>
|
---|
611 | <LI><A NAME="tex2html86"
|
---|
612 | HREF="node3.html#SECTION00030020000000000000">
|
---|
613 | <I>string<MATH CLASS="INLINE">
|
---|
614 | -
|
---|
615 | </MATH>grobner</I></A>
|
---|
616 | <LI><A NAME="tex2html87"
|
---|
617 | HREF="node3.html#SECTION00030030000000000000">
|
---|
618 | <I>string<MATH CLASS="INLINE">
|
---|
619 | -
|
---|
620 | </MATH>elimination<MATH CLASS="INLINE">
|
---|
621 | -
|
---|
622 | </MATH>ideal</I></A>
|
---|
623 | <LI><A NAME="tex2html88"
|
---|
624 | HREF="node3.html#SECTION00030040000000000000">
|
---|
625 | <I>string<MATH CLASS="INLINE">
|
---|
626 | -
|
---|
627 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
628 | -
|
---|
629 | </MATH>intersection</I></A>
|
---|
630 | <LI><A NAME="tex2html89"
|
---|
631 | HREF="node3.html#SECTION00030050000000000000">
|
---|
632 | <I>string<MATH CLASS="INLINE">
|
---|
633 | -
|
---|
634 | </MATH>poly<MATH CLASS="INLINE">
|
---|
635 | -
|
---|
636 | </MATH>lcm</I></A>
|
---|
637 | <LI><A NAME="tex2html90"
|
---|
638 | HREF="node3.html#SECTION00030060000000000000">
|
---|
639 | <I>string<MATH CLASS="INLINE">
|
---|
640 | -
|
---|
641 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
642 | -
|
---|
643 | </MATH>saturation<MATH CLASS="INLINE">
|
---|
644 | -
|
---|
645 | </MATH>1</I></A>
|
---|
646 | <LI><A NAME="tex2html91"
|
---|
647 | HREF="node3.html#SECTION00030070000000000000">
|
---|
648 | <I>string<MATH CLASS="INLINE">
|
---|
649 | -
|
---|
650 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
651 | -
|
---|
652 | </MATH>polysaturation<MATH CLASS="INLINE">
|
---|
653 | -
|
---|
654 | </MATH>1</I></A>
|
---|
655 | <LI><A NAME="tex2html92"
|
---|
656 | HREF="node3.html#SECTION00030080000000000000">
|
---|
657 | <I>string<MATH CLASS="INLINE">
|
---|
658 | -
|
---|
659 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
660 | -
|
---|
661 | </MATH>saturation</I></A>
|
---|
662 | <LI><A NAME="tex2html93"
|
---|
663 | HREF="node3.html#SECTION00030090000000000000">
|
---|
664 | <I>string<MATH CLASS="INLINE">
|
---|
665 | -
|
---|
666 | </MATH>ideal<MATH CLASS="INLINE">
|
---|
667 | -
|
---|
668 | </MATH>polysaturation</I></A>
|
---|
669 | <LI><A NAME="tex2html94"
|
---|
670 | HREF="node3.html#SECTION000300100000000000000">
|
---|
671 | <I>string<MATH CLASS="INLINE">
|
---|
672 | -
|
---|
673 | </MATH>colon<MATH CLASS="INLINE">
|
---|
674 | -
|
---|
675 | </MATH>ideal</I></A>
|
---|
676 | <LI><A NAME="tex2html95"
|
---|
677 | HREF="node3.html#SECTION000300110000000000000">
|
---|
678 | <I>string<MATH CLASS="INLINE">
|
---|
679 | -
|
---|
680 | </MATH>read<MATH CLASS="INLINE">
|
---|
681 | -
|
---|
682 | </MATH>poly</I></A>
|
---|
683 | <LI><A NAME="tex2html96"
|
---|
684 | HREF="node3.html#SECTION000300120000000000000">
|
---|
685 | <I>poly<MATH CLASS="INLINE">
|
---|
686 | -
|
---|
687 | </MATH>rational<MATH CLASS="INLINE">
|
---|
688 | -
|
---|
689 | </MATH>to<MATH CLASS="INLINE">
|
---|
690 | -
|
---|
691 | </MATH>integer</I></A>
|
---|
692 | <LI><A NAME="tex2html97"
|
---|
693 | HREF="node3.html#SECTION000300130000000000000">
|
---|
694 | <I>read<MATH CLASS="INLINE">
|
---|
695 | -
|
---|
696 | </MATH>vars</I></A>
|
---|
697 | </UL>
|
---|
698 | <LI><A NAME="tex2html98"
|
---|
699 | HREF="node4.html#SECTION00040000000000000000">
|
---|
700 | The Comprehensive Gröbner basis package</A>
|
---|
701 | <UL>
|
---|
702 | <LI><A NAME="tex2html99"
|
---|
703 | HREF="node4.html#SECTION00040010000000000000">
|
---|
704 | <I>*colored<MATH CLASS="INLINE">
|
---|
705 | -
|
---|
706 | </MATH>poly<MATH CLASS="INLINE">
|
---|
707 | -
|
---|
708 | </MATH>debug*</I></A>
|
---|
709 | <LI><A NAME="tex2html100"
|
---|
710 | HREF="node4.html#SECTION00040020000000000000">
|
---|
711 | <I>debug<MATH CLASS="INLINE">
|
---|
712 | -
|
---|
713 | </MATH>cgb</I></A>
|
---|
714 | <LI><A NAME="tex2html101"
|
---|
715 | HREF="node4.html#SECTION00040030000000000000">
|
---|
716 | <I>make<MATH CLASS="INLINE">
|
---|
717 | -
|
---|
718 | </MATH>colored<MATH CLASS="INLINE">
|
---|
719 | -
|
---|
720 | </MATH>poly</I></A>
|
---|
721 | <LI><A NAME="tex2html102"
|
---|
722 | HREF="node4.html#SECTION00040040000000000000">
|
---|
723 | <I>make<MATH CLASS="INLINE">
|
---|
724 | -
|
---|
725 | </MATH>colored<MATH CLASS="INLINE">
|
---|
726 | -
|
---|
727 | </MATH>poly<MATH CLASS="INLINE">
|
---|
728 | -
|
---|
729 | </MATH>list</I></A>
|
---|
730 | <LI><A NAME="tex2html103"
|
---|
731 | HREF="node4.html#SECTION00040050000000000000">
|
---|
732 | <I>color<MATH CLASS="INLINE">
|
---|
733 | -
|
---|
734 | </MATH>poly<MATH CLASS="INLINE">
|
---|
735 | -
|
---|
736 | </MATH>list</I></A>
|
---|
737 | <LI><A NAME="tex2html104"
|
---|
738 | HREF="node4.html#SECTION00040060000000000000">
|
---|
739 | <I>color<MATH CLASS="INLINE">
|
---|
740 | -
|
---|
741 | </MATH>poly</I></A>
|
---|
742 | <LI><A NAME="tex2html105"
|
---|
743 | HREF="node4.html#SECTION00040070000000000000">
|
---|
744 | <I>colored<MATH CLASS="INLINE">
|
---|
745 | -
|
---|
746 | </MATH>poly<MATH CLASS="INLINE">
|
---|
747 | -
|
---|
748 | </MATH>to<MATH CLASS="INLINE">
|
---|
749 | -
|
---|
750 | </MATH>poly</I></A>
|
---|
751 | <LI><A NAME="tex2html106"
|
---|
752 | HREF="node4.html#SECTION00040080000000000000">
|
---|
753 | <I>colored<MATH CLASS="INLINE">
|
---|
754 | -
|
---|
755 | </MATH>poly<MATH CLASS="INLINE">
|
---|
756 | -
|
---|
757 | </MATH>print</I></A>
|
---|
758 | <LI><A NAME="tex2html107"
|
---|
759 | HREF="node4.html#SECTION00040090000000000000">
|
---|
760 | <I>colored<MATH CLASS="INLINE">
|
---|
761 | -
|
---|
762 | </MATH>poly<MATH CLASS="INLINE">
|
---|
763 | -
|
---|
764 | </MATH>print<MATH CLASS="INLINE">
|
---|
765 | -
|
---|
766 | </MATH>list</I></A>
|
---|
767 | <LI><A NAME="tex2html108"
|
---|
768 | HREF="node4.html#SECTION000400100000000000000">
|
---|
769 | <I>determine</I></A>
|
---|
770 | <LI><A NAME="tex2html109"
|
---|
771 | HREF="node4.html#SECTION000400110000000000000">
|
---|
772 | <I>determine<MATH CLASS="INLINE">
|
---|
773 | -
|
---|
774 | </MATH>1</I></A>
|
---|
775 | <LI><A NAME="tex2html110"
|
---|
776 | HREF="node4.html#SECTION000400120000000000000">
|
---|
777 | <I>determine<MATH CLASS="INLINE">
|
---|
778 | -
|
---|
779 | </MATH>white<MATH CLASS="INLINE">
|
---|
780 | -
|
---|
781 | </MATH>term</I></A>
|
---|
782 | <LI><A NAME="tex2html111"
|
---|
783 | HREF="node4.html#SECTION000400130000000000000">
|
---|
784 | <I>cond<MATH CLASS="INLINE">
|
---|
785 | -
|
---|
786 | </MATH>system<MATH CLASS="INLINE">
|
---|
787 | -
|
---|
788 | </MATH>print</I></A>
|
---|
789 | <LI><A NAME="tex2html112"
|
---|
790 | HREF="node4.html#SECTION000400140000000000000">
|
---|
791 | <I>cond<MATH CLASS="INLINE">
|
---|
792 | -
|
---|
793 | </MATH>print</I></A>
|
---|
794 | <LI><A NAME="tex2html113"
|
---|
795 | HREF="node4.html#SECTION000400150000000000000">
|
---|
796 | <I>add<MATH CLASS="INLINE">
|
---|
797 | -
|
---|
798 | </MATH>pairs</I></A>
|
---|
799 | <LI><A NAME="tex2html114"
|
---|
800 | HREF="node4.html#SECTION000400160000000000000">
|
---|
801 | <I>cond<MATH CLASS="INLINE">
|
---|
802 | -
|
---|
803 | </MATH>part</I></A>
|
---|
804 | <LI><A NAME="tex2html115"
|
---|
805 | HREF="node4.html#SECTION000400170000000000000">
|
---|
806 | <I>cond<MATH CLASS="INLINE">
|
---|
807 | -
|
---|
808 | </MATH>hm</I></A>
|
---|
809 | <LI><A NAME="tex2html116"
|
---|
810 | HREF="node4.html#SECTION000400180000000000000">
|
---|
811 | <I>delete<MATH CLASS="INLINE">
|
---|
812 | -
|
---|
813 | </MATH>green<MATH CLASS="INLINE">
|
---|
814 | -
|
---|
815 | </MATH>polys</I></A>
|
---|
816 | <LI><A NAME="tex2html117"
|
---|
817 | HREF="node4.html#SECTION000400190000000000000">
|
---|
818 | <I>grobner<MATH CLASS="INLINE">
|
---|
819 | -
|
---|
820 | </MATH>system</I></A>
|
---|
821 | <LI><A NAME="tex2html118"
|
---|
822 | HREF="node4.html#SECTION000400200000000000000">
|
---|
823 | <I>reorder<MATH CLASS="INLINE">
|
---|
824 | -
|
---|
825 | </MATH>pairs</I></A>
|
---|
826 | <LI><A NAME="tex2html119"
|
---|
827 | HREF="node4.html#SECTION000400210000000000000">
|
---|
828 | <I>colored<MATH CLASS="INLINE">
|
---|
829 | -
|
---|
830 | </MATH>criterion<MATH CLASS="INLINE">
|
---|
831 | -
|
---|
832 | </MATH>1</I></A>
|
---|
833 | <LI><A NAME="tex2html120"
|
---|
834 | HREF="node4.html#SECTION000400220000000000000">
|
---|
835 | <I>colored<MATH CLASS="INLINE">
|
---|
836 | -
|
---|
837 | </MATH>criterion<MATH CLASS="INLINE">
|
---|
838 | -
|
---|
839 | </MATH>2</I></A>
|
---|
840 | <LI><A NAME="tex2html121"
|
---|
841 | HREF="node4.html#SECTION000400230000000000000">
|
---|
842 | <I>cond<MATH CLASS="INLINE">
|
---|
843 | -
|
---|
844 | </MATH>normal<MATH CLASS="INLINE">
|
---|
845 | -
|
---|
846 | </MATH>form</I></A>
|
---|
847 | <LI><A NAME="tex2html122"
|
---|
848 | HREF="node4.html#SECTION000400240000000000000">
|
---|
849 | <I>cond<MATH CLASS="INLINE">
|
---|
850 | -
|
---|
851 | </MATH>spoly</I></A>
|
---|
852 | <LI><A NAME="tex2html123"
|
---|
853 | HREF="node4.html#SECTION000400250000000000000">
|
---|
854 | <I>cond<MATH CLASS="INLINE">
|
---|
855 | -
|
---|
856 | </MATH>lm</I></A>
|
---|
857 | <LI><A NAME="tex2html124"
|
---|
858 | HREF="node4.html#SECTION000400260000000000000">
|
---|
859 | <I>cond<MATH CLASS="INLINE">
|
---|
860 | -
|
---|
861 | </MATH>lc</I></A>
|
---|
862 | <LI><A NAME="tex2html125"
|
---|
863 | HREF="node4.html#SECTION000400270000000000000">
|
---|
864 | <I>colored<MATH CLASS="INLINE">
|
---|
865 | -
|
---|
866 | </MATH>term<MATH CLASS="INLINE">
|
---|
867 | -
|
---|
868 | </MATH>times<MATH CLASS="INLINE">
|
---|
869 | -
|
---|
870 | </MATH>poly</I></A>
|
---|
871 | <LI><A NAME="tex2html126"
|
---|
872 | HREF="node4.html#SECTION000400280000000000000">
|
---|
873 | <I>colored<MATH CLASS="INLINE">
|
---|
874 | -
|
---|
875 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
876 | -
|
---|
877 | </MATH>times<MATH CLASS="INLINE">
|
---|
878 | -
|
---|
879 | </MATH>poly</I></A>
|
---|
880 | <LI><A NAME="tex2html127"
|
---|
881 | HREF="node4.html#SECTION000400290000000000000">
|
---|
882 | <I>colored<MATH CLASS="INLINE">
|
---|
883 | -
|
---|
884 | </MATH>term*</I></A>
|
---|
885 | <LI><A NAME="tex2html128"
|
---|
886 | HREF="node4.html#SECTION000400300000000000000">
|
---|
887 | <I>color*</I></A>
|
---|
888 | <LI><A NAME="tex2html129"
|
---|
889 | HREF="node4.html#SECTION000400310000000000000">
|
---|
890 | <I>color+</I></A>
|
---|
891 | <LI><A NAME="tex2html130"
|
---|
892 | HREF="node4.html#SECTION000400320000000000000">
|
---|
893 | <I>color<MATH CLASS="INLINE">
|
---|
894 | -
|
---|
895 | </MATH></I></A>
|
---|
896 | <LI><A NAME="tex2html131"
|
---|
897 | HREF="node4.html#SECTION000400330000000000000">
|
---|
898 | <I>colored<MATH CLASS="INLINE">
|
---|
899 | -
|
---|
900 | </MATH>poly+</I></A>
|
---|
901 | <LI><A NAME="tex2html132"
|
---|
902 | HREF="node4.html#SECTION000400340000000000000">
|
---|
903 | <I>colored<MATH CLASS="INLINE">
|
---|
904 | -
|
---|
905 | </MATH>poly<MATH CLASS="INLINE">
|
---|
906 | -
|
---|
907 | </MATH></I></A>
|
---|
908 | <LI><A NAME="tex2html133"
|
---|
909 | HREF="node4.html#SECTION000400350000000000000">
|
---|
910 | <I>colored<MATH CLASS="INLINE">
|
---|
911 | -
|
---|
912 | </MATH>term<MATH CLASS="INLINE">
|
---|
913 | -
|
---|
914 | </MATH>uminus</I></A>
|
---|
915 | <LI><A NAME="tex2html134"
|
---|
916 | HREF="node4.html#SECTION000400360000000000000">
|
---|
917 | <I>colored<MATH CLASS="INLINE">
|
---|
918 | -
|
---|
919 | </MATH>minus<MATH CLASS="INLINE">
|
---|
920 | -
|
---|
921 | </MATH>poly</I></A>
|
---|
922 | <LI><A NAME="tex2html135"
|
---|
923 | HREF="node4.html#SECTION000400370000000000000">
|
---|
924 | <I>string<MATH CLASS="INLINE">
|
---|
925 | -
|
---|
926 | </MATH>grobner<MATH CLASS="INLINE">
|
---|
927 | -
|
---|
928 | </MATH>system</I></A>
|
---|
929 | <LI><A NAME="tex2html136"
|
---|
930 | HREF="node4.html#SECTION000400380000000000000">
|
---|
931 | <I>string<MATH CLASS="INLINE">
|
---|
932 | -
|
---|
933 | </MATH>cond</I></A>
|
---|
934 | <LI><A NAME="tex2html137"
|
---|
935 | HREF="node4.html#SECTION000400390000000000000">
|
---|
936 | <I>string<MATH CLASS="INLINE">
|
---|
937 | -
|
---|
938 | </MATH>cover</I></A>
|
---|
939 | <LI><A NAME="tex2html138"
|
---|
940 | HREF="node4.html#SECTION000400400000000000000">
|
---|
941 | <I>saturate<MATH CLASS="INLINE">
|
---|
942 | -
|
---|
943 | </MATH>cover</I></A>
|
---|
944 | <LI><A NAME="tex2html139"
|
---|
945 | HREF="node4.html#SECTION000400410000000000000">
|
---|
946 | <I>saturate<MATH CLASS="INLINE">
|
---|
947 | -
|
---|
948 | </MATH>cond</I></A>
|
---|
949 | <LI><A NAME="tex2html140"
|
---|
950 | HREF="node4.html#SECTION000400420000000000000">
|
---|
951 | <I>string<MATH CLASS="INLINE">
|
---|
952 | -
|
---|
953 | </MATH>determine</I></A>
|
---|
954 | <LI><A NAME="tex2html141"
|
---|
955 | HREF="node4.html#SECTION000400430000000000000">
|
---|
956 | <I>tidy<MATH CLASS="INLINE">
|
---|
957 | -
|
---|
958 | </MATH>grobner<MATH CLASS="INLINE">
|
---|
959 | -
|
---|
960 | </MATH>system</I></A>
|
---|
961 | <LI><A NAME="tex2html142"
|
---|
962 | HREF="node4.html#SECTION000400440000000000000">
|
---|
963 | <I>tidy<MATH CLASS="INLINE">
|
---|
964 | -
|
---|
965 | </MATH>pair</I></A>
|
---|
966 | <LI><A NAME="tex2html143"
|
---|
967 | HREF="node4.html#SECTION000400450000000000000">
|
---|
968 | <I>tidy<MATH CLASS="INLINE">
|
---|
969 | -
|
---|
970 | </MATH>cond</I></A>
|
---|
971 | <LI><A NAME="tex2html144"
|
---|
972 | HREF="node4.html#SECTION000400460000000000000">
|
---|
973 | <I>colored<MATH CLASS="INLINE">
|
---|
974 | -
|
---|
975 | </MATH>reduction</I></A>
|
---|
976 | <LI><A NAME="tex2html145"
|
---|
977 | HREF="node4.html#SECTION000400470000000000000">
|
---|
978 | <I>green<MATH CLASS="INLINE">
|
---|
979 | -
|
---|
980 | </MATH>reduce<MATH CLASS="INLINE">
|
---|
981 | -
|
---|
982 | </MATH>colored<MATH CLASS="INLINE">
|
---|
983 | -
|
---|
984 | </MATH>poly</I></A>
|
---|
985 | <LI><A NAME="tex2html146"
|
---|
986 | HREF="node4.html#SECTION000400480000000000000">
|
---|
987 | <I>green<MATH CLASS="INLINE">
|
---|
988 | -
|
---|
989 | </MATH>reduce<MATH CLASS="INLINE">
|
---|
990 | -
|
---|
991 | </MATH>colored<MATH CLASS="INLINE">
|
---|
992 | -
|
---|
993 | </MATH>list</I></A>
|
---|
994 | <LI><A NAME="tex2html147"
|
---|
995 | HREF="node4.html#SECTION000400490000000000000">
|
---|
996 | <I>cond<MATH CLASS="INLINE">
|
---|
997 | -
|
---|
998 | </MATH>system<MATH CLASS="INLINE">
|
---|
999 | -
|
---|
1000 | </MATH>green<MATH CLASS="INLINE">
|
---|
1001 | -
|
---|
1002 | </MATH>reduce</I></A>
|
---|
1003 | <LI><A NAME="tex2html148"
|
---|
1004 | HREF="node4.html#SECTION000400500000000000000">
|
---|
1005 | <I>parse<MATH CLASS="INLINE">
|
---|
1006 | -
|
---|
1007 | </MATH>to<MATH CLASS="INLINE">
|
---|
1008 | -
|
---|
1009 | </MATH>colored<MATH CLASS="INLINE">
|
---|
1010 | -
|
---|
1011 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1012 | -
|
---|
1013 | </MATH>list</I></A>
|
---|
1014 | <LI><A NAME="tex2html149"
|
---|
1015 | HREF="node4.html#SECTION000400510000000000000">
|
---|
1016 | <I>red<MATH CLASS="INLINE">
|
---|
1017 | -
|
---|
1018 | </MATH>reduction</I></A>
|
---|
1019 | </UL>
|
---|
1020 | <LI><A NAME="tex2html150"
|
---|
1021 | HREF="node5.html#SECTION00050000000000000000">
|
---|
1022 | The Coefficient Ring package</A>
|
---|
1023 | <UL>
|
---|
1024 | <LI><A NAME="tex2html151"
|
---|
1025 | HREF="node5.html#SECTION00050010000000000000">
|
---|
1026 | <I>ring</I></A>
|
---|
1027 | <LI><A NAME="tex2html152"
|
---|
1028 | HREF="node5.html#SECTION00050020000000000000">
|
---|
1029 | <I>*ring<MATH CLASS="INLINE">
|
---|
1030 | -
|
---|
1031 | </MATH>of<MATH CLASS="INLINE">
|
---|
1032 | -
|
---|
1033 | </MATH>integers*</I></A>
|
---|
1034 | <LI><A NAME="tex2html153"
|
---|
1035 | HREF="node5.html#SECTION00050030000000000000">
|
---|
1036 | <I>*field<MATH CLASS="INLINE">
|
---|
1037 | -
|
---|
1038 | </MATH>of<MATH CLASS="INLINE">
|
---|
1039 | -
|
---|
1040 | </MATH>rationals*</I></A>
|
---|
1041 | <LI><A NAME="tex2html154"
|
---|
1042 | HREF="node5.html#SECTION00050040000000000000">
|
---|
1043 | <I>field<MATH CLASS="INLINE">
|
---|
1044 | -
|
---|
1045 | </MATH>modulo<MATH CLASS="INLINE">
|
---|
1046 | -
|
---|
1047 | </MATH>prime</I></A>
|
---|
1048 | <LI><A NAME="tex2html155"
|
---|
1049 | HREF="node5.html#SECTION00050050000000000000">
|
---|
1050 | <I>*coefficient<MATH CLASS="INLINE">
|
---|
1051 | -
|
---|
1052 | </MATH>ring*</I></A>
|
---|
1053 | </UL>
|
---|
1054 | <LI><A NAME="tex2html156"
|
---|
1055 | HREF="node6.html#SECTION00060000000000000000">
|
---|
1056 | The Division Package</A>
|
---|
1057 | <UL>
|
---|
1058 | <LI><A NAME="tex2html157"
|
---|
1059 | HREF="node6.html#SECTION00060010000000000000">
|
---|
1060 | <I>divide</I></A>
|
---|
1061 | <LI><A NAME="tex2html158"
|
---|
1062 | HREF="node6.html#SECTION00060020000000000000">
|
---|
1063 | <I>poly<MATH CLASS="INLINE">
|
---|
1064 | -
|
---|
1065 | </MATH>exact<MATH CLASS="INLINE">
|
---|
1066 | -
|
---|
1067 | </MATH>divide</I></A>
|
---|
1068 | </UL>
|
---|
1069 | <LI><A NAME="tex2html159"
|
---|
1070 | HREF="node7.html#SECTION00070000000000000000">
|
---|
1071 | The Dynamical Systems package</A>
|
---|
1072 | <UL>
|
---|
1073 | <LI><A NAME="tex2html160"
|
---|
1074 | HREF="node7.html#SECTION00070010000000000000">
|
---|
1075 | <I>poly<MATH CLASS="INLINE">
|
---|
1076 | -
|
---|
1077 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
1078 | -
|
---|
1079 | </MATH>composition</I></A>
|
---|
1080 | <LI><A NAME="tex2html161"
|
---|
1081 | HREF="node7.html#SECTION00070020000000000000">
|
---|
1082 | <I>poly<MATH CLASS="INLINE">
|
---|
1083 | -
|
---|
1084 | </MATH>composition</I></A>
|
---|
1085 | <LI><A NAME="tex2html162"
|
---|
1086 | HREF="node7.html#SECTION00070030000000000000">
|
---|
1087 | <I>poly<MATH CLASS="INLINE">
|
---|
1088 | -
|
---|
1089 | </MATH>dynamic<MATH CLASS="INLINE">
|
---|
1090 | -
|
---|
1091 | </MATH>power</I></A>
|
---|
1092 | <LI><A NAME="tex2html163"
|
---|
1093 | HREF="node7.html#SECTION00070040000000000000">
|
---|
1094 | <I>poly<MATH CLASS="INLINE">
|
---|
1095 | -
|
---|
1096 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
1097 | -
|
---|
1098 | </MATH>evaluate</I></A>
|
---|
1099 | <LI><A NAME="tex2html164"
|
---|
1100 | HREF="node7.html#SECTION00070050000000000000">
|
---|
1101 | <I>poly<MATH CLASS="INLINE">
|
---|
1102 | -
|
---|
1103 | </MATH>evaluate</I></A>
|
---|
1104 | <LI><A NAME="tex2html165"
|
---|
1105 | HREF="node7.html#SECTION00070060000000000000">
|
---|
1106 | <I>factorial</I></A>
|
---|
1107 | <LI><A NAME="tex2html166"
|
---|
1108 | HREF="node7.html#SECTION00070070000000000000">
|
---|
1109 | <I>poly<MATH CLASS="INLINE">
|
---|
1110 | -
|
---|
1111 | </MATH>scalar<MATH CLASS="INLINE">
|
---|
1112 | -
|
---|
1113 | </MATH>diff</I></A>
|
---|
1114 | <LI><A NAME="tex2html167"
|
---|
1115 | HREF="node7.html#SECTION00070080000000000000">
|
---|
1116 | <I>poly<MATH CLASS="INLINE">
|
---|
1117 | -
|
---|
1118 | </MATH>diff</I></A>
|
---|
1119 | <LI><A NAME="tex2html168"
|
---|
1120 | HREF="node7.html#SECTION00070090000000000000">
|
---|
1121 | <I>standard<MATH CLASS="INLINE">
|
---|
1122 | -
|
---|
1123 | </MATH>vector</I></A>
|
---|
1124 | <LI><A NAME="tex2html169"
|
---|
1125 | HREF="node7.html#SECTION000700100000000000000">
|
---|
1126 | <I>scalar<MATH CLASS="INLINE">
|
---|
1127 | -
|
---|
1128 | </MATH>partial</I></A>
|
---|
1129 | <LI><A NAME="tex2html170"
|
---|
1130 | HREF="node7.html#SECTION000700110000000000000">
|
---|
1131 | <I>partial</I></A>
|
---|
1132 | <LI><A NAME="tex2html171"
|
---|
1133 | HREF="node7.html#SECTION000700120000000000000">
|
---|
1134 | <I>determinant</I></A>
|
---|
1135 | <LI><A NAME="tex2html172"
|
---|
1136 | HREF="node7.html#SECTION000700130000000000000">
|
---|
1137 | <I>minor</I></A>
|
---|
1138 | <LI><A NAME="tex2html173"
|
---|
1139 | HREF="node7.html#SECTION000700140000000000000">
|
---|
1140 | <I>drop<MATH CLASS="INLINE">
|
---|
1141 | -
|
---|
1142 | </MATH>row</I></A>
|
---|
1143 | <LI><A NAME="tex2html174"
|
---|
1144 | HREF="node7.html#SECTION000700150000000000000">
|
---|
1145 | <I>drop<MATH CLASS="INLINE">
|
---|
1146 | -
|
---|
1147 | </MATH>column</I></A>
|
---|
1148 | <LI><A NAME="tex2html175"
|
---|
1149 | HREF="node7.html#SECTION000700160000000000000">
|
---|
1150 | <I>drop<MATH CLASS="INLINE">
|
---|
1151 | -
|
---|
1152 | </MATH>elt</I></A>
|
---|
1153 | <LI><A NAME="tex2html176"
|
---|
1154 | HREF="node7.html#SECTION000700170000000000000">
|
---|
1155 | <I>matrix<MATH CLASS="INLINE">
|
---|
1156 | -
|
---|
1157 | </MATH></I></A>
|
---|
1158 | <LI><A NAME="tex2html177"
|
---|
1159 | HREF="node7.html#SECTION000700180000000000000">
|
---|
1160 | <I>scalar<MATH CLASS="INLINE">
|
---|
1161 | -
|
---|
1162 | </MATH>times<MATH CLASS="INLINE">
|
---|
1163 | -
|
---|
1164 | </MATH>matrix</I></A>
|
---|
1165 | <LI><A NAME="tex2html178"
|
---|
1166 | HREF="node7.html#SECTION000700190000000000000">
|
---|
1167 | <I>monom<MATH CLASS="INLINE">
|
---|
1168 | -
|
---|
1169 | </MATH>times<MATH CLASS="INLINE">
|
---|
1170 | -
|
---|
1171 | </MATH>matrix</I></A>
|
---|
1172 | <LI><A NAME="tex2html179"
|
---|
1173 | HREF="node7.html#SECTION000700200000000000000">
|
---|
1174 | <I>term<MATH CLASS="INLINE">
|
---|
1175 | -
|
---|
1176 | </MATH>times<MATH CLASS="INLINE">
|
---|
1177 | -
|
---|
1178 | </MATH>matrix</I></A>
|
---|
1179 | <LI><A NAME="tex2html180"
|
---|
1180 | HREF="node7.html#SECTION000700210000000000000">
|
---|
1181 | <I>poly<MATH CLASS="INLINE">
|
---|
1182 | -
|
---|
1183 | </MATH>list<MATH CLASS="INLINE">
|
---|
1184 | -
|
---|
1185 | </MATH></I></A>
|
---|
1186 | <LI><A NAME="tex2html181"
|
---|
1187 | HREF="node7.html#SECTION000700220000000000000">
|
---|
1188 | <I>scalar<MATH CLASS="INLINE">
|
---|
1189 | -
|
---|
1190 | </MATH>times<MATH CLASS="INLINE">
|
---|
1191 | -
|
---|
1192 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1193 | -
|
---|
1194 | </MATH>list</I></A>
|
---|
1195 | <LI><A NAME="tex2html182"
|
---|
1196 | HREF="node7.html#SECTION000700230000000000000">
|
---|
1197 | <I>monom<MATH CLASS="INLINE">
|
---|
1198 | -
|
---|
1199 | </MATH>times<MATH CLASS="INLINE">
|
---|
1200 | -
|
---|
1201 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1202 | -
|
---|
1203 | </MATH>list</I></A>
|
---|
1204 | <LI><A NAME="tex2html183"
|
---|
1205 | HREF="node7.html#SECTION000700240000000000000">
|
---|
1206 | <I>term<MATH CLASS="INLINE">
|
---|
1207 | -
|
---|
1208 | </MATH>times<MATH CLASS="INLINE">
|
---|
1209 | -
|
---|
1210 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1211 | -
|
---|
1212 | </MATH>list</I></A>
|
---|
1213 | <LI><A NAME="tex2html184"
|
---|
1214 | HREF="node7.html#SECTION000700250000000000000">
|
---|
1215 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1216 | -
|
---|
1217 | </MATH>combination</I></A>
|
---|
1218 | <LI><A NAME="tex2html185"
|
---|
1219 | HREF="node7.html#SECTION000700260000000000000">
|
---|
1220 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1221 | -
|
---|
1222 | </MATH>combination<MATH CLASS="INLINE">
|
---|
1223 | -
|
---|
1224 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1225 | -
|
---|
1226 | </MATH>list</I></A>
|
---|
1227 | <LI><A NAME="tex2html186"
|
---|
1228 | HREF="node7.html#SECTION000700270000000000000">
|
---|
1229 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1230 | -
|
---|
1231 | </MATH>matrix</I></A>
|
---|
1232 | <LI><A NAME="tex2html187"
|
---|
1233 | HREF="node7.html#SECTION000700280000000000000">
|
---|
1234 | <I>characteristic<MATH CLASS="INLINE">
|
---|
1235 | -
|
---|
1236 | </MATH>polynomial</I></A>
|
---|
1237 | <LI><A NAME="tex2html188"
|
---|
1238 | HREF="node7.html#SECTION000700290000000000000">
|
---|
1239 | <I>identity<MATH CLASS="INLINE">
|
---|
1240 | -
|
---|
1241 | </MATH>matrix</I></A>
|
---|
1242 | <LI><A NAME="tex2html189"
|
---|
1243 | HREF="node7.html#SECTION000700300000000000000">
|
---|
1244 | <I>print<MATH CLASS="INLINE">
|
---|
1245 | -
|
---|
1246 | </MATH>matrix</I></A>
|
---|
1247 | <LI><A NAME="tex2html190"
|
---|
1248 | HREF="node7.html#SECTION000700310000000000000">
|
---|
1249 | <I>jacobi<MATH CLASS="INLINE">
|
---|
1250 | -
|
---|
1251 | </MATH>matrix</I></A>
|
---|
1252 | <LI><A NAME="tex2html191"
|
---|
1253 | HREF="node7.html#SECTION000700320000000000000">
|
---|
1254 | <I>jacobian</I></A>
|
---|
1255 | </UL>
|
---|
1256 | <LI><A NAME="tex2html192"
|
---|
1257 | HREF="node8.html#SECTION00080000000000000000">
|
---|
1258 | The Geometric Theorem Prover package</A>
|
---|
1259 | <UL>
|
---|
1260 | <LI><A NAME="tex2html193"
|
---|
1261 | HREF="node8.html#SECTION00080010000000000000">
|
---|
1262 | <I>*prover<MATH CLASS="INLINE">
|
---|
1263 | -
|
---|
1264 | </MATH>order*</I></A>
|
---|
1265 | <LI><A NAME="tex2html194"
|
---|
1266 | HREF="node8.html#SECTION00080020000000000000">
|
---|
1267 | <I>csym</I></A>
|
---|
1268 | <LI><A NAME="tex2html195"
|
---|
1269 | HREF="node8.html#SECTION00080030000000000000">
|
---|
1270 | <I>real<MATH CLASS="INLINE">
|
---|
1271 | -
|
---|
1272 | </MATH>identical<MATH CLASS="INLINE">
|
---|
1273 | -
|
---|
1274 | </MATH>points</I></A>
|
---|
1275 | <LI><A NAME="tex2html196"
|
---|
1276 | HREF="node8.html#SECTION00080040000000000000">
|
---|
1277 | <I>identical<MATH CLASS="INLINE">
|
---|
1278 | -
|
---|
1279 | </MATH>points</I></A>
|
---|
1280 | <LI><A NAME="tex2html197"
|
---|
1281 | HREF="node8.html#SECTION00080050000000000000">
|
---|
1282 | <I>perpendicular</I></A>
|
---|
1283 | <LI><A NAME="tex2html198"
|
---|
1284 | HREF="node8.html#SECTION00080060000000000000">
|
---|
1285 | <I>parallel</I></A>
|
---|
1286 | <LI><A NAME="tex2html199"
|
---|
1287 | HREF="node8.html#SECTION00080070000000000000">
|
---|
1288 | <I>collinear</I></A>
|
---|
1289 | <LI><A NAME="tex2html200"
|
---|
1290 | HREF="node8.html#SECTION00080080000000000000">
|
---|
1291 | <I>equidistant</I></A>
|
---|
1292 | <LI><A NAME="tex2html201"
|
---|
1293 | HREF="node8.html#SECTION00080090000000000000">
|
---|
1294 | <I>euclidean<MATH CLASS="INLINE">
|
---|
1295 | -
|
---|
1296 | </MATH>distance</I></A>
|
---|
1297 | <LI><A NAME="tex2html202"
|
---|
1298 | HREF="node8.html#SECTION000800100000000000000">
|
---|
1299 | <I>midpoint</I></A>
|
---|
1300 | <LI><A NAME="tex2html203"
|
---|
1301 | HREF="node8.html#SECTION000800110000000000000">
|
---|
1302 | <I>translate<MATH CLASS="INLINE">
|
---|
1303 | -
|
---|
1304 | </MATH>statements</I></A>
|
---|
1305 | <LI><A NAME="tex2html204"
|
---|
1306 | HREF="node8.html#SECTION000800120000000000000">
|
---|
1307 | <I>translate<MATH CLASS="INLINE">
|
---|
1308 | -
|
---|
1309 | </MATH>assumptions</I></A>
|
---|
1310 | <LI><A NAME="tex2html205"
|
---|
1311 | HREF="node8.html#SECTION000800130000000000000">
|
---|
1312 | <I>translate<MATH CLASS="INLINE">
|
---|
1313 | -
|
---|
1314 | </MATH>conclusions</I></A>
|
---|
1315 | <LI><A NAME="tex2html206"
|
---|
1316 | HREF="node8.html#SECTION000800140000000000000">
|
---|
1317 | <I>translate<MATH CLASS="INLINE">
|
---|
1318 | -
|
---|
1319 | </MATH>theorem</I></A>
|
---|
1320 | <LI><A NAME="tex2html207"
|
---|
1321 | HREF="node8.html#SECTION000800150000000000000">
|
---|
1322 | <I>prove<MATH CLASS="INLINE">
|
---|
1323 | -
|
---|
1324 | </MATH>theorem</I></A>
|
---|
1325 | </UL>
|
---|
1326 | <LI><A NAME="tex2html208"
|
---|
1327 | HREF="node9.html#SECTION00090000000000000000">
|
---|
1328 | The Monomial Order Package</A>
|
---|
1329 | <UL>
|
---|
1330 | <LI><A NAME="tex2html209"
|
---|
1331 | HREF="node9.html#SECTION00090010000000000000">
|
---|
1332 | <I>lex<MATH CLASS="INLINE">
|
---|
1333 | >
|
---|
1334 | </MATH></I></A>
|
---|
1335 | <LI><A NAME="tex2html210"
|
---|
1336 | HREF="node9.html#SECTION00090020000000000000">
|
---|
1337 | <I>total<MATH CLASS="INLINE">
|
---|
1338 | -
|
---|
1339 | </MATH>degree</I></A>
|
---|
1340 | <LI><A NAME="tex2html211"
|
---|
1341 | HREF="node9.html#SECTION00090030000000000000">
|
---|
1342 | <I>grlex<MATH CLASS="INLINE">
|
---|
1343 | >
|
---|
1344 | </MATH></I></A>
|
---|
1345 | <LI><A NAME="tex2html212"
|
---|
1346 | HREF="node9.html#SECTION00090040000000000000">
|
---|
1347 | <I>grevlex<MATH CLASS="INLINE">
|
---|
1348 | >
|
---|
1349 | </MATH></I></A>
|
---|
1350 | <LI><A NAME="tex2html213"
|
---|
1351 | HREF="node9.html#SECTION00090050000000000000">
|
---|
1352 | <I>revlex<MATH CLASS="INLINE">
|
---|
1353 | >
|
---|
1354 | </MATH></I></A>
|
---|
1355 | <LI><A NAME="tex2html214"
|
---|
1356 | HREF="node9.html#SECTION00090060000000000000">
|
---|
1357 | <I>invlex<MATH CLASS="INLINE">
|
---|
1358 | >
|
---|
1359 | </MATH></I></A>
|
---|
1360 | <LI><A NAME="tex2html215"
|
---|
1361 | HREF="node9.html#SECTION00090070000000000000">
|
---|
1362 | <I>elimination<MATH CLASS="INLINE">
|
---|
1363 | -
|
---|
1364 | </MATH>order</I></A>
|
---|
1365 | <LI><A NAME="tex2html216"
|
---|
1366 | HREF="node9.html#SECTION00090080000000000000">
|
---|
1367 | <I>elimination<MATH CLASS="INLINE">
|
---|
1368 | -
|
---|
1369 | </MATH>order<MATH CLASS="INLINE">
|
---|
1370 | -
|
---|
1371 | </MATH>1</I></A>
|
---|
1372 | </UL>
|
---|
1373 | <LI><A NAME="tex2html217"
|
---|
1374 | HREF="node10.html#SECTION000100000000000000000">
|
---|
1375 | The Polynomial Package</A>
|
---|
1376 | <UL>
|
---|
1377 | <LI><A NAME="tex2html218"
|
---|
1378 | HREF="node10.html#SECTION000100010000000000000">
|
---|
1379 | <I>scalar<MATH CLASS="INLINE">
|
---|
1380 | -
|
---|
1381 | </MATH>times<MATH CLASS="INLINE">
|
---|
1382 | -
|
---|
1383 | </MATH>poly</I></A>
|
---|
1384 | <LI><A NAME="tex2html219"
|
---|
1385 | HREF="node10.html#SECTION000100020000000000000">
|
---|
1386 | <I>term<MATH CLASS="INLINE">
|
---|
1387 | -
|
---|
1388 | </MATH>times<MATH CLASS="INLINE">
|
---|
1389 | -
|
---|
1390 | </MATH>poly</I></A>
|
---|
1391 | <LI><A NAME="tex2html220"
|
---|
1392 | HREF="node10.html#SECTION000100030000000000000">
|
---|
1393 | <I>monom<MATH CLASS="INLINE">
|
---|
1394 | -
|
---|
1395 | </MATH>times<MATH CLASS="INLINE">
|
---|
1396 | -
|
---|
1397 | </MATH>poly</I></A>
|
---|
1398 | <LI><A NAME="tex2html221"
|
---|
1399 | HREF="node10.html#SECTION000100040000000000000">
|
---|
1400 | <I>minus<MATH CLASS="INLINE">
|
---|
1401 | -
|
---|
1402 | </MATH>poly</I></A>
|
---|
1403 | <LI><A NAME="tex2html222"
|
---|
1404 | HREF="node10.html#SECTION000100050000000000000">
|
---|
1405 | <I>sort<MATH CLASS="INLINE">
|
---|
1406 | -
|
---|
1407 | </MATH>poly</I></A>
|
---|
1408 | <LI><A NAME="tex2html223"
|
---|
1409 | HREF="node10.html#SECTION000100060000000000000">
|
---|
1410 | <I>poly+</I></A>
|
---|
1411 | <LI><A NAME="tex2html224"
|
---|
1412 | HREF="node10.html#SECTION000100070000000000000">
|
---|
1413 | <I>poly<MATH CLASS="INLINE">
|
---|
1414 | -
|
---|
1415 | </MATH></I></A>
|
---|
1416 | <LI><A NAME="tex2html225"
|
---|
1417 | HREF="node10.html#SECTION000100080000000000000">
|
---|
1418 | <I>poly*</I></A>
|
---|
1419 | <LI><A NAME="tex2html226"
|
---|
1420 | HREF="node10.html#SECTION000100090000000000000">
|
---|
1421 | <I>poly<MATH CLASS="INLINE">
|
---|
1422 | -
|
---|
1423 | </MATH>op</I></A>
|
---|
1424 | <LI><A NAME="tex2html227"
|
---|
1425 | HREF="node10.html#SECTION0001000100000000000000">
|
---|
1426 | <I>poly<MATH CLASS="INLINE">
|
---|
1427 | -
|
---|
1428 | </MATH>expt</I></A>
|
---|
1429 | <LI><A NAME="tex2html228"
|
---|
1430 | HREF="node10.html#SECTION0001000110000000000000">
|
---|
1431 | <I>poly<MATH CLASS="INLINE">
|
---|
1432 | -
|
---|
1433 | </MATH>mexpt</I></A>
|
---|
1434 | <LI><A NAME="tex2html229"
|
---|
1435 | HREF="node10.html#SECTION0001000120000000000000">
|
---|
1436 | <I>poly<MATH CLASS="INLINE">
|
---|
1437 | -
|
---|
1438 | </MATH>constant<MATH CLASS="INLINE">
|
---|
1439 | -
|
---|
1440 | </MATH>p</I></A>
|
---|
1441 | <LI><A NAME="tex2html230"
|
---|
1442 | HREF="node10.html#SECTION0001000130000000000000">
|
---|
1443 | <I>poly<MATH CLASS="INLINE">
|
---|
1444 | -
|
---|
1445 | </MATH>extend</I></A>
|
---|
1446 | <LI><A NAME="tex2html231"
|
---|
1447 | HREF="node10.html#SECTION0001000140000000000000">
|
---|
1448 | <I>poly<MATH CLASS="INLINE">
|
---|
1449 | -
|
---|
1450 | </MATH>extend<MATH CLASS="INLINE">
|
---|
1451 | -
|
---|
1452 | </MATH>end</I></A>
|
---|
1453 | <LI><A NAME="tex2html232"
|
---|
1454 | HREF="node10.html#SECTION0001000150000000000000">
|
---|
1455 | <I>poly<MATH CLASS="INLINE">
|
---|
1456 | -
|
---|
1457 | </MATH>zerop</I></A>
|
---|
1458 | <LI><A NAME="tex2html233"
|
---|
1459 | HREF="node10.html#SECTION0001000160000000000000">
|
---|
1460 | <I>lt</I></A>
|
---|
1461 | <LI><A NAME="tex2html234"
|
---|
1462 | HREF="node10.html#SECTION0001000170000000000000">
|
---|
1463 | <I>lm</I></A>
|
---|
1464 | <LI><A NAME="tex2html235"
|
---|
1465 | HREF="node10.html#SECTION0001000180000000000000">
|
---|
1466 | <I>lc</I></A>
|
---|
1467 | </UL>
|
---|
1468 | <LI><A NAME="tex2html236"
|
---|
1469 | HREF="node11.html#SECTION000110000000000000000">
|
---|
1470 | The Parser Package</A>
|
---|
1471 | <UL>
|
---|
1472 | <LI><A NAME="tex2html237"
|
---|
1473 | HREF="node11.html#SECTION000110010000000000000">
|
---|
1474 | <I>parse</I></A>
|
---|
1475 | <LI><A NAME="tex2html238"
|
---|
1476 | HREF="node11.html#SECTION000110020000000000000">
|
---|
1477 | <I>alist<MATH CLASS="INLINE">
|
---|
1478 | -
|
---|
1479 | </MATH>form</I></A>
|
---|
1480 | <LI><A NAME="tex2html239"
|
---|
1481 | HREF="node11.html#SECTION000110030000000000000">
|
---|
1482 | <I>alist<MATH CLASS="INLINE">
|
---|
1483 | -
|
---|
1484 | </MATH>form<MATH CLASS="INLINE">
|
---|
1485 | -
|
---|
1486 | </MATH>1</I></A>
|
---|
1487 | <LI><A NAME="tex2html240"
|
---|
1488 | HREF="node11.html#SECTION000110040000000000000">
|
---|
1489 | <I>powers</I></A>
|
---|
1490 | <LI><A NAME="tex2html241"
|
---|
1491 | HREF="node11.html#SECTION000110050000000000000">
|
---|
1492 | <I>parse<MATH CLASS="INLINE">
|
---|
1493 | -
|
---|
1494 | </MATH>to<MATH CLASS="INLINE">
|
---|
1495 | -
|
---|
1496 | </MATH>alist</I></A>
|
---|
1497 | <LI><A NAME="tex2html242"
|
---|
1498 | HREF="node11.html#SECTION000110060000000000000">
|
---|
1499 | <I>parse<MATH CLASS="INLINE">
|
---|
1500 | -
|
---|
1501 | </MATH>string<MATH CLASS="INLINE">
|
---|
1502 | -
|
---|
1503 | </MATH>to<MATH CLASS="INLINE">
|
---|
1504 | -
|
---|
1505 | </MATH>alist</I></A>
|
---|
1506 | <LI><A NAME="tex2html243"
|
---|
1507 | HREF="node11.html#SECTION000110070000000000000">
|
---|
1508 | <I>parse<MATH CLASS="INLINE">
|
---|
1509 | -
|
---|
1510 | </MATH>to<MATH CLASS="INLINE">
|
---|
1511 | -
|
---|
1512 | </MATH>sorted<MATH CLASS="INLINE">
|
---|
1513 | -
|
---|
1514 | </MATH>alist</I></A>
|
---|
1515 | <LI><A NAME="tex2html244"
|
---|
1516 | HREF="node11.html#SECTION000110080000000000000">
|
---|
1517 | <I>parse<MATH CLASS="INLINE">
|
---|
1518 | -
|
---|
1519 | </MATH>string<MATH CLASS="INLINE">
|
---|
1520 | -
|
---|
1521 | </MATH>to<MATH CLASS="INLINE">
|
---|
1522 | -
|
---|
1523 | </MATH>sorted<MATH CLASS="INLINE">
|
---|
1524 | -
|
---|
1525 | </MATH>alist</I></A>
|
---|
1526 | <LI><A NAME="tex2html245"
|
---|
1527 | HREF="node11.html#SECTION000110090000000000000">
|
---|
1528 | <I>sort<MATH CLASS="INLINE">
|
---|
1529 | -
|
---|
1530 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1531 | -
|
---|
1532 | </MATH>1</I></A>
|
---|
1533 | <LI><A NAME="tex2html246"
|
---|
1534 | HREF="node11.html#SECTION0001100100000000000000">
|
---|
1535 | <I>sort<MATH CLASS="INLINE">
|
---|
1536 | -
|
---|
1537 | </MATH>poly</I></A>
|
---|
1538 | <LI><A NAME="tex2html247"
|
---|
1539 | HREF="node11.html#SECTION0001100110000000000000">
|
---|
1540 | <I>poly<MATH CLASS="INLINE">
|
---|
1541 | -
|
---|
1542 | </MATH>eval<MATH CLASS="INLINE">
|
---|
1543 | -
|
---|
1544 | </MATH>1</I></A>
|
---|
1545 | <LI><A NAME="tex2html248"
|
---|
1546 | HREF="node11.html#SECTION0001100120000000000000">
|
---|
1547 | <I>poly<MATH CLASS="INLINE">
|
---|
1548 | -
|
---|
1549 | </MATH>eval</I></A>
|
---|
1550 | <LI><A NAME="tex2html249"
|
---|
1551 | HREF="node11.html#SECTION0001100130000000000000">
|
---|
1552 | <I>monom<MATH CLASS="INLINE">
|
---|
1553 | -
|
---|
1554 | </MATH>basis</I></A>
|
---|
1555 | <LI><A NAME="tex2html250"
|
---|
1556 | HREF="node11.html#SECTION0001100140000000000000">
|
---|
1557 | <I>convert<MATH CLASS="INLINE">
|
---|
1558 | -
|
---|
1559 | </MATH>number</I></A>
|
---|
1560 | <LI><A NAME="tex2html251"
|
---|
1561 | HREF="node11.html#SECTION0001100150000000000000">
|
---|
1562 | <I>$poly+</I></A>
|
---|
1563 | <LI><A NAME="tex2html252"
|
---|
1564 | HREF="node11.html#SECTION0001100160000000000000">
|
---|
1565 | <I>$poly<MATH CLASS="INLINE">
|
---|
1566 | -
|
---|
1567 | </MATH></I></A>
|
---|
1568 | <LI><A NAME="tex2html253"
|
---|
1569 | HREF="node11.html#SECTION0001100170000000000000">
|
---|
1570 | <I>$minus<MATH CLASS="INLINE">
|
---|
1571 | -
|
---|
1572 | </MATH>poly</I></A>
|
---|
1573 | <LI><A NAME="tex2html254"
|
---|
1574 | HREF="node11.html#SECTION0001100180000000000000">
|
---|
1575 | <I>$poly*</I></A>
|
---|
1576 | <LI><A NAME="tex2html255"
|
---|
1577 | HREF="node11.html#SECTION0001100190000000000000">
|
---|
1578 | <I>$poly/</I></A>
|
---|
1579 | <LI><A NAME="tex2html256"
|
---|
1580 | HREF="node11.html#SECTION0001100200000000000000">
|
---|
1581 | <I>$poly<MATH CLASS="INLINE">
|
---|
1582 | -
|
---|
1583 | </MATH>expt</I></A>
|
---|
1584 | </UL>
|
---|
1585 | <LI><A NAME="tex2html257"
|
---|
1586 | HREF="node12.html#SECTION000120000000000000000">
|
---|
1587 | Other packages</A>
|
---|
1588 | <UL>
|
---|
1589 | <LI><A NAME="tex2html258"
|
---|
1590 | HREF="node12.html#SECTION000120010000000000000">
|
---|
1591 | <I>makelist<MATH CLASS="INLINE">
|
---|
1592 | -
|
---|
1593 | </MATH>1</I></A>
|
---|
1594 | <LI><A NAME="tex2html259"
|
---|
1595 | HREF="node12.html#SECTION000120020000000000000">
|
---|
1596 | <I>makelist</I></A>
|
---|
1597 | <LI><A NAME="tex2html260"
|
---|
1598 | HREF="node12.html#SECTION000120030000000000000">
|
---|
1599 | <I>sum</I></A>
|
---|
1600 | <LI><A NAME="tex2html261"
|
---|
1601 | HREF="node12.html#SECTION000120040000000000000">
|
---|
1602 | <I>list<MATH CLASS="INLINE">
|
---|
1603 | -
|
---|
1604 | </MATH>of</I></A>
|
---|
1605 | <LI><A NAME="tex2html262"
|
---|
1606 | HREF="node12.html#SECTION000120050000000000000">
|
---|
1607 | <I>list<MATH CLASS="INLINE">
|
---|
1608 | -
|
---|
1609 | </MATH>of<MATH CLASS="INLINE">
|
---|
1610 | -
|
---|
1611 | </MATH>1</I></A>
|
---|
1612 | <LI><A NAME="tex2html263"
|
---|
1613 | HREF="node12.html#SECTION000120060000000000000">
|
---|
1614 | <I>union<MATH CLASS="INLINE">
|
---|
1615 | -
|
---|
1616 | </MATH>of</I></A>
|
---|
1617 | <LI><A NAME="tex2html264"
|
---|
1618 | HREF="node12.html#SECTION000120070000000000000">
|
---|
1619 | <I>union<MATH CLASS="INLINE">
|
---|
1620 | -
|
---|
1621 | </MATH>of<MATH CLASS="INLINE">
|
---|
1622 | -
|
---|
1623 | </MATH>1</I></A>
|
---|
1624 | <LI><A NAME="tex2html265"
|
---|
1625 | HREF="node12.html#SECTION000120080000000000000">
|
---|
1626 | <I>set<MATH CLASS="INLINE">
|
---|
1627 | -
|
---|
1628 | </MATH>of</I></A>
|
---|
1629 | <LI><A NAME="tex2html266"
|
---|
1630 | HREF="node12.html#SECTION000120090000000000000">
|
---|
1631 | <I>set<MATH CLASS="INLINE">
|
---|
1632 | -
|
---|
1633 | </MATH>of<MATH CLASS="INLINE">
|
---|
1634 | -
|
---|
1635 | </MATH>1</I></A>
|
---|
1636 | <LI><A NAME="tex2html267"
|
---|
1637 | HREF="node12.html#SECTION0001200100000000000000">
|
---|
1638 | <I>select</I></A>
|
---|
1639 | <LI><A NAME="tex2html268"
|
---|
1640 | HREF="node12.html#SECTION0001200110000000000000">
|
---|
1641 | <I>monom/</I></A>
|
---|
1642 | <LI><A NAME="tex2html269"
|
---|
1643 | HREF="node12.html#SECTION0001200120000000000000">
|
---|
1644 | <I>monom*</I></A>
|
---|
1645 | <LI><A NAME="tex2html270"
|
---|
1646 | HREF="node12.html#SECTION0001200130000000000000">
|
---|
1647 | <I>nmonom*</I></A>
|
---|
1648 | <LI><A NAME="tex2html271"
|
---|
1649 | HREF="node12.html#SECTION0001200140000000000000">
|
---|
1650 | <I>monom<MATH CLASS="INLINE">
|
---|
1651 | -
|
---|
1652 | </MATH>divides<MATH CLASS="INLINE">
|
---|
1653 | -
|
---|
1654 | </MATH>p</I></A>
|
---|
1655 | <LI><A NAME="tex2html272"
|
---|
1656 | HREF="node12.html#SECTION0001200150000000000000">
|
---|
1657 | <I>monom<MATH CLASS="INLINE">
|
---|
1658 | -
|
---|
1659 | </MATH>divisible<MATH CLASS="INLINE">
|
---|
1660 | -
|
---|
1661 | </MATH>by<MATH CLASS="INLINE">
|
---|
1662 | -
|
---|
1663 | </MATH>p</I></A>
|
---|
1664 | <LI><A NAME="tex2html273"
|
---|
1665 | HREF="node12.html#SECTION0001200160000000000000">
|
---|
1666 | <I>monom<MATH CLASS="INLINE">
|
---|
1667 | -
|
---|
1668 | </MATH>rel<MATH CLASS="INLINE">
|
---|
1669 | -
|
---|
1670 | </MATH>prime</I></A>
|
---|
1671 | <LI><A NAME="tex2html274"
|
---|
1672 | HREF="node12.html#SECTION0001200170000000000000">
|
---|
1673 | <I>monom<MATH CLASS="INLINE">
|
---|
1674 | -
|
---|
1675 | </MATH>equal</I></A>
|
---|
1676 | <LI><A NAME="tex2html275"
|
---|
1677 | HREF="node12.html#SECTION0001200180000000000000">
|
---|
1678 | <I>monom<MATH CLASS="INLINE">
|
---|
1679 | -
|
---|
1680 | </MATH>lcm</I></A>
|
---|
1681 | <LI><A NAME="tex2html276"
|
---|
1682 | HREF="node12.html#SECTION0001200190000000000000">
|
---|
1683 | <I>monom<MATH CLASS="INLINE">
|
---|
1684 | -
|
---|
1685 | </MATH>gcd</I></A>
|
---|
1686 | <LI><A NAME="tex2html277"
|
---|
1687 | HREF="node12.html#SECTION0001200200000000000000">
|
---|
1688 | <I>poly<MATH CLASS="INLINE">
|
---|
1689 | -
|
---|
1690 | </MATH>gcd</I></A>
|
---|
1691 | <LI><A NAME="tex2html278"
|
---|
1692 | HREF="node12.html#SECTION0001200210000000000000">
|
---|
1693 | <I>poly<MATH CLASS="INLINE">
|
---|
1694 | -
|
---|
1695 | </MATH>pseudo<MATH CLASS="INLINE">
|
---|
1696 | -
|
---|
1697 | </MATH>divide</I></A>
|
---|
1698 | <LI><A NAME="tex2html279"
|
---|
1699 | HREF="node12.html#SECTION0001200220000000000000">
|
---|
1700 | <I>poly<MATH CLASS="INLINE">
|
---|
1701 | -
|
---|
1702 | </MATH>pseudo<MATH CLASS="INLINE">
|
---|
1703 | -
|
---|
1704 | </MATH>remainder</I></A>
|
---|
1705 | <LI><A NAME="tex2html280"
|
---|
1706 | HREF="node12.html#SECTION0001200230000000000000">
|
---|
1707 | <I>mdeg</I></A>
|
---|
1708 | <LI><A NAME="tex2html281"
|
---|
1709 | HREF="node12.html#SECTION0001200240000000000000">
|
---|
1710 | <I>lcoeff</I></A>
|
---|
1711 | <LI><A NAME="tex2html282"
|
---|
1712 | HREF="node12.html#SECTION0001200250000000000000">
|
---|
1713 | <I>lrest</I></A>
|
---|
1714 | <LI><A NAME="tex2html283"
|
---|
1715 | HREF="node12.html#SECTION0001200260000000000000">
|
---|
1716 | <I>lpart</I></A>
|
---|
1717 | <LI><A NAME="tex2html284"
|
---|
1718 | HREF="node12.html#SECTION0001200270000000000000">
|
---|
1719 | <I>poly<MATH CLASS="INLINE">
|
---|
1720 | -
|
---|
1721 | </MATH>primitive<MATH CLASS="INLINE">
|
---|
1722 | -
|
---|
1723 | </MATH>part</I></A>
|
---|
1724 | <LI><A NAME="tex2html285"
|
---|
1725 | HREF="node12.html#SECTION0001200280000000000000">
|
---|
1726 | <I>poly<MATH CLASS="INLINE">
|
---|
1727 | -
|
---|
1728 | </MATH>content</I></A>
|
---|
1729 | <LI><A NAME="tex2html286"
|
---|
1730 | HREF="node12.html#SECTION0001200290000000000000">
|
---|
1731 | <I>poly<MATH CLASS="INLINE">
|
---|
1732 | -
|
---|
1733 | </MATH>with<MATH CLASS="INLINE">
|
---|
1734 | -
|
---|
1735 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1736 | -
|
---|
1737 | </MATH>poly</I></A>
|
---|
1738 | <LI><A NAME="tex2html287"
|
---|
1739 | HREF="node12.html#SECTION0001200300000000000000">
|
---|
1740 | <I>poly<MATH CLASS="INLINE">
|
---|
1741 | -
|
---|
1742 | </MATH>with<MATH CLASS="INLINE">
|
---|
1743 | -
|
---|
1744 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1745 | -
|
---|
1746 | </MATH>sugar</I></A>
|
---|
1747 | <LI><A NAME="tex2html288"
|
---|
1748 | HREF="node12.html#SECTION0001200310000000000000">
|
---|
1749 | <I>poly<MATH CLASS="INLINE">
|
---|
1750 | -
|
---|
1751 | </MATH>with<MATH CLASS="INLINE">
|
---|
1752 | -
|
---|
1753 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1754 | -
|
---|
1755 | </MATH>tail</I></A>
|
---|
1756 | <LI><A NAME="tex2html289"
|
---|
1757 | HREF="node12.html#SECTION0001200320000000000000">
|
---|
1758 | <I>(setf poly<MATH CLASS="INLINE">
|
---|
1759 | -
|
---|
1760 | </MATH>with<MATH CLASS="INLINE">
|
---|
1761 | -
|
---|
1762 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1763 | -
|
---|
1764 | </MATH>poly)</I></A>
|
---|
1765 | <LI><A NAME="tex2html290"
|
---|
1766 | HREF="node12.html#SECTION0001200330000000000000">
|
---|
1767 | <I>(setf poly<MATH CLASS="INLINE">
|
---|
1768 | -
|
---|
1769 | </MATH>with<MATH CLASS="INLINE">
|
---|
1770 | -
|
---|
1771 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1772 | -
|
---|
1773 | </MATH>sugar)</I></A>
|
---|
1774 | <LI><A NAME="tex2html291"
|
---|
1775 | HREF="node12.html#SECTION0001200340000000000000">
|
---|
1776 | <I>(setf poly<MATH CLASS="INLINE">
|
---|
1777 | -
|
---|
1778 | </MATH>with<MATH CLASS="INLINE">
|
---|
1779 | -
|
---|
1780 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1781 | -
|
---|
1782 | </MATH>tail)</I></A>
|
---|
1783 | <LI><A NAME="tex2html292"
|
---|
1784 | HREF="node12.html#SECTION0001200350000000000000">
|
---|
1785 | <I>monom<MATH CLASS="INLINE">
|
---|
1786 | -
|
---|
1787 | </MATH>sugar</I></A>
|
---|
1788 | <LI><A NAME="tex2html293"
|
---|
1789 | HREF="node12.html#SECTION0001200360000000000000">
|
---|
1790 | <I>coefficient<MATH CLASS="INLINE">
|
---|
1791 | -
|
---|
1792 | </MATH>sugar</I></A>
|
---|
1793 | <LI><A NAME="tex2html294"
|
---|
1794 | HREF="node12.html#SECTION0001200370000000000000">
|
---|
1795 | <I>term<MATH CLASS="INLINE">
|
---|
1796 | -
|
---|
1797 | </MATH>sugar</I></A>
|
---|
1798 | <LI><A NAME="tex2html295"
|
---|
1799 | HREF="node12.html#SECTION0001200380000000000000">
|
---|
1800 | <I>poly<MATH CLASS="INLINE">
|
---|
1801 | -
|
---|
1802 | </MATH>add<MATH CLASS="INLINE">
|
---|
1803 | -
|
---|
1804 | </MATH>sugar</I></A>
|
---|
1805 | <LI><A NAME="tex2html296"
|
---|
1806 | HREF="node12.html#SECTION0001200390000000000000">
|
---|
1807 | <I>scalar<MATH CLASS="INLINE">
|
---|
1808 | -
|
---|
1809 | </MATH>times<MATH CLASS="INLINE">
|
---|
1810 | -
|
---|
1811 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1812 | -
|
---|
1813 | </MATH>with<MATH CLASS="INLINE">
|
---|
1814 | -
|
---|
1815 | </MATH>sugar</I></A>
|
---|
1816 | <LI><A NAME="tex2html297"
|
---|
1817 | HREF="node12.html#SECTION0001200400000000000000">
|
---|
1818 | <I>term<MATH CLASS="INLINE">
|
---|
1819 | -
|
---|
1820 | </MATH>times<MATH CLASS="INLINE">
|
---|
1821 | -
|
---|
1822 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1823 | -
|
---|
1824 | </MATH>with<MATH CLASS="INLINE">
|
---|
1825 | -
|
---|
1826 | </MATH>sugar</I></A>
|
---|
1827 | <LI><A NAME="tex2html298"
|
---|
1828 | HREF="node12.html#SECTION0001200410000000000000">
|
---|
1829 | <I>monom<MATH CLASS="INLINE">
|
---|
1830 | -
|
---|
1831 | </MATH>times<MATH CLASS="INLINE">
|
---|
1832 | -
|
---|
1833 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1834 | -
|
---|
1835 | </MATH>with<MATH CLASS="INLINE">
|
---|
1836 | -
|
---|
1837 | </MATH>sugar</I></A>
|
---|
1838 | <LI><A NAME="tex2html299"
|
---|
1839 | HREF="node12.html#SECTION0001200420000000000000">
|
---|
1840 | <I>minus<MATH CLASS="INLINE">
|
---|
1841 | -
|
---|
1842 | </MATH>poly<MATH CLASS="INLINE">
|
---|
1843 | -
|
---|
1844 | </MATH>with<MATH CLASS="INLINE">
|
---|
1845 | -
|
---|
1846 | </MATH>sugar</I></A>
|
---|
1847 | <LI><A NAME="tex2html300"
|
---|
1848 | HREF="node12.html#SECTION0001200430000000000000">
|
---|
1849 | <I>poly<MATH CLASS="INLINE">
|
---|
1850 | -
|
---|
1851 | </MATH>with<MATH CLASS="INLINE">
|
---|
1852 | -
|
---|
1853 | </MATH>sugar+</I></A>
|
---|
1854 | <LI><A NAME="tex2html301"
|
---|
1855 | HREF="node12.html#SECTION0001200440000000000000">
|
---|
1856 | <I>poly<MATH CLASS="INLINE">
|
---|
1857 | -
|
---|
1858 | </MATH>with<MATH CLASS="INLINE">
|
---|
1859 | -
|
---|
1860 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1861 | -
|
---|
1862 | </MATH></I></A>
|
---|
1863 | <LI><A NAME="tex2html302"
|
---|
1864 | HREF="node12.html#SECTION0001200450000000000000">
|
---|
1865 | <I>poly<MATH CLASS="INLINE">
|
---|
1866 | -
|
---|
1867 | </MATH>with<MATH CLASS="INLINE">
|
---|
1868 | -
|
---|
1869 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1870 | -
|
---|
1871 | </MATH>op</I></A>
|
---|
1872 | <LI><A NAME="tex2html303"
|
---|
1873 | HREF="node12.html#SECTION0001200460000000000000">
|
---|
1874 | <I>poly<MATH CLASS="INLINE">
|
---|
1875 | -
|
---|
1876 | </MATH>with<MATH CLASS="INLINE">
|
---|
1877 | -
|
---|
1878 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1879 | -
|
---|
1880 | </MATH>nreverse</I></A>
|
---|
1881 | <LI><A NAME="tex2html304"
|
---|
1882 | HREF="node12.html#SECTION0001200470000000000000">
|
---|
1883 | <I>poly<MATH CLASS="INLINE">
|
---|
1884 | -
|
---|
1885 | </MATH>with<MATH CLASS="INLINE">
|
---|
1886 | -
|
---|
1887 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1888 | -
|
---|
1889 | </MATH>append</I></A>
|
---|
1890 | <LI><A NAME="tex2html305"
|
---|
1891 | HREF="node12.html#SECTION0001200480000000000000">
|
---|
1892 | <I>poly<MATH CLASS="INLINE">
|
---|
1893 | -
|
---|
1894 | </MATH>with<MATH CLASS="INLINE">
|
---|
1895 | -
|
---|
1896 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1897 | -
|
---|
1898 | </MATH>zerop</I></A>
|
---|
1899 | <LI><A NAME="tex2html306"
|
---|
1900 | HREF="node12.html#SECTION0001200490000000000000">
|
---|
1901 | <I>poly<MATH CLASS="INLINE">
|
---|
1902 | -
|
---|
1903 | </MATH>with<MATH CLASS="INLINE">
|
---|
1904 | -
|
---|
1905 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1906 | -
|
---|
1907 | </MATH>lm</I></A>
|
---|
1908 | <LI><A NAME="tex2html307"
|
---|
1909 | HREF="node12.html#SECTION0001200500000000000000">
|
---|
1910 | <I>poly<MATH CLASS="INLINE">
|
---|
1911 | -
|
---|
1912 | </MATH>with<MATH CLASS="INLINE">
|
---|
1913 | -
|
---|
1914 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1915 | -
|
---|
1916 | </MATH>lc</I></A>
|
---|
1917 | <LI><A NAME="tex2html308"
|
---|
1918 | HREF="node12.html#SECTION0001200510000000000000">
|
---|
1919 | <I>poly<MATH CLASS="INLINE">
|
---|
1920 | -
|
---|
1921 | </MATH>with<MATH CLASS="INLINE">
|
---|
1922 | -
|
---|
1923 | </MATH>sugar<MATH CLASS="INLINE">
|
---|
1924 | -
|
---|
1925 | </MATH>lt</I></A>
|
---|
1926 | <LI><A NAME="tex2html309"
|
---|
1927 | HREF="node12.html#SECTION0001200520000000000000">
|
---|
1928 | <I>poly<MATH CLASS="INLINE">
|
---|
1929 | -
|
---|
1930 | </MATH>print</I></A>
|
---|
1931 | <LI><A NAME="tex2html310"
|
---|
1932 | HREF="node12.html#SECTION0001200530000000000000">
|
---|
1933 | <I>poly<MATH CLASS="INLINE">
|
---|
1934 | -
|
---|
1935 | </MATH>print<MATH CLASS="INLINE">
|
---|
1936 | -
|
---|
1937 | </MATH>1</I></A>
|
---|
1938 | <LI><A NAME="tex2html311"
|
---|
1939 | HREF="node12.html#SECTION0001200540000000000000">
|
---|
1940 | <I>poly<MATH CLASS="INLINE">
|
---|
1941 | -
|
---|
1942 | </MATH>print<MATH CLASS="INLINE">
|
---|
1943 | -
|
---|
1944 | </MATH>2</I></A>
|
---|
1945 | <LI><A NAME="tex2html312"
|
---|
1946 | HREF="node12.html#SECTION0001200550000000000000">
|
---|
1947 | <I>print<MATH CLASS="INLINE">
|
---|
1948 | -
|
---|
1949 | </MATH>term</I></A>
|
---|
1950 | <LI><A NAME="tex2html313"
|
---|
1951 | HREF="node12.html#SECTION0001200560000000000000">
|
---|
1952 | <I>print<MATH CLASS="INLINE">
|
---|
1953 | -
|
---|
1954 | </MATH>monom</I></A>
|
---|
1955 | <LI><A NAME="tex2html314"
|
---|
1956 | HREF="node12.html#SECTION0001200570000000000000">
|
---|
1957 | <I>num</I></A>
|
---|
1958 | <LI><A NAME="tex2html315"
|
---|
1959 | HREF="node12.html#SECTION0001200580000000000000">
|
---|
1960 | <I>denom</I></A>
|
---|
1961 | <LI><A NAME="tex2html316"
|
---|
1962 | HREF="node12.html#SECTION0001200590000000000000">
|
---|
1963 | <I>rat<MATH CLASS="INLINE">
|
---|
1964 | -
|
---|
1965 | </MATH>simplify<MATH CLASS="INLINE">
|
---|
1966 | -
|
---|
1967 | </MATH>2</I></A>
|
---|
1968 | <LI><A NAME="tex2html317"
|
---|
1969 | HREF="node12.html#SECTION0001200600000000000000">
|
---|
1970 | <I>rat<MATH CLASS="INLINE">
|
---|
1971 | -
|
---|
1972 | </MATH>simplify</I></A>
|
---|
1973 | <LI><A NAME="tex2html318"
|
---|
1974 | HREF="node12.html#SECTION0001200610000000000000">
|
---|
1975 | <I>rat+</I></A>
|
---|
1976 | <LI><A NAME="tex2html319"
|
---|
1977 | HREF="node12.html#SECTION0001200620000000000000">
|
---|
1978 | <I>rat<MATH CLASS="INLINE">
|
---|
1979 | -
|
---|
1980 | </MATH></I></A>
|
---|
1981 | <LI><A NAME="tex2html320"
|
---|
1982 | HREF="node12.html#SECTION0001200630000000000000">
|
---|
1983 | <I>rat*</I></A>
|
---|
1984 | <LI><A NAME="tex2html321"
|
---|
1985 | HREF="node12.html#SECTION0001200640000000000000">
|
---|
1986 | <I>rat/</I></A>
|
---|
1987 | <LI><A NAME="tex2html322"
|
---|
1988 | HREF="node12.html#SECTION0001200650000000000000">
|
---|
1989 | <I>scalar<MATH CLASS="INLINE">
|
---|
1990 | -
|
---|
1991 | </MATH>times<MATH CLASS="INLINE">
|
---|
1992 | -
|
---|
1993 | </MATH>rat</I></A>
|
---|
1994 | <LI><A NAME="tex2html323"
|
---|
1995 | HREF="node12.html#SECTION0001200660000000000000">
|
---|
1996 | <I>scalar<MATH CLASS="INLINE">
|
---|
1997 | -
|
---|
1998 | </MATH>div<MATH CLASS="INLINE">
|
---|
1999 | -
|
---|
2000 | </MATH>rat</I></A>
|
---|
2001 | <LI><A NAME="tex2html324"
|
---|
2002 | HREF="node12.html#SECTION0001200670000000000000">
|
---|
2003 | <I>rat<MATH CLASS="INLINE">
|
---|
2004 | -
|
---|
2005 | </MATH>zerop</I></A>
|
---|
2006 | <LI><A NAME="tex2html325"
|
---|
2007 | HREF="node12.html#SECTION0001200680000000000000">
|
---|
2008 | <I>rat<MATH CLASS="INLINE">
|
---|
2009 | -
|
---|
2010 | </MATH>uminus</I></A>
|
---|
2011 | <LI><A NAME="tex2html326"
|
---|
2012 | HREF="node12.html#SECTION0001200690000000000000">
|
---|
2013 | <I>rat<MATH CLASS="INLINE">
|
---|
2014 | -
|
---|
2015 | </MATH>expt</I></A>
|
---|
2016 | <LI><A NAME="tex2html327"
|
---|
2017 | HREF="node12.html#SECTION0001200700000000000000">
|
---|
2018 | <I>rat<MATH CLASS="INLINE">
|
---|
2019 | -
|
---|
2020 | </MATH>constant</I></A>
|
---|
2021 | <LI><A NAME="tex2html328"
|
---|
2022 | HREF="node12.html#SECTION0001200710000000000000">
|
---|
2023 | <I>rat<MATH CLASS="INLINE">
|
---|
2024 | -
|
---|
2025 | </MATH>to<MATH CLASS="INLINE">
|
---|
2026 | -
|
---|
2027 | </MATH>poly</I></A>
|
---|
2028 | <LI><A NAME="tex2html329"
|
---|
2029 | HREF="node12.html#SECTION0001200720000000000000">
|
---|
2030 | <I>ratpoly+</I></A>
|
---|
2031 | <LI><A NAME="tex2html330"
|
---|
2032 | HREF="node12.html#SECTION0001200730000000000000">
|
---|
2033 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2034 | -
|
---|
2035 | </MATH></I></A>
|
---|
2036 | <LI><A NAME="tex2html331"
|
---|
2037 | HREF="node12.html#SECTION0001200740000000000000">
|
---|
2038 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2039 | -
|
---|
2040 | </MATH>uminus</I></A>
|
---|
2041 | <LI><A NAME="tex2html332"
|
---|
2042 | HREF="node12.html#SECTION0001200750000000000000">
|
---|
2043 | <I>ratpoly*</I></A>
|
---|
2044 | <LI><A NAME="tex2html333"
|
---|
2045 | HREF="node12.html#SECTION0001200760000000000000">
|
---|
2046 | <I>scalar<MATH CLASS="INLINE">
|
---|
2047 | -
|
---|
2048 | </MATH>times<MATH CLASS="INLINE">
|
---|
2049 | -
|
---|
2050 | </MATH>ratpoly</I></A>
|
---|
2051 | <LI><A NAME="tex2html334"
|
---|
2052 | HREF="node12.html#SECTION0001200770000000000000">
|
---|
2053 | <I>rat<MATH CLASS="INLINE">
|
---|
2054 | -
|
---|
2055 | </MATH>times<MATH CLASS="INLINE">
|
---|
2056 | -
|
---|
2057 | </MATH>ratpoly</I></A>
|
---|
2058 | <LI><A NAME="tex2html335"
|
---|
2059 | HREF="node12.html#SECTION0001200780000000000000">
|
---|
2060 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2061 | -
|
---|
2062 | </MATH>divide</I></A>
|
---|
2063 | <LI><A NAME="tex2html336"
|
---|
2064 | HREF="node12.html#SECTION0001200790000000000000">
|
---|
2065 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2066 | -
|
---|
2067 | </MATH>remainder</I></A>
|
---|
2068 | <LI><A NAME="tex2html337"
|
---|
2069 | HREF="node12.html#SECTION0001200800000000000000">
|
---|
2070 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2071 | -
|
---|
2072 | </MATH>gcd</I></A>
|
---|
2073 | <LI><A NAME="tex2html338"
|
---|
2074 | HREF="node12.html#SECTION0001200810000000000000">
|
---|
2075 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2076 | -
|
---|
2077 | </MATH>diff</I></A>
|
---|
2078 | <LI><A NAME="tex2html339"
|
---|
2079 | HREF="node12.html#SECTION0001200820000000000000">
|
---|
2080 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2081 | -
|
---|
2082 | </MATH>square<MATH CLASS="INLINE">
|
---|
2083 | -
|
---|
2084 | </MATH>free</I></A>
|
---|
2085 | <LI><A NAME="tex2html340"
|
---|
2086 | HREF="node12.html#SECTION0001200830000000000000">
|
---|
2087 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2088 | -
|
---|
2089 | </MATH>normalize</I></A>
|
---|
2090 | <LI><A NAME="tex2html341"
|
---|
2091 | HREF="node12.html#SECTION0001200840000000000000">
|
---|
2092 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2093 | -
|
---|
2094 | </MATH>resultant</I></A>
|
---|
2095 | <LI><A NAME="tex2html342"
|
---|
2096 | HREF="node12.html#SECTION0001200850000000000000">
|
---|
2097 | <I>deg</I></A>
|
---|
2098 | <LI><A NAME="tex2html343"
|
---|
2099 | HREF="node12.html#SECTION0001200860000000000000">
|
---|
2100 | <I>lead</I></A>
|
---|
2101 | <LI><A NAME="tex2html344"
|
---|
2102 | HREF="node12.html#SECTION0001200870000000000000">
|
---|
2103 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2104 | -
|
---|
2105 | </MATH>discriminant</I></A>
|
---|
2106 | <LI><A NAME="tex2html345"
|
---|
2107 | HREF="node12.html#SECTION0001200880000000000000">
|
---|
2108 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2109 | -
|
---|
2110 | </MATH>print</I></A>
|
---|
2111 | <LI><A NAME="tex2html346"
|
---|
2112 | HREF="node12.html#SECTION0001200890000000000000">
|
---|
2113 | <I>poly<MATH CLASS="INLINE">
|
---|
2114 | -
|
---|
2115 | </MATH>to<MATH CLASS="INLINE">
|
---|
2116 | -
|
---|
2117 | </MATH>ratpoly</I></A>
|
---|
2118 | <LI><A NAME="tex2html347"
|
---|
2119 | HREF="node12.html#SECTION0001200900000000000000">
|
---|
2120 | <I>poly<MATH CLASS="INLINE">
|
---|
2121 | -
|
---|
2122 | </MATH>to<MATH CLASS="INLINE">
|
---|
2123 | -
|
---|
2124 | </MATH>poly1</I></A>
|
---|
2125 | <LI><A NAME="tex2html348"
|
---|
2126 | HREF="node12.html#SECTION0001200910000000000000">
|
---|
2127 | <I>poly1<MATH CLASS="INLINE">
|
---|
2128 | -
|
---|
2129 | </MATH>to<MATH CLASS="INLINE">
|
---|
2130 | -
|
---|
2131 | </MATH>ratpoly</I></A>
|
---|
2132 | <LI><A NAME="tex2html349"
|
---|
2133 | HREF="node12.html#SECTION0001200920000000000000">
|
---|
2134 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2135 | -
|
---|
2136 | </MATH>to<MATH CLASS="INLINE">
|
---|
2137 | -
|
---|
2138 | </MATH>poly1</I></A>
|
---|
2139 | <LI><A NAME="tex2html350"
|
---|
2140 | HREF="node12.html#SECTION0001200930000000000000">
|
---|
2141 | <I>poly1<MATH CLASS="INLINE">
|
---|
2142 | -
|
---|
2143 | </MATH>to<MATH CLASS="INLINE">
|
---|
2144 | -
|
---|
2145 | </MATH>poly</I></A>
|
---|
2146 | <LI><A NAME="tex2html351"
|
---|
2147 | HREF="node12.html#SECTION0001200940000000000000">
|
---|
2148 | <I>ratpoly<MATH CLASS="INLINE">
|
---|
2149 | -
|
---|
2150 | </MATH>to<MATH CLASS="INLINE">
|
---|
2151 | -
|
---|
2152 | </MATH>poly</I></A>
|
---|
2153 | <LI><A NAME="tex2html352"
|
---|
2154 | HREF="node12.html#SECTION0001200950000000000000">
|
---|
2155 | <I>poly<MATH CLASS="INLINE">
|
---|
2156 | -
|
---|
2157 | </MATH>resultant</I></A>
|
---|
2158 | <LI><A NAME="tex2html353"
|
---|
2159 | HREF="node12.html#SECTION0001200960000000000000">
|
---|
2160 | <I>term*</I></A>
|
---|
2161 | <LI><A NAME="tex2html354"
|
---|
2162 | HREF="node12.html#SECTION0001200970000000000000">
|
---|
2163 | <I>term/</I></A>
|
---|
2164 | <LI><A NAME="tex2html355"
|
---|
2165 | HREF="node12.html#SECTION0001200980000000000000">
|
---|
2166 | <I>monom<MATH CLASS="INLINE">
|
---|
2167 | -
|
---|
2168 | </MATH>times<MATH CLASS="INLINE">
|
---|
2169 | -
|
---|
2170 | </MATH>term</I></A>
|
---|
2171 | <LI><A NAME="tex2html356"
|
---|
2172 | HREF="node12.html#SECTION0001200990000000000000">
|
---|
2173 | <I>term<MATH CLASS="INLINE">
|
---|
2174 | -
|
---|
2175 | </MATH>divides<MATH CLASS="INLINE">
|
---|
2176 | -
|
---|
2177 | </MATH>p</I></A>
|
---|
2178 | <LI><A NAME="tex2html357"
|
---|
2179 | HREF="node12.html#SECTION00012001000000000000000">
|
---|
2180 | <I>term<MATH CLASS="INLINE">
|
---|
2181 | -
|
---|
2182 | </MATH>monom</I></A>
|
---|
2183 | <LI><A NAME="tex2html358"
|
---|
2184 | HREF="node12.html#SECTION00012001010000000000000">
|
---|
2185 | <I>term<MATH CLASS="INLINE">
|
---|
2186 | -
|
---|
2187 | </MATH>coefficient</I></A>
|
---|
2188 | <LI><A NAME="tex2html359"
|
---|
2189 | HREF="node12.html#SECTION00012001020000000000000">
|
---|
2190 | <I>(setf term<MATH CLASS="INLINE">
|
---|
2191 | -
|
---|
2192 | </MATH>monom)</I></A>
|
---|
2193 | <LI><A NAME="tex2html360"
|
---|
2194 | HREF="node12.html#SECTION00012001030000000000000">
|
---|
2195 | <I>(setf term<MATH CLASS="INLINE">
|
---|
2196 | -
|
---|
2197 | </MATH>coefficient)</I></A>
|
---|
2198 | <LI><A NAME="tex2html361"
|
---|
2199 | HREF="node12.html#SECTION00012001040000000000000">
|
---|
2200 | <I>xgcd</I></A>
|
---|
2201 | </UL>
|
---|
2202 | <LI><A NAME="tex2html362"
|
---|
2203 | HREF="node13.html#SECTION000130000000000000000">
|
---|
2204 | All examples produced by the <TT>all-examples</TT> utility</A>
|
---|
2205 | <LI><A NAME="tex2html363"
|
---|
2206 | HREF="node14.html#SECTION000140000000000000000">
|
---|
2207 | About this document ... </A>
|
---|
2208 | </UL>
|
---|
2209 | <!--End of Table of Child-Links-->
|
---|
2210 | <BR><HR>
|
---|
2211 | <ADDRESS>
|
---|
2212 | <I>Marek Rychlik</I>
|
---|
2213 | <BR><I>3/21/1998</I>
|
---|
2214 | </ADDRESS>
|
---|
2215 | </BODY>
|
---|
2216 | </HTML>
|
---|