Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 4021187337] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0748 geometric_solution 4.69388400 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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.603657465690 0.186210627835 2 0 2 0 0132 2310 1023 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 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.883707457995 0.280392940008 1 3 1 4 0132 0132 1023 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 0 1 -1 -1 0 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 1.278030813902 0.484980408928 4 2 5 4 3012 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 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.215386842167 0.710327071991 3 5 2 3 3012 3201 0132 1230 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 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 1.215386842167 0.710327071991 6 6 4 3 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 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.461972047610 0.775488365176 5 6 5 6 0132 2310 2310 3201 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 0 0 0 0 0 0 0 -0.915098075205 0.520027639973 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_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_5'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2592572426852153200516551683999370456679087928122233567/10772062861\ 432216137948607046450699609220680346304976*c_0101_5^21 - 152311548461388107819395771485405326920312315531604141/107720628614\ 32216137948607046450699609220680346304976*c_0101_5^20 - 5504139383105988911058288795661949663216389078000047797/13465078576\ 79027017243575880806337451152585043288122*c_0101_5^19 + 3181929969021420944766290186787726845051183837605356069/48963922097\ 4191642634027593020486345873667288468408*c_0101_5^18 - 354644034389336906585532818435515020537267545219423330707/107720628\ 61432216137948607046450699609220680346304976*c_0101_5^17 + 455891518541160939443186281932114710674008943508933684377/979278441\ 948383285268055186040972691747334576936816*c_0101_5^16 - 14796401466199640854192266184303764824570959628803990682113/1077206\ 2861432216137948607046450699609220680346304976*c_0101_5^15 + 28426012695243335315624148600880852031766381531319635255381/1077206\ 2861432216137948607046450699609220680346304976*c_0101_5^14 - 1345744014349349488213501305938720060341930110932922083670/67325392\ 8839513508621787940403168725576292521644061*c_0101_5^13 - 1553948850374599303486523805998532103455307392155810505435/67325392\ 8839513508621787940403168725576292521644061*c_0101_5^12 + 3448099664720593786705722285779223238728911378667543263145/48963922\ 0974191642634027593020486345873667288468408*c_0101_5^11 - 70183051401900863882957078884559630856000581380019472283057/1077206\ 2861432216137948607046450699609220680346304976*c_0101_5^10 - 7352466875123061703911457722732463135284323079547344807277/53860314\ 30716108068974303523225349804610340173152488*c_0101_5^9 + 25810584553085213796419988089761633947000817415510275418871/5386031\ 430716108068974303523225349804610340173152488*c_0101_5^8 - 31064774119098621518191268514132430993940436670093661331781/1077206\ 2861432216137948607046450699609220680346304976*c_0101_5^7 + 9634443000513034746042137948178556770207724721271986270997/10772062\ 861432216137948607046450699609220680346304976*c_0101_5^6 + 12779272477417933657960374851763067209359685831073367325/6120490262\ 1773955329253449127560793234208411058551*c_0101_5^5 - 2138870386581733645083682103100476366622323540133975182593/10772062\ 861432216137948607046450699609220680346304976*c_0101_5^4 + 671425288128130636081826189348002081845212086968875250045/107720628\ 61432216137948607046450699609220680346304976*c_0101_5^3 - 468794856940282243979453268508495666225390385141205677381/107720628\ 61432216137948607046450699609220680346304976*c_0101_5^2 + 33446404880252206700661457816930153536777646439293192687/1077206286\ 1432216137948607046450699609220680346304976*c_0101_5 + 29069385162946041396981285132438150270908422434622373765/1077206286\ 1432216137948607046450699609220680346304976, c_0011_0 - 1, c_0011_1 - 603463890190265100043697095907755330066567046617/11386958627\ 306782386837851000476426648224820662056*c_0101_5^21 - 245979709131612819722063755427113623115698310547/113869586273067823\ 86837851000476426648224820662056*c_0101_5^20 + 2520210942668796569049941770407297542597988484635/28467396568266955\ 96709462750119106662056205165514*c_0101_5^19 - 5791529569258640364423614322677331722902080534583/56934793136533911\ 93418925500238213324112410331028*c_0101_5^18 + 78063104572805246239370327645922321384962576198365/1138695862730678\ 2386837851000476426648224820662056*c_0101_5^17 - 1132433684756526347793299523281429702064656850195567/11386958627306\ 782386837851000476426648224820662056*c_0101_5^16 + 2923509388746820928030297166538333351151119094368343/11386958627306\ 782386837851000476426648224820662056*c_0101_5^15 - 5358419743206497945753845662004339857048003823768625/11386958627306\ 782386837851000476426648224820662056*c_0101_5^14 + 354173057708366361072358751056386698216065102419484/142336982841334\ 7798354731375059553331028102582757*c_0101_5^13 + 810134279202346043693176560285672821683769786863186/142336982841334\ 7798354731375059553331028102582757*c_0101_5^12 - 7052995919690608413308302348862264682562370050074605/56934793136533\ 91193418925500238213324112410331028*c_0101_5^11 + 10185606371622224743905168455623650788150419186856475/1138695862730\ 6782386837851000476426648224820662056*c_0101_5^10 + 1654838623567845983667246560890007657655726896553831/28467396568266\ 95596709462750119106662056205165514*c_0101_5^9 - 922936124794522651025861080690306838329051254175178/142336982841334\ 7798354731375059553331028102582757*c_0101_5^8 + 3930454769446665225673467679133311370778270225227657/11386958627306\ 782386837851000476426648224820662056*c_0101_5^7 - 1374879282672284879026008389469669079642754795215163/11386958627306\ 782386837851000476426648224820662056*c_0101_5^6 - 303979290750404217985809036661270690871816986115993/569347931365339\ 1193418925500238213324112410331028*c_0101_5^5 - 16360706253840726316028498816648765967908392938267/1138695862730678\ 2386837851000476426648224820662056*c_0101_5^4 - 123470972112669858296070198100684596730425854877259/113869586273067\ 82386837851000476426648224820662056*c_0101_5^3 + 45109461020358362485035571539158156194459484211145/1138695862730678\ 2386837851000476426648224820662056*c_0101_5^2 + 11231496912649027761359832339360485244417259262311/1138695862730678\ 2386837851000476426648224820662056*c_0101_5 + 4967956259392920454034965656540049680111229551991/11386958627306782\ 386837851000476426648224820662056, c_0011_5 - 55489852939057852956549359200081238763918302679/284673965682\ 6695596709462750119106662056205165514*c_0101_5^21 - 11954954894848593047046219283256465638138586791/5693479313653391193\ 418925500238213324112410331028*c_0101_5^20 + 929793247904072722681919144738390509060565498553/284673965682669559\ 6709462750119106662056205165514*c_0101_5^19 - 1346450596737159975435548665996790683138130113561/28467396568266955\ 96709462750119106662056205165514*c_0101_5^18 + 7562881068654150530654274865020311846373295252461/28467396568266955\ 96709462750119106662056205165514*c_0101_5^17 - 212658014696816681592583619239611840931003910485633/569347931365339\ 1193418925500238213324112410331028*c_0101_5^16 + 300525518766736904584821151367830800889640419212441/284673965682669\ 5596709462750119106662056205165514*c_0101_5^15 - 1161002489853825689025919626308119949136125263065783/56934793136533\ 91193418925500238213324112410331028*c_0101_5^14 + 212017044237453478523165410947276525960781093019729/142336982841334\ 7798354731375059553331028102582757*c_0101_5^13 + 245910295836053724283362304160749457323854244128661/142336982841334\ 7798354731375059553331028102582757*c_0101_5^12 - 737506490070844629812205485009662087012070253133907/142336982841334\ 7798354731375059553331028102582757*c_0101_5^11 + 691742302568504513548416597690215880614134216842550/142336982841334\ 7798354731375059553331028102582757*c_0101_5^10 + 479521692287543853826151612378199855868800439706661/569347931365339\ 1193418925500238213324112410331028*c_0101_5^9 - 1629766109635120851490044431755733222314766852144813/56934793136533\ 91193418925500238213324112410331028*c_0101_5^8 + 1249863925242543638248535472368417037664749621559283/56934793136533\ 91193418925500238213324112410331028*c_0101_5^7 - 274651882371250359189649373915377018054237590321467/284673965682669\ 5596709462750119106662056205165514*c_0101_5^6 + 34894484079971867066457859882247216170902883410269/5693479313653391\ 193418925500238213324112410331028*c_0101_5^5 - 21618507365056371970659893689238718176917519450973/5693479313653391\ 193418925500238213324112410331028*c_0101_5^4 - 18628160855787171590216241393526279388472968812937/2846739656826695\ 596709462750119106662056205165514*c_0101_5^3 + 17490719872585517153524196790935901822901652739655/5693479313653391\ 193418925500238213324112410331028*c_0101_5^2 - 1572808221047044231158553130204807373838367644467/28467396568266955\ 96709462750119106662056205165514*c_0101_5 + 559677776859165989467786466748468539576776124149/569347931365339119\ 3418925500238213324112410331028, c_0101_0 - 2189138368140721624790304589838075953371378389041/2277391725\ 4613564773675702000952853296449641324112*c_0101_5^21 + 825992932440578807685063521923238908916826175815/227739172546135647\ 73675702000952853296449641324112*c_0101_5^20 + 2343320936865233988267455992380282776850354923591/14233698284133477\ 98354731375059553331028102582757*c_0101_5^19 - 35343350735370437281415634499036582935749317136621/1138695862730678\ 2386837851000476426648224820662056*c_0101_5^18 + 312421112756561124032465800455477352071884605727757/227739172546135\ 64773675702000952853296449641324112*c_0101_5^17 - 4325116131241076189531472206362586191328962910272273/22773917254613\ 564773675702000952853296449641324112*c_0101_5^16 + 13799890062526755798024329874323056626380403010224399/2277391725461\ 3564773675702000952853296449641324112*c_0101_5^15 - 27336746883430641505952670012409183344733495381829975/2277391725461\ 3564773675702000952853296449641324112*c_0101_5^14 + 1521944595505088869647406264377734655690275627596898/14233698284133\ 47798354731375059553331028102582757*c_0101_5^13 + 1106403442095422956545700458500435582938742540299904/14233698284133\ 47798354731375059553331028102582757*c_0101_5^12 - 35592704420118935661139319923235334035431364737833645/1138695862730\ 6782386837851000476426648224820662056*c_0101_5^11 + 75076779032483911401281002182475736024094137433374951/2277391725461\ 3564773675702000952853296449641324112*c_0101_5^10 + 331486248397565295134233679084849486988782765096025/113869586273067\ 82386837851000476426648224820662056*c_0101_5^9 - 25231245059619455778780703740573614279351108577181959/1138695862730\ 6782386837851000476426648224820662056*c_0101_5^8 + 33675095317191499365548336502332439625777645947760679/2277391725461\ 3564773675702000952853296449641324112*c_0101_5^7 - 13126661966561459510038706181100933052596042604817451/2277391725461\ 3564773675702000952853296449641324112*c_0101_5^6 + 14769291453166502296662912334786121677651133553935/5693479313653391\ 193418925500238213324112410331028*c_0101_5^5 + 2122299505149442858015065424316323664808733766950587/22773917254613\ 564773675702000952853296449641324112*c_0101_5^4 - 642436967166943834481082211357399381092736095724467/227739172546135\ 64773675702000952853296449641324112*c_0101_5^3 + 600905376595993323455812930129697566399993660027943/227739172546135\ 64773675702000952853296449641324112*c_0101_5^2 - 71597150444220123188604900782072453159950812195921/2277391725461356\ 4773675702000952853296449641324112*c_0101_5 - 27334737492935409500815739392015417060342311254887/2277391725461356\ 4773675702000952853296449641324112, c_0101_1 - 1277595812003336155785091511578281933865517966847/2277391725\ 4613564773675702000952853296449641324112*c_0101_5^21 - 857685757171516046682704155395549092145028579303/227739172546135647\ 73675702000952853296449641324112*c_0101_5^20 + 1335635041078662360399465930563071312973341544059/14233698284133477\ 98354731375059553331028102582757*c_0101_5^19 - 9419759193091266576875174661228622613531163533979/11386958627306782\ 386837851000476426648224820662056*c_0101_5^18 + 156013031433961455715397106409808032872824705128851/227739172546135\ 64773675702000952853296449641324112*c_0101_5^17 - 2350541292795992761403796704920116967551167641706895/22773917254613\ 564773675702000952853296449641324112*c_0101_5^16 + 5535855850874884346746958700520004775158054400223489/22773917254613\ 564773675702000952853296449641324112*c_0101_5^15 - 9400351507161383990248174229130012804374734073044329/22773917254613\ 564773675702000952853296449641324112*c_0101_5^14 + 136538162779266238485759017801126336336682345452876/142336982841334\ 7798354731375059553331028102582757*c_0101_5^13 + 1049676637896266785791877970797381788497026053519392/14233698284133\ 47798354731375059553331028102582757*c_0101_5^12 - 13534685898037018082984029224346052688844623511141027/1138695862730\ 6782386837851000476426648224820662056*c_0101_5^11 + 11902272055143780201607020348517248655263134585711849/2277391725461\ 3564773675702000952853296449641324112*c_0101_5^10 + 11780271574713481812207629449492188897126193524492863/1138695862730\ 6782386837851000476426648224820662056*c_0101_5^9 - 7283612537949516760556598724272465392614998994209337/11386958627306\ 782386837851000476426648224820662056*c_0101_5^8 + 2179515757813709761666569489692045626090876021040633/22773917254613\ 564773675702000952853296449641324112*c_0101_5^7 + 1351649247258539301961717076289175257070709744249579/22773917254613\ 564773675702000952853296449641324112*c_0101_5^6 - 645603114657734519611108682694246946759276529457447/569347931365339\ 1193418925500238213324112410331028*c_0101_5^5 - 133425650450425939689048811272992615661758269968411/227739172546135\ 64773675702000952853296449641324112*c_0101_5^4 - 199758724348437537834570334922085870150232803696173/227739172546135\ 64773675702000952853296449641324112*c_0101_5^3 + 35743563054666269707115179818756873397691935872121/2277391725461356\ 4773675702000952853296449641324112*c_0101_5^2 + 58294438733771392623098799878517107799826112611361/2277391725461356\ 4773675702000952853296449641324112*c_0101_5 + 14686249469835776007830086516658121350623965956439/2277391725461356\ 4773675702000952853296449641324112, c_0101_3 - 953304868920694017010623034945009916318163985525/22773917254\ 613564773675702000952853296449641324112*c_0101_5^21 - 409501626963457055566104753955614760611007553897/227739172546135647\ 73675702000952853296449641324112*c_0101_5^20 + 1996159835287707541354844268577649768629136989935/28467396568266955\ 96709462750119106662056205165514*c_0101_5^19 - 8958913521407003444907914538636768089244278905981/11386958627306782\ 386837851000476426648224820662056*c_0101_5^18 + 122043625701965597257519148067165257873241002456193/227739172546135\ 64773675702000952853296449641324112*c_0101_5^17 - 1785373751559035065989210116667640489183574638747177/22773917254613\ 564773675702000952853296449641324112*c_0101_5^16 + 4572286891009280252580210921221829078171411704347819/22773917254613\ 564773675702000952853296449641324112*c_0101_5^15 - 8264996213666491698797640200746030201428337618397455/22773917254613\ 564773675702000952853296449641324112*c_0101_5^14 + 253113930552912111026879481225165093438425706430387/142336982841334\ 7798354731375059553331028102582757*c_0101_5^13 + 673563747293184651769274015081709161372709217406179/142336982841334\ 7798354731375059553331028102582757*c_0101_5^12 - 11145110087856723223123057095001790931704108537573001/1138695862730\ 6782386837851000476426648224820662056*c_0101_5^11 + 15139434529799953654055025029482592340864156303310971/2277391725461\ 3564773675702000952853296449641324112*c_0101_5^10 + 5874042531591904343713227200828207670211036675767763/11386958627306\ 782386837851000476426648224820662056*c_0101_5^9 - 6028660620445138287952424856625627505485705596722905/11386958627306\ 782386837851000476426648224820662056*c_0101_5^8 + 5497054442895457576766636555209568777021494059402847/22773917254613\ 564773675702000952853296449641324112*c_0101_5^7 - 1963765939230256370813810165932603963595624083341735/22773917254613\ 564773675702000952853296449641324112*c_0101_5^6 - 126946148244814630500864455031581463544307823146061/284673965682669\ 5596709462750119106662056205165514*c_0101_5^5 + 225784003733450058716359637910357607248155517372003/227739172546135\ 64773675702000952853296449641324112*c_0101_5^4 - 335324535183006523580107955033791004992220296222559/227739172546135\ 64773675702000952853296449641324112*c_0101_5^3 + 115327944271969393758225132275229386843231699313743/227739172546135\ 64773675702000952853296449641324112*c_0101_5^2 + 17579465209268164944030806880219930944958937468715/2277391725461356\ 4773675702000952853296449641324112*c_0101_5 + 6492026899104988582292942641314282432460722263905/22773917254613564\ 773675702000952853296449641324112, c_0101_5^22 - 17*c_0101_5^20 + 26*c_0101_5^19 - 135*c_0101_5^18 + 1926*c_0101_5^17 - 5592*c_0101_5^16 + 10606*c_0101_5^15 - 7599*c_0101_5^14 - 10192*c_0101_5^13 + 28762*c_0101_5^12 - 25217*c_0101_5^11 - 7571*c_0101_5^10 + 19808*c_0101_5^9 - 10677*c_0101_5^8 + 2826*c_0101_5^7 + 1169*c_0101_5^6 - 799*c_0101_5^5 + 198*c_0101_5^4 - 162*c_0101_5^3 + 14*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB