Tests whether I(m) ⊆In, where I is the defining ideal for the monomial curve defined by ta1, ..., tan. If no field is provided, the ideal is defined over ℚ.
i1 : symbolicContainmentMonomialCurve({3,4,5},3,2) o1 = true