Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 1848636079] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0391 geometric_solution 4.45772793 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.694803937100 0.095285238266 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.892509948339 0.098450182381 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.882506426184 0.229452104337 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.209222710099 0.506822953416 3 5 5 6 0132 1230 3012 0132 0 0 0 0 0 -1 1 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 -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.195481000005 0.800127220912 6 4 4 3 3201 1230 3012 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 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 1.195481000005 0.800127220912 6 6 4 5 1302 2031 0132 2310 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 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.624891262650 0.621480051260 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_1'], 'c_1001_4' : d['c_0011_1'], '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' : d['c_0101_4'], '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_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 18359241942651610557506194338197090616431/1036066650959583281240151\ 972286643534320*c_0101_5^25 - 2835001651586981211595042681536021195\ 97857/518033325479791640620075986143321767160*c_0101_5^23 + 5625400847258963462054038853692708892757109/10360666509595832812401\ 51972286643534320*c_0101_5^21 - 21321738766133882607150344422832702\ 610958989/1036066650959583281240151972286643534320*c_0101_5^19 - 9383853156626455028290165009769823176127808/64754165684973955077509\ 498267915220895*c_0101_5^17 + 1157364024450881629883696768199206367\ 85830539/207213330191916656248030394457328706864*c_0101_5^15 + 1562603004074643703253879648095742132341920299/10360666509595832812\ 40151972286643534320*c_0101_5^13 - 988070994166008332959410966816698916796338891/518033325479791640620\ 075986143321767160*c_0101_5^11 - 4728578221815662219776059079169059\ 2999749165/18837575471992423295275490405211700624*c_0101_5^9 - 227391990414505304301595956660624985876026811/103606665095958328124\ 015197228664353432*c_0101_5^7 + 18068073573536009371713222026055485\ 81491675657/1036066650959583281240151972286643534320*c_0101_5^5 - 284588755095561313295347943055261794827393671/103606665095958328124\ 0151972286643534320*c_0101_5^3 + 2699921256435328979847727988522344\ 920932159/259016662739895820310037993071660883580*c_0101_5, c_0011_0 - 1, c_0011_1 - 48698584036303179663483866103593789/554046337411541861625749\ 7178003441360*c_0101_5^24 + 300414951578541399764261527532775479/11\ 08092674823083723251499435600688272*c_0101_5^22 - 7431379683175852137895363192728910943/27702316870577093081287485890\ 01720680*c_0101_5^20 + 55979583569702892557525806983127116457/55404\ 63374115418616257497178003441360*c_0101_5^18 + 80077259775096735161933219082817711939/1108092674823083723251499435\ 600688272*c_0101_5^16 - 37974274653514535072326074023851646199/1385\ 11584352885465406437429450086034*c_0101_5^14 - 4202572383604353972471114960023589838181/55404633741154186162574971\ 78003441360*c_0101_5^12 + 5069564764570649020435458973787634857159/\ 5540463374115418616257497178003441360*c_0101_5^10 + 3537845647536875456227834709170146565143/27702316870577093081287485\ 89001720680*c_0101_5^8 + 395539795994271894966977586359332273454/34\ 6278960882213663516093573625215085*c_0101_5^6 - 4505948644202628934479816629719304168547/55404633741154186162574971\ 78003441360*c_0101_5^4 + 77322303996663764346967210475623435937/692\ 557921764427327032187147250430170*c_0101_5^2 - 242542834170570184989581952084693770/692557921764427327032187147250\ 43017, c_0011_6 + 24882253954922168346962681134997191/554046337411541861625749\ 7178003441360*c_0101_5^24 - 768232637283107936073667191886772297/55\ 40463374115418616257497178003441360*c_0101_5^22 + 3808654806469986526755118477307964997/27702316870577093081287485890\ 01720680*c_0101_5^20 - 28831415917465675396442922533207135851/55404\ 63374115418616257497178003441360*c_0101_5^18 - 203724402282902107687668037999553375869/554046337411541861625749717\ 8003441360*c_0101_5^16 + 19560081875668158163507710664390865833/138\ 511584352885465406437429450086034*c_0101_5^14 + 2124149631089701415314277573551503647599/55404633741154186162574971\ 78003441360*c_0101_5^12 - 2657432497663857284942785692969762773109/\ 5540463374115418616257497178003441360*c_0101_5^10 - 1770562080612799827770916895697267980821/27702316870577093081287485\ 89001720680*c_0101_5^8 - 194884055297751467420813630647789499573/34\ 6278960882213663516093573625215085*c_0101_5^6 + 481300149319343260763066325154029888149/110809267482308372325149943\ 5600688272*c_0101_5^4 - 9376587873955900907160769662523840655/13851\ 1584352885465406437429450086034*c_0101_5^2 + 950875191384210573042389858974973138/346278960882213663516093573625\ 215085, c_0101_0 + 145965358861149806213688044325348091/11080926748230837232514\ 994356006882720*c_0101_5^25 - 4504425850844401407886391281279142741\ /11080926748230837232514994356006882720*c_0101_5^23 + 22308760326796242494913095579881723457/5540463374115418616257497178\ 003441360*c_0101_5^21 - 168481515880283083526762752830009456127/110\ 80926748230837232514994356006882720*c_0101_5^19 - 1197392998457756017451188406325888629337/11080926748230837232514994\ 356006882720*c_0101_5^17 + 114265510429154361540855998042336735059/\ 277023168705770930812874858900172068*c_0101_5^15 + 12523245740632231934248994915358478962099/1108092674823083723251499\ 4356006882720*c_0101_5^13 - 307457641394521241160952551131577261948\ 5/2216185349646167446502998871201376544*c_0101_5^11 - 10467242695688096529326614251555393486769/5540463374115418616257497\ 178003441360*c_0101_5^9 - 584222343904640522660314522379175148786/3\ 46278960882213663516093573625215085*c_0101_5^7 + 13711359519706807448900995970422101218629/1108092674823083723251499\ 4356006882720*c_0101_5^5 - 264667639469083554342848493701008414089/\ 1385115843528854654064374294500860340*c_0101_5^3 + 7382690719327784728288349538124766909/69255792176442732703218714725\ 0430170*c_0101_5, c_0101_1 + 2359775420240649872875735542330837/3462789608822136635160935\ 73625215085*c_0101_5^24 - 291103099084563699028690164115835977/1385\ 115843528854654064374294500860340*c_0101_5^22 + 2879604848356268164351148488595486147/13851158435288546540643742945\ 00860340*c_0101_5^20 - 5419464465795169236768935124730288311/692557\ 921764427327032187147250430170*c_0101_5^18 - 77644812667194636160768706157995595719/1385115843528854654064374294\ 500860340*c_0101_5^16 + 58813811303940951246763936319162646743/2770\ 23168705770930812874858900172068*c_0101_5^14 + 203906485108824783350448458787996727548/346278960882213663516093573\ 625215085*c_0101_5^12 - 978572871182524280981979179767585325981/138\ 5115843528854654064374294500860340*c_0101_5^10 - 274713265922351593152172226599594527285/277023168705770930812874858\ 900172068*c_0101_5^8 - 123430501861634614322171848037588313311/1385\ 11584352885465406437429450086034*c_0101_5^6 + 215987276164984955418876949993483370609/346278960882213663516093573\ 625215085*c_0101_5^4 - 120306131314473836162194991247103718443/1385\ 115843528854654064374294500860340*c_0101_5^2 + 1264616864056600234939141239898483957/34627896088221366351609357362\ 5215085, c_0101_4 + 94447891877409446148474055847103433/554046337411541861625749\ 7178003441360*c_0101_5^25 - 2916512433550529726415434892191480253/5\ 540463374115418616257497178003441360*c_0101_5^23 + 3615973298988461114782723024143942289/69255792176442732703218714725\ 0430170*c_0101_5^21 - 109574411033672819070055147119047874801/55404\ 63374115418616257497178003441360*c_0101_5^19 - 772803670104604929711908952389909444261/554046337411541861625749717\ 8003441360*c_0101_5^17 + 297372608594984290247783372399262508565/55\ 4046337411541861625749717800344136*c_0101_5^15 + 8049878741809435501875609958491294461097/55404633741154186162574971\ 78003441360*c_0101_5^13 - 2025978006709667124412499121780806973485/\ 1108092674823083723251499435600688272*c_0101_5^11 - 3352836986706506317152402913193981838511/13851158435288546540643742\ 94500860340*c_0101_5^9 - 2941572261310586918272073351475586471329/1\ 385115843528854654064374294500860340*c_0101_5^7 + 9232630590471235708081132534132970412007/55404633741154186162574971\ 78003441360*c_0101_5^5 - 716230217864984068969262084834029273593/27\ 70231687057709308128748589001720680*c_0101_5^3 + 8017796198787861836428927392860501809/69255792176442732703218714725\ 0430170*c_0101_5, c_0101_5^26 - 31*c_0101_5^24 + 310*c_0101_5^22 - 1197*c_0101_5^20 - 8043*c_0101_5^18 + 32472*c_0101_5^16 + 81449*c_0101_5^14 - 117555*c_0101_5^12 - 129174*c_0101_5^10 - 107328*c_0101_5^8 + 112895*c_0101_5^6 - 26888*c_0101_5^4 + 2352*c_0101_5^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB