restrictDifferential -- Synonym for subDGAlgebra, named to match the restricted-differential vocabulary

• Usage:

  B = restrictDifferential(A, keepIdx)

• Inputs:
  • A, an instance of the type DGAlgebra,
  • keepIdx, a list, List of integers giving DG generator indices to keep.
• Optional inputs:
  • InitializeDegreeZeroHomology => a Boolean value, default value true, Default true.
  • InitializeComplex => a Boolean value, default value false, Default false.
• Outputs:
  • B, an instance of the type DGAlgebra, Identical to subDGAlgebra(A, keepIdx).

i1 : R = QQ[x, y] / ideal(x^2, y^2)

o1 = R

o1 : QuotientRing

i2 : A = koszulComplexDGA R

o2 = {Ring => R                          }
      Underlying algebra => R[T   ..T   ]
                               1,1   1,2
      Differential => {x, y}

o2 : DGAlgebra

i3 : B = restrictDifferential(A, {0})

o3 = {Ring => R                    }
      Underlying algebra => R[T   ]
                               1,1
      Differential => {x}

o3 : DGAlgebra

i4 : numgens B.natural

o4 = 1