result = isSAGBI S
result = isSAGBI SB
After running sagbi on a subring, the result of the computation is stored in that subring. If new sagbi generators need to be added to S to make it a sagbi basis then isSAGBI will return false. If isSAGBI is run on a ring for which no sagbi computation has been peformed, then isSAGBI will return null. In this case it is recommended to use verifySagbi to check whether the generators are a sagbi basis.
|
|
|
|
|
|
|
|
|
The object isSAGBI is a method function.