File: 3.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 (10 lines) | stat: -rw-r--r-- 353 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
 
gap> K:=PureCubicalKnot(3,1);;
gap> L:=ReflectedCubicalKnot(K);;
gap> granny:=KnotSum(K,L);;
gap> reef:=KnotSum(K,K);;
gap> fg:=KnotComplementWithBoundary(ArcPresentation(granny));;
gap> fr:=KnotComplementWithBoundary(ArcPresentation(reef));;
gap> a:=FirstHomologyCoveringCokernels(fg,6);;
gap> b:=FirstHomologyCoveringCokernels(fr,6);;
gap> a=b;
false