arguments: g:binomialGB_comp m:matrix >> .
If 'm' is a one row matrix having the same base ring as 'g', then add the entries of 'm' to the binomial ideal. If 'm' is an n by m matrix of integers, where n is less than or equal to the number of variables of the base ring of 'g', then the columns are considered as binomials, and are added to the binomial ideal. It is valid to add generators of lower degree than what has already been computed.