source: CGBLisp/latex-doc/string-grobner.tex@ 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: 24.3 KB
Line 
1\begin{lisp:documentation}{string$-$normal$-$form}{FUNCTION}{f fl vars {\sf \&key} (stream t) (print t) (order \#'lex$>$) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (suppress$-$value
2 t) {\sf \&aux} (vars
3 (read$-$vars
4 vars)) }
5{\ } % NO DOCUMENTATION FOR STRING-NORMAL-FORM
6\end{lisp:documentation}
7
8\begin{lisp:documentation}{string$-$grobner}{FUNCTION}{plist vars {\sf \&key} (order \#'lex$>$) (start 0) (stream t) (reduce t) (reduce$-$before t) (suppress$-$value t) (top$-$reduction$-$only nil) (ring
9 *coefficient$-$ring*) (print
10 t) {\sf \&aux} (vars
11 (read$-$vars
12 vars)) }
13{\ } % NO DOCUMENTATION FOR STRING-GROBNER
14\end{lisp:documentation}
15
16\begin{lisp:documentation}{string$-$elimination$-$ideal}{FUNCTION}{flist vars k {\sf \&key} (stream t) (key \#'identity) (primary$-$order \#'grevlex$>$) (secondary$-$order \#'grevlex$>$) (suppress$-$value
17 t) (order
18 (elimination$-$order
19 k
20 :primary$-$order
21 primary$-$order
22 :secondary$-$order
23 secondary$-$order)) {\sf \&aux} (vars
24 (read$-$vars
25 vars)) }
26{\ } % NO DOCUMENTATION FOR STRING-ELIMINATION-IDEAL
27\end{lisp:documentation}
28
29\begin{lisp:documentation}{string$-$ideal$-$intersection}{FUNCTION}{f g vars {\sf \&key} (order \#'lex$>$) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream t) (suppress$-$value
30 t) {\sf \&aux} (vars
31 (read$-$vars
32 vars)) (f
33 (parse$-$string$-$to$-$sorted$-$alist
34 f
35 vars
36 order)) (g
37 (parse$-$string$-$to$-$sorted$-$alist
38 g
39 vars
40 order)) }
41{\ } % NO DOCUMENTATION FOR STRING-IDEAL-INTERSECTION
42\end{lisp:documentation}
43
44\begin{lisp:documentation}{string$-$poly$-$lcm}{FUNCTION}{f g vars {\sf \&key} (order \#'lex$>$) (ring *coefficient$-$ring*) (stream t) (suppress$-$value t) {\sf \&aux} (vars (read$-$vars vars)) (f
45 (parse$-$string$-$to$-$sorted$-$alist
46 f
47 vars
48 order)) (g
49 (parse$-$string$-$to$-$sorted$-$alist
50 g
51 vars
52 order)) }
53{\ } % NO DOCUMENTATION FOR STRING-POLY-LCM
54\end{lisp:documentation}
55
56\begin{lisp:documentation}{string$-$ideal$-$saturation$-$1}{FUNCTION}{f p vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
57 t) (suppress$-$value
58 t) {\sf \&aux} (vars
59 (read$-$vars
60 vars)) (f
61 (parse$-$string$-$to$-$sorted$-$alist
62 f
63 vars
64 order)) (p
65 (parse$-$string$-$to$-$sorted$-$alist
66 p
67 vars
68 order)) }
69{\ } % NO DOCUMENTATION FOR STRING-IDEAL-SATURATION-1
70\end{lisp:documentation}
71
72\begin{lisp:documentation}{string$-$ideal$-$polysaturation$-$1}{FUNCTION}{f plist vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
73 t) (suppress$-$value
74 t) {\sf \&aux} (vars
75 (read$-$vars
76 vars)) (f
77 (parse$-$string$-$to$-$sorted$-$alist
78 f
79 vars
80 order)) (plist
81 (parse$-$string$-$to$-$sorted$-$alist
82 plist
83 vars
84 order)) }
85{\ } % NO DOCUMENTATION FOR STRING-IDEAL-POLYSATURATION-1
86\end{lisp:documentation}
87
88\begin{lisp:documentation}{string$-$ideal$-$saturation}{FUNCTION}{f g vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
89 t) (suppress$-$value
90 t) {\sf \&aux} (vars
91 (read$-$vars
92 vars)) (f
93 (parse$-$string$-$to$-$sorted$-$alist
94 f
95 vars
96 order)) (g
97 (parse$-$string$-$to$-$sorted$-$alist
98 g
99 vars
100 order)) }
101{\ } % NO DOCUMENTATION FOR STRING-IDEAL-SATURATION
102\end{lisp:documentation}
103
104\begin{lisp:documentation}{string$-$ideal$-$polysaturation}{FUNCTION}{f ideal$-$list vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
105 t) (suppress$-$value
106 t) {\sf \&aux} (vars
107 (read$-$vars
108 vars)) (f
109 (parse$-$string$-$to$-$sorted$-$alist
110 f
111 vars
112 order)) (ideal$-$list
113 (mapcar
114 \#'(lambda (g) (parse$-$string$-$to$-$sorted$-$alist g vars order))
115 ideal$-$list)) }
116{\ } % NO DOCUMENTATION FOR STRING-IDEAL-POLYSATURATION
117\end{lisp:documentation}
118
119\begin{lisp:documentation}{string$-$colon$-$ideal}{FUNCTION}{f g vars {\sf \&key} (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream t) (order \#'lex$>$) (suppress$-$value t) {\sf \&aux} (vars
120 (read$-$vars
121 vars)) (f
122 (parse$-$string$-$to$-$sorted$-$alist
123 f
124 vars
125 order)) (g
126 (parse$-$string$-$to$-$sorted$-$alist
127 g
128 vars
129 order)) }
130{\ } % NO DOCUMENTATION FOR STRING-COLON-IDEAL
131\end{lisp:documentation}
132
133\begin{lisp:documentation}{string$-$read$-$poly}{FUNCTION}{f vars {\sf \&key} (order \#'lex$>$) (suppress$-$value nil) (stream t) (convert$-$rational$-$to$-$integer t) {\sf \&aux} (vars
134 (read$-$vars vars)) (f
135 (parse$-$string$-$to$-$sorted$-$alist
136 f
137 vars
138 order)) }
139{\ } % NO DOCUMENTATION FOR STRING-READ-POLY
140\end{lisp:documentation}
141
142\begin{lisp:documentation}{poly$-$rational$-$to$-$integer}{FUNCTION}{p {\sf \&optional} (ring *coefficient$-$ring*) }
143{\ } % NO DOCUMENTATION FOR POLY-RATIONAL-TO-INTEGER
144\end{lisp:documentation}
145
146\begin{lisp:documentation}{read$-$vars}{FUNCTION}{string$-$or$-$list }
147Read a list of variables, specified either as a list of symbols or a
148string listing variables in the form of a comma$-$separated list,
149delimited by [,]
150\end{lisp:documentation}
151
Note: See TracBrowser for help on using the repository browser.