diff --git a/tutorial/tutex/4.10.txt b/tutorial/tutex/4.10.txt new file mode 100644 index 00000000..535b8ca5 --- /dev/null +++ b/tutorial/tutex/4.10.txt @@ -0,0 +1,2 @@ +gap> file:=HapFile("data1V2X.pdb");; +gap> DisplayPDBfile(file); diff --git a/tutorial/tutex/4.11.txt b/tutorial/tutex/4.11.txt new file mode 100644 index 00000000..1ae5fa4c --- /dev/null +++ b/tutorial/tutex/4.11.txt @@ -0,0 +1,7 @@ +gap> r:=5;; +gap> K:=ReadPDBfileAsPureCubicalComplex(file,r);; +gap> K:=ContractedComplex(K);; +gap> K!.properties; +[ [ "dimension", 3 ], [ "arraySize", [ 184, 186, 294 ] ] ] + +gap> Display(K); diff --git a/tutorial/tutex/4.12.txt b/tutorial/tutex/4.12.txt new file mode 100644 index 00000000..3573420c --- /dev/null +++ b/tutorial/tutex/4.12.txt @@ -0,0 +1,5 @@ +gap> F:=ThickeningFiltration(K,15);; +gap> F:=FilteredPureCubicalComplexToCubicalComplex(F);; +gap> F:=FilteredCubicalComplexToFilteredRegularCWComplex(F);; +gap> P:=PersistentBettiNumbersAlt(F,1);; +gap> BarCodeCompactDisplay(P); diff --git a/tutorial/tutex/4.13.txt b/tutorial/tutex/4.13.txt new file mode 100644 index 00000000..5bf205f5 --- /dev/null +++ b/tutorial/tutex/4.13.txt @@ -0,0 +1,10 @@ +gap> C:=PureComplexComplement(K);; +gap> C:=ContractedComplex(C);; +gap> G:=FundamentalGroup(C);; +gap> GeneratorsOfGroup(G); +[ f1, f2 ] +gap> RelatorsOfFpGroup(G); +[ f2*f1^-1*f2^-1*f1^-1*f2*f1 ] + +gap> AlexanderPolynomial(G); +x_1^2-x_1+1