source: CGBLisp/latex-doc/manual/node3.html@ 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: 10.7 KB
Line 
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>The String Interface to the Gr&#246;bner Basis package</TITLE>
9<META NAME="description" CONTENT="The String Interface to the Gr&#246;bner Basis package">
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="node4.html">
16<LINK REL="previous" HREF="node2.html">
17<LINK REL="up" HREF="manual.html">
18<LINK REL="next" HREF="node4.html">
19</HEAD>
20<BODY bgcolor="#ffffff">
21<!--Navigation Panel-->
22<A NAME="tex2html831"
23 HREF="node4.html">
24<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next_motif.gif"></A>
25<A NAME="tex2html828"
26 HREF="manual.html">
27<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif.gif"></A>
28<A NAME="tex2html822"
29 HREF="node2.html">
30<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif.gif"></A>
31<A NAME="tex2html830"
32 HREF="node1.html">
33<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A>
34<BR>
35<B> Next:</B> <A NAME="tex2html832"
36 HREF="node4.html">The Comprehensive Gr&#246;bner basis</A>
37<B> Up:</B> <A NAME="tex2html829"
38 HREF="manual.html">CGBLisp User Guide and</A>
39<B> Previous:</B> <A NAME="tex2html823"
40 HREF="node2.html">The Gr&#246;bner Basis package</A>
41<BR>
42<BR>
43<!--End of Navigation Panel-->
44<!--Table of Child-Links-->
45<A NAME="CHILD_LINKS"><strong>Subsections</strong></A>
46<UL>
47<LI><A NAME="tex2html833"
48 HREF="node3.html#SECTION00030010000000000000">
49<I>string<MATH CLASS="INLINE">
50-
51</MATH>normal<MATH CLASS="INLINE">
52-
53</MATH>form</I></A>
54<LI><A NAME="tex2html834"
55 HREF="node3.html#SECTION00030020000000000000">
56<I>string<MATH CLASS="INLINE">
57-
58</MATH>grobner</I></A>
59<LI><A NAME="tex2html835"
60 HREF="node3.html#SECTION00030030000000000000">
61<I>string<MATH CLASS="INLINE">
62-
63</MATH>elimination<MATH CLASS="INLINE">
64-
65</MATH>ideal</I></A>
66<LI><A NAME="tex2html836"
67 HREF="node3.html#SECTION00030040000000000000">
68<I>string<MATH CLASS="INLINE">
69-
70</MATH>ideal<MATH CLASS="INLINE">
71-
72</MATH>intersection</I></A>
73<LI><A NAME="tex2html837"
74 HREF="node3.html#SECTION00030050000000000000">
75<I>string<MATH CLASS="INLINE">
76-
77</MATH>poly<MATH CLASS="INLINE">
78-
79</MATH>lcm</I></A>
80<LI><A NAME="tex2html838"
81 HREF="node3.html#SECTION00030060000000000000">
82<I>string<MATH CLASS="INLINE">
83-
84</MATH>ideal<MATH CLASS="INLINE">
85-
86</MATH>saturation<MATH CLASS="INLINE">
87-
88</MATH>1</I></A>
89<LI><A NAME="tex2html839"
90 HREF="node3.html#SECTION00030070000000000000">
91<I>string<MATH CLASS="INLINE">
92-
93</MATH>ideal<MATH CLASS="INLINE">
94-
95</MATH>polysaturation<MATH CLASS="INLINE">
96-
97</MATH>1</I></A>
98<LI><A NAME="tex2html840"
99 HREF="node3.html#SECTION00030080000000000000">
100<I>string<MATH CLASS="INLINE">
101-
102</MATH>ideal<MATH CLASS="INLINE">
103-
104</MATH>saturation</I></A>
105<LI><A NAME="tex2html841"
106 HREF="node3.html#SECTION00030090000000000000">
107<I>string<MATH CLASS="INLINE">
108-
109</MATH>ideal<MATH CLASS="INLINE">
110-
111</MATH>polysaturation</I></A>
112<LI><A NAME="tex2html842"
113 HREF="node3.html#SECTION000300100000000000000">
114<I>string<MATH CLASS="INLINE">
115-
116</MATH>colon<MATH CLASS="INLINE">
117-
118</MATH>ideal</I></A>
119<LI><A NAME="tex2html843"
120 HREF="node3.html#SECTION000300110000000000000">
121<I>string<MATH CLASS="INLINE">
122-
123</MATH>read<MATH CLASS="INLINE">
124-
125</MATH>poly</I></A>
126<LI><A NAME="tex2html844"
127 HREF="node3.html#SECTION000300120000000000000">
128<I>poly<MATH CLASS="INLINE">
129-
130</MATH>rational<MATH CLASS="INLINE">
131-
132</MATH>to<MATH CLASS="INLINE">
133-
134</MATH>integer</I></A>
135<LI><A NAME="tex2html845"
136 HREF="node3.html#SECTION000300130000000000000">
137<I>read<MATH CLASS="INLINE">
138-
139</MATH>vars</I></A>
140</UL>
141<!--End of Table of Child-Links-->
142<HR>
143<H1><A NAME="SECTION00030000000000000000">
144The String Interface to the Gr&#246;bner Basis package</A>
145</H1>
146<H4><A NAME="SECTION00030010000000000000">
147<I>string<MATH CLASS="INLINE">
148-
149</MATH>normal<MATH CLASS="INLINE">
150-
151</MATH>form</I></A>
152</H4>
153<P><IMG WIDTH="468" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
154 SRC="img56.gif"
155 ALT="$\textstyle\parbox{\pboxargslen}{\em f fl vars {\sf \&key} (stream
156 t) (print
157 t...
158 ...ient$-$ring*) (suppress$-$value
159 t) {\sf \&aux} (vars
160 (read$-$vars
161 vars)) \/}$"> [<EM>FUNCTION</EM>]
162<BLOCKQUOTE>
163 </BLOCKQUOTE><H4><A NAME="SECTION00030020000000000000">
164<I>string<MATH CLASS="INLINE">
165-
166</MATH>grobner</I></A>
167</H4>
168<P><IMG WIDTH="507" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
169 SRC="img57.gif"
170 ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars {\sf \&key} (order
171 \char93 'lex...
172 ...g
173 *coefficient$-$ring*) (print
174 t) {\sf \&aux} (vars
175 (read$-$vars
176 vars)) \/}$"> [<EM>FUNCTION</EM>]
177<BLOCKQUOTE>
178 </BLOCKQUOTE><H4><A NAME="SECTION00030030000000000000">
179<I>string<MATH CLASS="INLINE">
180-
181</MATH>elimination<MATH CLASS="INLINE">
182-
183</MATH>ideal</I></A>
184</H4>
185<P><IMG WIDTH="439" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
186 SRC="img58.gif"
187 ALT="$\textstyle\parbox{\pboxargslen}{\em flist vars k {\sf \&key} (stream
188 t) (key
189 ...
190 ...ondary$-$order
191 secondary$-$order)) {\sf \&aux} (vars
192 (read$-$vars
193 vars)) \/}$"> [<EM>FUNCTION</EM>]
194<BLOCKQUOTE>
195 </BLOCKQUOTE><H4><A NAME="SECTION00030040000000000000">
196<I>string<MATH CLASS="INLINE">
197-
198</MATH>ideal<MATH CLASS="INLINE">
199-
200</MATH>intersection</I></A>
201</H4>
202<P><IMG WIDTH="435" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
203 SRC="img59.gif"
204 ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order
205 \char93 'lex$\...
206 ...
207 vars
208 order)) (g
209 (parse$-$string$-$to$-$sorted$-$alist
210 g
211 vars
212 order)) \/}$"> [<EM>FUNCTION</EM>]
213<BLOCKQUOTE>
214 </BLOCKQUOTE><H4><A NAME="SECTION00030050000000000000">
215<I>string<MATH CLASS="INLINE">
216-
217</MATH>poly<MATH CLASS="INLINE">
218-
219</MATH>lcm</I></A>
220</H4>
221<P><IMG WIDTH="435" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
222 SRC="img59.gif"
223 ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order
224 \char93 'lex$\...
225 ...
226 vars
227 order)) (g
228 (parse$-$string$-$to$-$sorted$-$alist
229 g
230 vars
231 order)) \/}$"> [<EM>FUNCTION</EM>]
232<BLOCKQUOTE>
233 </BLOCKQUOTE><H4><A NAME="SECTION00030060000000000000">
234<I>string<MATH CLASS="INLINE">
235-
236</MATH>ideal<MATH CLASS="INLINE">
237-
238</MATH>saturation<MATH CLASS="INLINE">
239-
240</MATH>1</I></A>
241</H4>
242<P><IMG WIDTH="424" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
243 SRC="img60.gif"
244 ALT="$\textstyle\parbox{\pboxargslen}{\em f p vars {\sf \&key} (order
245 \char93 'lex$\...
246 ...
247 vars
248 order)) (p
249 (parse$-$string$-$to$-$sorted$-$alist
250 p
251 vars
252 order)) \/}$"> [<EM>FUNCTION</EM>]
253<BLOCKQUOTE>
254 </BLOCKQUOTE><H4><A NAME="SECTION00030070000000000000">
255<I>string<MATH CLASS="INLINE">
256-
257</MATH>ideal<MATH CLASS="INLINE">
258-
259</MATH>polysaturation<MATH CLASS="INLINE">
260-
261</MATH>1</I></A>
262</H4>
263<P><IMG WIDTH="395" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
264 SRC="img61.gif"
265 ALT="$\textstyle\parbox{\pboxargslen}{\em f plist vars {\sf \&key} (order
266 \char93 'l...
267 ...order)) (plist
268 (parse$-$string$-$to$-$sorted$-$alist
269 plist
270 vars
271 order)) \/}$"> [<EM>FUNCTION</EM>]
272<BLOCKQUOTE>
273 </BLOCKQUOTE><H4><A NAME="SECTION00030080000000000000">
274<I>string<MATH CLASS="INLINE">
275-
276</MATH>ideal<MATH CLASS="INLINE">
277-
278</MATH>saturation</I></A>
279</H4>
280<P><IMG WIDTH="435" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
281 SRC="img59.gif"
282 ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order
283 \char93 'lex$\...
284 ...
285 vars
286 order)) (g
287 (parse$-$string$-$to$-$sorted$-$alist
288 g
289 vars
290 order)) \/}$"> [<EM>FUNCTION</EM>]
291<BLOCKQUOTE>
292 </BLOCKQUOTE><H4><A NAME="SECTION00030090000000000000">
293<I>string<MATH CLASS="INLINE">
294-
295</MATH>ideal<MATH CLASS="INLINE">
296-
297</MATH>polysaturation</I></A>
298</H4>
299<P><IMG WIDTH="417" HEIGHT="130" ALIGN="MIDDLE" BORDER="0"
300 SRC="img62.gif"
301 ALT="$\textstyle\parbox{\pboxargslen}{\em f ideal$-$list vars {\sf \&key} (order
302 \ch...
303 ...da (g) (parse$-$string$-$to$-$sorted$-$alist g vars order))
304 ideal$-$list)) \/}$"> [<EM>FUNCTION</EM>]
305<BLOCKQUOTE>
306 </BLOCKQUOTE><H4><A NAME="SECTION000300100000000000000">
307<I>string<MATH CLASS="INLINE">
308-
309</MATH>colon<MATH CLASS="INLINE">
310-
311</MATH>ideal</I></A>
312</H4>
313<P><IMG WIDTH="478" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
314 SRC="img63.gif"
315 ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (top$-$reduction$-$onl...
316 ...
317 vars
318 order)) (g
319 (parse$-$string$-$to$-$sorted$-$alist
320 g
321 vars
322 order)) \/}$"> [<EM>FUNCTION</EM>]
323<BLOCKQUOTE>
324 </BLOCKQUOTE><H4><A NAME="SECTION000300110000000000000">
325<I>string<MATH CLASS="INLINE">
326-
327</MATH>read<MATH CLASS="INLINE">
328-
329</MATH>poly</I></A>
330</H4>
331<P><IMG WIDTH="488" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
332 SRC="img64.gif"
333 ALT="$\textstyle\parbox{\pboxargslen}{\em f vars {\sf \&key} (order
334 \char93 'lex$\gt...
335 ...$-$vars
336 vars)) (f
337 (parse$-$string$-$to$-$sorted$-$alist
338 f
339 vars
340 order)) \/}$"> [<EM>FUNCTION</EM>]
341<BLOCKQUOTE>
342 </BLOCKQUOTE><H4><A NAME="SECTION000300120000000000000">
343<I>poly<MATH CLASS="INLINE">
344-
345</MATH>rational<MATH CLASS="INLINE">
346-
347</MATH>to<MATH CLASS="INLINE">
348-
349</MATH>integer</I></A>
350</H4>
351<P><IMG WIDTH="430" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
352 SRC="img65.gif"
353 ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&optional} (ring
354 *coefficient$-$ring*) \/}$"> [<EM>FUNCTION</EM>]
355<BLOCKQUOTE>
356 </BLOCKQUOTE><H4><A NAME="SECTION000300130000000000000">
357<I>read<MATH CLASS="INLINE">
358-
359</MATH>vars</I></A>
360</H4>
361<P><IMG WIDTH="542" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
362 SRC="img66.gif"
363 ALT="$\textstyle\parbox{\pboxargslen}{\em string$-$or$-$list \/}$"> [<EM>FUNCTION</EM>]
364<BLOCKQUOTE>
365Read a list of variables, specified either as a list of symbols or a
366string listing variables in the form of a comma<MATH CLASS="INLINE">
367-
368</MATH>separated list,
369delimited by [,] </BLOCKQUOTE><HR>
370<!--Navigation Panel-->
371<A NAME="tex2html831"
372 HREF="node4.html">
373<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next_motif.gif"></A>
374<A NAME="tex2html828"
375 HREF="manual.html">
376<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_motif.gif"></A>
377<A NAME="tex2html822"
378 HREF="node2.html">
379<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="previous_motif.gif"></A>
380<A NAME="tex2html830"
381 HREF="node1.html">
382<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents_motif.gif"></A>
383<BR>
384<B> Next:</B> <A NAME="tex2html832"
385 HREF="node4.html">The Comprehensive Gr&#246;bner basis</A>
386<B> Up:</B> <A NAME="tex2html829"
387 HREF="manual.html">CGBLisp User Guide and</A>
388<B> Previous:</B> <A NAME="tex2html823"
389 HREF="node2.html">The Gr&#246;bner Basis package</A>
390<!--End of Navigation Panel-->
391<ADDRESS>
392<I>Marek Rychlik</I>
393<BR><I>3/21/1998</I>
394</ADDRESS>
395</BODY>
396</HTML>
Note: See TracBrowser for help on using the repository browser.