source: CGBLisp/doc/string-grobner.txt@ 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: 5.6 KB
Line 
1
2;;; STRING-NORMAL-FORM (f fl vars &key (stream t) (print t) [FUNCTION]
3;;; (order #'lex>) (top-reduction-only nil)
4;;; (ring *coefficient-ring*) (suppress-value t)
5;;; &aux (vars (read-vars vars)))
6;;;
7;;; STRING-GROBNER (plist vars &key (order #'lex>) (start 0) [FUNCTION]
8;;; (stream t) (reduce t) (reduce-before t)
9;;; (suppress-value t) (top-reduction-only nil)
10;;; (ring *coefficient-ring*) (print t)
11;;; &aux (vars (read-vars vars)))
12;;;
13;;; STRING-ELIMINATION-IDEAL (flist vars k &key (stream t) [FUNCTION]
14;;; (key #'identity)
15;;; (primary-order #'grevlex>)
16;;; (secondary-order #'grevlex>)
17;;; (suppress-value t)
18;;; (order
19;;; (elimination-order k :primary-order
20;;; primary-order :secondary-order
21;;; secondary-order))
22;;; &aux (vars (read-vars vars)))
23;;;
24;;; STRING-IDEAL-INTERSECTION (f g vars &key (order #'lex>) [FUNCTION]
25;;; (top-reduction-only nil)
26;;; (ring *coefficient-ring*) (stream t)
27;;; (suppress-value t)
28;;; &aux (vars (read-vars vars)) (f
29;;; (parse-string-to-sorted-alist f vars
30;;; order))
31;;; (g
32;;; (parse-string-to-sorted-alist g vars
33;;; order)))
34;;;
35;;; STRING-POLY-LCM (f g vars &key (order #'lex>) [FUNCTION]
36;;; (ring *coefficient-ring*) (stream t)
37;;; (suppress-value t) &aux (vars (read-vars vars))
38;;; (f (parse-string-to-sorted-alist f vars order))
39;;; (g
40;;; (parse-string-to-sorted-alist g vars order)))
41;;;
42;;; STRING-IDEAL-SATURATION-1 (f p vars &key (order #'lex>) [FUNCTION]
43;;; (start 0) (top-reduction-only nil)
44;;; (ring *coefficient-ring*) (stream t)
45;;; (suppress-value t)
46;;; &aux (vars (read-vars vars)) (f
47;;; (parse-string-to-sorted-alist f vars
48;;; order))
49;;; (p
50;;; (parse-string-to-sorted-alist p vars
51;;; order)))
52;;;
53;;; STRING-IDEAL-POLYSATURATION-1 (f plist vars &key (order #'lex>) [FUNCTION]
54;;; (start 0)
55;;; (top-reduction-only nil)
56;;; (ring *coefficient-ring*)
57;;; (stream t) (suppress-value t)
58;;; &aux (vars (read-vars vars)) (f
59;;; (parse-string-to-sorted-alist f
60;;; vars order))
61;;; (plist
62;;; (parse-string-to-sorted-alist
63;;; plist vars order)))
64;;;
65;;; STRING-IDEAL-SATURATION (f g vars &key (order #'lex>) (start 0) [FUNCTION]
66;;; (top-reduction-only nil)
67;;; (ring *coefficient-ring*) (stream t)
68;;; (suppress-value t)
69;;; &aux (vars (read-vars vars)) (f
70;;; (parse-string-to-sorted-alist f vars
71;;; order))
72;;; (g
73;;; (parse-string-to-sorted-alist g vars
74;;; order)))
75;;;
76;;; STRING-IDEAL-POLYSATURATION (f ideal-list vars [FUNCTION]
77;;; &key (order #'lex>) (start 0)
78;;; (top-reduction-only nil)
79;;; (ring *coefficient-ring*)
80;;; (stream t) (suppress-value t)
81;;; &aux (vars (read-vars vars)) (f
82;;; (parse-string-to-sorted-alist f
83;;; vars order))
84;;; (ideal-list (mapcar #'(lambda (g)
85;;; (parse-string-to-sorted-alist g
86;;; vars order)) ideal-list)))
87;;;
88;;; STRING-COLON-IDEAL (f g vars &key (top-reduction-only nil) [FUNCTION]
89;;; (ring *coefficient-ring*) (stream t)
90;;; (order #'lex>) (suppress-value t)
91;;; &aux (vars (read-vars vars)) (f
92;;; (parse-string-to-sorted-alist f vars order))
93;;; (g
94;;; (parse-string-to-sorted-alist g vars
95;;; order)))
96;;;
97;;; STRING-READ-POLY (f vars &key (order #'lex>) [FUNCTION]
98;;; (suppress-value nil) (stream t)
99;;; (convert-rational-to-integer t)
100;;; &aux (vars (read-vars vars)) (f
101;;; (parse-string-to-sorted-alist f vars order)))
102;;;
103;;; POLY-RATIONAL-TO-INTEGER (p [FUNCTION]
104;;; &optional (ring *coefficient-ring*))
105;;;
106;;; READ-VARS (string-or-list) [FUNCTION]
107;;; Read a list of variables, specified either as a list of symbols or a
108;;; string listing variables in the form of a comma-separated list,
109;;; delimited by [,]
110;;;
Note: See TracBrowser for help on using the repository browser.