Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1966401977] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1604 geometric_solution 5.36642424 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.521369165798 0.244272023900 0 2 2 0 3201 0132 1023 0132 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 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 1.149171627579 0.371530332050 3 1 1 4 0132 0132 1023 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631694288327 0.439285969804 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 0 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 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.736692893071 1.058100145251 6 5 2 3 1023 2310 0132 0321 0 0 0 0 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 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736692893071 1.058100145251 5 5 3 4 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465217251796 0.389649071868 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 -1 0 1 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.255563624272 0.962298974417 ==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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_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_4, c_0011_5, c_0101_0, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2381180838661317689220788237650438043512681289455787/76715728544352\ 559324765475649466983116010734050350600*c_0110_5^28 - 103022577310243591663301647502076572746771507075104953/767157285443\ 52559324765475649466983116010734050350600*c_0110_5^26 + 15083848479964162280229846904376933670597628319045363/5811797616996\ 40600945192997344446841787960106442050*c_0110_5^24 - 10736386683267101465681601431829306216109839629226702229/3835786427\ 2176279662382737824733491558005367025175300*c_0110_5^22 + 155146658817399904796498297447591022106178268791843154203/767157285\ 44352559324765475649466983116010734050350600*c_0110_5^20 - 745567223009903718573617682300484384734323395910383541453/767157285\ 44352559324765475649466983116010734050350600*c_0110_5^18 + 94728518132422237715413193944263832373042929526069787671/4261984919\ 130697740264748647192610173111707447241700*c_0110_5^16 - 85689679138860611748932899007750193043084834586469203179/1743539285\ 098921802835578992033340525363880319326150*c_0110_5^14 + 5527849126847833624849615161285133643382662151047572065739/76715728\ 544352559324765475649466983116010734050350600*c_0110_5^12 - 321771524506449405581772145880617184154369531661273976057/383578642\ 7217627966238273782473349155800536702517530*c_0110_5^10 + 1502676116512062861668932173978350748006471701065996543613/19178932\ 136088139831191368912366745779002683512587650*c_0110_5^8 - 17695222393652555876115329155151882148536386869737483122/3835786427\ 21762796623827378247334915580053670251753*c_0110_5^6 + 149713908443441558591123410968053923571060675289162191756/958946606\ 8044069915595684456183372889501341756293825*c_0110_5^4 - 16944711276718869692568407955571678597553387911210950883/6974157140\ 395687211342315968133362101455521277304600*c_0110_5^2 - 3510958683103998059235512518375365457809451670575503937/19178932136\ 088139831191368912366745779002683512587650, c_0011_0 - 1, c_0011_1 + 141676259593044171822188398414381812020851272433/25571909514\ 7841864415884918831556610386702446834502*c_0110_5^28 - 12276510807288774788743778524156363087508740545515/5114381902956837\ 28831769837663113220773404893669004*c_0110_5^26 + 1800547528913285042384648992238083024493806937771/38745317446642706\ 72967953315629645611919734042947*c_0110_5^24 - 642376195349583762766352946995736444069095453535830/127859547573920\ 932207942459415778305193351223417251*c_0110_5^22 + 4654015190591295157204486401271391838648975360791933/12785954757392\ 0932207942459415778305193351223417251*c_0110_5^20 - 89832187584016078380344493255198845053245948548338457/5114381902956\ 83728831769837663113220773404893669004*c_0110_5^18 + 34706612812842921652926044554771242772400749320578727/8523969838261\ 3954805294972943852203462234148944834*c_0110_5^16 - 10473222113957622495376133335568932710259938964579906/1162359523399\ 2812018903859946888936835759202128841*c_0110_5^14 + 342545757995296631431061750320429021756587892729016291/255719095147\ 841864415884918831556610386702446834502*c_0110_5^12 - 805595702536431579547536859660469276055716305358613265/511438190295\ 683728831769837663113220773404893669004*c_0110_5^10 + 762946914587397186033134673404660239739193693828167921/511438190295\ 683728831769837663113220773404893669004*c_0110_5^8 - 465498816743303370491738957083268144529283964490328781/511438190295\ 683728831769837663113220773404893669004*c_0110_5^6 + 169923097344955983682535289117623525542826433051557533/511438190295\ 683728831769837663113220773404893669004*c_0110_5^4 - 2909754085682996411427996741565754928954727391770945/46494380935971\ 248075615439787555747343036808515364*c_0110_5^2 + 27274920344268266619170361927600720219490922805755/1278595475739209\ 32207942459415778305193351223417251, c_0011_4 + 343541307801232997170016024618006251876316725283/42619849191\ 3069774026474864719261017311170744724170*c_0110_5^29 - 59517326585824345665110653540282040389526652043413/1704793967652279\ 096105899458877044069244682978896680*c_0110_5^27 + 26176968986185783689022679043350714259619756093609/3874531744664270\ 6729679533156296456119197340429470*c_0110_5^25 - 3111260438662578743344417977221475792807920103395467/42619849191306\ 9774026474864719261017311170744724170*c_0110_5^23 + 45054333412456496906092028926022169661244419422227639/8523969838261\ 39548052949729438522034622341489448340*c_0110_5^21 - 434416326274864825480723860817770442321950483493467383/170479396765\ 2279096105899458877044069244682978896680*c_0110_5^19 + 502000779044225283891113055129064863858752391994465369/852396983826\ 139548052949729438522034622341489448340*c_0110_5^17 - 25247783901407808745421389466972048572783410701251842/1937265872332\ 1353364839766578148228059598670214735*c_0110_5^15 + 411529292966681229214073974151676056887290515719870168/213099245956\ 534887013237432359630508655585372362085*c_0110_5^13 - 773237564774387515655104538329713510199449671024081009/340958793530\ 455819221179891775408813848936595779336*c_0110_5^11 + 3647190031223153043813574185706760319152867422752237257/17047939676\ 52279096105899458877044069244682978896680*c_0110_5^9 - 442760724450065537585693374610460461526949110345923293/340958793530\ 455819221179891775408813848936595779336*c_0110_5^7 + 795389963202370925835173100693342493562956372511277653/170479396765\ 2279096105899458877044069244682978896680*c_0110_5^5 - 13118702093782238850479791650241583369612688517794143/1549812697865\ 70826918718132625185824476789361717880*c_0110_5^3 + 34983642630258685779115415111999545706269543679124/2130992459565348\ 87013237432359630508655585372362085*c_0110_5, c_0011_5 + 1152612507589989997942766070503029041765066730293/1704793967\ 652279096105899458877044069244682978896680*c_0110_5^29 - 49945894153725900491165940266501464266437232796647/1704793967652279\ 096105899458877044069244682978896680*c_0110_5^27 + 10990178274129240581946140307169469431896221243998/1937265872332135\ 3364839766578148228059598670214735*c_0110_5^25 - 5229338759636941346340049230499357186230138755125711/85239698382613\ 9548052949729438522034622341489448340*c_0110_5^23 + 75795440513355992786679064158664936742923551036716917/1704793967652\ 279096105899458877044069244682978896680*c_0110_5^21 - 365911386653443273146262235439698008954113594422476627/170479396765\ 2279096105899458877044069244682978896680*c_0110_5^19 + 424690880729332295379996866903418999346178303885100171/852396983826\ 139548052949729438522034622341489448340*c_0110_5^17 - 42710269410677328433894876071506170612721008584491711/3874531744664\ 2706729679533156296456119197340429470*c_0110_5^15 + 2796091603806038289928043915211232756867101868646210141/17047939676\ 52279096105899458877044069244682978896680*c_0110_5^13 - 164431447331831958511237452189678062895193082917715233/852396983826\ 13954805294972943852203462234148944834*c_0110_5^11 + 388845520440138131372719626924022004602797986136942456/213099245956\ 534887013237432359630508655585372362085*c_0110_5^9 - 94997839116548195766521264670637984671403210732537209/8523969838261\ 3954805294972943852203462234148944834*c_0110_5^7 + 171765534131636338632065010353606709519917896307539883/426198491913\ 069774026474864719261017311170744724170*c_0110_5^5 - 11685053068810122325264908163928972238548372193718697/1549812697865\ 70826918718132625185824476789361717880*c_0110_5^3 + 219652620246125587933234620639093178638371031301726/213099245956534\ 887013237432359630508655585372362085*c_0110_5, c_0101_0 - 10694882611316470065813452573058313256957980068253/102287638\ 05913674576635396753262264415468097873380080*c_0110_5^29 + 116169168993944194185266313835844353465194058844473/255719095147841\ 8644158849188315566103867024468345020*c_0110_5^27 - 68388539702453930415381879081948690681996785367047/7749063489328541\ 3459359066312592912238394680858940*c_0110_5^25 + 49036571612115541410726825944585692686516318604781621/5114381902956\ 837288317698376631132207734048936690040*c_0110_5^23 - 714340975549108371623473446289981747853161980174057247/102287638059\ 13674576635396753262264415468097873380080*c_0110_5^21 + 1737351577955202645626775816150655069946697087568855361/51143819029\ 56837288317698376631132207734048936690040*c_0110_5^19 - 172098976477876131506065272571782005893426835529969674/213099245956\ 534887013237432359630508655585372362085*c_0110_5^17 + 415627837712079299590233889739927245454858980839377891/232471904679\ 856240378077198937778736715184042576820*c_0110_5^15 - 27842947084386405215978804301688281075608672837367627761/1022876380\ 5913674576635396753262264415468097873380080*c_0110_5^13 + 6649971813143553075749060992755415735720845847670580553/20457527611\ 82734915327079350652452883093619574676016*c_0110_5^11 - 32076870751352699569610331644973848556918045391678131733/1022876380\ 5913674576635396753262264415468097873380080*c_0110_5^9 + 4124862829571880354958435144446338415909930554717850557/20457527611\ 82734915327079350652452883093619574676016*c_0110_5^7 - 8147229084098566151007226859416237704322607996992449077/10228763805\ 913674576635396753262264415468097873380080*c_0110_5^5 + 20850459567216333493391079131710742447987316462694759/1162359523399\ 28120189038599468889368357592021288410*c_0110_5^3 - 16857871818524317291252748018480643933544180087695851/1278595475739\ 209322079424594157783051933512234172510*c_0110_5, c_0101_3 - 813575650678904902913105903425376991738814963117/20457527611\ 82734915327079350652452883093619574676016*c_0110_5^28 + 2204096547472638073758237041090326157078516773144/12785954757392093\ 2207942459415778305193351223417251*c_0110_5^26 - 5175252351776601682578341746038327417818024750829/15498126978657082\ 691871813262518582447678936171788*c_0110_5^24 + 3695743960037097949192663524438079529826608981210885/10228763805913\ 67457663539675326226441546809787338008*c_0110_5^22 - 53599233521479176025441746786340814383185792252128071/2045752761182\ 734915327079350652452883093619574676016*c_0110_5^20 + 129495533430402473561553281898656020880616114534227603/102287638059\ 1367457663539675326226441546809787338008*c_0110_5^18 - 12561398908130963470793401182927454754791428591535927/4261984919130\ 6977402647486471926101731117074472417*c_0110_5^16 + 30323695955524254528306746381237841071292351330217847/4649438093597\ 1248075615439787555747343036808515364*c_0110_5^14 - 1991690829947481319308750879986675472230787597078950465/20457527611\ 82734915327079350652452883093619574676016*c_0110_5^12 + 2350406223421958114065356902661868551165142304547190841/20457527611\ 82734915327079350652452883093619574676016*c_0110_5^10 - 2234136640619645638322485277056942454219573313805315609/20457527611\ 82734915327079350652452883093619574676016*c_0110_5^8 + 1382349329826752607221868863417819548703130151757107093/20457527611\ 82734915327079350652452883093619574676016*c_0110_5^6 - 518663661652609079127801018536594024858933404930726505/204575276118\ 2734915327079350652452883093619574676016*c_0110_5^4 + 2410930994975727322060243831949454202236037546343609/46494380935971\ 248075615439787555747343036808515364*c_0110_5^2 - 276144005080906197379564379726514701823242418884644/127859547573920\ 932207942459415778305193351223417251, c_0110_5^30 - 44*c_0110_5^28 + 868*c_0110_5^26 - 9634*c_0110_5^24 + 71819*c_0110_5^22 - 361394*c_0110_5^20 + 949144*c_0110_5^18 - 2124148*c_0110_5^16 + 3518997*c_0110_5^14 - 4483945*c_0110_5^12 + 4623321*c_0110_5^10 - 3474725*c_0110_5^8 + 1722729*c_0110_5^6 - 526824*c_0110_5^4 + 81296*c_0110_5^2 - 1600 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB