[1] | 1 | \begin{lisp:documentation}{string$-$normal$-$form}{FUNCTION}{f fl vars {\sf \&key} (stream t) (print t) (order \#'lex$>$) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (suppress$-$value
|
---|
| 2 | t) {\sf \&aux} (vars
|
---|
| 3 | (read$-$vars
|
---|
| 4 | vars)) }
|
---|
| 5 | {\ } % NO DOCUMENTATION FOR STRING-NORMAL-FORM
|
---|
| 6 | \end{lisp:documentation}
|
---|
| 7 |
|
---|
| 8 | \begin{lisp:documentation}{string$-$grobner}{FUNCTION}{plist vars {\sf \&key} (order \#'lex$>$) (start 0) (stream t) (reduce t) (reduce$-$before t) (suppress$-$value t) (top$-$reduction$-$only nil) (ring
|
---|
| 9 | *coefficient$-$ring*) (print
|
---|
| 10 | t) {\sf \&aux} (vars
|
---|
| 11 | (read$-$vars
|
---|
| 12 | vars)) }
|
---|
| 13 | {\ } % NO DOCUMENTATION FOR STRING-GROBNER
|
---|
| 14 | \end{lisp:documentation}
|
---|
| 15 |
|
---|
| 16 | \begin{lisp:documentation}{string$-$elimination$-$ideal}{FUNCTION}{flist vars k {\sf \&key} (stream t) (key \#'identity) (primary$-$order \#'grevlex$>$) (secondary$-$order \#'grevlex$>$) (suppress$-$value
|
---|
| 17 | t) (order
|
---|
| 18 | (elimination$-$order
|
---|
| 19 | k
|
---|
| 20 | :primary$-$order
|
---|
| 21 | primary$-$order
|
---|
| 22 | :secondary$-$order
|
---|
| 23 | secondary$-$order)) {\sf \&aux} (vars
|
---|
| 24 | (read$-$vars
|
---|
| 25 | vars)) }
|
---|
| 26 | {\ } % NO DOCUMENTATION FOR STRING-ELIMINATION-IDEAL
|
---|
| 27 | \end{lisp:documentation}
|
---|
| 28 |
|
---|
| 29 | \begin{lisp:documentation}{string$-$ideal$-$intersection}{FUNCTION}{f g vars {\sf \&key} (order \#'lex$>$) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream t) (suppress$-$value
|
---|
| 30 | t) {\sf \&aux} (vars
|
---|
| 31 | (read$-$vars
|
---|
| 32 | vars)) (f
|
---|
| 33 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 34 | f
|
---|
| 35 | vars
|
---|
| 36 | order)) (g
|
---|
| 37 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 38 | g
|
---|
| 39 | vars
|
---|
| 40 | order)) }
|
---|
| 41 | {\ } % NO DOCUMENTATION FOR STRING-IDEAL-INTERSECTION
|
---|
| 42 | \end{lisp:documentation}
|
---|
| 43 |
|
---|
| 44 | \begin{lisp:documentation}{string$-$poly$-$lcm}{FUNCTION}{f g vars {\sf \&key} (order \#'lex$>$) (ring *coefficient$-$ring*) (stream t) (suppress$-$value t) {\sf \&aux} (vars (read$-$vars vars)) (f
|
---|
| 45 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 46 | f
|
---|
| 47 | vars
|
---|
| 48 | order)) (g
|
---|
| 49 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 50 | g
|
---|
| 51 | vars
|
---|
| 52 | order)) }
|
---|
| 53 | {\ } % NO DOCUMENTATION FOR STRING-POLY-LCM
|
---|
| 54 | \end{lisp:documentation}
|
---|
| 55 |
|
---|
| 56 | \begin{lisp:documentation}{string$-$ideal$-$saturation$-$1}{FUNCTION}{f p vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
|
---|
| 57 | t) (suppress$-$value
|
---|
| 58 | t) {\sf \&aux} (vars
|
---|
| 59 | (read$-$vars
|
---|
| 60 | vars)) (f
|
---|
| 61 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 62 | f
|
---|
| 63 | vars
|
---|
| 64 | order)) (p
|
---|
| 65 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 66 | p
|
---|
| 67 | vars
|
---|
| 68 | order)) }
|
---|
| 69 | {\ } % NO DOCUMENTATION FOR STRING-IDEAL-SATURATION-1
|
---|
| 70 | \end{lisp:documentation}
|
---|
| 71 |
|
---|
| 72 | \begin{lisp:documentation}{string$-$ideal$-$polysaturation$-$1}{FUNCTION}{f plist vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
|
---|
| 73 | t) (suppress$-$value
|
---|
| 74 | t) {\sf \&aux} (vars
|
---|
| 75 | (read$-$vars
|
---|
| 76 | vars)) (f
|
---|
| 77 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 78 | f
|
---|
| 79 | vars
|
---|
| 80 | order)) (plist
|
---|
| 81 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 82 | plist
|
---|
| 83 | vars
|
---|
| 84 | order)) }
|
---|
| 85 | {\ } % NO DOCUMENTATION FOR STRING-IDEAL-POLYSATURATION-1
|
---|
| 86 | \end{lisp:documentation}
|
---|
| 87 |
|
---|
| 88 | \begin{lisp:documentation}{string$-$ideal$-$saturation}{FUNCTION}{f g vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
|
---|
| 89 | t) (suppress$-$value
|
---|
| 90 | t) {\sf \&aux} (vars
|
---|
| 91 | (read$-$vars
|
---|
| 92 | vars)) (f
|
---|
| 93 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 94 | f
|
---|
| 95 | vars
|
---|
| 96 | order)) (g
|
---|
| 97 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 98 | g
|
---|
| 99 | vars
|
---|
| 100 | order)) }
|
---|
| 101 | {\ } % NO DOCUMENTATION FOR STRING-IDEAL-SATURATION
|
---|
| 102 | \end{lisp:documentation}
|
---|
| 103 |
|
---|
| 104 | \begin{lisp:documentation}{string$-$ideal$-$polysaturation}{FUNCTION}{f ideal$-$list vars {\sf \&key} (order \#'lex$>$) (start 0) (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream
|
---|
| 105 | t) (suppress$-$value
|
---|
| 106 | t) {\sf \&aux} (vars
|
---|
| 107 | (read$-$vars
|
---|
| 108 | vars)) (f
|
---|
| 109 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 110 | f
|
---|
| 111 | vars
|
---|
| 112 | order)) (ideal$-$list
|
---|
| 113 | (mapcar
|
---|
| 114 | \#'(lambda (g) (parse$-$string$-$to$-$sorted$-$alist g vars order))
|
---|
| 115 | ideal$-$list)) }
|
---|
| 116 | {\ } % NO DOCUMENTATION FOR STRING-IDEAL-POLYSATURATION
|
---|
| 117 | \end{lisp:documentation}
|
---|
| 118 |
|
---|
| 119 | \begin{lisp:documentation}{string$-$colon$-$ideal}{FUNCTION}{f g vars {\sf \&key} (top$-$reduction$-$only nil) (ring *coefficient$-$ring*) (stream t) (order \#'lex$>$) (suppress$-$value t) {\sf \&aux} (vars
|
---|
| 120 | (read$-$vars
|
---|
| 121 | vars)) (f
|
---|
| 122 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 123 | f
|
---|
| 124 | vars
|
---|
| 125 | order)) (g
|
---|
| 126 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 127 | g
|
---|
| 128 | vars
|
---|
| 129 | order)) }
|
---|
| 130 | {\ } % NO DOCUMENTATION FOR STRING-COLON-IDEAL
|
---|
| 131 | \end{lisp:documentation}
|
---|
| 132 |
|
---|
| 133 | \begin{lisp:documentation}{string$-$read$-$poly}{FUNCTION}{f vars {\sf \&key} (order \#'lex$>$) (suppress$-$value nil) (stream t) (convert$-$rational$-$to$-$integer t) {\sf \&aux} (vars
|
---|
| 134 | (read$-$vars vars)) (f
|
---|
| 135 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
| 136 | f
|
---|
| 137 | vars
|
---|
| 138 | order)) }
|
---|
| 139 | {\ } % NO DOCUMENTATION FOR STRING-READ-POLY
|
---|
| 140 | \end{lisp:documentation}
|
---|
| 141 |
|
---|
| 142 | \begin{lisp:documentation}{poly$-$rational$-$to$-$integer}{FUNCTION}{p {\sf \&optional} (ring *coefficient$-$ring*) }
|
---|
| 143 | {\ } % NO DOCUMENTATION FOR POLY-RATIONAL-TO-INTEGER
|
---|
| 144 | \end{lisp:documentation}
|
---|
| 145 |
|
---|
| 146 | \begin{lisp:documentation}{read$-$vars}{FUNCTION}{string$-$or$-$list }
|
---|
| 147 | Read a list of variables, specified either as a list of symbols or a
|
---|
| 148 | string listing variables in the form of a comma$-$separated list,
|
---|
| 149 | delimited by [,]
|
---|
| 150 | \end{lisp:documentation}
|
---|
| 151 |
|
---|