sagbiStatus -- checks if the subalgebra bases computation is done

Synopsis

Usage:

result = sagbiStatus SB
Inputs:
- SB, a SAGBIBasis,
Outputs:
- result, a Boolean value, is true if the subalgebra basis computation is complete

Description

Returns true if the subalgebra bases computation is completed otherwise returns false. It is possible that the computed subalgebra basis generators form a subalgebra basis while sagbiStatus returns false. In this case, additional computation is needed to confirm that the computed generators form a subalgebra basis. For more descriptive output, see status(SAGBIBasis).

i1 : R = QQ[x,y];

i2 : S = subring {x+y,x*y,x*y^2,x*y^10+y};

i3 : sagbiStatus sagbi(S,Limit=>10)

o3 = false

i4 : sagbiStatus sagbi(S,Limit=>20)

o4 = true

Ways to use sagbiStatus :

sagbiStatus(SAGBIBasis)

For the programmer

The object sagbiStatus is a method function.

sagbiStatus -- checks if the subalgebra bases computation is done

Synopsis

Description

See also

Ways to use sagbiStatus :

For the programmer