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, a Boolean value, whether or not the subring A is contained in the subring B.

Description

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