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 }
|
---|
147 | Read a list of variables, specified either as a list of symbols or a
|
---|
148 | string listing variables in the form of a comma$-$separated list,
|
---|
149 | delimited by [,]
|
---|
150 | \end{lisp:documentation}
|
---|
151 |
|
---|