File: 4.9.txt

package info (click to toggle)
gap-hap 1.66%2Bds-1
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 55,348 kB
  • sloc: xml: 15,368; sh: 216; javascript: 155; makefile: 126; ansic: 57; perl: 36
file content (18 lines) | stat: -rw-r--r-- 557 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
gap> file1:=HapFile("data175_1.csv");;
gap> file2:=HapFile("data175_2.csv");;
gap> K:=ReadCSVfileAsPureCubicalKnot( [file1, file2]);;
gap> K:=PurePermutahedralComplex(K!.binaryArray);;
gap> K:=ThickenedPureComplex(K);;
gap> K:=ContractedComplex(K);;
gap> #K is a permutahedral complex model of the two input knots
gap> Display(K);


gap> Y:=PureComplexComplement(K);;
gap> W:=ZigZagContractedComplex(Y,2);;
gap> W:=RegularCWComplex(W);;
gap> W:=ContractedComplex(W);;
gap> G:=FundamentalGroup(W);;
gap> cup:=CupProduct(G);;
gap> cup([1,0],[0,1]);
[ -6, 0 ]