# cycles -- make the subalgebra of cycles

## Synopsis

• Usage:
C=cycles(L)
• Inputs:
• Outputs:
• C, an instance of the type LieSubAlgebra, the kernel of the differential

## Description

 i1 : L=lieAlgebra({a,b},Signs=>{1,0},Weights=>{{2,0},{2,1}}, Field=>ZZ/3,LastWeightHomological=>true) o1 = L o1 : LieAlgebra i2 : D=differentialLieAlgebra({0_L,a}) o2 = D o2 : LieAlgebra i3 : C=cycles D o3 = C o3 : LieSubAlgebra i4 : dims(10,C) o4 = | 0 1 0 1 0 0 0 0 0 0 | | 0 0 0 0 0 1 0 1 0 1 | | 0 0 0 0 0 1 0 1 0 1 | | 0 0 0 0 0 0 0 0 0 1 | | 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 | 10 10 o4 : Matrix ZZ <--- ZZ