Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 2833855584] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1563 geometric_solution 5.34857025 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 -1 0 2 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556388014137 0.119330488559 0 2 0 3 0132 0132 2310 0132 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 1 -1 0 1 0 0 -1 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.619899696013 0.529396961033 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 -1 1 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 -1 1 0 1 0 -1 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631783571142 1.260104489248 2 5 1 4 3012 3201 0132 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 1 -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.631783571142 1.260104489248 2 3 6 6 0132 2310 2310 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 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.021833679009 0.852689703243 5 5 3 2 1302 2031 2310 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 -1 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.699008655658 1.419640531741 6 4 4 6 3201 3201 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 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.295362516214 0.814952328974 ==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_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_5'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 25319563990128096798400651305406870574277644237/5289417048895459293\ 9001751476220467013596927*c_0101_2^23 + 87294527449784626011179204016675092403405620250/5289417048895459293\ 9001751476220467013596927*c_0101_2^22 + 269677162582118362891929940300218336543147623567/528941704889545929\ 39001751476220467013596927*c_0101_2^21 - 941507668010243194650597212261231362160659886053/528941704889545929\ 39001751476220467013596927*c_0101_2^20 - 1176754153452593505075115666635713511810480283573/52894170488954592\ 939001751476220467013596927*c_0101_2^19 + 3581298098050983876824552583222284691286438745273/52894170488954592\ 939001751476220467013596927*c_0101_2^18 + 2977244912327741572422907513076477481015273961963/52894170488954592\ 939001751476220467013596927*c_0101_2^17 - 5664686323107466152590015177566523684222513132478/52894170488954592\ 939001751476220467013596927*c_0101_2^16 - 4544969315688320151999751486159768982959171117863/52894170488954592\ 939001751476220467013596927*c_0101_2^15 + 3453303739438863255490405439507455352536977666763/52894170488954592\ 939001751476220467013596927*c_0101_2^14 + 2608702406203381654172046987227019176800265420999/52894170488954592\ 939001751476220467013596927*c_0101_2^13 - 1486736141939864925829446314257460684051218726400/52894170488954592\ 939001751476220467013596927*c_0101_2^12 + 1640714413847664820864307714797517716237890136987/52894170488954592\ 939001751476220467013596927*c_0101_2^11 + 2454215099063192577599806236453712154751781451684/52894170488954592\ 939001751476220467013596927*c_0101_2^10 - 2279651608832102090176145379929731882092180949960/52894170488954592\ 939001751476220467013596927*c_0101_2^9 - 2728721530147003742697761473003151662073244055122/52894170488954592\ 939001751476220467013596927*c_0101_2^8 + 531993406254841031060631467148324155831723160362/528941704889545929\ 39001751476220467013596927*c_0101_2^7 + 1427668656683070215716844686106605495041856714505/52894170488954592\ 939001751476220467013596927*c_0101_2^6 + 124703392463669202406543258592607582061828849873/528941704889545929\ 39001751476220467013596927*c_0101_2^5 - 315847780668568529565742312648515215330558690605/528941704889545929\ 39001751476220467013596927*c_0101_2^4 - 101067315315826511560920925724447168463642468190/528941704889545929\ 39001751476220467013596927*c_0101_2^3 + 36800407091286557467754308398338768558546182966/5289417048895459293\ 9001751476220467013596927*c_0101_2^2 + 12835758056326490155434820147122454373601001630/5289417048895459293\ 9001751476220467013596927*c_0101_2 - 3425241289027386448664136956512460274069505644/52894170488954592939\ 001751476220467013596927, c_0011_0 - 1, c_0011_3 - 14670945869867442449163424847898509102/186704880869174154030\ 4363607209002829*c_0101_2^23 + 412032190744344702988742983565936546\ 84/1867048808691741540304363607209002829*c_0101_2^22 + 185966442030885208501279213878017960516/186704880869174154030436360\ 7209002829*c_0101_2^21 - 438423026217792420702958581221625337913/18\ 67048808691741540304363607209002829*c_0101_2^20 - 997650966283614056375303904569740880086/186704880869174154030436360\ 7209002829*c_0101_2^19 + 1564523572590337464019851297740757625876/1\ 867048808691741540304363607209002829*c_0101_2^18 + 2878945849097930049836329379980229900268/18670488086917415403043636\ 07209002829*c_0101_2^17 - 1929279554495491707272970876434572700629/\ 1867048808691741540304363607209002829*c_0101_2^16 - 4257242992114649539070959315128146301947/18670488086917415403043636\ 07209002829*c_0101_2^15 + 67530094529319374705820497648427680367/18\ 67048808691741540304363607209002829*c_0101_2^14 + 2165675923840388500991022730122502433796/18670488086917415403043636\ 07209002829*c_0101_2^13 + 9604214853539058302234664169640062756/186\ 7048808691741540304363607209002829*c_0101_2^12 + 592452335643370474350808390282895439936/186704880869174154030436360\ 7209002829*c_0101_2^11 + 2028132076379548287327778735310118434786/1\ 867048808691741540304363607209002829*c_0101_2^10 - 259545425941035970761343017128667536036/186704880869174154030436360\ 7209002829*c_0101_2^9 - 2080161861224641025020850445731606347029/18\ 67048808691741540304363607209002829*c_0101_2^8 - 682340954262385315627080017149863982972/186704880869174154030436360\ 7209002829*c_0101_2^7 + 770290303525804244583845535674725639601/186\ 7048808691741540304363607209002829*c_0101_2^6 + 469039719105486241817126426724347587348/186704880869174154030436360\ 7209002829*c_0101_2^5 - 81065619880842163340521122074836855925/1867\ 048808691741540304363607209002829*c_0101_2^4 - 115716495842834377588214974412254077142/186704880869174154030436360\ 7209002829*c_0101_2^3 - 13054300880030229560062651407001707293/1867\ 048808691741540304363607209002829*c_0101_2^2 + 9861689794132601201969312142798675873/18670488086917415403043636072\ 09002829*c_0101_2 + 455214616912481444825451554168472342/1867048808\ 691741540304363607209002829, c_0011_5 + 289082701799012923278692638216488901572186832/52894170488954\ 592939001751476220467013596927*c_0101_2^23 - 840317443040082869356593689863218481420822084/528941704889545929390\ 01751476220467013596927*c_0101_2^22 - 3597501390568799746032155348557739414650956526/52894170488954592939\ 001751476220467013596927*c_0101_2^21 + 9027874342247994764523211343742648720153012469/52894170488954592939\ 001751476220467013596927*c_0101_2^20 + 18978541128100166797011180488464551490714883732/5289417048895459293\ 9001751476220467013596927*c_0101_2^19 - 33005140979727346261637670220869868037636491803/5289417048895459293\ 9001751476220467013596927*c_0101_2^18 - 54607681022114344301077609126609096932820831605/5289417048895459293\ 9001751476220467013596927*c_0101_2^17 + 44001729208457453652828102103806815632062437513/5289417048895459293\ 9001751476220467013596927*c_0101_2^16 + 82476701253306392054452145450608491468420286310/5289417048895459293\ 9001751476220467013596927*c_0101_2^15 - 8387410210058670844414001449555099365980179727/52894170488954592939\ 001751476220467013596927*c_0101_2^14 - 44592125293642223718670167033495878011602872362/5289417048895459293\ 9001751476220467013596927*c_0101_2^13 + 810624108078736024110977753552056884969380215/528941704889545929390\ 01751476220467013596927*c_0101_2^12 - 12804745884890281804697096587333021673531956704/5289417048895459293\ 9001751476220467013596927*c_0101_2^11 - 38562846639301855323130031342930227991040500908/5289417048895459293\ 9001751476220467013596927*c_0101_2^10 + 9696811974873282978745994118095522845046399442/52894170488954592939\ 001751476220467013596927*c_0101_2^9 + 41990051373333027642097409893535509954176165033/5289417048895459293\ 9001751476220467013596927*c_0101_2^8 + 11156045798938510365473868806780643081144405057/5289417048895459293\ 9001751476220467013596927*c_0101_2^7 - 16428324314607870151061714172054663859289803653/5289417048895459293\ 9001751476220467013596927*c_0101_2^6 - 8987440682360177671429178479644094382173394533/52894170488954592939\ 001751476220467013596927*c_0101_2^5 + 1858138049403932314315421394432152746877777916/52894170488954592939\ 001751476220467013596927*c_0101_2^4 + 2380490201745519943716094963456224001881092235/52894170488954592939\ 001751476220467013596927*c_0101_2^3 + 329834789725185082942519973285139369066427825/528941704889545929390\ 01751476220467013596927*c_0101_2^2 - 215473090862695337938819900912792404742821208/528941704889545929390\ 01751476220467013596927*c_0101_2 - 1863458254698080747657714552553538498398678/52894170488954592939001\ 751476220467013596927, c_0011_6 - 6093538420620573689284726649451790326/1867048808691741540304\ 363607209002829*c_0101_2^23 + 1795536609464663313927889861978750413\ 0/1867048808691741540304363607209002829*c_0101_2^22 + 77026220904103442415235130180981752307/1867048808691741540304363607\ 209002829*c_0101_2^21 - 199357540401925237900025626887710337280/186\ 7048808691741540304363607209002829*c_0101_2^20 - 413403897102007157566721841589719172093/186704880869174154030436360\ 7209002829*c_0101_2^19 + 774033246110359803641209398425591834703/18\ 67048808691741540304363607209002829*c_0101_2^18 + 1217191280683181248183161104384943824328/18670488086917415403043636\ 07209002829*c_0101_2^17 - 1188954430177626731277957391486729963882/\ 1867048808691741540304363607209002829*c_0101_2^16 - 1926658028378551479807513786001870879357/18670488086917415403043636\ 07209002829*c_0101_2^15 + 511586564446869795852884507997012917991/1\ 867048808691741540304363607209002829*c_0101_2^14 + 1198653126048450496941576584002585814875/18670488086917415403043636\ 07209002829*c_0101_2^13 - 117361324834936486084768300968917870858/1\ 867048808691741540304363607209002829*c_0101_2^12 + 240013324741985142414592462664698774738/186704880869174154030436360\ 7209002829*c_0101_2^11 + 877291804259155459222262293151125912636/18\ 67048808691741540304363607209002829*c_0101_2^10 - 382061379560375237336042539898027343765/186704880869174154030436360\ 7209002829*c_0101_2^9 - 1060052856750887453227337748151319781991/18\ 67048808691741540304363607209002829*c_0101_2^8 - 142078583017124129880842745354734863550/186704880869174154030436360\ 7209002829*c_0101_2^7 + 462632047702566093526629227376795234402/186\ 7048808691741540304363607209002829*c_0101_2^6 + 187775549401020413616137467293899174842/186704880869174154030436360\ 7209002829*c_0101_2^5 - 77956916962181185288567806426885680474/1867\ 048808691741540304363607209002829*c_0101_2^4 - 54724022284075933804765963216748739457/1867048808691741540304363607\ 209002829*c_0101_2^3 - 1387939914267488543388105489186579422/186704\ 8808691741540304363607209002829*c_0101_2^2 + 6564371345682500896901741994496725784/18670488086917415403043636072\ 09002829*c_0101_2 + 287476159799088593752401986824525664/1867048808\ 691741540304363607209002829, c_0101_0 + 113703971171925355386239410161890233143897394/52894170488954\ 592939001751476220467013596927*c_0101_2^23 - 568024561444723694932401618098763434018028820/528941704889545929390\ 01751476220467013596927*c_0101_2^22 - 695634059448705701077044680653741610319997286/528941704889545929390\ 01751476220467013596927*c_0101_2^21 + 6373108355411727417772022319084536530255237360/52894170488954592939\ 001751476220467013596927*c_0101_2^20 - 148159837591196207904208418583919505141056469/528941704889545929390\ 01751476220467013596927*c_0101_2^19 - 27157993973565727621495596632821372487380798302/5289417048895459293\ 9001751476220467013596927*c_0101_2^18 + 5857488951730672105507963540814337639976241768/52894170488954592939\ 001751476220467013596927*c_0101_2^17 + 56720837717550659446805437080209071164834304362/5289417048895459293\ 9001751476220467013596927*c_0101_2^16 - 3427525351273319273039068314839426595241442072/52894170488954592939\ 001751476220467013596927*c_0101_2^15 - 61641197940691090577864629703273237541962317318/5289417048895459293\ 9001751476220467013596927*c_0101_2^14 - 9482851387177481364021669026968547216556752654/52894170488954592939\ 001751476220467013596927*c_0101_2^13 + 29761620434256614939975922007006234845969029211/5289417048895459293\ 9001751476220467013596927*c_0101_2^12 - 8336273417560265894717305077208552075038878518/52894170488954592939\ 001751476220467013596927*c_0101_2^11 - 3142856692333589712675795717801219879378585301/52894170488954592939\ 001751476220467013596927*c_0101_2^10 + 32666352339038870111878388627185895901459700804/5289417048895459293\ 9001751476220467013596927*c_0101_2^9 + 8215798640032614870038246978369401527766960129/52894170488954592939\ 001751476220467013596927*c_0101_2^8 - 25257719174570529114189838201217580060488065904/5289417048895459293\ 9001751476220467013596927*c_0101_2^7 - 13260607351138368235526808837494520332055197587/5289417048895459293\ 9001751476220467013596927*c_0101_2^6 + 8194078481408790693655406151623856156680637989/52894170488954592939\ 001751476220467013596927*c_0101_2^5 + 6198930219725633992850742066410011180924674147/52894170488954592939\ 001751476220467013596927*c_0101_2^4 - 410492668341567413758678934285062166859036499/528941704889545929390\ 01751476220467013596927*c_0101_2^3 - 1354746660173982739818563363816276883149745040/52894170488954592939\ 001751476220467013596927*c_0101_2^2 - 151765186378576685963503259307129742441368726/528941704889545929390\ 01751476220467013596927*c_0101_2 + 68360891657635108199215632091526914039447714/5289417048895459293900\ 1751476220467013596927, c_0101_1 + 540806927611502109167407493961927179408777374/52894170488954\ 592939001751476220467013596927*c_0101_2^23 - 1696657729242690379363128450146854602640804710/52894170488954592939\ 001751476220467013596927*c_0101_2^22 - 6183675098571219251365655772174894799192215236/52894170488954592939\ 001751476220467013596927*c_0101_2^21 + 17818832532688896506430623044332551082474985757/5289417048895459293\ 9001751476220467013596927*c_0101_2^20 + 29637204919507026820636384042185974336342863501/5289417048895459293\ 9001751476220467013596927*c_0101_2^19 - 63339673760023010841820086979297340575281855756/5289417048895459293\ 9001751476220467013596927*c_0101_2^18 - 79211969118509036019990387590487668889275272558/5289417048895459293\ 9001751476220467013596927*c_0101_2^17 + 81616267505824323764841199841981972795476767617/5289417048895459293\ 9001751476220467013596927*c_0101_2^16 + 113251634800667714603415073401570467149585156250/528941704889545929\ 39001751476220467013596927*c_0101_2^15 - 15677978372518235577277628795356248920536439974/5289417048895459293\ 9001751476220467013596927*c_0101_2^14 - 47475107551561462757480428586327431069379522815/5289417048895459293\ 9001751476220467013596927*c_0101_2^13 + 3157874541294209618131577119650434305198481792/52894170488954592939\ 001751476220467013596927*c_0101_2^12 - 39763650906597595054545210757508904560801372760/5289417048895459293\ 9001751476220467013596927*c_0101_2^11 - 58692645668543766688379595693907416730573843163/5289417048895459293\ 9001751476220467013596927*c_0101_2^10 + 21361476157212442824594141998069030470732699078/5289417048895459293\ 9001751476220467013596927*c_0101_2^9 + 56624203081436015166751527373315757937369501460/5289417048895459293\ 9001751476220467013596927*c_0101_2^8 + 16155140344364851918039634453490304218867321418/5289417048895459293\ 9001751476220467013596927*c_0101_2^7 - 17314774290605806030991230031562550688569993179/5289417048895459293\ 9001751476220467013596927*c_0101_2^6 - 10792627569219412299948546968805111398986729223/5289417048895459293\ 9001751476220467013596927*c_0101_2^5 - 412003216263893511569057755226534455097322535/528941704889545929390\ 01751476220467013596927*c_0101_2^4 + 2260159920586297937693083834773621697125029844/52894170488954592939\ 001751476220467013596927*c_0101_2^3 + 499354450002493317782750094341790820320907495/528941704889545929390\ 01751476220467013596927*c_0101_2^2 - 15772209497387154103115414675401063810161365/5289417048895459293900\ 1751476220467013596927*c_0101_2 + 124680327721323605135674039816753\ 72898131240/52894170488954592939001751476220467013596927, c_0101_2^24 - 104/31*c_0101_2^23 - 11*c_0101_2^22 + 1125/31*c_0101_2^21 + 1558/31*c_0101_2^20 - 4283/31*c_0101_2^19 - 4101/31*c_0101_2^18 + 6721/31*c_0101_2^17 + 6341/31*c_0101_2^16 - 3911/31*c_0101_2^15 - 3794/31*c_0101_2^14 + 1646/31*c_0101_2^13 - 1709/31*c_0101_2^12 - 3243/31*c_0101_2^11 + 2554/31*c_0101_2^10 + 3700/31*c_0101_2^9 - 421/31*c_0101_2^8 - 1930/31*c_0101_2^7 - 300/31*c_0101_2^6 + 437/31*c_0101_2^5 + 172/31*c_0101_2^4 - 47/31*c_0101_2^3 - 26/31*c_0101_2^2 + 3/31*c_0101_2 + 1/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB