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 | ;;;
|
---|