1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
#G:=SmallGroup(64,134);
#L:=LowerCentralSeries(G);
#R:=ResolutionNormalSeries(L,5);
#C:=FilteredTensorWithIntegers(R);
#################################################################
#################################################################
InstallGlobalFunction(CyclesOfFilteredChainComplex,
function(C,r,p,q)
local
SOURCE,TARGET, BasisKer, FD, FL, S,T;
#p column
#q row
FL:=EvaluateProperty(C,"filtration_length");
###############################
FD:=function(r,k)
if r<0 then return 0; fi;
return
C!.filteredDimension(Minimum(r,FL),k);
end;
###############################
SOURCE:=[FD(p-1,q)+1..FD(p,q)];
TARGET:=List(SOURCE, x-> C!.boundary(p+q,x) );
S:=FD(p-r,q-1)+1;
T:=Length(TARGET[1]);
T:=[S..T];
TARGET:=List(TARGET, x-> x{T});
ConvertToMatrixRep(TARGET);
BasisKer:=LLLReducedBasis(TARGET,"linearcomb").relations;
return BasisKer;
end);
#################################################################
#################################################################
#################################################################
#################################################################
InstallGlobalFunction(BoundariesOfFilteredChainComplex,
function(C,r,p,q)
local
BasisKer, Bds, b,x;
#p column
#q row
BasisKer:=CyclesOfFilteredChainComplex(C,r-1,p+r-1,q-r+2);
Bds:=[];
for b in BasisKer do
x:=C!.boundary(p+1+1);
od;
end);
#################################################################
#################################################################
|
