toComplex(DGIdeal) -- Export a DG ideal to a Complex (not yet implemented)

Function: toComplex
Usage:

C = toComplex I
Inputs:
- I, an instance of the type DGIdeal,
Outputs:
- C, a complex,

Description

toComplex on a DGIdeal is not yet implemented. The natural definition views I as a DG submodule of the regular DG module A.natural over A, but a canonical wrapper for the regular-representation view of A as a DG module over itself is not yet in the package, so the method raises an informative error pointing at the currently available alternatives.

Use toComplex(ambient I / I) to obtain the Complex of the quotient DG algebra, or read the underlying data via ideal I and gens I.

i1 : R = ZZ/101[x]

o1 = R

o1 : PolynomialRing

i2 : A = koszulComplexDGA R

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

o2 : DGAlgebra

i3 : T = (gens A.natural)#0

o3 = T
      1,1

o3 : R[T   ]
        1,1

i4 : I = dgIdeal(A, {T})

o4 = DGIdeal of R[T   ]
                   1,1
     generators => | x T_(1,1) |

o4 : DGIdeal

i5 : errored = try (toComplex I; false) else true

o5 = true

i6 : assert(errored)

Ways to use this method:

toComplex(DGIdeal) -- Export a DG ideal to a Complex (not yet implemented)

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/DGAlgebras/doc.m2:7881:0.

toComplex(DGIdeal) -- Export a DG ideal to a Complex (not yet implemented)

Description

See also

Ways to use this method: