The String Interface to the Gröbner Basis package

string$-$normal$-$form

$\parbox{\pboxargslen}{\em f fl vars {\sf \&key} (stream t) (print t... ...ient$-$ring*) (suppress$-$value t) {\sf \&aux} (vars (read$-$vars vars)) \/}$ [FUNCTION]

string$-$grobner

$\parbox{\pboxargslen}{\em plist vars {\sf \&key} (order \char93 'lex... ...g *coefficient$-$ring*) (print t) {\sf \&aux} (vars (read$-$vars vars)) \/}$ [FUNCTION]

string$-$elimination$-$ideal

$\parbox{\pboxargslen}{\em flist vars k {\sf \&key} (stream t) (key ... ...ondary$-$order secondary$-$order)) {\sf \&aux} (vars (read$-$vars vars)) \/}$ [FUNCTION]

string$-$ideal$-$intersection

$\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order \char93 'lex$\... ... vars order)) (g (parse$-$string$-$to$-$sorted$-$alist g vars order)) \/}$ [FUNCTION]

string$-$poly$-$lcm

$\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order \char93 'lex$\... ... vars order)) (g (parse$-$string$-$to$-$sorted$-$alist g vars order)) \/}$ [FUNCTION]

string$-$ideal$-$saturation$-$1

$\parbox{\pboxargslen}{\em f p vars {\sf \&key} (order \char93 'lex$\... ... vars order)) (p (parse$-$string$-$to$-$sorted$-$alist p vars order)) \/}$ [FUNCTION]

string$-$ideal$-$polysaturation$-$1

$\parbox{\pboxargslen}{\em f plist vars {\sf \&key} (order \char93 'l... ...order)) (plist (parse$-$string$-$to$-$sorted$-$alist plist vars order)) \/}$ [FUNCTION]

string$-$ideal$-$saturation

$\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order \char93 'lex$\... ... vars order)) (g (parse$-$string$-$to$-$sorted$-$alist g vars order)) \/}$ [FUNCTION]

string$-$ideal$-$polysaturation

$\parbox{\pboxargslen}{\em f ideal$-$list vars {\sf \&key} (order \ch... ...da (g) (parse$-$string$-$to$-$sorted$-$alist g vars order)) ideal$-$list)) \/}$ [FUNCTION]

string$-$colon$-$ideal

$\parbox{\pboxargslen}{\em f g vars {\sf \&key} (top$-$reduction$-$onl... ... vars order)) (g (parse$-$string$-$to$-$sorted$-$alist g vars order)) \/}$ [FUNCTION]

string$-$read$-$poly

$\parbox{\pboxargslen}{\em f vars {\sf \&key} (order \char93 'lex$\gt... ...$-$vars vars)) (f (parse$-$string$-$to$-$sorted$-$alist f vars order)) \/}$ [FUNCTION]

poly$-$rational$-$to$-$integer

$\parbox{\pboxargslen}{\em p {\sf \&optional} (ring *coefficient$-$ring*) \/}$ [FUNCTION]

read$-$vars

$\parbox{\pboxargslen}{\em string$-$or$-$list \/}$ [FUNCTION]

Read a list of variables, specified either as a list of symbols or a string listing variables in the form of a comma$-$separated list, delimited by [,]