Magma V2.19-8 Tue Aug 20 2013 23:38:12 on localhost [Seed = 3280316385] Type ? for help. Type -D to quit. Loading file "K10n26__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n26 geometric_solution 9.07089927 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568392111351 0.757875088313 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 -5 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.840803353998 1.517157315626 0 0 4 7 2031 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366654679009 0.844481532191 6 8 0 7 0321 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505930127552 0.681347480808 5 1 8 2 0213 0132 2031 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396144501407 0.539395173986 4 9 1 8 0213 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118587789818 0.515143625785 3 9 8 1 0321 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.307992443372 0.900372695612 9 9 2 3 2103 1023 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485341621440 0.506051174638 6 3 5 4 2031 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.341971140912 0.802729559076 7 5 7 6 1023 0132 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.012819551980 1.029303491050 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0110_8']), 'c_1001_4' : negation(d['c_0110_8']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0110_8'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : d['c_0110_4'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_6']), 'c_1100_8' : d['c_0011_5'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : d['c_0110_4'], 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0110_4'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : negation(d['c_0110_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_8']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_5']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0110_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_2, c_0101_7, c_0101_8, c_0110_4, c_0110_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 4301695778943839/35206263212549837*c_1001_2^12 + 34360736595004185/35206263212549837*c_1001_2^11 - 81529227949566687/70412526425099674*c_1001_2^10 + 178984023559411692/35206263212549837*c_1001_2^9 - 533030019939398317/70412526425099674*c_1001_2^8 + 327393648756470711/35206263212549837*c_1001_2^7 - 485474004210827845/35206263212549837*c_1001_2^6 + 570065525129783657/70412526425099674*c_1001_2^5 - 670713596503736873/70412526425099674*c_1001_2^4 + 125672578243663813/70412526425099674*c_1001_2^3 - 323089200052791389/70412526425099674*c_1001_2^2 - 6910941011681209/1717378693295114*c_1001_2 - 14371504262818019/3061414192395638, c_0011_0 - 1, c_0011_3 - 470396959529/37334319419459*c_1001_2^12 - 6270873923319/37334319419459*c_1001_2^11 - 16593966556027/37334319419459*c_1001_2^10 + 1597289830516/37334319419459*c_1001_2^9 - 21689038676490/37334319419459*c_1001_2^8 + 48459028899742/37334319419459*c_1001_2^7 + 13602748411314/37334319419459*c_1001_2^6 + 49793524778254/37334319419459*c_1001_2^5 + 22867240172203/37334319419459*c_1001_2^4 + 29555646710057/37334319419459*c_1001_2^3 + 50675667041237/37334319419459*c_1001_2^2 + 43319351929762/37334319419459*c_1001_2 + 63275247755733/37334319419459, c_0011_5 - 571579937038/37334319419459*c_1001_2^12 - 5167176713314/37334319419459*c_1001_2^11 + 1955437495461/37334319419459*c_1001_2^10 - 6187088692979/37334319419459*c_1001_2^9 + 3249556400727/37334319419459*c_1001_2^8 + 6572885120463/37334319419459*c_1001_2^7 + 3280048940727/37334319419459*c_1001_2^6 + 10935995742168/37334319419459*c_1001_2^5 + 20807775956419/37334319419459*c_1001_2^4 + 21881696966405/37334319419459*c_1001_2^3 + 39076792460678/37334319419459*c_1001_2^2 + 11936597000349/37334319419459*c_1001_2 + 22740437099974/37334319419459, c_0011_6 - 537612294434/37334319419459*c_1001_2^12 - 3267414924480/37334319419459*c_1001_2^11 + 14901623974068/37334319419459*c_1001_2^10 - 22908574723217/37334319419459*c_1001_2^9 + 28389748093560/37334319419459*c_1001_2^8 - 22877684982197/37334319419459*c_1001_2^7 - 2566100488435/37334319419459*c_1001_2^6 + 28633510549763/37334319419459*c_1001_2^5 - 19565906688925/37334319419459*c_1001_2^4 + 27092313677835/37334319419459*c_1001_2^3 - 38829502537899/37334319419459*c_1001_2^2 - 39671255029262/37334319419459*c_1001_2 - 21330871089993/37334319419459, c_0101_2 - 429034832449/37334319419459*c_1001_2^12 - 3043816105281/37334319419459*c_1001_2^11 + 8151226738686/37334319419459*c_1001_2^10 - 15204680613847/37334319419459*c_1001_2^9 + 14622494744934/37334319419459*c_1001_2^8 - 15227557435405/37334319419459*c_1001_2^7 + 3560665223675/37334319419459*c_1001_2^6 + 19351258487583/37334319419459*c_1001_2^5 - 19739526775/37334319419459*c_1001_2^4 + 26964205010657/37334319419459*c_1001_2^3 - 5930773249857/37334319419459*c_1001_2^2 - 15436484991777/37334319419459*c_1001_2 - 622309138975/37334319419459, c_0101_7 + 1219803900798/37334319419459*c_1001_2^12 + 10241603401297/37334319419459*c_1001_2^11 - 9777835808097/37334319419459*c_1001_2^10 + 26854043355072/37334319419459*c_1001_2^9 - 43125221176095/37334319419459*c_1001_2^8 + 20612721628087/37334319419459*c_1001_2^7 - 46658988466387/37334319419459*c_1001_2^6 + 5934316697868/37334319419459*c_1001_2^5 - 14246557497748/37334319419459*c_1001_2^4 - 14164212864128/37334319419459*c_1001_2^3 - 7653551670852/37334319419459*c_1001_2^2 - 21279076185770/37334319419459*c_1001_2 + 4039543011529/37334319419459, c_0101_8 + 378595019113/37334319419459*c_1001_2^12 + 3553511950310/37334319419459*c_1001_2^11 + 430907551082/37334319419459*c_1001_2^10 + 8923853279454/37334319419459*c_1001_2^9 - 760300736508/37334319419459*c_1001_2^8 - 15182044724876/37334319419459*c_1001_2^7 - 5219023786820/37334319419459*c_1001_2^6 - 24861069260928/37334319419459*c_1001_2^5 - 11254384315253/37334319419459*c_1001_2^4 - 10633557258911/37334319419459*c_1001_2^3 - 9350466670910/37334319419459*c_1001_2^2 - 11801302691397/37334319419459*c_1001_2 - 32731535552845/37334319419459, c_0110_4 - 602654169962/37334319419459*c_1001_2^12 - 6043540078878/37334319419459*c_1001_2^11 - 3879113084704/37334319419459*c_1001_2^10 - 9611871187215/37334319419459*c_1001_2^9 - 683688010669/37334319419459*c_1001_2^8 + 16566661709323/37334319419459*c_1001_2^7 + 21981056147559/37334319419459*c_1001_2^6 + 29610459573806/37334319419459*c_1001_2^5 + 32049948773161/37334319419459*c_1001_2^4 + 3246021639055/37334319419459*c_1001_2^3 + 35957277247289/37334319419459*c_1001_2^2 + 23484848920874/37334319419459*c_1001_2 + 38813457946823/37334319419459, c_0110_8 + 437634147592/37334319419459*c_1001_2^12 + 3718355826530/37334319419459*c_1001_2^11 - 3131694629498/37334319419459*c_1001_2^10 + 8750619257856/37334319419459*c_1001_2^9 - 19989638514675/37334319419459*c_1001_2^8 + 7444552985862/37334319419459*c_1001_2^7 - 24391969778038/37334319419459*c_1001_2^6 - 680365130875/37334319419459*c_1001_2^5 + 9245980438857/37334319419459*c_1001_2^4 - 758369439454/37334319419459*c_1001_2^3 + 7191953100541/37334319419459*c_1001_2^2 + 2675162073408/37334319419459*c_1001_2 + 9976217969588/37334319419459, c_1001_2^13 + 9*c_1001_2^12 - 2*c_1001_2^11 + 26*c_1001_2^10 - 22*c_1001_2^9 + 11*c_1001_2^8 - 42*c_1001_2^7 - 25*c_1001_2^6 - 32*c_1001_2^5 - 47*c_1001_2^4 - 34*c_1001_2^3 - 64*c_1001_2^2 - 46*c_1001_2 - 46 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB