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

## Synopsis

• Usage:
result = intrinsicReduce(A, B)
• Inputs:
• A, an instance of the type Subring,
• B, an instance of the type Subring,
• Outputs:
• result, , whether or not the subring A is contained in the subring B.

## Description

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 :

• "isSubalg(Subring,Subring)"

## For the programmer

The object isSubalg is .