Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 2378961141] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3313 geometric_solution 6.44537626 oriented_manifold CS_known -0.0000000000000001 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.640192077256 0.793092079068 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.511366375595 0.787152104026 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.511366375595 0.787152104026 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.464441500217 1.044830367022 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.203717046844 1.268191920194 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.381105945604 0.757684611766 4 4 6 6 3201 0132 2031 1302 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.462120247254 0.229742987022 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], '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: 32 Groebner basis: [ t - 98099278512590183748389932925734233308613/2782311119385918618262508\ 85974089120768832*c_0110_6^30 + 33832080622057482811625715656568963\ 52371219/278231111938591861826250885974089120768832*c_0110_6^28 - 46443098362225589349489088708773016942180387/2782311119385918618262\ 50885974089120768832*c_0110_6^26 + 26955368024194684287055200919424626410406555/1987365085275656155901\ 7920426720651483488*c_0110_6^24 - 206210942679337131613550295827346\ 4124507220381/278231111938591861826250885974089120768832*c_0110_6^2\ 2 + 525511036131446318692643384145598407562738345/19873650852756561\ 559017920426720651483488*c_0110_6^20 - 4179728153936399441701993583534818556982469759/69557777984647965456\ 562721493522280192208*c_0110_6^18 + 3436000272524015843257218760034099249578282741/39747301705513123118\ 035840853441302966976*c_0110_6^16 - 772210385499660764750290817754083315974782665/993682542637828077950\ 8960213360325741744*c_0110_6^14 + 616168908199903170327878346961155\ 6059533543861/139115555969295930913125442987044560384416*c_0110_6^1\ 2 - 197297448283915571894911306076772141533926277/99368254263782807\ 79508960213360325741744*c_0110_6^10 + 2621181263831682806719330465758410241915069007/27823111193859186182\ 6250885974089120768832*c_0110_6^8 - 1159975307184022952933474714379046360112602875/27823111193859186182\ 6250885974089120768832*c_0110_6^6 + 643508753638213861423007177006491293222417565/278231111938591861826\ 250885974089120768832*c_0110_6^4 - 249808017615057687407040582157748244693214633/278231111938591861826\ 250885974089120768832*c_0110_6^2 + 6192142472258704703637998581407594668209157/69557777984647965456562\ 721493522280192208, c_0011_0 - 1, c_0011_4 - 2062132792234988128018989261417018473/4968412713189140389754\ 480106680162870872*c_0110_6^31 + 5561630778140216018737941094041242\ 9615/4968412713189140389754480106680162870872*c_0110_6^29 - 448263629627694917248976762409734476111/496841271318914038975448010\ 6680162870872*c_0110_6^27 + 408294356251508860264444746901559787665\ /2484206356594570194877240053340081435436*c_0110_6^25 + 13325775509802295051969322137809451789911/4968412713189140389754480\ 106680162870872*c_0110_6^23 - 7399202094873465960919899764904637702\ 3017/2484206356594570194877240053340081435436*c_0110_6^21 + 172309236871944059028286766969838016611753/124210317829728509743862\ 0026670040717718*c_0110_6^19 - 172853402630153555338179024213133811\ 8698809/4968412713189140389754480106680162870872*c_0110_6^17 + 626470533286779522511732888143775348196643/124210317829728509743862\ 0026670040717718*c_0110_6^15 - 105226168449259975401482930080597103\ 0376383/2484206356594570194877240053340081435436*c_0110_6^13 + 264238520261853667728289676320115211349533/124210317829728509743862\ 0026670040717718*c_0110_6^11 - 484921185032127736122540739760368488\ 969989/4968412713189140389754480106680162870872*c_0110_6^9 + 270835194547633076093236467359455398257241/496841271318914038975448\ 0106680162870872*c_0110_6^7 - 1256705057633332740087360040069949843\ 39727/4968412713189140389754480106680162870872*c_0110_6^5 + 71004127284078288796703829661229969800387/4968412713189140389754480\ 106680162870872*c_0110_6^3 - 55968893605872827221466654852699457591\ 71/1242103178297285097438620026670040717718*c_0110_6, c_0101_0 - 6562723214574779664558002530681238554/6210515891486425487193\ 10013335020358859*c_0110_6^31 + 22548303003388951492631564358885799\ 7566/621051589148642548719310013335020358859*c_0110_6^29 - 3078618587448087007334754992690430721206/62105158914864254871931001\ 3335020358859*c_0110_6^27 + 248745526899706183862441750723170620193\ 59/621051589148642548719310013335020358859*c_0110_6^25 - 135083172078689010406802083806517057521720/621051589148642548719310\ 013335020358859*c_0110_6^23 + 4773639319465297433348175322508718873\ 37529/621051589148642548719310013335020358859*c_0110_6^21 - 1070174290056652710927757011730754890371866/62105158914864254871931\ 0013335020358859*c_0110_6^19 + 151289495832563032965183223049798126\ 2434945/621051589148642548719310013335020358859*c_0110_6^17 - 1329264658882604850276172588716375461407470/62105158914864254871931\ 0013335020358859*c_0110_6^15 + 736275176976921533450006374280764872\ 560038/621051589148642548719310013335020358859*c_0110_6^13 - 322982378160382146889488447828891010604242/621051589148642548719310\ 013335020358859*c_0110_6^11 + 1520023072200283619108034061208250192\ 71305/621051589148642548719310013335020358859*c_0110_6^9 - 68063032512779985538780905382190366397693/6210515891486425487193100\ 13335020358859*c_0110_6^7 + 371091354304668801357373362846844365043\ 24/621051589148642548719310013335020358859*c_0110_6^5 - 15400078152213550637858251404813396257218/6210515891486425487193100\ 13335020358859*c_0110_6^3 + 169321395080281245035354886923084511373\ 0/621051589148642548719310013335020358859*c_0110_6, c_0101_1 + 2035093369790599527143278190686092515/6210515891486425487193\ 10013335020358859*c_0110_6^30 - 67936200547049128108965183299711960\ 060/621051589148642548719310013335020358859*c_0110_6^28 + 887626843452890668994480857202991034386/621051589148642548719310013\ 335020358859*c_0110_6^26 - 6821696575557055464717467842299084814948\ /621051589148642548719310013335020358859*c_0110_6^24 + 34887093475912962567349038964896311868461/6210515891486425487193100\ 13335020358859*c_0110_6^22 - 11124727745981843475597793548669900916\ 8126/621051589148642548719310013335020358859*c_0110_6^20 + 208739084304911526478346440312721572482346/621051589148642548719310\ 013335020358859*c_0110_6^18 - 2157264128577971736619927961510374490\ 01557/621051589148642548719310013335020358859*c_0110_6^16 + 96002071915595589813601484381401365286288/6210515891486425487193100\ 13335020358859*c_0110_6^14 + 38742512419620179086204408941926419120\ 45/621051589148642548719310013335020358859*c_0110_6^12 - 6058180351639396799457956226840884446958/62105158914864254871931001\ 3335020358859*c_0110_6^10 + 282233059564255078534296813270974822540\ 9/621051589148642548719310013335020358859*c_0110_6^8 - 3235078334649779971515660434608161705324/62105158914864254871931001\ 3335020358859*c_0110_6^6 + 248798028324676753189437970765502264435/\ 621051589148642548719310013335020358859*c_0110_6^4 - 2747711669002383191879870532062085541892/62105158914864254871931001\ 3335020358859*c_0110_6^2 + 786610253489202361444890591133585998891/\ 621051589148642548719310013335020358859, c_0101_2 + 41281231176155597154435041179879525691/496841271318914038975\ 4480106680162870872*c_0110_6^31 - 143420586227134098763803752407624\ 7390765/4968412713189140389754480106680162870872*c_0110_6^29 + 19904408272664977053171665734004873151069/4968412713189140389754480\ 106680162870872*c_0110_6^27 - 8185607958440242442328651835763064158\ 5767/2484206356594570194877240053340081435436*c_0110_6^25 + 907240408215078969327744484026487753192883/496841271318914038975448\ 0106680162870872*c_0110_6^23 - 165452625032386580386239034911290181\ 6659593/2484206356594570194877240053340081435436*c_0110_6^21 + 1945058194008796907850066711674107536233603/12421031782972850974386\ 20026670040717718*c_0110_6^19 - 11755076543985772899304111169392987\ 541791589/4968412713189140389754480106680162870872*c_0110_6^17 + 2828754476285159307239411429271452554422035/12421031782972850974386\ 20026670040717718*c_0110_6^15 - 34957588968306561389004816560848179\ 97463123/2484206356594570194877240053340081435436*c_0110_6^13 + 803903403563070413768016818366538787266445/124210317829728509743862\ 0026670040717718*c_0110_6^11 - 149507514975065220799989328749941572\ 5734745/4968412713189140389754480106680162870872*c_0110_6^9 + 710456721017598610796262506139245018815957/496841271318914038975448\ 0106680162870872*c_0110_6^7 - 3765204282518997570885988526941629287\ 98763/4968412713189140389754480106680162870872*c_0110_6^5 + 167285447957715243759025782824539581276031/496841271318914038975448\ 0106680162870872*c_0110_6^3 - 6639882115537832999672118994727624913\ 335/1242103178297285097438620026670040717718*c_0110_6, c_0101_5 + 3676353180559312372192648258269877347/2484206356594570194877\ 240053340081435436*c_0110_6^30 - 1265891564681622247714682604135022\ 33333/2484206356594570194877240053340081435436*c_0110_6^28 + 1733469924658367846296737389010826533353/24842063565945701948772400\ 53340081435436*c_0110_6^26 - 70212388675988952178662597229522145294\ 69/1242103178297285097438620026670040717718*c_0110_6^24 + 76426049405846552616079684799221551912171/2484206356594570194877240\ 053340081435436*c_0110_6^22 - 1353715998747018470774467106426526151\ 21455/1242103178297285097438620026670040717718*c_0110_6^20 + 151715379819995869746403048811754860592090/621051589148642548719310\ 013335020358859*c_0110_6^18 - 8479397061369514152844561886884656342\ 25453/2484206356594570194877240053340081435436*c_0110_6^16 + 177379309468517744868491169771151174040666/621051589148642548719310\ 013335020358859*c_0110_6^14 - 1654525473296046311483755550092637562\ 59327/1242103178297285097438620026670040717718*c_0110_6^12 + 23532246169422057290915770503766409408797/6210515891486425487193100\ 13335020358859*c_0110_6^10 - 38152809118933510647793055966843276228\ 817/2484206356594570194877240053340081435436*c_0110_6^8 + 24605915716492626693981624270444447823313/2484206356594570194877240\ 053340081435436*c_0110_6^6 - 20204372648198761772761015051731980865\ 467/2484206356594570194877240053340081435436*c_0110_6^4 + 9712384398649876738606867262049544701227/24842063565945701948772400\ 53340081435436*c_0110_6^2 + 155552122280482037196335700562366079663\ /621051589148642548719310013335020358859, c_0110_6^32 - 35*c_0110_6^30 + 491*c_0110_6^28 - 4086*c_0110_6^26 + 22945*c_0110_6^24 - 85394*c_0110_6^22 + 206852*c_0110_6^20 - 325575*c_0110_6^18 + 331072*c_0110_6^16 - 218690*c_0110_6^14 + 104948*c_0110_6^12 - 48051*c_0110_6^10 + 22275*c_0110_6^8 - 10973*c_0110_6^6 + 5233*c_0110_6^4 - 1104*c_0110_6^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB