[1] | 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 | ;;;
|
---|