DGAlgebra ** Ring -- Tensor product of a DGAlgebra and another ring.
dgAlgebraMap(DGAlgebra,DGAlgebra,Matrix), see dgAlgebraMap -- Define a DG algebra map between DG algebras.
isWellDefined(DGAlgebraMap), see dgAlgebraMap -- Define a DG algebra map between DG algebras.
findNaryTrivialMasseyOperation(DGAlgebra,List,HashTable,ZZ), see findTrivialMasseyOperation -- Finds a trivial Massey operation on a set of generators of H(A)
findTrivialMasseyOperation(DGAlgebra), see findTrivialMasseyOperation -- Finds a trivial Massey operation on a set of generators of H(A)
getBasis(ZZ,DGAlgebra), see getBasis -- Get a basis for a particular homological degree of a DG algebra.
getGenerators(DGAlgebra), see getGenerators -- Returns a list of cycles whose images generate HH(A) as an algebra
HH DGAlgebra -- Compute the homology algebra of a DGAlgebra.
HH DGAlgebraMap -- Computes the homomorphism in homology associated to a DGAlgebraMap.
homology(DGAlgebraMap,ZZ), see HH DGAlgebraMap -- Computes the homomorphism in homology associated to a DGAlgebraMap.
HH_ZZ DGAlgebra -- Computes the homology of a DG algebra as a module
homologyAlgebra(DGAlgebra), see homologyAlgebra -- Compute the homology algebra of a DGAlgebra.
isAcyclic(DGAlgebra), see isAcyclic -- Determines if a DGAlgebra is acyclic.
isHomogeneous(DGAlgebra) -- Determine if the DGAlgebra respects the gradings of the ring it is defined over.
isHomologyAlgebraTrivial(DGAlgebra), see isHomologyAlgebraTrivial -- Determines if the homology algebra of a DGAlgebra is trivial
killCycles(DGAlgebra), see killCycles -- Adjoins variables to make non-bounding cycles boundaries in the lowest positive degree with nontrivial homology.
liftToDGMap(DGAlgebra,DGAlgebra,RingMap), see liftToDGMap -- Lift a ring homomorphism in degree zero to a DG algebra morphism
maxDegree(DGAlgebra), see maxDegree -- Computes the maximum homological degree of a DGAlgebra
net(DGAlgebra) -- Outputs the pertinent information about a DGAlgebra
net(DGAlgebraMap) -- Outputs the pertinent information about a DGAlgebraMap
setDiff(DGAlgebra,List), see setDiff -- Sets the differential of a DGAlgebra manually.