forceSB -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis

Synopsis

Usage:

forceSB S

forceSB SB
Inputs:
- S, an instance of the type Subring,
- SB, an instance of the type SAGBIBasis,
Optional inputs:
- AutoSubduce => a Boolean value, default value true, subduct the generators against themselves
- Limit => ..., default value 100
- PrintLevel => ..., default value 0
- RenewOptions => ..., default value false
- Strategy => ..., default value "Master"
- SubductionMethod => ..., default value "Engine"

Description

If forceSB is given a SAGBIBasis $SB$, then the function performs autosubduction on the sagbiGenerators of $SB$. The sagbiDone flag is then set to true without checking whether the generators form a sagbi basis.

If forceSB is given a Subring $S$, then the function checks whether a SAGBIBasis $SB$ has been created for $S$. If $SB$ exists, then forceSB is applied to $SB$ as described above. Otherwise, $SB$ is created from $S$ and has its sagbiDone flag set to true.

Note, if the generators supplied to forceSB do not form a sagbi basis, then it may cause unexpected behaviour.

Ways to use `forceSB` :

"forceSB(SAGBIBasis)"
"forceSB(Subring)"

For the programmer

The object forceSB is a method function with options.

forceSB -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis

Synopsis

Description

See also

Ways to use forceSB :

For the programmer

Ways to use `forceSB` :