Macaulay2 » Documentation
Packages » SubalgebraBases :: sagbiStatus
next | previous | forward | backward | up | index | toc

sagbiStatus -- checks if the subalgebra bases computation is done

Synopsis

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

See also

Ways to use sagbiStatus:

For the programmer

The object sagbiStatus is a method function.