Magma V2.19-8 Tue Aug 20 2013 16:19:21 on localhost [Seed = 1073864006] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3459 geometric_solution 6.65430516 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 -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.611597206353 0.852683958564 0 3 5 4 0132 0132 0132 0132 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 -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.525083592331 0.816830548590 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 -1 0 0 1 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 1 -1 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.525083592331 0.816830548590 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 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 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.439434389823 0.968371759291 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 -1 1 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 -1 1 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 1.245571570379 1.050114116315 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445030853910 0.771319083161 4 4 6 6 3201 0132 1230 3012 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 -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.355243977250 0.357344814322 ==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_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 151561580415236879897619066991/876573800264478008530214363*c_0110_6\ ^34 + 1774899664556909817480443592155/876573800264478008530214363*c\ _0110_6^32 - 14796554839378734656813411338167/876573800264478008530\ 214363*c_0110_6^30 + 91835300489076742278874595682229/8765738002644\ 78008530214363*c_0110_6^28 - 491832696750954091743574607968981/8765\ 73800264478008530214363*c_0110_6^26 + 2295505295242089191631040222112167/876573800264478008530214363*c_01\ 10_6^24 - 7930814307131774048643640798058321/8765738002644780085302\ 14363*c_0110_6^22 + 18767803478098091805611326375139983/87657380026\ 4478008530214363*c_0110_6^20 - 30389405652395668971740212993798263/\ 876573800264478008530214363*c_0110_6^18 + 34319371791318506909745667320903483/876573800264478008530214363*c_0\ 110_6^16 - 27587483232136774493628979503093452/87657380026447800853\ 0214363*c_0110_6^14 + 16112531276875236640058425536940122/876573800\ 264478008530214363*c_0110_6^12 - 6973911956919029101633558709969279\ /876573800264478008530214363*c_0110_6^10 + 2250158801375162256446145263770032/876573800264478008530214363*c_01\ 10_6^8 - 529244161586759441815652201455789/876573800264478008530214\ 363*c_0110_6^6 + 88823010387628155521935733543887/87657380026447800\ 8530214363*c_0110_6^4 - 10541112957734499214419135219250/8765738002\ 64478008530214363*c_0110_6^2 + 591200350460509399863931493142/87657\ 3800264478008530214363, c_0011_0 - 1, c_0011_4 + 4448104862315865130789420/4039510600297133679862739*c_0110_6\ ^35 - 53634885222663145086443901/4039510600297133679862739*c_0110_6\ ^33 + 452133712420894862745561476/4039510600297133679862739*c_0110_\ 6^31 - 2843345393754409257786649314/4039510600297133679862739*c_011\ 0_6^29 + 15347789398103730704314564114/4039510600297133679862739*c_\ 0110_6^27 - 72237527733323345486700209683/4039510600297133679862739\ *c_0110_6^25 + 255369791312784353554106427928/403951060029713367986\ 2739*c_0110_6^23 - 627936463109023788734176568237/40395106002971336\ 79862739*c_0110_6^21 + 1069848074470492295212116144769/403951060029\ 7133679862739*c_0110_6^19 - 1283823180285348519881175937078/4039510\ 600297133679862739*c_0110_6^17 + 1103851183225697433977870669884/40\ 39510600297133679862739*c_0110_6^15 - 690906551984474567937387401718/4039510600297133679862739*c_0110_6^1\ 3 + 319717410123302662882960086838/4039510600297133679862739*c_0110\ _6^11 - 110350334944673257264159949605/4039510600297133679862739*c_\ 0110_6^9 + 27994947800065483280566191314/4039510600297133679862739*\ c_0110_6^7 - 5070595664646398182369765971/4039510600297133679862739\ *c_0110_6^5 + 671877362938289979195721835/4039510600297133679862739\ *c_0110_6^3 - 54505131265901778435393437/4039510600297133679862739*\ c_0110_6, c_0101_0 + 34029543846711856669325725/4039510600297133679862739*c_0110_\ 6^35 - 398197812365407985983712146/4039510600297133679862739*c_0110\ _6^33 + 3320405266860900707211694558/4039510600297133679862739*c_01\ 10_6^31 - 20608848887910307713912405137/4039510600297133679862739*c\ _0110_6^29 + 110401834491448124496336352061/40395106002971336798627\ 39*c_0110_6^27 - 515354738792893979381110377491/4039510600297133679\ 862739*c_0110_6^25 + 1781026177425285564891622557095/40395106002971\ 33679862739*c_0110_6^23 - 4220696155204745776203403732687/403951060\ 0297133679862739*c_0110_6^21 + 6859132348575517692247295093354/4039\ 510600297133679862739*c_0110_6^19 - 7799659572808452444019353210291/4039510600297133679862739*c_0110_6^\ 17 + 6339640163265571709524253156498/4039510600297133679862739*c_01\ 10_6^15 - 3761707400244607718871623948258/4039510600297133679862739\ *c_0110_6^13 + 1661597977900146593439014643650/40395106002971336798\ 62739*c_0110_6^11 - 550115306811214521061567293524/4039510600297133\ 679862739*c_0110_6^9 + 134200807917105142574622109700/4039510600297\ 133679862739*c_0110_6^7 - 23658132265058510272664710940/40395106002\ 97133679862739*c_0110_6^5 + 2972877333269226746718320806/4039510600\ 297133679862739*c_0110_6^3 - 199377992782243190499956943/4039510600\ 297133679862739*c_0110_6, c_0101_1 + 12461800441668896096037766/4039510600297133679862739*c_0110_\ 6^34 - 147370214686042946189010948/4039510600297133679862739*c_0110\ _6^32 + 1233401730953486554918969671/4039510600297133679862739*c_01\ 10_6^30 - 7690758323752803580837501061/4039510600297133679862739*c_\ 0110_6^28 + 41306848515030243304550349734/4039510600297133679862739\ *c_0110_6^26 - 193381270280080576045673702056/403951060029713367986\ 2739*c_0110_6^24 + 673723214010978287251822295703/40395106002971336\ 79862739*c_0110_6^22 - 1617721227680852138023950346682/403951060029\ 7133679862739*c_0110_6^20 + 2674177582778588697335543693385/4039510\ 600297133679862739*c_0110_6^18 - 3102359657788662576390791009667/40\ 39510600297133679862739*c_0110_6^16 + 2577668070749809203342542963690/4039510600297133679862739*c_0110_6^\ 14 - 1563854273270825678412369137117/4039510600297133679862739*c_01\ 10_6^12 + 704950715600260924023324858190/4039510600297133679862739*\ c_0110_6^10 - 237449690015930419850719786590/4039510600297133679862\ 739*c_0110_6^8 + 58636174530259136866698577653/40395106002971336798\ 62739*c_0110_6^6 - 10301905091108054775589669782/403951060029713367\ 9862739*c_0110_6^4 + 1264620884003636018019226788/40395106002971336\ 79862739*c_0110_6^2 - 83844736268543011367837634/403951060029713367\ 9862739, c_0101_2 - 15760566405041236609909185/4039510600297133679862739*c_0110_\ 6^35 + 185210648116953609391770156/4039510600297133679862739*c_0110\ _6^33 - 1546335773259173212340394738/4039510600297133679862739*c_01\ 10_6^31 + 9614091962936268708170496252/4039510600297133679862739*c_\ 0110_6^29 - 51546977707730928315357936643/4039510600297133679862739\ *c_0110_6^27 + 240867610883727579156661493473/403951060029713367986\ 2739*c_0110_6^25 - 834848521325263910989494767345/40395106002971336\ 79862739*c_0110_6^23 + 1987106216888498042679718244956/403951060029\ 7133679862739*c_0110_6^21 - 3245681410063087721199560157874/4039510\ 600297133679862739*c_0110_6^19 + 3710186814029171767272681885392/40\ 39510600297133679862739*c_0110_6^17 - 3031425169716037741415335760787/4039510600297133679862739*c_0110_6^\ 15 + 1808032487337267936200073818430/4039510600297133679862739*c_01\ 10_6^13 - 803008095745372041883700922807/4039510600297133679862739*\ c_0110_6^11 + 267438297683295228165978821200/4039510600297133679862\ 739*c_0110_6^9 - 65538874625580540480068657844/40395106002971336798\ 62739*c_0110_6^7 + 11530359876634094932845659190/403951060029713367\ 9862739*c_0110_6^5 - 1426224246344781785244699506/40395106002971336\ 79862739*c_0110_6^3 + 89945567410298732117422267/403951060029713367\ 9862739*c_0110_6, c_0101_5 + 257626874872763516970861/4039510600297133679862739*c_0110_6^\ 34 - 2875121326992484535830056/4039510600297133679862739*c_0110_6^3\ 2 + 23246911046150764866157034/4039510600297133679862739*c_0110_6^3\ 0 - 139718873845787822145537134/4039510600297133679862739*c_0110_6^\ 28 + 729793966733497644129493763/4039510600297133679862739*c_0110_6\ ^26 - 3322377394518171783054733048/4039510600297133679862739*c_0110\ _6^24 + 10712984309212027320705859617/4039510600297133679862739*c_0\ 110_6^22 - 21687748504657204062635637129/4039510600297133679862739*\ c_0110_6^20 + 25449866631327958515718229658/40395106002971336798627\ 39*c_0110_6^18 - 13095805098325618335950676324/40395106002971336798\ 62739*c_0110_6^16 - 5715598607675386060674453902/403951060029713367\ 9862739*c_0110_6^14 + 14326368826894176709063776322/403951060029713\ 3679862739*c_0110_6^12 - 11145201264622282918222268275/403951060029\ 7133679862739*c_0110_6^10 + 5254636045745608572084723186/4039510600\ 297133679862739*c_0110_6^8 - 1659386992037505760514626489/403951060\ 0297133679862739*c_0110_6^6 + 324498126220463810101108245/403951060\ 0297133679862739*c_0110_6^4 - 39313665104750120762111064/4039510600\ 297133679862739*c_0110_6^2 + 408594262018731450926681/4039510600297\ 133679862739, c_0110_6^36 - 12*c_0110_6^34 + 101*c_0110_6^32 - 634*c_0110_6^30 + 3419*c_0110_6^28 - 16076*c_0110_6^26 + 56664*c_0110_6^24 - 138761*c_0110_6^22 + 235642*c_0110_6^20 - 282901*c_0110_6^18 + 245218*c_0110_6^16 - 156611*c_0110_6^14 + 75098*c_0110_6^12 - 27314*c_0110_6^10 + 7475*c_0110_6^8 - 1513*c_0110_6^6 + 224*c_0110_6^4 - 22*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB