source: CGBLisp/latex-doc/manual.toc@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

First import of a version circa 1997.
File size: 19.8 KB
Line 
1\contentsline {section}{\numberline {1}The Gr\"obner Basis package}{1}
2\contentsline {paragraph}{{\sf *grobner$-$debug*}}{1}
3\contentsline {paragraph}{{\sf *buchberger$-$merge$-$pairs*}}{1}
4\contentsline {paragraph}{{\sf *gebauer$-$moeller$-$merge$-$pairs*}}{1}
5\contentsline {paragraph}{{\sf *grobner$-$function*}}{1}
6\contentsline {paragraph}{{\sf select$-$grobner$-$algorithm}}{2}
7\contentsline {paragraph}{{\sf grobner}}{2}
8\contentsline {paragraph}{{\sf debug$-$cgb}}{2}
9\contentsline {paragraph}{{\sf spoly}}{2}
10\contentsline {paragraph}{{\sf grobner$-$primitive$-$part}}{2}
11\contentsline {paragraph}{{\sf grobner$-$content}}{2}
12\contentsline {paragraph}{{\sf normal$-$form}}{2}
13\contentsline {paragraph}{{\sf buchberger}}{3}
14\contentsline {paragraph}{{\sf grobner$-$op}}{3}
15\contentsline {paragraph}{{\sf buchberger$-$sort$-$pairs}}{3}
16\contentsline {paragraph}{{\sf mock$-$spoly}}{3}
17\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$mock$-$spoly}}{3}
18\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$smallest$-$lcm}}{3}
19\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$degree}}{3}
20\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$length}}{3}
21\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}}{3}
22\contentsline {paragraph}{{\sf buchberger$-$set$-$pair$-$heuristic}}{4}
23\contentsline {paragraph}{{\sf criterion$-$1}}{4}
24\contentsline {paragraph}{{\sf criterion$-$2}}{4}
25\contentsline {paragraph}{{\sf normalize$-$poly}}{4}
26\contentsline {paragraph}{{\sf normalize$-$basis}}{4}
27\contentsline {paragraph}{{\sf reduction}}{4}
28\contentsline {paragraph}{{\sf reduced$-$grobner}}{4}
29\contentsline {paragraph}{{\sf monom$-$depends$-$p}}{4}
30\contentsline {paragraph}{{\sf term$-$depends$-$p}}{4}
31\contentsline {paragraph}{{\sf poly$-$depends$-$p}}{5}
32\contentsline {paragraph}{{\sf ring$-$intersection}}{5}
33\contentsline {paragraph}{{\sf elimination$-$ideal}}{5}
34\contentsline {paragraph}{{\sf ideal$-$intersection}}{5}
35\contentsline {paragraph}{{\sf poly$-$contract}}{5}
36\contentsline {paragraph}{{\sf poly$-$lcm}}{5}
37\contentsline {paragraph}{{\sf grobner$-$gcd}}{5}
38\contentsline {paragraph}{{\sf grobner$-$equal}}{5}
39\contentsline {paragraph}{{\sf grobner$-$subsetp}}{6}
40\contentsline {paragraph}{{\sf grobner$-$member}}{6}
41\contentsline {paragraph}{{\sf ideal$-$equal}}{6}
42\contentsline {paragraph}{{\sf ideal$-$subsetp}}{6}
43\contentsline {paragraph}{{\sf ideal$-$member}}{6}
44\contentsline {paragraph}{{\sf ideal$-$saturation$-$1}}{6}
45\contentsline {paragraph}{{\sf add$-$variables}}{6}
46\contentsline {paragraph}{{\sf extend$-$polynomials}}{6}
47\contentsline {paragraph}{{\sf saturation$-$extension}}{6}
48\contentsline {paragraph}{{\sf polysaturation$-$extension}}{7}
49\contentsline {paragraph}{{\sf saturation$-$extension$-$1}}{7}
50\contentsline {paragraph}{{\sf ideal$-$polysaturation$-$1}}{7}
51\contentsline {paragraph}{{\sf ideal$-$saturation}}{7}
52\contentsline {paragraph}{{\sf ideal$-$polysaturation}}{7}
53\contentsline {paragraph}{{\sf buchberger$-$criterion}}{7}
54\contentsline {paragraph}{{\sf grobner$-$test}}{7}
55\contentsline {paragraph}{{\sf minimization}}{7}
56\contentsline {paragraph}{{\sf add$-$minimized}}{7}
57\contentsline {paragraph}{{\sf colon$-$ideal}}{8}
58\contentsline {paragraph}{{\sf colon$-$ideal$-$1}}{8}
59\contentsline {paragraph}{{\sf pseudo$-$divide}}{8}
60\contentsline {paragraph}{{\sf gebauer$-$moeller}}{8}
61\contentsline {paragraph}{{\sf update}}{8}
62\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$mock$-$spoly}}{8}
63\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$smallest$-$lcm}}{8}
64\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$degree}}{8}
65\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$length}}{8}
66\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}}{8}
67\contentsline {paragraph}{{\sf gebauer$-$moeller$-$set$-$pair$-$heuristic}}{9}
68\contentsline {paragraph}{{\sf spoly$-$sugar}}{9}
69\contentsline {paragraph}{{\sf spoly$-$with$-$sugar}}{9}
70\contentsline {paragraph}{{\sf normal$-$form$-$with$-$sugar}}{9}
71\contentsline {paragraph}{{\sf buchberger$-$with$-$sugar}}{9}
72\contentsline {paragraph}{{\sf buchberger$-$with$-$sugar$-$merge$-$pairs}}{9}
73\contentsline {paragraph}{{\sf buchberger$-$with$-$sugar$-$sort$-$pairs}}{9}
74\contentsline {paragraph}{{\sf criterion$-$1$-$with$-$sugar}}{9}
75\contentsline {paragraph}{{\sf criterion$-$2$-$with$-$sugar}}{10}
76\contentsline {paragraph}{{\sf gebauer$-$moeller$-$with$-$sugar}}{10}
77\contentsline {paragraph}{{\sf update$-$with$-$sugar}}{10}
78\contentsline {paragraph}{{\sf gebauer$-$moeller$-$with$-$sugar$-$merge$-$pairs}}{10}
79\contentsline {paragraph}{{\sf grobner$-$primitive$-$part$-$with$-$sugar}}{10}
80\contentsline {section}{\numberline {2}The String Interface to the Gr\"obner Basis package}{10}
81\contentsline {paragraph}{{\sf string$-$normal$-$form}}{10}
82\contentsline {paragraph}{{\sf string$-$grobner}}{10}
83\contentsline {paragraph}{{\sf string$-$elimination$-$ideal}}{10}
84\contentsline {paragraph}{{\sf string$-$ideal$-$intersection}}{10}
85\contentsline {paragraph}{{\sf string$-$poly$-$lcm}}{11}
86\contentsline {paragraph}{{\sf string$-$ideal$-$saturation$-$1}}{11}
87\contentsline {paragraph}{{\sf string$-$ideal$-$polysaturation$-$1}}{11}
88\contentsline {paragraph}{{\sf string$-$ideal$-$saturation}}{11}
89\contentsline {paragraph}{{\sf string$-$ideal$-$polysaturation}}{11}
90\contentsline {paragraph}{{\sf string$-$colon$-$ideal}}{11}
91\contentsline {paragraph}{{\sf string$-$read$-$poly}}{11}
92\contentsline {paragraph}{{\sf poly$-$rational$-$to$-$integer}}{11}
93\contentsline {paragraph}{{\sf read$-$vars}}{11}
94\contentsline {section}{\numberline {3}The Comprehensive Gr\"obner basis package}{12}
95\contentsline {paragraph}{{\sf *colored$-$poly$-$debug*}}{12}
96\contentsline {paragraph}{{\sf debug$-$cgb}}{12}
97\contentsline {paragraph}{{\sf make$-$colored$-$poly}}{12}
98\contentsline {paragraph}{{\sf make$-$colored$-$poly$-$list}}{12}
99\contentsline {paragraph}{{\sf color$-$poly$-$list}}{12}
100\contentsline {paragraph}{{\sf color$-$poly}}{12}
101\contentsline {paragraph}{{\sf colored$-$poly$-$to$-$poly}}{12}
102\contentsline {paragraph}{{\sf colored$-$poly$-$print}}{12}
103\contentsline {paragraph}{{\sf colored$-$poly$-$print$-$list}}{12}
104\contentsline {paragraph}{{\sf determine}}{13}
105\contentsline {paragraph}{{\sf determine$-$1}}{13}
106\contentsline {paragraph}{{\sf determine$-$white$-$term}}{13}
107\contentsline {paragraph}{{\sf cond$-$system$-$print}}{13}
108\contentsline {paragraph}{{\sf cond$-$print}}{13}
109\contentsline {paragraph}{{\sf add$-$pairs}}{13}
110\contentsline {paragraph}{{\sf cond$-$part}}{14}
111\contentsline {paragraph}{{\sf cond$-$hm}}{14}
112\contentsline {paragraph}{{\sf delete$-$green$-$polys}}{14}
113\contentsline {paragraph}{{\sf grobner$-$system}}{14}
114\contentsline {paragraph}{{\sf reorder$-$pairs}}{14}
115\contentsline {paragraph}{{\sf colored$-$criterion$-$1}}{14}
116\contentsline {paragraph}{{\sf colored$-$criterion$-$2}}{14}
117\contentsline {paragraph}{{\sf cond$-$normal$-$form}}{14}
118\contentsline {paragraph}{{\sf cond$-$spoly}}{14}
119\contentsline {paragraph}{{\sf cond$-$lm}}{15}
120\contentsline {paragraph}{{\sf cond$-$lc}}{15}
121\contentsline {paragraph}{{\sf colored$-$term$-$times$-$poly}}{15}
122\contentsline {paragraph}{{\sf colored$-$scalar$-$times$-$poly}}{15}
123\contentsline {paragraph}{{\sf colored$-$term*}}{15}
124\contentsline {paragraph}{{\sf color*}}{15}
125\contentsline {paragraph}{{\sf color+}}{15}
126\contentsline {paragraph}{{\sf color$-$}}{15}
127\contentsline {paragraph}{{\sf colored$-$poly+}}{15}
128\contentsline {paragraph}{{\sf colored$-$poly$-$}}{15}
129\contentsline {paragraph}{{\sf colored$-$term$-$uminus}}{15}
130\contentsline {paragraph}{{\sf colored$-$minus$-$poly}}{15}
131\contentsline {paragraph}{{\sf string$-$grobner$-$system}}{16}
132\contentsline {paragraph}{{\sf string$-$cond}}{16}
133\contentsline {paragraph}{{\sf string$-$cover}}{16}
134\contentsline {paragraph}{{\sf saturate$-$cover}}{16}
135\contentsline {paragraph}{{\sf saturate$-$cond}}{16}
136\contentsline {paragraph}{{\sf string$-$determine}}{16}
137\contentsline {paragraph}{{\sf tidy$-$grobner$-$system}}{16}
138\contentsline {paragraph}{{\sf tidy$-$pair}}{16}
139\contentsline {paragraph}{{\sf tidy$-$cond}}{16}
140\contentsline {paragraph}{{\sf colored$-$reduction}}{17}
141\contentsline {paragraph}{{\sf green$-$reduce$-$colored$-$poly}}{17}
142\contentsline {paragraph}{{\sf green$-$reduce$-$colored$-$list}}{17}
143\contentsline {paragraph}{{\sf cond$-$system$-$green$-$reduce}}{17}
144\contentsline {paragraph}{{\sf parse$-$to$-$colored$-$poly$-$list}}{17}
145\contentsline {paragraph}{{\sf red$-$reduction}}{17}
146\contentsline {section}{\numberline {4}The Coefficient Ring package}{17}
147\contentsline {paragraph}{{\sf ring}}{17}
148\contentsline {paragraph}{{\sf *ring$-$of$-$integers*}}{17}
149\contentsline {paragraph}{{\sf *field$-$of$-$rationals*}}{18}
150\contentsline {paragraph}{{\sf field$-$modulo$-$prime}}{18}
151\contentsline {paragraph}{{\sf *coefficient$-$ring*}}{18}
152\contentsline {section}{\numberline {5}The Division Package}{18}
153\contentsline {paragraph}{{\sf divide}}{18}
154\contentsline {paragraph}{{\sf poly$-$exact$-$divide}}{18}
155\contentsline {section}{\numberline {6}The Dynamical Systems package}{18}
156\contentsline {paragraph}{{\sf poly$-$scalar$-$composition}}{18}
157\contentsline {paragraph}{{\sf poly$-$composition}}{18}
158\contentsline {paragraph}{{\sf poly$-$dynamic$-$power}}{18}
159\contentsline {paragraph}{{\sf poly$-$scalar$-$evaluate}}{18}
160\contentsline {paragraph}{{\sf poly$-$evaluate}}{19}
161\contentsline {paragraph}{{\sf factorial}}{19}
162\contentsline {paragraph}{{\sf poly$-$scalar$-$diff}}{19}
163\contentsline {paragraph}{{\sf poly$-$diff}}{19}
164\contentsline {paragraph}{{\sf standard$-$vector}}{19}
165\contentsline {paragraph}{{\sf scalar$-$partial}}{19}
166\contentsline {paragraph}{{\sf partial}}{19}
167\contentsline {paragraph}{{\sf determinant}}{19}
168\contentsline {paragraph}{{\sf minor}}{19}
169\contentsline {paragraph}{{\sf drop$-$row}}{19}
170\contentsline {paragraph}{{\sf drop$-$column}}{19}
171\contentsline {paragraph}{{\sf drop$-$elt}}{19}
172\contentsline {paragraph}{{\sf matrix$-$}}{19}
173\contentsline {paragraph}{{\sf scalar$-$times$-$matrix}}{20}
174\contentsline {paragraph}{{\sf monom$-$times$-$matrix}}{20}
175\contentsline {paragraph}{{\sf term$-$times$-$matrix}}{20}
176\contentsline {paragraph}{{\sf poly$-$list$-$}}{20}
177\contentsline {paragraph}{{\sf scalar$-$times$-$poly$-$list}}{20}
178\contentsline {paragraph}{{\sf monom$-$times$-$poly$-$list}}{20}
179\contentsline {paragraph}{{\sf term$-$times$-$poly$-$list}}{20}
180\contentsline {paragraph}{{\sf characteristic$-$combination}}{20}
181\contentsline {paragraph}{{\sf characteristic$-$combination$-$poly$-$list}}{20}
182\contentsline {paragraph}{{\sf characteristic$-$matrix}}{20}
183\contentsline {paragraph}{{\sf characteristic$-$polynomial}}{20}
184\contentsline {paragraph}{{\sf identity$-$matrix}}{21}
185\contentsline {paragraph}{{\sf print$-$matrix}}{21}
186\contentsline {paragraph}{{\sf jacobi$-$matrix}}{21}
187\contentsline {paragraph}{{\sf jacobian}}{21}
188\contentsline {section}{\numberline {7}The Geometric Theorem Prover package}{21}
189\contentsline {paragraph}{{\sf *prover$-$order*}}{21}
190\contentsline {paragraph}{{\sf csym}}{21}
191\contentsline {paragraph}{{\sf real$-$identical$-$points}}{21}
192\contentsline {paragraph}{{\sf identical$-$points}}{21}
193\contentsline {paragraph}{{\sf perpendicular}}{21}
194\contentsline {paragraph}{{\sf parallel}}{21}
195\contentsline {paragraph}{{\sf collinear}}{22}
196\contentsline {paragraph}{{\sf equidistant}}{22}
197\contentsline {paragraph}{{\sf euclidean$-$distance}}{22}
198\contentsline {paragraph}{{\sf midpoint}}{22}
199\contentsline {paragraph}{{\sf translate$-$statements}}{22}
200\contentsline {paragraph}{{\sf translate$-$assumptions}}{22}
201\contentsline {paragraph}{{\sf translate$-$conclusions}}{22}
202\contentsline {paragraph}{{\sf translate$-$theorem}}{22}
203\contentsline {paragraph}{{\sf prove$-$theorem}}{22}
204\contentsline {section}{\numberline {8}The Monomial Order Package}{22}
205\contentsline {paragraph}{{\sf lex$>$}}{22}
206\contentsline {paragraph}{{\sf total$-$degree}}{23}
207\contentsline {paragraph}{{\sf grlex$>$}}{23}
208\contentsline {paragraph}{{\sf grevlex$>$}}{23}
209\contentsline {paragraph}{{\sf revlex$>$}}{23}
210\contentsline {paragraph}{{\sf invlex$>$}}{23}
211\contentsline {paragraph}{{\sf elimination$-$order}}{23}
212\contentsline {paragraph}{{\sf elimination$-$order$-$1}}{23}
213\contentsline {section}{\numberline {9}The Polynomial Package}{23}
214\contentsline {paragraph}{{\sf scalar$-$times$-$poly}}{23}
215\contentsline {paragraph}{{\sf term$-$times$-$poly}}{23}
216\contentsline {paragraph}{{\sf monom$-$times$-$poly}}{23}
217\contentsline {paragraph}{{\sf minus$-$poly}}{23}
218\contentsline {paragraph}{{\sf sort$-$poly}}{24}
219\contentsline {paragraph}{{\sf poly+}}{24}
220\contentsline {paragraph}{{\sf poly$-$}}{24}
221\contentsline {paragraph}{{\sf poly*}}{24}
222\contentsline {paragraph}{{\sf poly$-$op}}{24}
223\contentsline {paragraph}{{\sf poly$-$expt}}{24}
224\contentsline {paragraph}{{\sf poly$-$mexpt}}{24}
225\contentsline {paragraph}{{\sf poly$-$constant$-$p}}{24}
226\contentsline {paragraph}{{\sf poly$-$extend}}{24}
227\contentsline {paragraph}{{\sf poly$-$extend$-$end}}{24}
228\contentsline {paragraph}{{\sf poly$-$zerop}}{24}
229\contentsline {paragraph}{{\sf lt}}{25}
230\contentsline {paragraph}{{\sf lm}}{25}
231\contentsline {paragraph}{{\sf lc}}{25}
232\contentsline {section}{\numberline {10}The Parser Package}{25}
233\contentsline {paragraph}{{\sf parse}}{25}
234\contentsline {paragraph}{{\sf alist$-$form}}{25}
235\contentsline {paragraph}{{\sf alist$-$form$-$1}}{25}
236\contentsline {paragraph}{{\sf powers}}{25}
237\contentsline {paragraph}{{\sf parse$-$to$-$alist}}{25}
238\contentsline {paragraph}{{\sf parse$-$string$-$to$-$alist}}{25}
239\contentsline {paragraph}{{\sf parse$-$to$-$sorted$-$alist}}{26}
240\contentsline {paragraph}{{\sf parse$-$string$-$to$-$sorted$-$alist}}{26}
241\contentsline {paragraph}{{\sf sort$-$poly$-$1}}{26}
242\contentsline {paragraph}{{\sf sort$-$poly}}{26}
243\contentsline {paragraph}{{\sf poly$-$eval$-$1}}{26}
244\contentsline {paragraph}{{\sf poly$-$eval}}{26}
245\contentsline {paragraph}{{\sf monom$-$basis}}{26}
246\contentsline {paragraph}{{\sf convert$-$number}}{26}
247\contentsline {paragraph}{{\sf \$poly+}}{27}
248\contentsline {paragraph}{{\sf \$poly$-$}}{27}
249\contentsline {paragraph}{{\sf \$minus$-$poly}}{27}
250\contentsline {paragraph}{{\sf \$poly*}}{27}
251\contentsline {paragraph}{{\sf \$poly/}}{27}
252\contentsline {paragraph}{{\sf \$poly$-$expt}}{27}
253\contentsline {section}{\numberline {11}Other packages}{27}
254\contentsline {paragraph}{{\sf makelist$-$1}}{27}
255\contentsline {paragraph}{{\sf makelist}}{27}
256\contentsline {paragraph}{{\sf sum}}{27}
257\contentsline {paragraph}{{\sf list$-$of}}{27}
258\contentsline {paragraph}{{\sf list$-$of$-$1}}{27}
259\contentsline {paragraph}{{\sf union$-$of}}{27}
260\contentsline {paragraph}{{\sf union$-$of$-$1}}{28}
261\contentsline {paragraph}{{\sf set$-$of}}{28}
262\contentsline {paragraph}{{\sf set$-$of$-$1}}{28}
263\contentsline {paragraph}{{\sf select}}{28}
264\contentsline {paragraph}{{\sf monom/}}{28}
265\contentsline {paragraph}{{\sf monom*}}{28}
266\contentsline {paragraph}{{\sf nmonom*}}{28}
267\contentsline {paragraph}{{\sf monom$-$divides$-$p}}{28}
268\contentsline {paragraph}{{\sf monom$-$divisible$-$by$-$p}}{28}
269\contentsline {paragraph}{{\sf monom$-$rel$-$prime}}{28}
270\contentsline {paragraph}{{\sf monom$-$equal}}{28}
271\contentsline {paragraph}{{\sf monom$-$lcm}}{28}
272\contentsline {paragraph}{{\sf monom$-$gcd}}{28}
273\contentsline {paragraph}{{\sf poly$-$gcd}}{28}
274\contentsline {paragraph}{{\sf poly$-$pseudo$-$divide}}{29}
275\contentsline {paragraph}{{\sf poly$-$pseudo$-$remainder}}{29}
276\contentsline {paragraph}{{\sf mdeg}}{29}
277\contentsline {paragraph}{{\sf lcoeff}}{29}
278\contentsline {paragraph}{{\sf lrest}}{29}
279\contentsline {paragraph}{{\sf lpart}}{29}
280\contentsline {paragraph}{{\sf poly$-$primitive$-$part}}{29}
281\contentsline {paragraph}{{\sf poly$-$content}}{29}
282\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$poly}}{29}
283\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$sugar}}{29}
284\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$tail}}{29}
285\contentsline {paragraph}{{\sf (setf poly$-$with$-$sugar$-$poly)}}{29}
286\contentsline {paragraph}{{\sf (setf poly$-$with$-$sugar$-$sugar)}}{29}
287\contentsline {paragraph}{{\sf (setf poly$-$with$-$sugar$-$tail)}}{29}
288\contentsline {paragraph}{{\sf monom$-$sugar}}{30}
289\contentsline {paragraph}{{\sf coefficient$-$sugar}}{30}
290\contentsline {paragraph}{{\sf term$-$sugar}}{30}
291\contentsline {paragraph}{{\sf poly$-$add$-$sugar}}{30}
292\contentsline {paragraph}{{\sf scalar$-$times$-$poly$-$with$-$sugar}}{30}
293\contentsline {paragraph}{{\sf term$-$times$-$poly$-$with$-$sugar}}{30}
294\contentsline {paragraph}{{\sf monom$-$times$-$poly$-$with$-$sugar}}{30}
295\contentsline {paragraph}{{\sf minus$-$poly$-$with$-$sugar}}{30}
296\contentsline {paragraph}{{\sf poly$-$with$-$sugar+}}{30}
297\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$}}{30}
298\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$op}}{30}
299\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$nreverse}}{30}
300\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$append}}{30}
301\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$zerop}}{30}
302\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$lm}}{31}
303\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$lc}}{31}
304\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$lt}}{31}
305\contentsline {paragraph}{{\sf poly$-$print}}{31}
306\contentsline {paragraph}{{\sf poly$-$print$-$1}}{31}
307\contentsline {paragraph}{{\sf poly$-$print$-$2}}{31}
308\contentsline {paragraph}{{\sf print$-$term}}{31}
309\contentsline {paragraph}{{\sf print$-$monom}}{31}
310\contentsline {paragraph}{{\sf num}}{31}
311\contentsline {paragraph}{{\sf denom}}{31}
312\contentsline {paragraph}{{\sf rat$-$simplify$-$2}}{31}
313\contentsline {paragraph}{{\sf rat$-$simplify}}{31}
314\contentsline {paragraph}{{\sf rat+}}{31}
315\contentsline {paragraph}{{\sf rat$-$}}{32}
316\contentsline {paragraph}{{\sf rat*}}{32}
317\contentsline {paragraph}{{\sf rat/}}{32}
318\contentsline {paragraph}{{\sf scalar$-$times$-$rat}}{32}
319\contentsline {paragraph}{{\sf scalar$-$div$-$rat}}{32}
320\contentsline {paragraph}{{\sf rat$-$zerop}}{32}
321\contentsline {paragraph}{{\sf rat$-$uminus}}{32}
322\contentsline {paragraph}{{\sf rat$-$expt}}{32}
323\contentsline {paragraph}{{\sf rat$-$constant}}{32}
324\contentsline {paragraph}{{\sf rat$-$to$-$poly}}{32}
325\contentsline {paragraph}{{\sf ratpoly+}}{32}
326\contentsline {paragraph}{{\sf ratpoly$-$}}{32}
327\contentsline {paragraph}{{\sf ratpoly$-$uminus}}{32}
328\contentsline {paragraph}{{\sf ratpoly*}}{32}
329\contentsline {paragraph}{{\sf scalar$-$times$-$ratpoly}}{33}
330\contentsline {paragraph}{{\sf rat$-$times$-$ratpoly}}{33}
331\contentsline {paragraph}{{\sf ratpoly$-$divide}}{33}
332\contentsline {paragraph}{{\sf ratpoly$-$remainder}}{33}
333\contentsline {paragraph}{{\sf ratpoly$-$gcd}}{33}
334\contentsline {paragraph}{{\sf ratpoly$-$diff}}{33}
335\contentsline {paragraph}{{\sf ratpoly$-$square$-$free}}{33}
336\contentsline {paragraph}{{\sf ratpoly$-$normalize}}{33}
337\contentsline {paragraph}{{\sf ratpoly$-$resultant}}{33}
338\contentsline {paragraph}{{\sf deg}}{33}
339\contentsline {paragraph}{{\sf lead}}{33}
340\contentsline {paragraph}{{\sf ratpoly$-$discriminant}}{33}
341\contentsline {paragraph}{{\sf ratpoly$-$print}}{33}
342\contentsline {paragraph}{{\sf poly$-$to$-$ratpoly}}{33}
343\contentsline {paragraph}{{\sf poly$-$to$-$poly1}}{34}
344\contentsline {paragraph}{{\sf poly1$-$to$-$ratpoly}}{34}
345\contentsline {paragraph}{{\sf ratpoly$-$to$-$poly1}}{34}
346\contentsline {paragraph}{{\sf poly1$-$to$-$poly}}{34}
347\contentsline {paragraph}{{\sf ratpoly$-$to$-$poly}}{34}
348\contentsline {paragraph}{{\sf poly$-$resultant}}{34}
349\contentsline {paragraph}{{\sf term*}}{34}
350\contentsline {paragraph}{{\sf term/}}{34}
351\contentsline {paragraph}{{\sf monom$-$times$-$term}}{34}
352\contentsline {paragraph}{{\sf term$-$divides$-$p}}{34}
353\contentsline {paragraph}{{\sf term$-$monom}}{34}
354\contentsline {paragraph}{{\sf term$-$coefficient}}{34}
355\contentsline {paragraph}{{\sf (setf term$-$monom)}}{34}
356\contentsline {paragraph}{{\sf (setf term$-$coefficient)}}{34}
357\contentsline {paragraph}{{\sf xgcd}}{35}
358\contentsline {section}{\numberline {A}All examples produced by the {\tt all-examples} utility}{35}
Note: See TracBrowser for help on using the repository browser.