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.

Description

DG algebras as stored in this package carry a fixed underlying graded algebra and differential; there is no redundancy for prune to eliminate. The method is installed as the identity so that pruning commutes uniformly with every constructor.

minimalPresentation is a synonym for prune.

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

Ways to use this method:

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

The source of this document is in DGAlgebras/doc.m2:4756:0.

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

Description

See also

Ways to use this method: