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
¤ Dauer der Verarbeitung: 0.8 Sekunden
(vorverarbeitet am 2026-05-20)
¤
*© Formatika GbR, Deutschland