sagbiBasis -- Constructs a computation object from a subring.

Synopsis

• Usage:

  B = sagbiBasis S

• Inputs:
  • S, an instance of the type Subring,
• Optional inputs:
  • AutoSubduce => ..., default value true
  • AutoSubduceOnPartialCompletion => ..., default value false
  • Limit => ..., default value 100
  • PrintLevel => ..., default value 0
  • Recompute => ..., default value false
  • ReduceNewGenerators => ..., default value true
  • RenewOptions => ..., default value false
  • StorePending => ..., default value true
  • Strategy => ..., default value "Master"
  • SubductionMethod => ..., default value "Top"
• Outputs:
  • B, an instance of the type SAGBIBasis,

Description

See also

• SAGBIBasis -- The type of all sagbi bases
• generators(SAGBIBasis) -- Returns a partial sagbi generating set
• ambient(SAGBIBasis) -- The ambient ring of a SAGBIBasis computation object
• ring(SAGBIBasis) -- The lifted ring of a SAGBIBasis computation object
• net(SAGBIBasis) -- Short summary of a sagbi basis computation object
• status(SAGBIBasis) -- status of the sagbi computation
• sagbiDegree -- The current degree of the sagbi computation
• sagbiLimit -- The current limit of the sagbi computation
• sagbi -- Compute a subalgebra basis (sagbi basis)