ModifySAGBIBasis -- Flag for allowing the cached computation object to be modified

Description

i1 : R = QQ[x,y];

i2 : S = subring {x^2, y^3};

i3 : SB = sagbi(S, Limit => 2);

i4 : S.cache#SAGBIBasis === SB

o4 = true

i5 : isSAGBI(S, ModifySAGBIBasis => false)

o5 = true

i6 : S.cache#SAGBIBasis === SB

o6 = true

i7 : isSAGBI(S, ModifySAGBIBasis => true)

o7 = true

i8 : S.cache#SAGBIBasis === SB

o8 = false

See also

• isSAGBI -- Check if the generators are a subalgebra basis

Functions with optional argument named ModifySAGBIBasis:

• isSAGBI(List,ModifySAGBIBasis=>...)
• isSAGBI(Matrix,ModifySAGBIBasis=>...)
• isSAGBI(SAGBIBasis,ModifySAGBIBasis=>...)
• isSAGBI(Subring,ModifySAGBIBasis=>...)