next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SubalgebraBases :: isSubalg

isSubalg -- Calculates whether one subring is contained in another subring.



This function tests that each of the generators of the subring A have a normal form of zero with respect to B.

i1 : R = QQ[t_1, t_2]

o1 = R

o1 : PolynomialRing
i2 : A = subring matrix(R, {{t_1^2, t_1*t_2}});
i3 : B = subring matrix(R, {{t_1^2, t_1*t_2, t_2^2}});
i4 : isSubalg(A,B)

o4 = true

Ways to use isSubalg :

For the programmer

The object isSubalg is a method function.