B=isLexIdeal I
Given an ideal I in a ring R that is either a polynomial ring or a quotient of a polynomial ring by a monomial ideal, isLexIdeal computes bases of I in each degree up through the maximum degree of a minimal generator of I to determine whether I is a lexicographic ideal in R.
|
|
|
|
|
|
|
|
The object isLexIdeal is a method function.