subalgebraBasis  Compute subalgebra basis (sagbi basis) generators
Synopsis

 Usage:
N = subalgebraBasis M
N = subalgebraBasis A
N = subalgebraBasis L
N = subalgebraBasis B

Inputs:

Optional inputs:

AutoSubduce => a Boolean value, default value true, a flag indicating when to perform autosubduction on the generators before performing the Sagbi basis computation (See: AutoSubduce)

ReduceNewGenerators => a Boolean value, default value true, a flag indicating whether to apply gaussian elimination to new sagbi generators before adding them to the current sagbi basis (See: ReduceNewGenerators)

StorePending => a Boolean value, default value true, a flag that indicates whether the pending list should be stored in the result. (See: StorePending)

Strategy => a string, default value "Master", the update strategy at the beginning of each loop: \"DegreeByDegree\", \"Incremental\", and \"Master\". The strategy \"Master\" is a hybrid that combines the other two; starting with \"DegreeByDegree\" for low degrees and switching to \"Incremental\". (See: Strategy)

SubductionMethod => a string, default value "Top", the method used for subduction either: \"Top\" or \"Engine\". (See: SubductionMethod)

Limit => an integer, default value 100, a degree limit for the binomial Spairs that are computed internally.

AutoSubduceOnPartialCompletion => a Boolean value, default value false, apply autosubduction to the sagbi generators the first time no new generators are added. Use this only if very few new sagbi generators are expected. (See: AutoSubduceOnPartialCompletion)

PrintLevel => an integer, default value 0, When this is greater than zero, information is printed about the progress of the computation (See: PrintLevel)

Outputs:

N, a matrix, whose entries form a partial subalgebra basis
See also

sagbi  Compute a subalgebra basis (sagbi basis)
Ways to use subalgebraBasis :

"subalgebraBasis(List)"

"subalgebraBasis(Matrix)"

"subalgebraBasis(Subring)"