arguments: g:binomialGB_comp n:int >> m:matrix
Yields a generating set for the subideal of the given binomial ideal whose first 'n' wieght vectors are zero. This will often be a minimal generating set, if that is computed during the GB computation.
