Examples:
i1 : S=QQ[x_1..x_6] o1 = S o1 : PolynomialRing |
i2 : isTLexIdeal(ideal {x_1*x_3,x_1*x_5},2) o2 = false |
i3 : isTLexIdeal(ideal {x_1*x_3,x_1*x_4,x_1*x_5,x_1*x_6,x_2*x_4,x_2*x_5},2) o3 = true |
The object isTLexIdeal is a method function.