Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 981182203] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0400 geometric_solution 4.46520840 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 2.498559134985 1.001434583978 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.598471595701 0.115470370057 0 3 4 0 3201 0132 0132 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 1 0 -1 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.300277402516 0.817710569480 4 2 5 4 2310 0132 0132 3201 0 0 0 0 0 0 0 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 0 -1 0 1 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.112393559483 0.690613978439 5 3 3 2 1023 2310 3201 0132 0 0 0 0 0 0 0 0 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 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.112393559483 0.690613978439 6 4 6 3 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.783657147393 1.145144645784 5 6 5 6 0132 1302 1023 2031 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444414707790 0.298835142534 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 62164517703593/45518589613*c_0101_5^13 - 165703348373201/45518589613*c_0101_5^12 - 677134647907742/45518589613*c_0101_5^11 + 84567766430814/45518589613*c_0101_5^10 + 899317808471745/45518589613*c_0101_5^9 + 2724984378632912/45518589613*c_0101_5^8 - 4311345042944006/45518589613*c_0101_5^7 - 14623764304553674/45518589613*c_0101_5^6 + 1704086055283900/45518589613*c_0101_5^5 + 9536950739958020/45518589613*c_0101_5^4 + 2999107303102737/45518589613*c_0101_5^3 - 1863955628929901/45518589613*c_0101_5^2 - 80516303732387/6502655659*c_0101_5 + 185911506746934/45518589613, c_0011_0 - 1, c_0011_2 + 1750678250448/6502655659*c_0101_5^13 - 4703931439571/6502655659*c_0101_5^12 - 18979438895024/6502655659*c_0101_5^11 + 2811217794444/6502655659*c_0101_5^10 + 25388878719865/6502655659*c_0101_5^9 + 76224652768797/6502655659*c_0101_5^8 - 123191529090861/6502655659*c_0101_5^7 - 409709314682330/6502655659*c_0101_5^6 + 57298594826716/6502655659*c_0101_5^5 + 270019856350940/6502655659*c_0101_5^4 + 79274152472274/6502655659*c_0101_5^3 - 55700921393084/6502655659*c_0101_5^2 - 15673457680272/6502655659*c_0101_5 + 5589282250356/6502655659, c_0011_4 + 2899789435324/6502655659*c_0101_5^13 - 7795724318431/6502655659*c_0101_5^12 - 31427212576834/6502655659*c_0101_5^11 + 4705395486500/6502655659*c_0101_5^10 + 42063271969116/6502655659*c_0101_5^9 + 126200184702963/6502655659*c_0101_5^8 - 204255345745904/6502655659*c_0101_5^7 - 678406412610874/6502655659*c_0101_5^6 + 95967643449827/6502655659*c_0101_5^5 + 447474086011790/6502655659*c_0101_5^4 + 130755321983011/6502655659*c_0101_5^3 - 92648601764001/6502655659*c_0101_5^2 - 25978260254235/6502655659*c_0101_5 + 9305175353286/6502655659, c_0101_0 - 712885255676/6502655659*c_0101_5^13 + 1915445308066/6502655659*c_0101_5^12 + 7728279783775/6502655659*c_0101_5^11 - 1143715355011/6502655659*c_0101_5^10 - 10335343652256/6502655659*c_0101_5^9 - 31039739793853/6502655659*c_0101_5^8 + 50159661237282/6502655659*c_0101_5^7 + 166824386711040/6502655659*c_0101_5^6 - 23307201809631/6502655659*c_0101_5^5 - 109887362142368/6502655659*c_0101_5^4 - 32290752042865/6502655659*c_0101_5^3 + 22646022074009/6502655659*c_0101_5^2 + 6376250113631/6502655659*c_0101_5 - 2275922061319/6502655659, c_0101_1 + 187641444805/6502655659*c_0101_5^13 - 504495819356/6502655659*c_0101_5^12 - 2033052757543/6502655659*c_0101_5^11 + 303602626635/6502655659*c_0101_5^10 + 2717598158644/6502655659*c_0101_5^9 + 8168088518953/6502655659*c_0101_5^8 - 13213476971200/6502655659*c_0101_5^7 - 43878563156460/6502655659*c_0101_5^6 + 6182444847573/6502655659*c_0101_5^5 + 28867239853741/6502655659*c_0101_5^4 + 8505308556728/6502655659*c_0101_5^3 - 5945280689284/6502655659*c_0101_5^2 - 1679607781213/6502655659*c_0101_5 + 592424713051/6502655659, c_0101_3 + 15993727540/39893593*c_0101_5^13 - 42983743750/39893593*c_0101_5^12 - 173367084630/39893593*c_0101_5^11 + 25794108940/39893593*c_0101_5^10 + 231964654067/39893593*c_0101_5^9 + 696248136300/39893593*c_0101_5^8 - 1125913526026/39893593*c_0101_5^7 - 3742444197657/39893593*c_0101_5^6 + 525848661085/39893593*c_0101_5^5 + 2467265524607/39893593*c_0101_5^4 + 723203396513/39893593*c_0101_5^3 - 509719437746/39893593*c_0101_5^2 - 143305437796/39893593*c_0101_5 + 51162851439/39893593, c_0101_5^14 - 3*c_0101_5^13 - 10*c_0101_5^12 + 5*c_0101_5^11 + 14*c_0101_5^10 + 39*c_0101_5^9 - 84*c_0101_5^8 - 212*c_0101_5^7 + 106*c_0101_5^6 + 144*c_0101_5^5 - 3*c_0101_5^4 - 46*c_0101_5^3 + c_0101_5^2 + 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB