Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 4172899381] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1617 geometric_solution 5.37396976 oriented_manifold CS_known -0.0000000000000004 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.592382705505 0.242402048649 2 0 3 0 0132 2310 0132 0132 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 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.961638832760 0.349290008142 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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.787726296302 0.692398349361 5 2 4 1 0132 1230 0132 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 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.787726296302 0.692398349361 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378971806452 1.383596327359 3 6 2 6 0132 0132 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 -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 2.108961287522 0.782036581405 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.441695103057 0.362723045178 ==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' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0011_3'], '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_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 4050665338775416979412622754950/13592378835636399370854209803*c_011\ 0_6^21 + 32591668910340720724814997671071/1359237883563639937085420\ 9803*c_0110_6^20 + 66278586012783049292156542149399/135923788356363\ 99370854209803*c_0110_6^19 - 78235434467484848632591521940709/13592\ 378835636399370854209803*c_0110_6^18 - 352631717675167629049166796128992/13592378835636399370854209803*c_0\ 110_6^17 - 149698382481341069803719225539722/1359237883563639937085\ 4209803*c_0110_6^16 - 36468923806397519613808466070835/135923788356\ 36399370854209803*c_0110_6^15 - 865677876935227368650587969036450/1\ 3592378835636399370854209803*c_0110_6^14 + 918205007866848924650104874052149/13592378835636399370854209803*c_0\ 110_6^13 + 4793600649099151310765738146591770/135923788356363993708\ 54209803*c_0110_6^12 - 1588346641999163523686072069711597/135923788\ 35636399370854209803*c_0110_6^11 - 12919444295938310451283643694834788/13592378835636399370854209803*c\ _0110_6^10 - 1398706156078910277693300663752841/1359237883563639937\ 0854209803*c_0110_6^9 + 16599430112840499622854760267365735/1359237\ 8835636399370854209803*c_0110_6^8 + 1011334290803620748181882371149183/13592378835636399370854209803*c_\ 0110_6^7 - 13305887134749859365126767368247647/13592378835636399370\ 854209803*c_0110_6^6 + 2834676350474757360769499784794470/135923788\ 35636399370854209803*c_0110_6^5 + 570159288805461292806192684140349\ 3/13592378835636399370854209803*c_0110_6^4 - 3035389921635673590130992001027744/13592378835636399370854209803*c_\ 0110_6^3 - 346624371008529340374051225430817/1359237883563639937085\ 4209803*c_0110_6^2 + 482626657797510962948087406338281/135923788356\ 36399370854209803*c_0110_6 - 66505853241961007538167495739172/13592\ 378835636399370854209803, c_0011_0 - 1, c_0011_1 - 45283465986096657010318097/438463833407625786156587413*c_011\ 0_6^21 - 410293413140003294794341656/438463833407625786156587413*c_\ 0110_6^20 - 1131564429449308554015426423/43846383340762578615658741\ 3*c_0110_6^19 - 81338951750761548610989564/438463833407625786156587\ 413*c_0110_6^18 + 4200776959780970194679199265/43846383340762578615\ 6587413*c_0110_6^17 + 5470938801051879721053203217/4384638334076257\ 86156587413*c_0110_6^16 + 4408773329639003269845113015/438463833407\ 625786156587413*c_0110_6^15 + 13564127760226324960848377514/4384638\ 33407625786156587413*c_0110_6^14 + 1587056895571030145648095157/438463833407625786156587413*c_0110_6^1\ 3 - 57276632413925610170923779709/438463833407625786156587413*c_011\ 0_6^12 - 33219653764083321652757689552/438463833407625786156587413*\ c_0110_6^11 + 130893102097879892067605650443/4384638334076257861565\ 87413*c_0110_6^10 + 134422610142119245061278719121/4384638334076257\ 86156587413*c_0110_6^9 - 96584027835613564914890344822/438463833407\ 625786156587413*c_0110_6^8 - 104807318249469447415973700478/4384638\ 33407625786156587413*c_0110_6^7 + 79771472514299890207330899652/438\ 463833407625786156587413*c_0110_6^6 + 32247952198021031981133588225/438463833407625786156587413*c_0110_6^\ 5 - 42892836837447729382928209729/438463833407625786156587413*c_011\ 0_6^4 + 5954740891628038009624769266/438463833407625786156587413*c_\ 0110_6^3 + 3554183183965949103927191486/438463833407625786156587413\ *c_0110_6^2 - 1271748323275082483417955523/438463833407625786156587\ 413*c_0110_6 + 311792867290956169180372093/438463833407625786156587\ 413, c_0011_3 + 249694298971495753575044293/438463833407625786156587413*c_01\ 10_6^21 + 2110864893430413008443255802/438463833407625786156587413*\ c_0110_6^20 + 4958307199237483892491574309/438463833407625786156587\ 413*c_0110_6^19 - 2693173172930525074519054547/43846383340762578615\ 6587413*c_0110_6^18 - 22547594395939312342080983020/438463833407625\ 786156587413*c_0110_6^17 - 18461502826835383059846608342/4384638334\ 07625786156587413*c_0110_6^16 - 10996880666613490409140957185/43846\ 3833407625786156587413*c_0110_6^15 - 59190016555204262241188376727/438463833407625786156587413*c_0110_6^\ 14 + 31821523019089810567001651187/438463833407625786156587413*c_01\ 10_6^13 + 305333518824879620913636915749/43846383340762578615658741\ 3*c_0110_6^12 + 26812813141302175904948492599/438463833407625786156\ 587413*c_0110_6^11 - 768824777185554820747047788968/438463833407625\ 786156587413*c_0110_6^10 - 392427306571618810455575840688/438463833\ 407625786156587413*c_0110_6^9 + 822241591950236604116323597646/4384\ 63833407625786156587413*c_0110_6^8 + 363486346173566996240682002959/438463833407625786156587413*c_0110_6\ ^7 - 630916009294235790957687374721/438463833407625786156587413*c_0\ 110_6^6 - 48683206883959394325591603273/438463833407625786156587413\ *c_0110_6^5 + 298717313833526620009548982759/4384638334076257861565\ 87413*c_0110_6^4 - 76840585813316524790160089908/438463833407625786\ 156587413*c_0110_6^3 - 35063099336156571136033987834/43846383340762\ 5786156587413*c_0110_6^2 + 13611364269004875982713972263/4384638334\ 07625786156587413*c_0110_6 - 865254876871887938320782622/4384638334\ 07625786156587413, c_0101_0 - 92902211167680921782587671/438463833407625786156587413*c_011\ 0_6^21 - 790530295152225697679461759/438463833407625786156587413*c_\ 0110_6^20 - 1929124795384271932419163848/43846383340762578615658741\ 3*c_0110_6^19 + 593909131798170373979069621/43846383340762578615658\ 7413*c_0110_6^18 + 7889302609431326006990947179/4384638334076257861\ 56587413*c_0110_6^17 + 8022602862700157294184858811/438463833407625\ 786156587413*c_0110_6^16 + 6973914475700450564817468593/43846383340\ 7625786156587413*c_0110_6^15 + 23467877033839448229412298817/438463\ 833407625786156587413*c_0110_6^14 - 7661832437291419324632676018/438463833407625786156587413*c_0110_6^1\ 3 - 106137435678697318563307287609/438463833407625786156587413*c_01\ 10_6^12 - 26472419598191586328759662727/438463833407625786156587413\ *c_0110_6^11 + 252957921580807751615800906519/438463833407625786156\ 587413*c_0110_6^10 + 179839390434045907410277224380/438463833407625\ 786156587413*c_0110_6^9 - 219774339328689134679024165311/4384638334\ 07625786156587413*c_0110_6^8 - 148380921759973734809590130862/43846\ 3833407625786156587413*c_0110_6^7 + 161754760539464629438004265120/438463833407625786156587413*c_0110_6\ ^6 + 42410638583061108136437104254/438463833407625786156587413*c_01\ 10_6^5 - 78170432824454871958702499083/438463833407625786156587413*\ c_0110_6^4 + 7166357003077369587239598615/4384638334076257861565874\ 13*c_0110_6^3 + 12059021782800003078177460231/438463833407625786156\ 587413*c_0110_6^2 - 3041074556483562354394068084/438463833407625786\ 156587413*c_0110_6 - 145569011133410766238003905/438463833407625786\ 156587413, c_0101_1 + 157325374069554494640394128/438463833407625786156587413*c_01\ 10_6^21 + 1351183723966570277933841615/438463833407625786156587413*\ c_0110_6^20 + 3337520851374937413286090165/438463833407625786156587\ 413*c_0110_6^19 - 998997425067086867649271863/438463833407625786156\ 587413*c_0110_6^18 - 13821233990211223061415566245/4384638334076257\ 86156587413*c_0110_6^17 - 13866311180844107610105442945/43846383340\ 7625786156587413*c_0110_6^16 - 10948390255667994340190688217/438463\ 833407625786156587413*c_0110_6^15 - 40434846761847922680061802892/438463833407625786156587413*c_0110_6^\ 14 + 12027475030004644882842958304/438463833407625786156587413*c_01\ 10_6^13 + 186845603026480194932718180362/43846383340762578615658741\ 3*c_0110_6^12 + 47523885946227495374327187916/438463833407625786156\ 587413*c_0110_6^11 - 449596492149693428107109355447/438463833407625\ 786156587413*c_0110_6^10 - 312254267125958169959931117062/438463833\ 407625786156587413*c_0110_6^9 + 409340775564933762324899175330/4384\ 63833407625786156587413*c_0110_6^8 + 258603977428969726457789968697/438463833407625786156587413*c_0110_6\ ^7 - 310799415960588330810568481491/438463833407625786156587413*c_0\ 110_6^6 - 62469674233200923621190725127/438463833407625786156587413\ *c_0110_6^5 + 148615191398858456257134987254/4384638334076257861565\ 87413*c_0110_6^4 - 24946823710167764170565842389/438463833407625786\ 156587413*c_0110_6^3 - 17079048526694185491202864806/43846383340762\ 5786156587413*c_0110_6^2 + 5134833594720922528990813415/43846383340\ 7625786156587413*c_0110_6 - 200304235968421585589211966/43846383340\ 7625786156587413, c_0101_3 + 97036604962868536800498229/438463833407625786156587413*c_011\ 0_6^21 + 806888804286321752142478575/438463833407625786156587413*c_\ 0110_6^20 + 1778240396025919174271473876/43846383340762578615658741\ 3*c_0110_6^19 - 1582750559933453119280431166/4384638334076257861565\ 87413*c_0110_6^18 - 9141933491029750066078448007/438463833407625786\ 156587413*c_0110_6^17 - 5447887218984337220975792671/43846383340762\ 5786156587413*c_0110_6^16 - 989879045259176184126127693/43846383340\ 7625786156587413*c_0110_6^15 - 20953289343923451274463321578/438463\ 833407625786156587413*c_0110_6^14 + 18160222041008322897943059864/438463833407625786156587413*c_0110_6^\ 13 + 124246313755904635772800507924/438463833407625786156587413*c_0\ 110_6^12 - 13550394107133830577142204125/43846383340762578615658741\ 3*c_0110_6^11 - 330288236650446923167191139449/43846383340762578615\ 6587413*c_0110_6^10 - 101025849735149491264044617237/43846383340762\ 5786156587413*c_0110_6^9 + 412359891883322230989911167272/438463833\ 407625786156587413*c_0110_6^8 + 113665248674284232411507566938/4384\ 63833407625786156587413*c_0110_6^7 - 324359253032307758519822662407/438463833407625786156587413*c_0110_6\ ^6 + 11433749029755485989428495932/438463833407625786156587413*c_01\ 10_6^5 + 151377251984317036248791731010/438463833407625786156587413\ *c_0110_6^4 - 53863443686173788031219917786/43846383340762578615658\ 7413*c_0110_6^3 - 16647980651227195394582575910/4384638334076257861\ 56587413*c_0110_6^2 + 9293784652706362958412016922/4384638334076257\ 86156587413*c_0110_6 - 672294697822112963891560486/4384638334076257\ 86156587413, c_0110_6^22 + 8*c_0110_6^21 + 16*c_0110_6^20 - 20*c_0110_6^19 - 86*c_0110_6^18 - 33*c_0110_6^17 - 8*c_0110_6^16 - 214*c_0110_6^15 + 236*c_0110_6^14 + 1171*c_0110_6^13 - 446*c_0110_6^12 - 3162*c_0110_6^11 - 196*c_0110_6^10 + 4091*c_0110_6^9 + 45*c_0110_6^8 - 3275*c_0110_6^7 + 865*c_0110_6^6 + 1359*c_0110_6^5 - 818*c_0110_6^4 - 43*c_0110_6^3 + 122*c_0110_6^2 - 23*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB