1 | /**************************************** |
---|
2 | * Computer Algebra System SINGULAR * |
---|
3 | ****************************************/ |
---|
4 | |
---|
5 | // syntax table for Singular |
---|
6 | // |
---|
7 | // - search for an exact match of the argument types |
---|
8 | // - otherwise search for the first possibility |
---|
9 | // with converted types of the arguments |
---|
10 | // - otherwise report an error |
---|
11 | // |
---|
12 | // -------------------------------------------------- |
---|
13 | // depends on Singular/table.h and kernel/mod2.h |
---|
14 | |
---|
15 | // operation: ++ (identifier) -> nothing |
---|
16 | // operation: -- (identifier) -> nothing |
---|
17 | // operation: - (int) -> int |
---|
18 | // operation: - (bigint) -> bigint |
---|
19 | // operation: - (number) -> number |
---|
20 | // operation: - (poly) -> poly |
---|
21 | // operation: - (vector) -> vector |
---|
22 | // operation: - (matrix) -> matrix |
---|
23 | // operation: - (intvec) -> intvec |
---|
24 | // operation: - (intmat) -> intmat |
---|
25 | // operation: - (bigintmat) -> bigintmat |
---|
26 | // operation: ( (proc) -> any_type |
---|
27 | // operation: attrib (def) -> nothing |
---|
28 | // operation: bareiss (bigintmat) -> bigintmat |
---|
29 | // operation: bareiss (module) -> list, only commutative rings, domain coeffs |
---|
30 | // operation: betti (list) -> intmat |
---|
31 | // operation: betti (resolution) -> intmat |
---|
32 | // operation: betti (ideal) -> intmat |
---|
33 | // operation: betti (module) -> intmat |
---|
34 | // operation: bigint (bigint) -> bigint |
---|
35 | // operation: bigint (number) -> bigint |
---|
36 | // operation: bigint (poly) -> bigint |
---|
37 | // operation: bigintmat (bigintmat) -> bigintmat |
---|
38 | // operation: char (ring) -> int |
---|
39 | // operation: char_series (ideal) -> matrix, only commutative rings, field coeffs |
---|
40 | // operation: charstr (ring) -> string |
---|
41 | // operation: close (link) -> nothing |
---|
42 | // operation: ncols (matrix) -> int |
---|
43 | // operation: ncols (smatrix) -> int |
---|
44 | // operation: ncols (ideal) -> int |
---|
45 | // operation: ncols (module) -> int |
---|
46 | // operation: ncols (intmat) -> int |
---|
47 | // operation: ncols (bigintmat) -> int |
---|
48 | // operation: cleardenom (poly) -> poly |
---|
49 | // operation: cleardenom (vector) -> vector |
---|
50 | // operation: size (bigint) -> int |
---|
51 | // operation: size (number) -> int |
---|
52 | // operation: size (resolution) -> int |
---|
53 | // operation: size (string) -> int |
---|
54 | // operation: size (poly) -> int |
---|
55 | // operation: size (vector) -> int |
---|
56 | // operation: size (ideal) -> int |
---|
57 | // operation: size (module) -> int |
---|
58 | // operation: size (matrix) -> int |
---|
59 | // operation: size (intvec) -> int |
---|
60 | // operation: size (intmat) -> int |
---|
61 | // operation: size (bigintmat) -> int |
---|
62 | // operation: size (list) -> int |
---|
63 | // operation: size (ring) -> int |
---|
64 | // operation: cring (ring) -> cring |
---|
65 | // operation: def (int) -> def |
---|
66 | // DUMMY // operation: def (any_type) -> $INVALID$ |
---|
67 | // operation: deg (poly) -> int |
---|
68 | // operation: deg (vector) -> int |
---|
69 | // operation: deg (matrix) -> int |
---|
70 | // operation: degree (ideal) -> string, only commutative rings, domain coeffs |
---|
71 | // operation: degree (module) -> string, only commutative rings, domain coeffs |
---|
72 | // operation: defined (def) -> int |
---|
73 | // operation: denominator (number) -> number |
---|
74 | // operation: numerator (number) -> number |
---|
75 | // operation: det (bigintmat) -> bigint |
---|
76 | // operation: det (intmat) -> int |
---|
77 | // operation: det (smatrix) -> poly, only commutative rings, field coeffs |
---|
78 | // operation: det (matrix) -> poly, only commutative rings |
---|
79 | // operation: dim (ideal) -> int |
---|
80 | // operation: dim (module) -> int |
---|
81 | // operation: dim (resolution) -> int |
---|
82 | // operation: dump (link) -> nothing |
---|
83 | // operation: gen (int) -> vector requires currRing |
---|
84 | // operation: execute (string) -> nothing |
---|
85 | // operation: ERROR (string) -> nothing |
---|
86 | // operation: factorize (poly) -> list, only commutative rings, domain coeffs |
---|
87 | // operation: finduni (ideal) -> ideal, only commutative rings, field coeffs |
---|
88 | // operation: freemodule (int) -> module requires currRing |
---|
89 | // operation: facstd (ideal) -> list, only commutative rings, field coeffs |
---|
90 | // operation: getdump (link) -> nothing |
---|
91 | // operation: highcorner (ideal) -> poly, only commutative rings |
---|
92 | // operation: highcorner (module) -> vector, only commutative rings |
---|
93 | // operation: hilb (ideal) -> nothing, domain coeffs |
---|
94 | // operation: hilb (module) -> nothing, domain coeffs |
---|
95 | // operation: hilb (intvec) -> intvec, domain coeffs |
---|
96 | // operation: homog (ideal) -> int |
---|
97 | // operation: homog (module) -> int |
---|
98 | // operation: ideal (ideal) -> ideal |
---|
99 | // operation: ideal (vector) -> ideal |
---|
100 | // operation: ideal (matrix) -> ideal |
---|
101 | // operation: ideal (ring) -> ideal requires currRing |
---|
102 | // operation: ideal (map) -> ideal |
---|
103 | // operation: impart (number) -> number |
---|
104 | // operation: indepSet (ideal) -> intvec, only commutative rings, field coeffs |
---|
105 | // operation: int (int) -> int |
---|
106 | // operation: int (bigint) -> int |
---|
107 | // operation: int (number) -> int |
---|
108 | // operation: int (poly) -> int |
---|
109 | // operation: int (string) -> int |
---|
110 | // operation: interred (ideal) -> ideal, field coeffs |
---|
111 | // operation: interred (module) -> module, field coeffs |
---|
112 | // operation: intmat (bigintmat) -> intmat |
---|
113 | // operation: intmat (intmat) -> intmat |
---|
114 | // operation: intvec (intmat) -> intvec |
---|
115 | // operation: intvec (intvec) -> intvec |
---|
116 | // operation: rvar (poly) -> int |
---|
117 | // operation: rvar (string) -> int |
---|
118 | // operation: rvar (any_type) -> int |
---|
119 | // operation: jacob (poly) -> ideal |
---|
120 | // operation: jacob (ideal) -> matrix |
---|
121 | // operation: jacob (module) -> module |
---|
122 | // operation: janet (ideal) -> ideal, field coeffs |
---|
123 | // operation: kbase (ideal) -> ideal, QQ coeffs |
---|
124 | // operation: kbase (module) -> module, QQ coeffs |
---|
125 | // operation: ludecomp (matrix) -> list, only commutative rings, field coeffs |
---|
126 | // operation: primefactors (bigint) -> list |
---|
127 | // operation: primefactors (number) -> list |
---|
128 | // operation: killattrib (identifier) -> nothing |
---|
129 | // operation: lead (poly) -> poly |
---|
130 | // operation: lead (ideal) -> ideal |
---|
131 | // operation: lead (vector) -> vector |
---|
132 | // operation: lead (module) -> module |
---|
133 | // operation: leadcoef (poly) -> number |
---|
134 | // operation: leadcoef (vector) -> number |
---|
135 | // operation: leadexp (poly) -> intvec |
---|
136 | // operation: leadexp (vector) -> intvec |
---|
137 | // operation: leadmonom (poly) -> poly |
---|
138 | // operation: leadmonom (vector) -> vector |
---|
139 | // operation: link (link) -> link |
---|
140 | // operation: list (def) -> list |
---|
141 | // DUMMY // operation: map (any_type) -> $INVALID$ |
---|
142 | // operation: matrix (matrix) -> matrix |
---|
143 | // operation: maxideal (int) -> ideal requires currRing |
---|
144 | // operation: memory (int) -> bigint |
---|
145 | // operation: minbase (ideal) -> ideal, only commutative rings, field coeffs |
---|
146 | // operation: minbase (module) -> module, only commutative rings, field coeffs |
---|
147 | // operation: minres (list) -> list |
---|
148 | // operation: minres (resolution) -> resolution |
---|
149 | // operation: module (module) -> module |
---|
150 | // operation: monitor (link) -> nothing |
---|
151 | // operation: monomial (intvec) -> poly requires currRing |
---|
152 | // operation: mult (ideal) -> int, only commutative rings |
---|
153 | // operation: mult (module) -> int, only commutative rings |
---|
154 | // operation: mstd (ideal) -> list, only commutative rings |
---|
155 | // operation: mstd (module) -> list, only commutative rings |
---|
156 | // operation: nameof (any_type) -> string |
---|
157 | // operation: names (int) -> list |
---|
158 | // operation: names (package) -> list |
---|
159 | // operation: names (ring) -> list |
---|
160 | // operation: not (int) -> int |
---|
161 | // operation: number (number) -> number |
---|
162 | // operation: number (poly) -> number |
---|
163 | // operation: number (bigint) -> number requires currRing |
---|
164 | // operation: $INVALID$ ($INVALID$) -> $INVALID$ |
---|
165 | // operation: npars (ring) -> int |
---|
166 | // operation: nvars (ring) -> int |
---|
167 | // operation: open (link) -> nothing |
---|
168 | // operation: option (def) -> nothing |
---|
169 | // operation: ord (poly) -> int |
---|
170 | // operation: ord (vector) -> int |
---|
171 | // operation: ordstr (ring) -> string |
---|
172 | // operation: par (int) -> number requires currRing |
---|
173 | // operation: pardeg (number) -> int |
---|
174 | // operation: parstr (int) -> string |
---|
175 | // operation: parstr (ring) -> string |
---|
176 | // operation: poly (poly) -> poly |
---|
177 | // operation: poly (bigint) -> poly requires currRing |
---|
178 | // operation: preimage (map) -> ring, only commutative rings |
---|
179 | // operation: prime (int) -> int |
---|
180 | // operation: print (list) -> string |
---|
181 | // operation: print (def) -> string |
---|
182 | // operation: proc (proc) -> proc |
---|
183 | // operation: prune (module) -> module |
---|
184 | // operation: qhweight (ideal) -> intvec |
---|
185 | // operation: qhweight (module) -> intvec |
---|
186 | // operation: rank (matrix) -> int, field coeffs |
---|
187 | // operation: read (link) -> string |
---|
188 | // operation: regularity (list) -> int, only commutative rings |
---|
189 | // operation: repart (number) -> number |
---|
190 | // operation: reservedName (string) -> int |
---|
191 | // operation: resolution (list) -> resolution requires currRing |
---|
192 | // operation: resolution (resolution) -> resolution |
---|
193 | // operation: restart (int) -> nothing |
---|
194 | // operation: rightstd (ideal) -> ideal, field coeffs |
---|
195 | // operation: ringlist (ring) -> list |
---|
196 | // operation: ring_list (cring) -> list |
---|
197 | // operation: ring_list (ring) -> list |
---|
198 | // operation: ring (ring) -> ring |
---|
199 | // operation: ring (list) -> ring |
---|
200 | // operation: nrows (vector) -> int |
---|
201 | // operation: nrows (module) -> int |
---|
202 | // operation: nrows (matrix) -> int |
---|
203 | // operation: nrows (smatrix) -> int |
---|
204 | // operation: nrows (intmat) -> int |
---|
205 | // operation: nrows (bigintmat) -> int |
---|
206 | // operation: nrows (intvec) -> int |
---|
207 | // operation: sba (ideal) -> ideal |
---|
208 | // operation: sba (module) -> module |
---|
209 | // operation: setring (ring) -> nothing |
---|
210 | // operation: slimgb (ideal) -> ideal, field coeffs |
---|
211 | // operation: slimgb (module) -> module, field coeffs |
---|
212 | // operation: smatrix (smatrix) -> smatrix |
---|
213 | // operation: sortvec (ideal) -> intvec |
---|
214 | // operation: sortvec (module) -> intvec |
---|
215 | // operation: sqrfree (poly) -> list, only commutative rings, field coeffs |
---|
216 | // operation: std (ideal) -> ideal |
---|
217 | // operation: std (module) -> module |
---|
218 | // operation: std (smatrix) -> smatrix |
---|
219 | // operation: string (string) -> string |
---|
220 | // operation: syz (ideal) -> module |
---|
221 | // operation: syz (module) -> module |
---|
222 | // operation: envelope (ring) -> ring, field coeffs |
---|
223 | // operation: opposite (ring) -> ring, field coeffs |
---|
224 | // operation: twostd (ideal) -> ideal, field coeffs |
---|
225 | // operation: twostd (module) -> module, letterplace rings, field coeffs |
---|
226 | // operation: trace (intmat) -> int |
---|
227 | // operation: trace (matrix) -> poly |
---|
228 | // operation: transpose (intvec) -> intmat |
---|
229 | // operation: transpose (intmat) -> intmat |
---|
230 | // operation: transpose (bigintmat) -> bigintmat |
---|
231 | // operation: transpose (matrix) -> matrix |
---|
232 | // operation: transpose (module) -> module |
---|
233 | // operation: transpose (smatrix) -> smatrix |
---|
234 | // operation: typeof (any_type) -> string |
---|
235 | // operation: univariate (poly) -> int |
---|
236 | // operation: variables (poly) -> ideal |
---|
237 | // operation: variables (ideal) -> ideal |
---|
238 | // operation: variables (matrix) -> ideal |
---|
239 | // operation: vector (vector) -> vector |
---|
240 | // operation: vdim (ideal) -> int, QQ coeffs |
---|
241 | // operation: vdim (module) -> int, QQ coeffs |
---|
242 | // operation: var (int) -> poly requires currRing |
---|
243 | // operation: varstr (int) -> string |
---|
244 | // operation: varstr (ring) -> string |
---|
245 | // operation: weight (ideal) -> intvec |
---|
246 | // operation: weight (module) -> intvec |
---|
247 | // operation: load (string) -> nothing |
---|
248 | // operation: convhull (ideal) -> ideal |
---|
249 | // operation: waitfirst (list) -> int |
---|
250 | // operation: waitall (list) -> int |
---|
251 | /*---------------------------------------------*/ |
---|
252 | // operation: :: (def, def) -> any_type |
---|
253 | // operation: + (int, int) -> int |
---|
254 | // operation: + (bigint, bigint) -> bigint |
---|
255 | // operation: + (number, number) -> number |
---|
256 | // operation: + (poly, poly) -> polyBucket |
---|
257 | // operation: + (vector, vector) -> vector |
---|
258 | // operation: + (ideal, ideal) -> ideal |
---|
259 | // operation: + (module, module) -> module |
---|
260 | // operation: + (poly, matrix) -> matrix |
---|
261 | // operation: + (matrix, poly) -> matrix |
---|
262 | // operation: + (matrix, matrix) -> matrix |
---|
263 | // operation: + (smatrix, smatrix) -> smatrix |
---|
264 | // operation: + (string, string) -> string |
---|
265 | // operation: + (bigintmat, bigintmat) -> bigintmat |
---|
266 | // operation: + (bigintmat, int) -> bigintmat |
---|
267 | // operation: + (int, bigintmat) -> bigintmat |
---|
268 | // operation: + (bigintmat, bigint) -> bigintmat |
---|
269 | // operation: + (bigint, bigintmat) -> bigintmat |
---|
270 | // operation: + (intvec, int) -> intvec |
---|
271 | // operation: + (int, intvec) -> intvec |
---|
272 | // operation: + (intmat, int) -> intmat |
---|
273 | // operation: + (int, intmat) -> intmat |
---|
274 | // operation: + (intvec, intvec) -> intvec |
---|
275 | // operation: + (intmat, intmat) -> intmat |
---|
276 | // operation: + (list, list) -> list |
---|
277 | // operation: + (ring, ring) -> ring |
---|
278 | // operation: + (ring, string) -> ring |
---|
279 | // operation: + (string, ring) -> ring |
---|
280 | // operation: + (polyBucket, poly) -> polyBucket |
---|
281 | // operation: - (int, int) -> int |
---|
282 | // operation: - (bigint, bigint) -> bigint |
---|
283 | // operation: - (number, number) -> number |
---|
284 | // operation: - (poly, poly) -> polyBucket |
---|
285 | // operation: - (vector, vector) -> vector |
---|
286 | // operation: - (vector, vector) -> vector |
---|
287 | // operation: - (matrix, poly) -> matrix |
---|
288 | // operation: - (matrix, matrix) -> matrix |
---|
289 | // operation: - (smatrix, smatrix) -> smatrix |
---|
290 | // operation: - (bigintmat, bigintmat) -> bigintmat |
---|
291 | // operation: - (bigintmat, int) -> bigintmat |
---|
292 | // operation: - (int, bigintmat) -> bigintmat |
---|
293 | // operation: - (bigintmat, bigint) -> bigintmat |
---|
294 | // operation: - (bigint, bigintmat) -> bigintmat |
---|
295 | // operation: - (intvec, int) -> intvec |
---|
296 | // operation: - (intmat, int) -> intmat |
---|
297 | // operation: - (intvec, intvec) -> intvec |
---|
298 | // operation: - (intmat, intmat) -> intmat |
---|
299 | // operation: - (ring, string) -> ring |
---|
300 | // operation: - (polyBucket, poly) -> polyBucket |
---|
301 | // DUMMY // operation: - (ideal, ideal) -> nothing |
---|
302 | // DUMMY // operation: - (module, module) -> nothing |
---|
303 | // operation: * (int, int) -> int |
---|
304 | // operation: * (bigint, bigint) -> bigint |
---|
305 | // operation: * (number, number) -> number |
---|
306 | // operation: * (poly, poly) -> poly |
---|
307 | // operation: * (poly, vector) -> vector |
---|
308 | // operation: * (vector, poly) -> vector |
---|
309 | // operation: * (ideal, poly) -> ideal |
---|
310 | // operation: * (poly, ideal) -> ideal |
---|
311 | // operation: * (module, poly) -> module |
---|
312 | // operation: * (poly, module) -> module |
---|
313 | // operation: * (ideal, ideal) -> ideal |
---|
314 | // operation: * (ideal, vector) -> module |
---|
315 | // operation: * (vector, ideal) -> module |
---|
316 | // operation: * (ideal, module) -> module |
---|
317 | // operation: * (module, ideal) -> module |
---|
318 | // operation: * (matrix, poly) -> matrix |
---|
319 | // operation: * (poly, matrix) -> matrix |
---|
320 | // operation: * (matrix, number) -> matrix |
---|
321 | // operation: * (number, matrix) -> matrix |
---|
322 | // operation: * (matrix, int) -> matrix |
---|
323 | // operation: * (int, matrix) -> matrix |
---|
324 | // operation: * (matrix, matrix) -> matrix |
---|
325 | // operation: * (matrix, bigint) -> matrix |
---|
326 | // operation: * (bigint, matrix) -> matrix |
---|
327 | // operation: * (smatrix, smatrix) -> smatrix |
---|
328 | // operation: * (bigintmat, bigintmat) -> bigintmat |
---|
329 | // operation: * (bigintmat, int) -> bigintmat |
---|
330 | // operation: * (int, bigintmat) -> bigintmat |
---|
331 | // operation: * (bigintmat, bigint) -> bigintmat |
---|
332 | // operation: * (bigint, bigintmat) -> bigintmat |
---|
333 | // operation: * (intvec, int) -> intvec |
---|
334 | // operation: * (int, intvec) -> intvec |
---|
335 | // operation: * (intmat, int) -> intmat |
---|
336 | // operation: * (int, intmat) -> intmat |
---|
337 | // operation: * (intmat, intvec) -> intvec |
---|
338 | // operation: * (intmat, intmat) -> intmat |
---|
339 | // operation: * (intvec, intmat) -> intmat |
---|
340 | // DUMMY // operation: * (module, module) -> $INVALID$ |
---|
341 | // operation: / (number, number) -> number |
---|
342 | // operation: / (poly, poly) -> poly |
---|
343 | // operation: / (vector, poly) -> vector |
---|
344 | // operation: / (matrix, poly) -> matrix, field coeffs |
---|
345 | // operation: / (int, int) -> int |
---|
346 | // operation: / (bigint, bigint) -> bigint |
---|
347 | // operation: / (intvec, int) -> intvec |
---|
348 | // operation: / (intmat, int) -> intmat |
---|
349 | // operation: / (cring, int) -> cring |
---|
350 | // operation: / (cring, bigint) -> cring |
---|
351 | // operation: div (int, int) -> int |
---|
352 | // operation: div (bigint, bigint) -> bigint |
---|
353 | // operation: div (intvec, int) -> intvec |
---|
354 | // operation: div (intmat, int) -> intmat |
---|
355 | // operation: div (poly, poly) -> poly |
---|
356 | // operation: div (vector, poly) -> vector |
---|
357 | // operation: % (int, int) -> int |
---|
358 | // operation: % (bigint, bigint) -> bigint |
---|
359 | // operation: % (intvec, int) -> intvec |
---|
360 | // operation: % (intmat, int) -> intmat |
---|
361 | // operation: % (number, number) -> number |
---|
362 | // operation: % (poly, poly) -> poly, only commutative rings, field coeffs |
---|
363 | // operation: ^ (int, int) -> int |
---|
364 | // operation: ^ (bigint, int) -> bigint |
---|
365 | // operation: ^ (number, int) -> number |
---|
366 | // operation: ^ (poly, int) -> poly |
---|
367 | // operation: ^ (ideal, int) -> ideal |
---|
368 | // operation: <= (int, int) -> int |
---|
369 | // operation: <= (bigint, bigint) -> int |
---|
370 | // operation: <= (number, number) -> int |
---|
371 | // operation: <= (string, string) -> int |
---|
372 | // operation: <= (intvec, int) -> int |
---|
373 | // operation: <= (intvec, intvec) -> int |
---|
374 | // operation: <= (poly, poly) -> int |
---|
375 | // operation: <= (vector, vector) -> int |
---|
376 | // operation: <= (matrix, matrix) -> int |
---|
377 | // operation: < (int, int) -> int |
---|
378 | // operation: < (bigint, bigint) -> int |
---|
379 | // operation: < (number, number) -> int |
---|
380 | // operation: < (intvec, int) -> int |
---|
381 | // operation: < (intvec, intvec) -> int |
---|
382 | // operation: < (string, string) -> int |
---|
383 | // operation: < (poly, poly) -> int |
---|
384 | // operation: < (vector, vector) -> int |
---|
385 | // operation: < (matrix, matrix) -> int |
---|
386 | // operation: >= (int, int) -> int |
---|
387 | // operation: >= (bigint, bigint) -> int |
---|
388 | // operation: >= (number, number) -> int |
---|
389 | // operation: >= (string, string) -> int |
---|
390 | // operation: >= (intvec, int) -> int |
---|
391 | // operation: >= (intvec, intvec) -> int |
---|
392 | // operation: >= (poly, poly) -> int |
---|
393 | // operation: >= (vector, vector) -> int |
---|
394 | // operation: >= (matrix, matrix) -> int |
---|
395 | // operation: > (int, int) -> int |
---|
396 | // operation: > (bigint, bigint) -> int |
---|
397 | // operation: > (number, number) -> int |
---|
398 | // operation: > (string, string) -> int |
---|
399 | // operation: > (intvec, int) -> int |
---|
400 | // operation: > (intvec, intvec) -> int |
---|
401 | // operation: > (poly, poly) -> int |
---|
402 | // operation: > (vector, vector) -> int |
---|
403 | // operation: > (matrix, matrix) -> int |
---|
404 | // operation: and (int, int) -> int |
---|
405 | // operation: or (int, int) -> int |
---|
406 | // operation: == (int, int) -> int |
---|
407 | // operation: == (ring, int) -> int |
---|
408 | // operation: == (ring, ring) -> int |
---|
409 | // operation: == (bigint, bigint) -> int |
---|
410 | // operation: == (number, number) -> int |
---|
411 | // operation: == (string, string) -> int |
---|
412 | // operation: == (poly, poly) -> int |
---|
413 | // operation: == (vector, vector) -> int |
---|
414 | // operation: == (intvec, int) -> int |
---|
415 | // operation: == (intvec, intvec) -> int |
---|
416 | // operation: == (intmat, intmat) -> int |
---|
417 | // operation: == (bigintmat, bigintmat) -> int |
---|
418 | // operation: == (cring, cring) -> int |
---|
419 | // operation: == (matrix, matrix) -> int |
---|
420 | // operation: == (smatrix, smatrix) -> int |
---|
421 | // operation: == (ring, ring) -> int |
---|
422 | // DUMMY // operation: == (ideal, ideal) -> $INVALID$ |
---|
423 | // DUMMY // operation: == (module, module) -> $INVALID$ |
---|
424 | // DUMMY // operation: == (ideal, module) -> $INVALID$ |
---|
425 | // DUMMY // operation: == (module, ideal) -> $INVALID$ |
---|
426 | // operation: <> (int, int) -> int |
---|
427 | // operation: <> (bigint, bigint) -> int |
---|
428 | // operation: <> (number, number) -> int |
---|
429 | // operation: <> (string, string) -> int |
---|
430 | // operation: <> (poly, poly) -> int |
---|
431 | // operation: <> (vector, vector) -> int |
---|
432 | // operation: <> (intvec, intvec) -> int |
---|
433 | // operation: <> (intmat, intmat) -> int |
---|
434 | // operation: <> (matrix, matrix) -> int |
---|
435 | // operation: <> (smatrix, smatrix) -> int |
---|
436 | // DUMMY // operation: <> (ideal, ideal) -> $INVALID$ |
---|
437 | // DUMMY // operation: <> (module, module) -> $INVALID$ |
---|
438 | // DUMMY // operation: <> (ideal, module) -> $INVALID$ |
---|
439 | // DUMMY // operation: <> (module, ideal) -> $INVALID$ |
---|
440 | // operation: <> (ring, ring) -> int |
---|
441 | // operation: .. (int, int) -> intvec |
---|
442 | // operation: [ (intvec, int) -> int |
---|
443 | // operation: [ (intvec, intvec) -> int |
---|
444 | // operation: [ (ideal, int) -> poly |
---|
445 | // operation: [ (map, int) -> poly |
---|
446 | // operation: [ (ideal, intvec) -> poly |
---|
447 | // operation: [ (module, int) -> vector |
---|
448 | // operation: [ (module, intvec) -> vector |
---|
449 | // operation: [ (string, int) -> string |
---|
450 | // operation: [ (string, intvec) -> string |
---|
451 | // operation: [ (list, int) -> any_type |
---|
452 | // operation: [ (list, intvec) -> any_type |
---|
453 | // operation: [ (poly, int) -> poly |
---|
454 | // operation: [ (polyBucket, int) -> poly |
---|
455 | // operation: [ (poly, intvec) -> poly |
---|
456 | // operation: [ (vector, int) -> poly |
---|
457 | // operation: [ (vector, intvec) -> vector |
---|
458 | // operation: [ (cring, any_type) -> ring |
---|
459 | // operation: ( (proc, def) -> any_type |
---|
460 | // operation: ( (map, def) -> any_type |
---|
461 | // operation: ( (LIB, string) -> nothing |
---|
462 | // operation: ( (any_type, int) -> any_type |
---|
463 | // operation: ( (any_type, intvec) -> any_type |
---|
464 | // operation: : (int, int) -> intvec |
---|
465 | // operation: align (vector, int) -> vector |
---|
466 | // operation: align (module, int) -> module |
---|
467 | // operation: attrib (def, string) -> nothing |
---|
468 | // operation: betti (list, int) -> intmat |
---|
469 | // operation: betti (resolution, int) -> intmat |
---|
470 | // operation: betti (ideal, int) -> intmat |
---|
471 | // operation: betti (module, int) -> intmat |
---|
472 | // operation: bracket (poly, poly) -> poly, field coeffs |
---|
473 | // operation: chinrem (intvec, intvec) -> bigint |
---|
474 | // operation: chinrem (list, intvec) -> any_type |
---|
475 | // operation: chinrem (list, list) -> any_type |
---|
476 | // operation: coef (poly, poly) -> matrix |
---|
477 | // operation: coef (ideal, poly) -> matrix |
---|
478 | // operation: coeffs (ideal, poly) -> matrix |
---|
479 | // operation: coeffs (module, poly) -> matrix |
---|
480 | // operation: coeffs (ideal, ideal) -> matrix |
---|
481 | // operation: coeffs (module, module) -> matrix |
---|
482 | // operation: contract (ideal, ideal) -> matrix |
---|
483 | // operation: deg (poly, intvec) -> int |
---|
484 | // operation: deg (vector, intvec) -> int |
---|
485 | // operation: deg (matrix, intvec) -> int |
---|
486 | // operation: delete (intvec, int) -> intvec |
---|
487 | // operation: delete (ideal, int) -> ideal |
---|
488 | // operation: delete (module, int) -> module |
---|
489 | // operation: delete (list, int) -> list |
---|
490 | // operation: det (smatrix, string) -> poly, only commutative rings, field coeffs |
---|
491 | // operation: det (matrix, string) -> poly, only commutative rings |
---|
492 | // operation: diff (poly, poly) -> poly |
---|
493 | // operation: diff (vector, poly) -> vector |
---|
494 | // operation: diff (ideal, poly) -> ideal |
---|
495 | // operation: diff (ideal, ideal) -> matrix |
---|
496 | // operation: diff (module, poly) -> module |
---|
497 | // operation: diff (matrix, poly) -> matrix |
---|
498 | // operation: diff (number, number) -> number |
---|
499 | // operation: dim (ideal, ideal) -> int, field coeffs |
---|
500 | // operation: dim (module, ideal) -> int, field coeffs |
---|
501 | // operation: division (ideal, ideal) -> list |
---|
502 | // operation: division (module, module) -> list |
---|
503 | // operation: eliminate (ideal, poly) -> ideal |
---|
504 | // operation: eliminate (module, poly) -> module |
---|
505 | // operation: eliminate (ideal, intvec) -> ideal |
---|
506 | // operation: eliminate (module, intvec) -> module |
---|
507 | // operation: exportto (package, identifier) -> nothing |
---|
508 | // operation: extgcd (int, int) -> list |
---|
509 | // operation: extgcd (bigint, bigint) -> list |
---|
510 | // operation: extgcd (poly, poly) -> list, only commutative rings, field coeffs |
---|
511 | // operation: factorize (poly, int) -> ideal, only commutative rings, field coeffs |
---|
512 | // operation: facstd (ideal, ideal) -> list, only commutative rings, field coeffs |
---|
513 | // operation: farey (bigint, bigint) -> number requires currRing, field coeffs |
---|
514 | // operation: farey (ideal, bigint) -> ideal, field coeffs |
---|
515 | // operation: farey (module, bigint) -> module, field coeffs |
---|
516 | // operation: farey (matrix, bigint) -> matrix, field coeffs |
---|
517 | // operation: farey (list, bigint) -> list, field coeffs |
---|
518 | // operation: fetch (ring, any_type) -> any_type |
---|
519 | // operation: fglm (ring, def) -> ideal requires currRing, only commutative rings, field coeffs |
---|
520 | // operation: fglmquot (ideal, poly) -> ideal, only commutative rings, field coeffs |
---|
521 | // operation: find (string, string) -> int |
---|
522 | // operation: fres (ideal, int) -> resolution, only commutative rings, field coeffs |
---|
523 | // operation: fres (module, int) -> resolution, only commutative rings, field coeffs |
---|
524 | // operation: frwalk (ring, def) -> ideal requires currRing, only commutative rings, field coeffs |
---|
525 | // operation: gcd (int, int) -> int |
---|
526 | // operation: gcd (number, number) -> number |
---|
527 | // operation: gcd (bigint, bigint) -> bigint |
---|
528 | // operation: gcd (poly, poly) -> poly, only commutative rings |
---|
529 | // operation: hilb (ideal, int) -> intvec, domain coeffs |
---|
530 | // operation: hilb (module, int) -> intvec, domain coeffs |
---|
531 | // operation: homog (ideal, intvec) -> int |
---|
532 | // operation: homog (module, intvec) -> int |
---|
533 | // operation: homog (poly, poly) -> poly |
---|
534 | // operation: homog (vector, poly) -> vector |
---|
535 | // operation: homog (ideal, poly) -> ideal |
---|
536 | // operation: homog (module, poly) -> module |
---|
537 | // operation: hres (ideal, int) -> resolution, only commutative rings, field coeffs |
---|
538 | // operation: imap (ring, any_type) -> any_type |
---|
539 | // operation: importfrom (package, any_type) -> nothing |
---|
540 | // operation: indepSet (ideal, int) -> list, only commutative rings, field coeffs |
---|
541 | // operation: insert (list, def) -> list |
---|
542 | // operation: interpolation (list, intvec) -> ideal requires currRing, only commutative rings, field coeffs |
---|
543 | // operation: intersect (ideal, ideal) -> ideal |
---|
544 | // operation: intersect (module, module) -> module |
---|
545 | // operation: janet (ideal, int) -> ideal, field coeffs |
---|
546 | // operation: jet (poly, int) -> poly |
---|
547 | // operation: jet (ideal, int) -> ideal |
---|
548 | // operation: jet (vector, int) -> vector |
---|
549 | // operation: jet (module, int) -> module |
---|
550 | // operation: jet (matrix, int) -> matrix |
---|
551 | // operation: kbase (ideal, int) -> ideal, QQ coeffs |
---|
552 | // operation: kbase (module, int) -> module, QQ coeffs |
---|
553 | // operation: kernel (ring, any_type) -> ideal requires currRing |
---|
554 | // operation: killattrib (identifier, string) -> nothing |
---|
555 | // operation: koszul (int, int) -> matrix requires currRing, only commutative rings |
---|
556 | // operation: koszul (int, ideal) -> matrix, only commutative rings |
---|
557 | // operation: kres (ideal, int) -> resolution, only commutative rings, field coeffs |
---|
558 | // operation: lift (ideal, ideal) -> matrix |
---|
559 | // operation: lift (module, module) -> matrix |
---|
560 | // operation: liftstd (ideal, matrix) -> ideal |
---|
561 | // operation: liftstd (module, matrix) -> module |
---|
562 | // operation: load (string, string) -> nothing |
---|
563 | // operation: lres (ideal, int) -> resolution, only commutative rings, field coeffs |
---|
564 | // operation: modulo (ideal, ideal) -> module |
---|
565 | // operation: modulo (module, module) -> module |
---|
566 | // operation: monitor (link, string) -> nothing |
---|
567 | // operation: mpresmat (ideal, int) -> module, only commutative rings, field coeffs |
---|
568 | // operation: newstruct (string, string) -> nothing |
---|
569 | // operation: mres (ideal, int) -> resolution |
---|
570 | // operation: mres (module, int) -> resolution |
---|
571 | // operation: primefactors (bigint, int) -> list |
---|
572 | // operation: primefactors (number, int) -> list |
---|
573 | // operation: ncalgebra (poly, poly) -> nothing, only commutative rings, field coeffs |
---|
574 | // operation: ncalgebra (poly, matrix) -> nothing, only commutative rings, field coeffs |
---|
575 | // operation: ncalgebra (matrix, poly) -> nothing, only commutative rings, field coeffs |
---|
576 | // operation: ncalgebra (matrix, matrix) -> nothing, only commutative rings, field coeffs |
---|
577 | // operation: nc_algebra (poly, poly) -> ring, only commutative rings, field coeffs |
---|
578 | // operation: nc_algebra (poly, matrix) -> ring, only commutative rings, field coeffs |
---|
579 | // operation: nc_algebra (matrix, poly) -> ring, only commutative rings, field coeffs |
---|
580 | // operation: nc_algebra (matrix, matrix) -> ring, only commutative rings, field coeffs |
---|
581 | // operation: oppose (ring, def) -> any_type, field coeffs |
---|
582 | // operation: parstr (ring, int) -> string |
---|
583 | // operation: print (def, string) -> string |
---|
584 | // operation: quotient (ideal, ideal) -> ideal |
---|
585 | // operation: quotient (module, ideal) -> module |
---|
586 | // operation: quotient (module, module) -> ideal |
---|
587 | // operation: random (int, int) -> int |
---|
588 | // operation: rank (matrix, int) -> int, field coeffs |
---|
589 | // operation: read (link, string) -> string |
---|
590 | // operation: reduce (poly, ideal) -> poly |
---|
591 | // operation: reduce (vector, ideal) -> vector |
---|
592 | // operation: reduce (vector, module) -> vector |
---|
593 | // operation: reduce (ideal, ideal) -> ideal |
---|
594 | // operation: reduce (module, ideal) -> module |
---|
595 | // operation: reduce (module, module) -> module |
---|
596 | // operation: nres (ideal, int) -> resolution |
---|
597 | // operation: nres (module, int) -> resolution |
---|
598 | // operation: sba (ideal, int) -> ideal |
---|
599 | // operation: sba (module, int) -> module |
---|
600 | // operation: simplify (poly, int) -> poly |
---|
601 | // operation: simplify (vector, int) -> vector |
---|
602 | // operation: simplify (ideal, int) -> ideal |
---|
603 | // operation: simplify (module, int) -> module |
---|
604 | // operation: sqrfree (poly, int) -> ideal, only commutative rings |
---|
605 | // operation: status (link, string) -> string |
---|
606 | // operation: status (list, int) -> int |
---|
607 | // operation: sres (ideal, int) -> resolution, only commutative rings |
---|
608 | // operation: sres (module, int) -> resolution, only commutative rings |
---|
609 | // operation: std (ideal, poly) -> ideal |
---|
610 | // operation: std (module, vector) -> module |
---|
611 | // operation: std (ideal, ideal) -> ideal |
---|
612 | // operation: std (module, module) -> module |
---|
613 | // operation: std (ideal, intvec) -> ideal, field coeffs |
---|
614 | // operation: std (module, intvec) -> module, field coeffs |
---|
615 | // operation: syz (ideal, string) -> module |
---|
616 | // operation: syz (module, string) -> module |
---|
617 | // operation: tensor (matrix, matrix) -> matrix |
---|
618 | // operation: tensor (module, module) -> module |
---|
619 | // operation: tensor (smatrix, smatrix) -> smatrix |
---|
620 | // operation: varstr (ring, int) -> string |
---|
621 | // operation: waitfirst (list, int) -> int |
---|
622 | // operation: waitall (list, int) -> int |
---|
623 | // operation: wedge (matrix, int) -> matrix, only commutative rings |
---|
624 | /*---------------------------------------------*/ |
---|
625 | // operation: [ (string, int, int) -> string |
---|
626 | // operation: [ (intmat, int, int) -> int |
---|
627 | // operation: [ (bigintmat, int, int) -> bigint |
---|
628 | // operation: [ (intmat, int, intvec) -> int |
---|
629 | // operation: [ (bigintmat, int, intvec) -> bigint |
---|
630 | // operation: [ (intmat, intvec, int) -> int |
---|
631 | // operation: [ (bigintmat, intvec, int) -> bigint |
---|
632 | // operation: [ (intmat, intvec, intvec) -> int |
---|
633 | // operation: [ (bigintmat, intvec, intvec) -> bigint |
---|
634 | // operation: [ (matrix, int, int) -> poly |
---|
635 | // operation: [ (smatrix, int, int) -> poly |
---|
636 | // operation: [ (matrix, int, intvec) -> poly |
---|
637 | // operation: [ (matrix, intvec, int) -> poly |
---|
638 | // operation: [ (matrix, intvec, intvec) -> poly |
---|
639 | // operation: [ (cring, any_type, any_type) -> ring |
---|
640 | // operation: ( (proc, def, def) -> any_type |
---|
641 | // operation: attrib (identifier, string, def) -> nothing |
---|
642 | // operation: bareiss (module, int, int) -> list, only commutative rings, domain coeffs |
---|
643 | // operation: bracket (poly, poly, int) -> poly, field coeffs |
---|
644 | // operation: coeffs (poly, poly, matrix) -> matrix |
---|
645 | // operation: coeffs (vector, poly, matrix) -> matrix |
---|
646 | // operation: coeffs (ideal, poly, matrix) -> matrix |
---|
647 | // operation: coeffs (module, poly, matrix) -> matrix |
---|
648 | // operation: coeffs (ideal, ideal, poly) -> matrix |
---|
649 | // operation: coeffs (module, module, poly) -> matrix |
---|
650 | // operation: eliminate (ideal, poly, intvec) -> ideal, only commutative rings |
---|
651 | // operation: eliminate (module, poly, intvec) -> module, only commutative rings |
---|
652 | // operation: eliminate (ideal, poly, string) -> ideal |
---|
653 | // operation: eliminate (module, poly, string) -> module |
---|
654 | // operation: find (string, string, int) -> int |
---|
655 | // operation: fres (ideal, int, string) -> resolution, only commutative rings, field coeffs |
---|
656 | // operation: fres (module, int, string) -> resolution, only commutative rings, field coeffs |
---|
657 | // operation: frwalk (ring, def, int) -> ideal requires currRing, only commutative rings |
---|
658 | // operation: hilb (ideal, int, intvec) -> intvec, domain coeffs |
---|
659 | // operation: hilb (module, int, intvec) -> intvec, domain coeffs |
---|
660 | // operation: homog (poly, poly, intvec) -> poly |
---|
661 | // operation: homog (vector, poly, intvec) -> vector |
---|
662 | // operation: homog (ideal, poly, intvec) -> ideal |
---|
663 | // operation: homog (module, poly, intvec) -> module |
---|
664 | // operation: insert (list, def, int) -> list |
---|
665 | // operation: intersect (ideal, ideal, string) -> ideal |
---|
666 | // operation: intersect (module, module, string) -> module |
---|
667 | // operation: intersect (ideal, ideal, ideal) -> ideal |
---|
668 | // operation: intersect (module, module, module) -> module |
---|
669 | // operation: intmat (intmat, int, int) -> intmat |
---|
670 | // operation: jet (poly, int, intvec) -> poly, field coeffs |
---|
671 | // operation: jet (ideal, int, intvec) -> ideal, field coeffs |
---|
672 | // operation: jet (vector, int, intvec) -> vector, field coeffs |
---|
673 | // operation: jet (module, int, intvec) -> module, field coeffs |
---|
674 | // operation: jet (poly, poly, int) -> poly, field coeffs |
---|
675 | // operation: jet (vector, poly, int) -> vector, field coeffs |
---|
676 | // operation: jet (ideal, matrix, int) -> ideal, field coeffs |
---|
677 | // operation: jet (module, matrix, int) -> module, field coeffs |
---|
678 | // DUMMY // operation: jet (poly, int, int) -> poly, field coeffs |
---|
679 | // operation: koszul (int, int, ideal) -> matrix, only commutative rings, field coeffs |
---|
680 | // operation: lift (ideal, ideal, matrix) -> matrix |
---|
681 | // operation: lift (module, module, matrix) -> matrix |
---|
682 | // operation: liftstd (ideal, matrix, module) -> ideal |
---|
683 | // operation: liftstd (module, matrix, module) -> module |
---|
684 | // operation: matrix (ideal, int, int) -> matrix |
---|
685 | // operation: matrix (module, int, int) -> matrix |
---|
686 | // operation: matrix (matrix, int, int) -> matrix |
---|
687 | // operation: smatrix (module, int, int) -> smatrix |
---|
688 | // operation: smatrix (smatrix, int, int) -> smatrix |
---|
689 | // operation: newstruct (string, string, string) -> nothing |
---|
690 | // operation: preimage (ring, any_type, any_type) -> ideal requires currRing |
---|
691 | // operation: random (int, int, int) -> intmat |
---|
692 | // operation: reduce (poly, ideal, int) -> poly |
---|
693 | // operation: reduce (vector, ideal, int) -> vector |
---|
694 | // operation: reduce (vector, module, int) -> vector |
---|
695 | // operation: reduce (ideal, ideal, int) -> ideal |
---|
696 | // operation: reduce (module, module, int) -> module |
---|
697 | // operation: reduce (module, ideal, int) -> module |
---|
698 | // operation: reduce (poly, poly, ideal) -> poly |
---|
699 | // operation: reduce (vector, poly, module) -> vector |
---|
700 | // operation: reduce (ideal, ideal, matrix) -> ideal |
---|
701 | // operation: reduce (module, module, matrix) -> module |
---|
702 | // operation: resultant (poly, poly, poly) -> poly, only commutative rings |
---|
703 | // operation: ring (def, def, def) -> ring |
---|
704 | // operation: sba (ideal, int, int) -> ideal |
---|
705 | // operation: sba (module, int, int) -> module |
---|
706 | // operation: status (link, string, string) -> int |
---|
707 | // operation: std (ideal, intvec, intvec) -> ideal, field coeffs |
---|
708 | // operation: std (module, intvec, intvec) -> module, field coeffs |
---|
709 | // operation: subst (def, poly, polyBucket) -> any_type |
---|
710 | // operation: subst (poly, poly, poly) -> poly |
---|
711 | // operation: subst (vector, poly, poly) -> vector |
---|
712 | // operation: subst (ideal, poly, poly) -> ideal |
---|
713 | // operation: subst (module, poly, poly) -> module |
---|
714 | // operation: subst (matrix, poly, poly) -> matrix |
---|
715 | // operation: subst (matrix, poly, int) -> matrix |
---|
716 | // operation: subst (matrix, poly, number) -> matrix |
---|
717 | // operation: laguerre (poly, int, int) -> list, only commutative rings, field coeffs |
---|
718 | // operation: vandermonde (ideal, ideal, int) -> poly, only commutative rings, field coeffs |
---|
719 | /*---------------------------------------------*/ |
---|
720 | // operation: ( (...) -> any_type ( number of arguments >0 ) |
---|
721 | // operation: [ (...) -> ring ( number of arguments >0 ) |
---|
722 | // operation: breakpoint (...) -> nothing ( 0 arguments ) |
---|
723 | // operation: breakpoint (...) -> nothing ( number of arguments >0 ) |
---|
724 | // operation: branchTo (...) -> nothing ( number of arguments >0 ) |
---|
725 | // operation: coef (...) -> matrix ( 2 arguments ) |
---|
726 | // operation: coef (...) -> nothing ( 4 arguments ) |
---|
727 | // operation: division (...) -> list ( 2 arguments ) |
---|
728 | // operation: division (...) -> list ( 3 arguments ) |
---|
729 | // operation: division (...) -> list ( 4 arguments ) |
---|
730 | // operation: dbprint (...) -> nothing ( number of arguments >0 ) |
---|
731 | // operation: fetch (...) -> any_type ( 2 arguments ) |
---|
732 | // operation: fetch (...) -> any_type ( 3 arguments ) |
---|
733 | // operation: fetch (...) -> any_type ( 4 arguments ) |
---|
734 | // operation: ideal (...) -> ideal ( 1 arguments ) |
---|
735 | // operation: ideal (...) -> ideal ( any number of arguments ) |
---|
736 | // operation: intersect (...) -> ideal ( 2 arguments ) |
---|
737 | // operation: intersect (...) -> ideal ( 3 arguments ) |
---|
738 | // operation: intersect (...) -> ideal ( number of arguments >0 ) |
---|
739 | // operation: intvec (...) -> intvec ( 1 arguments ) |
---|
740 | // operation: intvec (...) -> intvec ( number of arguments >0 ) |
---|
741 | // operation: jet (...) -> poly ( 2 arguments ) |
---|
742 | // operation: jet (...) -> poly ( 3 arguments ) |
---|
743 | // operation: jet (...) -> poly ( 4 arguments ) |
---|
744 | // operation: LIB (...) -> nothing ( 1 arguments ) |
---|
745 | // operation: lift (...) -> matrix ( 2 arguments ) |
---|
746 | // operation: lift (...) -> matrix ( 3 arguments ) |
---|
747 | // operation: lift (...) -> matrix ( 4 arguments ) |
---|
748 | // operation: liftstd (...) -> ideal ( 2 arguments ) |
---|
749 | // operation: liftstd (...) -> ideal ( 3 arguments ) |
---|
750 | // operation: liftstd (...) -> ideal ( 4 arguments ) |
---|
751 | // operation: list (...) -> list ( any number of arguments ) |
---|
752 | // operation: luinverse (...) -> list ( number of arguments >0 ) |
---|
753 | // operation: lusolve (...) -> list ( number of arguments >0 ) |
---|
754 | // operation: minor (...) -> nothing ( 1 arguments ) |
---|
755 | // operation: minor (...) -> ideal ( number of arguments >0 ) |
---|
756 | // operation: module (...) -> module ( 1 arguments ) |
---|
757 | // operation: module (...) -> module ( any number of arguments ) |
---|
758 | // operation: names (...) -> list ( 1 arguments ) |
---|
759 | // operation: names (...) -> list ( 0 arguments ) |
---|
760 | // operation: $INVALID$ (...) -> $INVALID$ ( 2 arguments ) |
---|
761 | // operation: option (...) -> string ( any number of arguments ) |
---|
762 | // operation: reduce (...) -> ideal ( 2 arguments ) |
---|
763 | // operation: reduce (...) -> ideal ( 3 arguments ) |
---|
764 | // operation: reduce (...) -> ideal ( 4 arguments ) |
---|
765 | // operation: reduce (...) -> ideal ( 5 arguments ) |
---|
766 | // operation: reservedName (...) -> int ( 1 arguments ) |
---|
767 | // operation: reservedName (...) -> nothing ( 0 arguments ) |
---|
768 | // operation: reservedNameList (...) -> list ( 0 arguments ) |
---|
769 | // operation: string (...) -> string ( any number of arguments ) |
---|
770 | // operation: subst (...) -> nothing ( 3 arguments ) |
---|
771 | // operation: subst (...) -> nothing ( number of arguments >0 ) |
---|
772 | // operation: system (...) -> nothing ( number of arguments >0 ) |
---|
773 | // operation: test (...) -> nothing ( number of arguments >0 ) |
---|
774 | // operation: write (...) -> nothing ( number of arguments >0 ) |
---|
775 | // operation: status (...) -> string ( 2 arguments ) |
---|
776 | // operation: status (...) -> int ( 3 arguments ) |
---|
777 | // operation: status (...) -> int ( 4 arguments ) |
---|
778 | // operation: simplex (...) -> list ( 6 arguments ) |
---|
779 | // operation: uressolve (...) -> list ( 4 arguments ) |
---|
780 | // operation: std (...) -> ideal ( 1 arguments ) |
---|
781 | // operation: std (...) -> ideal ( 2 arguments ) |
---|
782 | // operation: std (...) -> ideal ( 3 arguments ) |
---|
783 | // operation: std (...) -> ideal ( 4 arguments ) |
---|
784 | // operation: qrds (...) -> list ( 4 arguments ) |
---|
785 | // operation: factmodd (...) -> list ( number of arguments >0 ) |
---|
786 | /*---------------------------------------------*/ |
---|
787 | // assign: bigint = bigint |
---|
788 | // assign: bigintmat = bigintmat |
---|
789 | // assign: cring = cring |
---|
790 | // assign: ideal = ideal |
---|
791 | // assign: ideal = module |
---|
792 | // assign: ideal = matrix |
---|
793 | // assign: int = int |
---|
794 | // assign: int = intmat |
---|
795 | // assign: intvec = intvec |
---|
796 | // assign: intmat = intmat |
---|
797 | // assign: link = string |
---|
798 | // assign: link = link |
---|
799 | // assign: list = resolution |
---|
800 | // assign: list = list |
---|
801 | // assign: map = ideal |
---|
802 | // assign: map = map |
---|
803 | // assign: matrix = matrix |
---|
804 | // assign: module = module |
---|
805 | // assign: module = poly |
---|
806 | // assign: number = number |
---|
807 | // assign: package = package |
---|
808 | // assign: poly = poly |
---|
809 | // assign: poly = matrix |
---|
810 | // assign: poly = polyBucket |
---|
811 | // assign: proc = string |
---|
812 | // assign: proc = proc |
---|
813 | // assign: resolution = resolution |
---|
814 | // assign: ring = ring |
---|
815 | // assign: ring = ideal |
---|
816 | // assign: smatrix = smatrix |
---|
817 | // assign: smatrix = module |
---|
818 | // assign: string = string |
---|
819 | // assign: vector = vector |
---|
820 | // assign: def = def |
---|
821 | /*---------------------------------------------*/ |
---|
822 | // convert intmat -> bigintmat |
---|
823 | // convert intvec -> intmat |
---|
824 | // convert polyBucket -> ideal |
---|
825 | // convert poly -> ideal |
---|
826 | // convert bigint -> ideal |
---|
827 | // convert int -> ideal |
---|
828 | // convert intmat -> matrix |
---|
829 | // convert polyBucket -> matrix |
---|
830 | // convert ideal -> matrix |
---|
831 | // convert module -> matrix |
---|
832 | // convert number -> matrix |
---|
833 | // convert poly -> matrix |
---|
834 | // convert smatrix -> matrix |
---|
835 | // convert vector -> matrix |
---|
836 | // convert bigint -> matrix |
---|
837 | // convert int -> matrix |
---|
838 | // convert intvec -> matrix |
---|
839 | // convert ideal -> module |
---|
840 | // convert matrix -> module |
---|
841 | // convert smatrix -> module |
---|
842 | // convert vector -> module |
---|
843 | // convert bigint -> number |
---|
844 | // convert int -> number |
---|
845 | // convert polyBucket -> poly |
---|
846 | // convert number -> poly |
---|
847 | // convert bigint -> poly |
---|
848 | // convert int -> poly |
---|
849 | // convert list -> resolution |
---|
850 | // convert matrix -> smatrix |
---|
851 | // convert module -> smatrix |
---|
852 | // convert polyBucket -> vector |
---|
853 | // convert poly -> vector |
---|
854 | // convert bigint -> vector |
---|
855 | // convert int -> vector |
---|
856 | // convert int -> bigint |
---|
857 | // convert int -> intvec |
---|
858 | // convert string -> link |
---|
859 | // convert resolution -> list |
---|
860 | /*---------------------------------------------*/ |
---|
861 | // token 61 : = |
---|
862 | // token 62 : > |
---|
863 | // token 60 : < |
---|
864 | // token 43 : + |
---|
865 | // token 42 : * |
---|
866 | // token 47 : / |
---|
867 | // token 91 : [ |
---|
868 | // token 46 : . |
---|
869 | // token 94 : ^ |
---|
870 | // token 44 : , |
---|
871 | // token 37 : % |
---|
872 | // token 40 : ( |
---|
873 | // token 59 : ; |
---|
874 | // token 258 : .. |
---|
875 | // token 259 : == |
---|
876 | // token 260 : >= |
---|
877 | // token 261 : <= |
---|
878 | // token 262 : -- |
---|
879 | // token 263 : not |
---|
880 | // token 264 : <> |
---|
881 | // token 265 : ++ |
---|
882 | // token 266 : :: |
---|
883 | // token 269 : bigintmat |
---|
884 | // token 270 : intmat |
---|
885 | // token 271 : proc |
---|
886 | // token 272 : ring |
---|
887 | // token 274 : polyBucket |
---|
888 | // token 275 : ideal |
---|
889 | // token 276 : map |
---|
890 | // token 277 : matrix |
---|
891 | // token 278 : module |
---|
892 | // token 279 : number |
---|
893 | // token 280 : poly |
---|
894 | // token 281 : resolution |
---|
895 | // token 282 : smatrix |
---|
896 | // token 283 : vector |
---|
897 | // token 284 : betti |
---|
898 | // token 285 : gen |
---|
899 | // token 286 : fetch |
---|
900 | // token 287 : freemodule |
---|
901 | // token 288 : keepring |
---|
902 | // token 289 : imap |
---|
903 | // token 290 : koszul |
---|
904 | // token 291 : maxideal |
---|
905 | // token 292 : monomial |
---|
906 | // token 293 : par |
---|
907 | // token 294 : preimage |
---|
908 | // token 295 : var |
---|
909 | // token 297 : degBound |
---|
910 | // token 298 : multBound |
---|
911 | // token 299 : noether |
---|
912 | // token 300 : minpoly |
---|
913 | // token 301 : nothing |
---|
914 | // token 314 : example |
---|
915 | // token 315 : export |
---|
916 | // token 317 : kill |
---|
917 | // token 318 : LIB |
---|
918 | // token 319 : listvar |
---|
919 | // token 320 : setring |
---|
920 | // token 321 : type |
---|
921 | // token 328 : apply |
---|
922 | // token 329 : ASSUME |
---|
923 | // token 330 : break |
---|
924 | // token 331 : continue |
---|
925 | // token 332 : else |
---|
926 | // token 333 : eval |
---|
927 | // token 334 : quote |
---|
928 | // token 336 : forif |
---|
929 | // token 339 : return |
---|
930 | // token 340 : parameter |
---|
931 | // token 344 : command |
---|
932 | // token 345 : any_type |
---|
933 | // token 346 : identifier |
---|
934 | // token 357 : alias |
---|
935 | // token 358 : align |
---|
936 | // token 359 : attrib |
---|
937 | // token 360 : bareiss |
---|
938 | // token 361 : bigint |
---|
939 | // token 362 : branchTo |
---|
940 | // token 363 : bracket |
---|
941 | // token 364 : breakpoint |
---|
942 | // token 365 : char |
---|
943 | // token 366 : charstr |
---|
944 | // token 367 : char_series |
---|
945 | // token 368 : chinrem |
---|
946 | // token 372 : close |
---|
947 | // token 373 : coeffs |
---|
948 | // token 374 : coef |
---|
949 | // token 375 : ncols |
---|
950 | // token 376 : cleardenom |
---|
951 | // token 377 : contract |
---|
952 | // token 378 : size |
---|
953 | // token 379 : cring |
---|
954 | // token 380 : dbprint |
---|
955 | // token 381 : def |
---|
956 | // token 382 : defined |
---|
957 | // token 383 : deg |
---|
958 | // token 384 : degree |
---|
959 | // token 385 : delete |
---|
960 | // token 386 : denominator |
---|
961 | // token 387 : det |
---|
962 | // token 388 : diff |
---|
963 | // token 389 : dim |
---|
964 | // token 390 : division |
---|
965 | // token 391 : dump |
---|
966 | // token 392 : eliminate |
---|
967 | // token 393 : RETURN |
---|
968 | // token 394 : envelope |
---|
969 | // token 395 : ERROR |
---|
970 | // token 396 : execute |
---|
971 | // token 397 : exportto |
---|
972 | // token 398 : extgcd |
---|
973 | // token 399 : factorize |
---|
974 | // token 400 : farey |
---|
975 | // token 401 : find |
---|
976 | // token 402 : facstd |
---|
977 | // token 403 : factmodd |
---|
978 | // token 404 : fres |
---|
979 | // token 405 : frwalk |
---|
980 | // token 406 : fglm |
---|
981 | // token 407 : fglmquot |
---|
982 | // token 408 : finduni |
---|
983 | // token 409 : gcd |
---|
984 | // token 410 : getdump |
---|
985 | // token 411 : highcorner |
---|
986 | // token 412 : hilb |
---|
987 | // token 413 : homog |
---|
988 | // token 414 : hres |
---|
989 | // token 415 : impart |
---|
990 | // token 416 : importfrom |
---|
991 | // token 417 : indepSet |
---|
992 | // token 418 : insert |
---|
993 | // token 419 : int |
---|
994 | // token 420 : div |
---|
995 | // token 421 : interpolation |
---|
996 | // token 422 : interred |
---|
997 | // token 423 : intersect |
---|
998 | // token 424 : intvec |
---|
999 | // token 425 : rvar |
---|
1000 | // token 426 : jacob |
---|
1001 | // token 427 : janet |
---|
1002 | // token 428 : jet |
---|
1003 | // token 429 : kbase |
---|
1004 | // token 430 : kernel |
---|
1005 | // token 431 : killattrib |
---|
1006 | // token 432 : kres |
---|
1007 | // token 433 : laguerre |
---|
1008 | // token 434 : lead |
---|
1009 | // token 435 : leadcoef |
---|
1010 | // token 436 : leadexp |
---|
1011 | // token 437 : leadmonom |
---|
1012 | // token 438 : liftstd |
---|
1013 | // token 439 : lift |
---|
1014 | // token 440 : link |
---|
1015 | // token 441 : list |
---|
1016 | // token 442 : load |
---|
1017 | // token 443 : lres |
---|
1018 | // token 444 : ludecomp |
---|
1019 | // token 445 : luinverse |
---|
1020 | // token 446 : lusolve |
---|
1021 | // token 447 : memory |
---|
1022 | // token 448 : minbase |
---|
1023 | // token 449 : minor |
---|
1024 | // token 450 : minres |
---|
1025 | // token 451 : modulo |
---|
1026 | // token 452 : monitor |
---|
1027 | // token 453 : mpresmat |
---|
1028 | // token 454 : mres |
---|
1029 | // token 455 : mstd |
---|
1030 | // token 456 : mult |
---|
1031 | // token 457 : nameof |
---|
1032 | // token 458 : names |
---|
1033 | // token 459 : newstruct |
---|
1034 | // token 460 : ncalgebra |
---|
1035 | // token 461 : nc_algebra |
---|
1036 | // token 462 : convhull |
---|
1037 | // token 463 : npars |
---|
1038 | // token 464 : numerator |
---|
1039 | // token 465 : nvars |
---|
1040 | // token 466 : ord |
---|
1041 | // token 467 : open |
---|
1042 | // token 468 : oppose |
---|
1043 | // token 469 : opposite |
---|
1044 | // token 470 : option |
---|
1045 | // token 471 : ordstr |
---|
1046 | // token 472 : package |
---|
1047 | // token 473 : pardeg |
---|
1048 | // token 475 : parstr |
---|
1049 | // token 476 : primefactors |
---|
1050 | // token 477 : prime |
---|
1051 | // token 478 : print |
---|
1052 | // token 479 : prune |
---|
1053 | // token 480 : qhweight |
---|
1054 | // token 481 : qring |
---|
1055 | // token 482 : qrds |
---|
1056 | // token 483 : quotient |
---|
1057 | // token 484 : random |
---|
1058 | // token 485 : rank |
---|
1059 | // token 486 : read |
---|
1060 | // token 487 : reduce |
---|
1061 | // token 488 : regularity |
---|
1062 | // token 489 : repart |
---|
1063 | // token 490 : nres |
---|
1064 | // token 491 : reservedName |
---|
1065 | // token 492 : reservedNameList |
---|
1066 | // token 493 : restart |
---|
1067 | // token 494 : resultant |
---|
1068 | // token 495 : rightstd |
---|
1069 | // token 496 : ringlist |
---|
1070 | // token 497 : ring_list |
---|
1071 | // token 498 : nrows |
---|
1072 | // token 499 : sba |
---|
1073 | // token 500 : simplex |
---|
1074 | // token 501 : simplify |
---|
1075 | // token 502 : slimgb |
---|
1076 | // token 503 : sortvec |
---|
1077 | // token 504 : sqrfree |
---|
1078 | // token 505 : sres |
---|
1079 | // token 506 : status |
---|
1080 | // token 507 : std |
---|
1081 | // token 508 : string |
---|
1082 | // token 509 : subst |
---|
1083 | // token 510 : system |
---|
1084 | // token 511 : syz |
---|
1085 | // token 512 : tensor |
---|
1086 | // token 513 : test |
---|
1087 | // token 514 : transpose |
---|
1088 | // token 515 : trace |
---|
1089 | // token 516 : twostd |
---|
1090 | // token 517 : typeof |
---|
1091 | // token 518 : univariate |
---|
1092 | // token 520 : uressolve |
---|
1093 | // token 521 : vandermonde |
---|
1094 | // token 522 : variables |
---|
1095 | // token 523 : varstr |
---|
1096 | // token 524 : vdim |
---|
1097 | // token 525 : waitfirst |
---|
1098 | // token 526 : waitall |
---|
1099 | // token 527 : wedge |
---|
1100 | // token 528 : weight |
---|
1101 | // token 529 : write |
---|
1102 | // token 530 : echo |
---|
1103 | // token 531 : pagewidth |
---|
1104 | // token 532 : timer |
---|
1105 | // token 533 : rtimer |
---|
1106 | // token 534 : TRACE |
---|
1107 | // token 535 : voice |
---|
1108 | // token 536 : short |
---|
1109 | // token 537 : printlevel |
---|
1110 | /*--max. token: 538, gr: 342 --*/ |
---|
1111 | /*---------------------------------------------*/ |
---|
1112 | const struct sValCmdTab dArithTab1[]= |
---|
1113 | { |
---|
1114 | { 40,11 }, |
---|
1115 | { 45,2 }, |
---|
1116 | { 262,1 }, |
---|
1117 | { 263,145 }, |
---|
1118 | { 265,0 }, |
---|
1119 | { 269,22 }, |
---|
1120 | { 270,97 }, |
---|
1121 | { 271,167 }, |
---|
1122 | { 272,183 }, |
---|
1123 | { 275,83 }, |
---|
1124 | { 276,126 }, |
---|
1125 | { 277,127 }, |
---|
1126 | { 278,134 }, |
---|
1127 | { 279,146 }, |
---|
1128 | { 280,161 }, |
---|
1129 | { 281,176 }, |
---|
1130 | { 282,197 }, |
---|
1131 | { 283,224 }, |
---|
1132 | { 284,15 }, |
---|
1133 | { 285,68 }, |
---|
1134 | { 287,73 }, |
---|
1135 | { 291,128 }, |
---|
1136 | { 292,136 }, |
---|
1137 | { 293,157 }, |
---|
1138 | { 294,163 }, |
---|
1139 | { 295,227 }, |
---|
1140 | { 320,194 }, |
---|
1141 | { 359,12 }, |
---|
1142 | { 360,13 }, |
---|
1143 | { 361,19 }, |
---|
1144 | { 365,23 }, |
---|
1145 | { 366,25 }, |
---|
1146 | { 367,24 }, |
---|
1147 | { 370,149 }, |
---|
1148 | { 372,26 }, |
---|
1149 | { 375,27 }, |
---|
1150 | { 376,33 }, |
---|
1151 | { 378,35 }, |
---|
1152 | { 379,49 }, |
---|
1153 | { 381,50 }, |
---|
1154 | { 382,57 }, |
---|
1155 | { 383,52 }, |
---|
1156 | { 384,55 }, |
---|
1157 | { 386,58 }, |
---|
1158 | { 387,60 }, |
---|
1159 | { 389,64 }, |
---|
1160 | { 391,67 }, |
---|
1161 | { 394,207 }, |
---|
1162 | { 395,70 }, |
---|
1163 | { 396,69 }, |
---|
1164 | { 399,71 }, |
---|
1165 | { 402,74 }, |
---|
1166 | { 408,72 }, |
---|
1167 | { 410,75 }, |
---|
1168 | { 411,76 }, |
---|
1169 | { 412,78 }, |
---|
1170 | { 413,81 }, |
---|
1171 | { 415,88 }, |
---|
1172 | { 417,89 }, |
---|
1173 | { 419,90 }, |
---|
1174 | { 422,95 }, |
---|
1175 | { 424,99 }, |
---|
1176 | { 425,101 }, |
---|
1177 | { 426,104 }, |
---|
1178 | { 427,107 }, |
---|
1179 | { 429,108 }, |
---|
1180 | { 431,113 }, |
---|
1181 | { 434,114 }, |
---|
1182 | { 435,118 }, |
---|
1183 | { 436,120 }, |
---|
1184 | { 437,122 }, |
---|
1185 | { 440,124 }, |
---|
1186 | { 441,125 }, |
---|
1187 | { 442,232 }, |
---|
1188 | { 444,110 }, |
---|
1189 | { 447,129 }, |
---|
1190 | { 448,130 }, |
---|
1191 | { 450,132 }, |
---|
1192 | { 452,135 }, |
---|
1193 | { 455,139 }, |
---|
1194 | { 456,137 }, |
---|
1195 | { 457,141 }, |
---|
1196 | { 458,142 }, |
---|
1197 | { 462,233 }, |
---|
1198 | { 463,150 }, |
---|
1199 | { 464,59 }, |
---|
1200 | { 465,151 }, |
---|
1201 | { 466,154 }, |
---|
1202 | { 467,152 }, |
---|
1203 | { 469,208 }, |
---|
1204 | { 470,153 }, |
---|
1205 | { 471,156 }, |
---|
1206 | { 473,158 }, |
---|
1207 | { 475,159 }, |
---|
1208 | { 476,111 }, |
---|
1209 | { 477,164 }, |
---|
1210 | { 478,165 }, |
---|
1211 | { 479,168 }, |
---|
1212 | { 480,169 }, |
---|
1213 | { 485,171 }, |
---|
1214 | { 486,172 }, |
---|
1215 | { 488,173 }, |
---|
1216 | { 489,174 }, |
---|
1217 | { 491,175 }, |
---|
1218 | { 493,178 }, |
---|
1219 | { 495,179 }, |
---|
1220 | { 496,180 }, |
---|
1221 | { 497,181 }, |
---|
1222 | { 498,185 }, |
---|
1223 | { 499,192 }, |
---|
1224 | { 502,195 }, |
---|
1225 | { 503,198 }, |
---|
1226 | { 504,200 }, |
---|
1227 | { 507,201 }, |
---|
1228 | { 508,204 }, |
---|
1229 | { 511,205 }, |
---|
1230 | { 514,213 }, |
---|
1231 | { 515,211 }, |
---|
1232 | { 516,209 }, |
---|
1233 | { 517,219 }, |
---|
1234 | { 518,220 }, |
---|
1235 | { 522,221 }, |
---|
1236 | { 523,228 }, |
---|
1237 | { 524,225 }, |
---|
1238 | { 525,234 }, |
---|
1239 | { 526,235 }, |
---|
1240 | { 528,230 }, |
---|
1241 | { 10000,0 } |
---|
1242 | }; |
---|
1243 | #define JJTAB1LEN 127 |
---|
1244 | const struct sValCmdTab dArithTab2[]= |
---|
1245 | { |
---|
1246 | { 37,105 }, |
---|
1247 | { 38,152 }, |
---|
1248 | { 40,207 }, |
---|
1249 | { 42,51 }, |
---|
1250 | { 43,1 }, |
---|
1251 | { 45,29 }, |
---|
1252 | { 47,89 }, |
---|
1253 | { 58,212 }, |
---|
1254 | { 60,125 }, |
---|
1255 | { 62,143 }, |
---|
1256 | { 91,190 }, |
---|
1257 | { 94,111 }, |
---|
1258 | { 124,153 }, |
---|
1259 | { 258,189 }, |
---|
1260 | { 259,154 }, |
---|
1261 | { 260,134 }, |
---|
1262 | { 261,116 }, |
---|
1263 | { 264,174 }, |
---|
1264 | { 266,0 }, |
---|
1265 | { 284,216 }, |
---|
1266 | { 286,266 }, |
---|
1267 | { 289,286 }, |
---|
1268 | { 290,303 }, |
---|
1269 | { 358,213 }, |
---|
1270 | { 359,215 }, |
---|
1271 | { 363,220 }, |
---|
1272 | { 368,221 }, |
---|
1273 | { 373,226 }, |
---|
1274 | { 374,224 }, |
---|
1275 | { 377,230 }, |
---|
1276 | { 383,231 }, |
---|
1277 | { 385,234 }, |
---|
1278 | { 387,238 }, |
---|
1279 | { 388,240 }, |
---|
1280 | { 389,247 }, |
---|
1281 | { 390,249 }, |
---|
1282 | { 392,251 }, |
---|
1283 | { 397,255 }, |
---|
1284 | { 398,256 }, |
---|
1285 | { 399,259 }, |
---|
1286 | { 400,261 }, |
---|
1287 | { 401,269 }, |
---|
1288 | { 402,260 }, |
---|
1289 | { 404,270 }, |
---|
1290 | { 405,272 }, |
---|
1291 | { 406,267 }, |
---|
1292 | { 407,268 }, |
---|
1293 | { 409,273 }, |
---|
1294 | { 412,277 }, |
---|
1295 | { 413,279 }, |
---|
1296 | { 414,285 }, |
---|
1297 | { 416,287 }, |
---|
1298 | { 417,288 }, |
---|
1299 | { 418,289 }, |
---|
1300 | { 420,99 }, |
---|
1301 | { 421,290 }, |
---|
1302 | { 423,291 }, |
---|
1303 | { 427,293 }, |
---|
1304 | { 428,294 }, |
---|
1305 | { 429,299 }, |
---|
1306 | { 430,301 }, |
---|
1307 | { 431,302 }, |
---|
1308 | { 432,305 }, |
---|
1309 | { 438,308 }, |
---|
1310 | { 439,306 }, |
---|
1311 | { 442,310 }, |
---|
1312 | { 443,311 }, |
---|
1313 | { 451,312 }, |
---|
1314 | { 452,314 }, |
---|
1315 | { 453,315 }, |
---|
1316 | { 454,317 }, |
---|
1317 | { 459,316 }, |
---|
1318 | { 460,321 }, |
---|
1319 | { 461,325 }, |
---|
1320 | { 468,329 }, |
---|
1321 | { 475,330 }, |
---|
1322 | { 476,319 }, |
---|
1323 | { 478,331 }, |
---|
1324 | { 483,332 }, |
---|
1325 | { 484,335 }, |
---|
1326 | { 485,336 }, |
---|
1327 | { 486,337 }, |
---|
1328 | { 487,338 }, |
---|
1329 | { 490,344 }, |
---|
1330 | { 499,346 }, |
---|
1331 | { 501,348 }, |
---|
1332 | { 504,352 }, |
---|
1333 | { 505,355 }, |
---|
1334 | { 506,353 }, |
---|
1335 | { 507,357 }, |
---|
1336 | { 511,363 }, |
---|
1337 | { 512,365 }, |
---|
1338 | { 523,368 }, |
---|
1339 | { 525,369 }, |
---|
1340 | { 526,370 }, |
---|
1341 | { 527,371 }, |
---|
1342 | { 10000,0 } |
---|
1343 | }; |
---|
1344 | #define JJTAB2LEN 96 |
---|
1345 | /**************************************** |
---|
1346 | * Computer Algebra System SINGULAR * |
---|
1347 | ****************************************/ |
---|
1348 | |
---|
1349 | // identifier table for Singular |
---|
1350 | // |
---|
1351 | void iiInitCmdName() |
---|
1352 | { |
---|
1353 | sArithBase.nCmdUsed = 0; |
---|
1354 | sArithBase.nCmdAllocated = 242; |
---|
1355 | sArithBase.sCmds = (cmdnames*)omAlloc0(242/*sArithBase.nCmdAllocated*/ *sizeof(cmdnames)); |
---|
1356 | |
---|
1357 | // name-string alias tokval toktype index |
---|
1358 | iiArithAddCmd("$INVALID$", 0, -1, 0, 0); |
---|
1359 | iiArithAddCmd("ASSUME", 0, 329, 329, 1); |
---|
1360 | iiArithAddCmd("ERROR", 0, 395, CMD_1, 2); |
---|
1361 | iiArithAddCmd("GCD", 2, 409, CMD_2, 3); |
---|
1362 | iiArithAddCmd("IN", 1, 434, CMD_1, 4); |
---|
1363 | iiArithAddCmd("LIB", 0, 318, SYSVAR, 5); |
---|
1364 | iiArithAddCmd("NF", 1, 487, CMD_M, 6); |
---|
1365 | iiArithAddCmd("RETURN", 0, 393, 339, 7); |
---|
1366 | iiArithAddCmd("TRACE", 0, 534, SYSVAR, 8); |
---|
1367 | iiArithAddCmd("alias", 0, 357, 340, 9); |
---|
1368 | iiArithAddCmd("align", 0, 358, CMD_2, 10); |
---|
1369 | iiArithAddCmd("and", 0, 38, '&', 11); |
---|
1370 | iiArithAddCmd("apply", 0, 328, 328, 12); |
---|
1371 | iiArithAddCmd("attrib", 0, 359, CMD_123, 13); |
---|
1372 | iiArithAddCmd("bareiss", 0, 360, 306, 14); |
---|
1373 | iiArithAddCmd("betti", 0, 284, CMD_12, 15); |
---|
1374 | iiArithAddCmd("bigint", 0, 361, ROOT_DECL, 16); |
---|
1375 | iiArithAddCmd("bigintmat", 0, 269, 269, 17); |
---|
1376 | iiArithAddCmd("bracket", 0, 363, CMD_23, 18); |
---|
1377 | iiArithAddCmd("branchTo", 0, 362, CMD_M, 19); |
---|
1378 | iiArithAddCmd("break", 0, 330, 330, 20); |
---|
1379 | iiArithAddCmd("breakpoint", 0, 364, CMD_M, 21); |
---|
1380 | iiArithAddCmd("char", 0, 365, CMD_1, 22); |
---|
1381 | iiArithAddCmd("char_series", 0, 367, CMD_1, 23); |
---|
1382 | iiArithAddCmd("charstr", 0, 366, CMD_1, 24); |
---|
1383 | iiArithAddCmd("chinrem", 0, 368, CMD_2, 25); |
---|
1384 | iiArithAddCmd("cleardenom", 0, 376, CMD_1, 26); |
---|
1385 | iiArithAddCmd("close", 0, 372, CMD_1, 27); |
---|
1386 | iiArithAddCmd("coef", 0, 374, CMD_M, 28); |
---|
1387 | iiArithAddCmd("coeffs", 0, 373, CMD_23, 29); |
---|
1388 | iiArithAddCmd("continue", 0, 331, 331, 30); |
---|
1389 | iiArithAddCmd("contract", 0, 377, CMD_2, 31); |
---|
1390 | iiArithAddCmd("convhull", 0, 462, CMD_1, 32); |
---|
1391 | iiArithAddCmd("cring", 0, 379, ROOT_DECL, 33); |
---|
1392 | iiArithAddCmd("dbprint", 0, 380, CMD_M, 34); |
---|
1393 | iiArithAddCmd("def", 0, 381, ROOT_DECL, 35); |
---|
1394 | iiArithAddCmd("defined", 0, 382, CMD_1, 36); |
---|
1395 | iiArithAddCmd("deg", 0, 383, CMD_12, 37); |
---|
1396 | iiArithAddCmd("degBound", 0, 297, SYSVAR, 38); |
---|
1397 | iiArithAddCmd("degree", 0, 384, CMD_1, 39); |
---|
1398 | iiArithAddCmd("delete", 0, 385, CMD_2, 40); |
---|
1399 | iiArithAddCmd("denominator", 0, 386, CMD_1, 41); |
---|
1400 | iiArithAddCmd("det", 0, 387, CMD_12, 42); |
---|
1401 | iiArithAddCmd("diff", 0, 388, CMD_2, 43); |
---|
1402 | iiArithAddCmd("dim", 0, 389, CMD_12, 44); |
---|
1403 | iiArithAddCmd("div", 0, 420, '/', 45); |
---|
1404 | iiArithAddCmd("division", 0, 390, CMD_M, 46); |
---|
1405 | iiArithAddCmd("dump", 0, 391, CMD_1, 47); |
---|
1406 | iiArithAddCmd("echo", 0, 530, SYSVAR, 48); |
---|
1407 | iiArithAddCmd("eliminate", 0, 392, CMD_23, 49); |
---|
1408 | iiArithAddCmd("else", 0, 332, 332, 50); |
---|
1409 | iiArithAddCmd("envelope", 0, 394, CMD_1, 51); |
---|
1410 | iiArithAddCmd("eval", 0, 333, 333, 52); |
---|
1411 | iiArithAddCmd("example", 0, 314, 314, 53); |
---|
1412 | iiArithAddCmd("execute", 0, 396, CMD_1, 54); |
---|
1413 | iiArithAddCmd("export", 0, 315, 315, 55); |
---|
1414 | iiArithAddCmd("exportto", 0, 397, CMD_2, 56); |
---|
1415 | iiArithAddCmd("extgcd", 0, 398, CMD_2, 57); |
---|
1416 | iiArithAddCmd("facstd", 0, 402, CMD_12, 58); |
---|
1417 | iiArithAddCmd("factmodd", 0, 403, CMD_M, 59); |
---|
1418 | iiArithAddCmd("factorize", 0, 399, CMD_12, 60); |
---|
1419 | iiArithAddCmd("farey", 0, 400, CMD_2, 61); |
---|
1420 | iiArithAddCmd("fetch", 0, 286, CMD_M, 62); |
---|
1421 | iiArithAddCmd("fglm", 0, 406, CMD_2, 63); |
---|
1422 | iiArithAddCmd("fglmquot", 0, 407, CMD_2, 64); |
---|
1423 | iiArithAddCmd("find", 0, 401, CMD_23, 65); |
---|
1424 | iiArithAddCmd("finduni", 0, 408, CMD_1, 66); |
---|
1425 | iiArithAddCmd("forif", 0, 336, 336, 67); |
---|
1426 | iiArithAddCmd("freemodule", 0, 287, CMD_1, 68); |
---|
1427 | iiArithAddCmd("fres", 0, 404, CMD_23, 69); |
---|
1428 | iiArithAddCmd("frwalk", 0, 405, CMD_23, 70); |
---|
1429 | iiArithAddCmd("gcd", 0, 409, CMD_2, 71); |
---|
1430 | iiArithAddCmd("gen", 0, 285, CMD_1, 72); |
---|
1431 | iiArithAddCmd("getdump", 0, 410, CMD_1, 73); |
---|
1432 | iiArithAddCmd("highcorner", 0, 411, CMD_1, 74); |
---|
1433 | iiArithAddCmd("hilb", 0, 412, CMD_123, 75); |
---|
1434 | iiArithAddCmd("homog", 0, 413, CMD_123, 76); |
---|
1435 | iiArithAddCmd("hres", 0, 414, CMD_2, 77); |
---|
1436 | iiArithAddCmd("ideal", 0, 275, 313, 78); |
---|
1437 | iiArithAddCmd("if", 0, 336, 336, 79); |
---|
1438 | iiArithAddCmd("imap", 0, 289, CMD_2, 80); |
---|
1439 | iiArithAddCmd("impart", 0, 415, CMD_1, 81); |
---|
1440 | iiArithAddCmd("importfrom", 0, 416, CMD_2, 82); |
---|
1441 | iiArithAddCmd("indepSet", 0, 417, CMD_12, 83); |
---|
1442 | iiArithAddCmd("insert", 0, 418, CMD_23, 84); |
---|
1443 | iiArithAddCmd("int", 0, 419, ROOT_DECL, 85); |
---|
1444 | iiArithAddCmd("interpolation", 0, 421, CMD_2, 86); |
---|
1445 | iiArithAddCmd("interred", 0, 422, CMD_1, 87); |
---|
1446 | iiArithAddCmd("intersect", 0, 423, CMD_M, 88); |
---|
1447 | iiArithAddCmd("intmat", 0, 270, 270, 89); |
---|
1448 | iiArithAddCmd("intvec", 0, 424, ROOT_DECL_LIST, 90); |
---|
1449 | iiArithAddCmd("jacob", 0, 426, CMD_1, 91); |
---|
1450 | iiArithAddCmd("janet", 0, 427, CMD_12, 92); |
---|
1451 | iiArithAddCmd("jet", 0, 428, CMD_M, 93); |
---|
1452 | iiArithAddCmd("kbase", 0, 429, CMD_12, 94); |
---|
1453 | iiArithAddCmd("keepring", 0, 288, 288, 95); |
---|
1454 | iiArithAddCmd("kernel", 0, 430, CMD_2, 96); |
---|
1455 | iiArithAddCmd("kill", 0, 317, 317, 97); |
---|
1456 | iiArithAddCmd("killattrib", 0, 431, CMD_12, 98); |
---|
1457 | iiArithAddCmd("koszul", 0, 290, CMD_23, 99); |
---|
1458 | iiArithAddCmd("kres", 0, 432, CMD_2, 100); |
---|
1459 | iiArithAddCmd("laguerre", 0, 433, CMD_3, 101); |
---|
1460 | iiArithAddCmd("lead", 0, 434, CMD_1, 102); |
---|
1461 | iiArithAddCmd("leadcoef", 0, 435, CMD_1, 103); |
---|
1462 | iiArithAddCmd("leadexp", 0, 436, CMD_1, 104); |
---|
1463 | iiArithAddCmd("leadmonom", 0, 437, CMD_1, 105); |
---|
1464 | iiArithAddCmd("lift", 0, 439, CMD_M, 106); |
---|
1465 | iiArithAddCmd("liftstd", 0, 438, CMD_M, 107); |
---|
1466 | iiArithAddCmd("link", 0, 440, ROOT_DECL, 108); |
---|
1467 | iiArithAddCmd("list", 0, 441, ROOT_DECL_LIST, 109); |
---|
1468 | iiArithAddCmd("listvar", 0, 319, 319, 110); |
---|
1469 | iiArithAddCmd("load", 0, 442, CMD_12, 111); |
---|
1470 | iiArithAddCmd("lres", 0, 443, CMD_2, 112); |
---|
1471 | iiArithAddCmd("ludecomp", 0, 444, CMD_1, 113); |
---|
1472 | iiArithAddCmd("luinverse", 0, 445, CMD_M, 114); |
---|
1473 | iiArithAddCmd("lusolve", 0, 446, CMD_M, 115); |
---|
1474 | iiArithAddCmd("map", 0, 276, RING_DECL, 116); |
---|
1475 | iiArithAddCmd("matrix", 0, 277, 277, 117); |
---|
1476 | iiArithAddCmd("maxideal", 0, 291, CMD_1, 118); |
---|
1477 | iiArithAddCmd("memory", 0, 447, CMD_1, 119); |
---|
1478 | iiArithAddCmd("minbase", 0, 448, CMD_1, 120); |
---|
1479 | iiArithAddCmd("minor", 0, 449, CMD_M, 121); |
---|
1480 | iiArithAddCmd("minpoly", 0, 300, SYSVAR, 122); |
---|
1481 | iiArithAddCmd("minres", 0, 450, CMD_1, 123); |
---|
1482 | iiArithAddCmd("mod", 0, 37, '/', 124); |
---|
1483 | iiArithAddCmd("module", 0, 278, 313, 125); |
---|
1484 | iiArithAddCmd("modulo", 0, 451, CMD_2, 126); |
---|
1485 | iiArithAddCmd("monitor", 0, 452, CMD_12, 127); |
---|
1486 | iiArithAddCmd("monomial", 0, 292, CMD_1, 128); |
---|
1487 | iiArithAddCmd("mpresmat", 0, 453, CMD_2, 129); |
---|
1488 | iiArithAddCmd("mres", 0, 454, CMD_2, 130); |
---|
1489 | iiArithAddCmd("mstd", 0, 455, CMD_1, 131); |
---|
1490 | iiArithAddCmd("mult", 0, 456, CMD_1, 132); |
---|
1491 | iiArithAddCmd("multBound", 0, 298, SYSVAR, 133); |
---|
1492 | iiArithAddCmd("multiplicity", 1, 456, CMD_1, 134); |
---|
1493 | iiArithAddCmd("nameof", 0, 457, CMD_1, 135); |
---|
1494 | iiArithAddCmd("names", 0, 458, CMD_M, 136); |
---|
1495 | iiArithAddCmd("nc_algebra", 0, 461, CMD_2, 137); |
---|
1496 | iiArithAddCmd("ncalgebra", 2, 460, CMD_2, 138); |
---|
1497 | iiArithAddCmd("ncols", 0, 375, CMD_1, 139); |
---|
1498 | iiArithAddCmd("newstruct", 0, 459, CMD_23, 140); |
---|
1499 | iiArithAddCmd("noether", 0, 299, SYSVAR, 141); |
---|
1500 | iiArithAddCmd("not", 0, 263, 263, 142); |
---|
1501 | iiArithAddCmd("npars", 0, 463, CMD_1, 143); |
---|
1502 | iiArithAddCmd("nres", 0, 490, CMD_2, 144); |
---|
1503 | iiArithAddCmd("nrows", 0, 498, CMD_1, 145); |
---|
1504 | iiArithAddCmd("number", 0, 279, RING_DECL, 146); |
---|
1505 | iiArithAddCmd("numerator", 0, 464, CMD_1, 147); |
---|
1506 | iiArithAddCmd("nvars", 0, 465, CMD_1, 148); |
---|
1507 | iiArithAddCmd("open", 0, 467, CMD_1, 149); |
---|
1508 | iiArithAddCmd("oppose", 0, 468, CMD_2, 150); |
---|
1509 | iiArithAddCmd("opposite", 0, 469, CMD_1, 151); |
---|
1510 | iiArithAddCmd("option", 0, 470, CMD_M, 152); |
---|
1511 | iiArithAddCmd("or", 0, 124, '&', 153); |
---|
1512 | iiArithAddCmd("ord", 0, 466, CMD_1, 154); |
---|
1513 | iiArithAddCmd("ordstr", 0, 471, CMD_1, 155); |
---|
1514 | iiArithAddCmd("package", 0, 472, ROOT_DECL, 156); |
---|
1515 | iiArithAddCmd("pagewidth", 0, 531, SYSVAR, 157); |
---|
1516 | iiArithAddCmd("par", 0, 293, CMD_1, 158); |
---|
1517 | iiArithAddCmd("parameter", 0, 340, 340, 159); |
---|
1518 | iiArithAddCmd("pardeg", 0, 473, CMD_1, 160); |
---|
1519 | iiArithAddCmd("parstr", 0, 475, CMD_12, 161); |
---|
1520 | iiArithAddCmd("poly", 0, 280, RING_DECL, 162); |
---|
1521 | iiArithAddCmd("polyBucket", 0, 274, RING_DECL, 163); |
---|
1522 | iiArithAddCmd("preimage", 0, 294, 306, 164); |
---|
1523 | iiArithAddCmd("prime", 0, 477, CMD_1, 165); |
---|
1524 | iiArithAddCmd("primefactors", 0, 476, CMD_12, 166); |
---|
1525 | iiArithAddCmd("print", 0, 478, CMD_12, 167); |
---|
1526 | iiArithAddCmd("printlevel", 0, 537, SYSVAR, 168); |
---|
1527 | iiArithAddCmd("proc", 0, 271, 271, 169); |
---|
1528 | iiArithAddCmd("prune", 0, 479, CMD_1, 170); |
---|
1529 | iiArithAddCmd("qhweight", 0, 480, CMD_1, 171); |
---|
1530 | iiArithAddCmd("qrds", 0, 482, CMD_M, 172); |
---|
1531 | iiArithAddCmd("qring", 0, 481, ROOT_DECL, 173); |
---|
1532 | iiArithAddCmd("quote", 0, 334, 334, 174); |
---|
1533 | iiArithAddCmd("quotient", 0, 483, CMD_2, 175); |
---|
1534 | iiArithAddCmd("random", 0, 484, CMD_23, 176); |
---|
1535 | iiArithAddCmd("rank", 0, 485, CMD_12, 177); |
---|
1536 | iiArithAddCmd("read", 0, 486, CMD_12, 178); |
---|
1537 | iiArithAddCmd("reduce", 0, 487, CMD_M, 179); |
---|
1538 | iiArithAddCmd("regularity", 0, 488, CMD_1, 180); |
---|
1539 | iiArithAddCmd("repart", 0, 489, CMD_1, 181); |
---|
1540 | iiArithAddCmd("reservedName", 0, 491, CMD_M, 182); |
---|
1541 | iiArithAddCmd("reservedNameList", 0, 492, CMD_M, 183); |
---|
1542 | iiArithAddCmd("resolution", 0, 281, RING_DECL, 184); |
---|
1543 | iiArithAddCmd("restart", 0, 493, CMD_1, 185); |
---|
1544 | iiArithAddCmd("resultant", 0, 494, CMD_3, 186); |
---|
1545 | iiArithAddCmd("return", 0, 339, 339, 187); |
---|
1546 | iiArithAddCmd("rightstd", 0, 495, CMD_1, 188); |
---|
1547 | iiArithAddCmd("ring", 0, 272, 272, 189); |
---|
1548 | iiArithAddCmd("ring_list", 0, 497, CMD_1, 190); |
---|
1549 | iiArithAddCmd("ringlist", 0, 496, CMD_1, 191); |
---|
1550 | iiArithAddCmd("rtimer", 0, 533, SYSVAR, 192); |
---|
1551 | iiArithAddCmd("rvar", 0, 425, CMD_1, 193); |
---|
1552 | iiArithAddCmd("sba", 0, 499, CMD_123, 194); |
---|
1553 | iiArithAddCmd("setring", 0, 320, 320, 195); |
---|
1554 | iiArithAddCmd("short", 0, 536, SYSVAR, 196); |
---|
1555 | iiArithAddCmd("simplex", 0, 500, CMD_M, 197); |
---|
1556 | iiArithAddCmd("simplify", 0, 501, CMD_2, 198); |
---|
1557 | iiArithAddCmd("size", 0, 378, CMD_1, 199); |
---|
1558 | iiArithAddCmd("slimgb", 0, 502, CMD_1, 200); |
---|
1559 | iiArithAddCmd("smatrix", 0, 282, 282, 201); |
---|
1560 | iiArithAddCmd("sortvec", 0, 503, CMD_1, 202); |
---|
1561 | iiArithAddCmd("sqrfree", 0, 504, CMD_12, 203); |
---|
1562 | iiArithAddCmd("sres", 0, 505, CMD_2, 204); |
---|
1563 | iiArithAddCmd("status", 0, 506, CMD_M, 205); |
---|
1564 | iiArithAddCmd("std", 0, 507, CMD_M, 206); |
---|
1565 | iiArithAddCmd("string", 0, 508, ROOT_DECL_LIST, 207); |
---|
1566 | iiArithAddCmd("subst", 0, 509, CMD_M, 208); |
---|
1567 | iiArithAddCmd("system", 0, 510, CMD_M, 209); |
---|
1568 | iiArithAddCmd("syz", 0, 511, CMD_12, 210); |
---|
1569 | iiArithAddCmd("tensor", 0, 512, CMD_2, 211); |
---|
1570 | iiArithAddCmd("test", 0, 513, CMD_M, 212); |
---|
1571 | iiArithAddCmd("timer", 0, 532, SYSVAR, 213); |
---|
1572 | iiArithAddCmd("trace", 0, 515, CMD_1, 214); |
---|
1573 | iiArithAddCmd("transpose", 0, 514, CMD_1, 215); |
---|
1574 | iiArithAddCmd("twostd", 0, 516, CMD_1, 216); |
---|
1575 | iiArithAddCmd("type", 0, 321, 321, 217); |
---|
1576 | iiArithAddCmd("typeof", 0, 517, CMD_1, 218); |
---|
1577 | iiArithAddCmd("univariate", 0, 518, CMD_1, 219); |
---|
1578 | iiArithAddCmd("uressolve", 0, 520, CMD_M, 220); |
---|
1579 | iiArithAddCmd("vandermonde", 0, 521, CMD_3, 221); |
---|
1580 | iiArithAddCmd("var", 0, 295, CMD_1, 222); |
---|
1581 | iiArithAddCmd("variables", 0, 522, CMD_1, 223); |
---|
1582 | iiArithAddCmd("varstr", 0, 523, CMD_12, 224); |
---|
1583 | iiArithAddCmd("vdim", 0, 524, CMD_1, 225); |
---|
1584 | iiArithAddCmd("vector", 0, 283, RING_DECL, 226); |
---|
1585 | iiArithAddCmd("verbose", 2, 470, CMD_M, 227); |
---|
1586 | iiArithAddCmd("voice", 0, 535, SYSVAR, 228); |
---|
1587 | iiArithAddCmd("waitall", 0, 526, CMD_12, 229); |
---|
1588 | iiArithAddCmd("waitfirst", 0, 525, CMD_12, 230); |
---|
1589 | iiArithAddCmd("wedge", 0, 527, CMD_2, 231); |
---|
1590 | iiArithAddCmd("weight", 0, 528, CMD_1, 232); |
---|
1591 | iiArithAddCmd("whileif", 0, 336, 336, 233); |
---|
1592 | iiArithAddCmd("write", 0, 529, CMD_M, 234); |
---|
1593 | iiArithAddCmd("exit", 0, -1, 0, 235); |
---|
1594 | iiArithAddCmd("for", 0, -1, 0, 236); |
---|
1595 | iiArithAddCmd("help", 0, -1, 0, 237); |
---|
1596 | iiArithAddCmd("newline", 0, -1, 0, 238); |
---|
1597 | iiArithAddCmd("pause", 2, -1, 0, 239); |
---|
1598 | iiArithAddCmd("quit", 0, -1, 0, 240); |
---|
1599 | iiArithAddCmd("while", 0, -1, 0, 241); |
---|
1600 | /* end of list marker */ |
---|
1601 | sArithBase.nLastIdentifier = 234; |
---|
1602 | } |
---|
1603 | #define LAST_IDENTIFIER 234 |
---|