subalgebraBasis -- Compute subalgebra basis (sagbi basis) generators

Synopsis

• Usage:

  N = subalgebraBasis M

  N = subalgebraBasis A

  N = subalgebraBasis L

  N = subalgebraBasis B

• Inputs:
  • A, an instance of the type Subring,
  • M, a matrix, of generators for a subring of a polynomial ring
  • L, a list, containing generators for a subring of a polynomial ring
  • B, an instance of the type SAGBIBasis, containing a partial computation of a sagbi basis
• 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 S-pairs 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)
  • Recompute => a Boolean value, default value false, if true then the computation will resume otherwise it starts at the beginning
  • RenewOptions => a Boolean value, default value false, if true then the computation will use the options specified otherwise it will use the previously selected options (except for the following, which may always be specified: PrintLevel, Limit, Recompute, and RenewOptions)
• Outputs:
  • N, a matrix, whose entries form a partial subalgebra basis

Description

See also

• sagbi -- Compute a subalgebra basis (sagbi basis)
• AutoSubduce -- Flag for autosubduction before the Sagbi algorithm
• ReduceNewGenerators -- Flag for reducing new generators in Sagbi algorithm
• StorePending -- Flag for storing the pending list to the result of the Sagbi algorithm
• Strategy -- an optional argument
• SubductionMethod -- Subduction method for the Sagbi algorithm
• Limit -- an optional argument
• AutoSubduceOnPartialCompletion -- Subduct sagbi generators at the end of the Sagbi algorithm
• PrintLevel -- Levels of information displayed during Sagbi algorithm
• Recompute -- Flag for restarting a sagbi computation
• RenewOptions -- Flag for reselecting the options for a sagbi computation