gb I



When I is a subquotient module M/N of a free module F, then N is generated by relations I and M is generated by the concatenated matrix generators I  relations I  it is the Gröbner basis of that matrix which is computed, so that reduction modulo the Gröbner basis can be used to determine membership in M. When relations are present, the option SyzygyRows is set to the number of columns of generators I, so that if ChangeMatrix => true is used, then division by the Gröbner basis can be to express an element of F as a linear combination of columns of generators I, avoiding the computation of the coefficients of the columns of relations I, leaving all the information that is required to specify an element of I.





The object gb is a method function with options.