File: 12.9.txt

package info (click to toggle)
gap-hap 1.70%2Bds-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 56,612 kB
  • sloc: xml: 16,139; sh: 216; javascript: 155; makefile: 126; ansic: 47; perl: 36
file content (19 lines) | stat: -rw-r--r-- 654 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
gap> U:=UniversalCover(L);;
gap> G:=U!.group;;
gap> p:=EquivariantCWComplexToRegularCWMap(U,Group(One(G)));;
gap> U:=Source(p);;
gap> gamma:=[];;
gap> gamma[2]:=F!.loops[1];;
gap> gamma[2]:=List(gamma[2],AbsInt);;
gap> gamma[1]:=List(gamma[2],k->L!.boundaries[2][k]);;
gap> gamma[1]:=SSortedList(Flat(gamma[1]));;
gap> 
gap> gammatilde:=[[],[],[],[]];;
gap> for k in [1..U!.nrCells(0)] do
> if p!.mapping(0,k) in gamma[1] then Add(gammatilde[1],k); fi;
> od;
gap> for k in [1..U!.nrCells(1)] do
> if p!.mapping(1,k) in gamma[2] then Add(gammatilde[2],k); fi;
> od;
gap> gammatilde:=CWSubcomplexToRegularCWMap([U,gammatilde]);
Map of regular CW-complexes