prune(DGAlgebra) -- Pruning a DG algebra is the identity

• Function: prune

• Usage:

  Ap = prune A

  Ap = minimalPresentation A

• Inputs:
  • A, an instance of the type DGAlgebra,
• Optional inputs:
  • Exclude => ..., default value {},
• Outputs:
  • Ap, an instance of the type DGAlgebra, The same DG algebra A.

i1 : R = ZZ/101[x, y]

o1 = R

o1 : PolynomialRing

i2 : A = koszulComplexDGA R

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

o2 : DGAlgebra

i3 : (prune A) === A

o3 = true

i4 : (minimalPresentation A) === A

o4 = true