arguments: g:binomialGB_comp n:int >> m:matrix
Yields a one row matrix whose entries form the Groebner basis of the given binomial ideal, as so far computed.