Magma V2.19-8 Tue Aug 20 2013 17:56:32 on localhost [Seed = 576951815] Type ? for help. Type -D to quit. Loading file "9_18__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_18 geometric_solution 10.05772964 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 3 0132 0132 0132 2031 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 -1 0 1 0 0 0 0 -8 9 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.264618394955 0.891149694536 0 4 2 5 0132 0132 1023 0132 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 1 -1 -1 1 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399516474806 0.516184601352 6 0 1 3 0132 0132 1023 1302 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 1 -1 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.253361673033 1.310670185408 6 0 2 0 2031 1302 2031 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 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693789197880 1.031219552292 7 1 8 6 0132 0132 0132 1023 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 -1 1 0 0 0 0 -8 8 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.902893562586 1.098157012331 6 7 1 8 1023 0132 0132 0132 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 1 -1 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.902893562586 1.098157012331 2 5 3 4 0132 1023 1302 1023 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 1 -1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399516474806 0.516184601352 4 5 10 9 0132 0132 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 0 0 0 0 0 0 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567070498391 0.391043434559 9 10 5 4 0132 0132 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 -1 0 1 -1 0 1 0 0 1 0 -1 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567070498391 0.391043434559 8 10 7 10 0132 0213 0132 3120 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 1 0 -1 1 0 0 -1 -9 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760614148796 0.604999402791 9 8 9 7 3120 0132 0213 0132 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 1 -1 0 1 0 -1 0 -8 0 0 8 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760614148796 0.604999402791 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_7'], 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_10'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_1001_7'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : negation(d['c_0101_3']), 's_3_1' : negation(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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0101_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0101_0, c_0101_2, c_0101_3, c_0101_4, c_0101_7, c_1001_0, c_1001_10, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 33185952955840865757321845/956346354038659361918929*c_1001_7^19 + 135022510048622612888167993/956346354038659361918929*c_1001_7^18 - 475762385730819790900081633/956346354038659361918929*c_1001_7^17 + 967943758897614847738763419/956346354038659361918929*c_1001_7^16 - 2311795826877764195904266773/956346354038659361918929*c_1001_7^15 + 5969482733312724882796961378/956346354038659361918929*c_1001_7^14 - 12523679475029377103655974556/956346354038659361918929*c_1001_7^13 + 22021074164641471351968398580/956346354038659361918929*c_1001_7^12 - 35592056851322281062525420539/956346354038659361918929*c_1001_7^11 + 52421829395202254783791729926/956346354038659361918929*c_1001_7^10 - 69597727738042168627814981938/956346354038659361918929*c_1001_7^9 + 82204583568992632905434925158/956346354038659361918929*c_1001_7^8 - 83219334381364308342990390316/956346354038659361918929*c_1001_7^7 + 73681468497884371528255455748/956346354038659361918929*c_1001_7^6 - 59577994212974137813168110523/956346354038659361918929*c_1001_7^5 + 39367610546599898768989398833/956346354038659361918929*c_1001_7^4 - 14942098585308957914591287236/956346354038659361918929*c_1001_7^3 + 305939705685238191881072399/956346354038659361918929*c_1001_7^2 + 887073964843772350187462468/956346354038659361918929*c_1001_7 + 259223809736794509393685066/956346354038659361918929, c_0011_0 - 1, c_0011_10 + 28052166954009847853548/956346354038659361918929*c_1001_7^1\ 9 - 69271145933505405659443/956346354038659361918929*c_1001_7^18 + 269749427561630639638012/956346354038659361918929*c_1001_7^17 - 334322549137495725255485/956346354038659361918929*c_1001_7^16 + 1221750872544494660868199/956346354038659361918929*c_1001_7^15 - 2866789188571577552541583/956346354038659361918929*c_1001_7^14 + 5155740004867957932570295/956346354038659361918929*c_1001_7^13 - 8327018069116956483446193/956346354038659361918929*c_1001_7^12 + 13266678423560710839255680/956346354038659361918929*c_1001_7^11 - 17792064868241247013432989/956346354038659361918929*c_1001_7^10 + 22208146790825413154055191/956346354038659361918929*c_1001_7^9 - 23567942007567635928982862/956346354038659361918929*c_1001_7^8 + 20601265444412059771571178/956346354038659361918929*c_1001_7^7 - 17988323766798620596284988/956346354038659361918929*c_1001_7^6 + 13959797597661859498952180/956346354038659361918929*c_1001_7^5 - 5541248777972643790814018/956346354038659361918929*c_1001_7^4 + 18293391410288370630131/956346354038659361918929*c_1001_7^3 - 787678938032392905794622/956346354038659361918929*c_1001_7^2 + 1051640393788884914976618/956346354038659361918929*c_1001_7 + 964699939995272152482862/956346354038659361918929, c_0011_3 - 13251156610807640114928/956346354038659361918929*c_1001_7^19 + 252587516949955116593829/956346354038659361918929*c_1001_7^18 - 812996074134869151825296/956346354038659361918929*c_1001_7^17 + 2628258901568648288610223/956346354038659361918929*c_1001_7^16 - 4543997152487507498967994/956346354038659361918929*c_1001_7^15 + 12545862210446296550999649/956346354038659361918929*c_1001_7^14 - 30748191996173733961064200/956346354038659361918929*c_1001_7^13 + 58357899744798451617887345/956346354038659361918929*c_1001_7^12 - 96307718081849021026713488/956346354038659361918929*c_1001_7^11 + 150531070206628412726216452/956346354038659361918929*c_1001_7^10 - 209036579285291471695347746/956346354038659361918929*c_1001_7^9 + 261766534770419516303743690/956346354038659361918929*c_1001_7^8 - 285532669444692383783762282/956346354038659361918929*c_1001_7^7 + 258491528259584741017993181/956346354038659361918929*c_1001_7^6 - 213239632393030696337538268/956346354038659361918929*c_1001_7^5 + 159620958363145676138480083/956346354038659361918929*c_1001_7^4 - 76531015431407974077873480/956346354038659361918929*c_1001_7^3 + 70775501578922556447250/956346354038659361918929*c_1001_7^2 + 11509632015368830565958469/956346354038659361918929*c_1001_7 + 1799184321869896848299544/956346354038659361918929, c_0101_0 + 8353585956612790563933/956346354038659361918929*c_1001_7^19 - 5362176872441314402184/956346354038659361918929*c_1001_7^18 + 47679057459073662235619/956346354038659361918929*c_1001_7^17 + 35849020776472503847888/956346354038659361918929*c_1001_7^16 + 225367709955561242528026/956346354038659361918929*c_1001_7^15 - 231773083906130897256143/956346354038659361918929*c_1001_7^14 + 157208927722252631602163/956346354038659361918929*c_1001_7^13 - 107019147798100122707495/956346354038659361918929*c_1001_7^12 + 126810918975187567254003/956346354038659361918929*c_1001_7^11 + 895017621817168014070907/956346354038659361918929*c_1001_7^10 - 1510925838802918204327572/956346354038659361918929*c_1001_7^9 + 3187031567618089039979750/956346354038659361918929*c_1001_7^8 - 4638716229883052511110684/956346354038659361918929*c_1001_7^7 + 4161408281798087941751034/956346354038659361918929*c_1001_7^6 - 4889900986829764992038044/956346354038659361918929*c_1001_7^5 + 5606211641049068935019180/956346354038659361918929*c_1001_7^4 - 2868101271856550810355458/956346354038659361918929*c_1001_7^3 + 419265517327702317698915/956346354038659361918929*c_1001_7^2 - 2002986456726048775195474/956346354038659361918929*c_1001_7 + 951397362309531428209422/956346354038659361918929, c_0101_2 + 8353585956612790563933/956346354038659361918929*c_1001_7^19 - 5362176872441314402184/956346354038659361918929*c_1001_7^18 + 47679057459073662235619/956346354038659361918929*c_1001_7^17 + 35849020776472503847888/956346354038659361918929*c_1001_7^16 + 225367709955561242528026/956346354038659361918929*c_1001_7^15 - 231773083906130897256143/956346354038659361918929*c_1001_7^14 + 157208927722252631602163/956346354038659361918929*c_1001_7^13 - 107019147798100122707495/956346354038659361918929*c_1001_7^12 + 126810918975187567254003/956346354038659361918929*c_1001_7^11 + 895017621817168014070907/956346354038659361918929*c_1001_7^10 - 1510925838802918204327572/956346354038659361918929*c_1001_7^9 + 3187031567618089039979750/956346354038659361918929*c_1001_7^8 - 4638716229883052511110684/956346354038659361918929*c_1001_7^7 + 4161408281798087941751034/956346354038659361918929*c_1001_7^6 - 4889900986829764992038044/956346354038659361918929*c_1001_7^5 + 5606211641049068935019180/956346354038659361918929*c_1001_7^4 - 2868101271856550810355458/956346354038659361918929*c_1001_7^3 + 419265517327702317698915/956346354038659361918929*c_1001_7^2 - 2002986456726048775195474/956346354038659361918929*c_1001_7 + 951397362309531428209422/956346354038659361918929, c_0101_3 + 1, c_0101_4 + c_1001_7, c_0101_7 + 345165819276746158540633/956346354038659361918929*c_1001_7^1\ 9 - 1359917547410027565356528/956346354038659361918929*c_1001_7^18 + 4810183661119266474963415/956346354038659361918929*c_1001_7^17 - 9564760249417148309584656/956346354038659361918929*c_1001_7^16 + 23234406521630153703041967/956346354038659361918929*c_1001_7^15 - 59782644858624341169739792/956346354038659361918929*c_1001_7^14 + 124476540052882257974630955/956346354038659361918929*c_1001_7^13 - 217859279051858652241158721/956346354038659361918929*c_1001_7^12 + 351525922805066391374189268/956346354038659361918929*c_1001_7^11 - 515676233278722912035842736/956346354038659361918929*c_1001_7^10 + 682091970452410598474455787/956346354038659361918929*c_1001_7^9 - 801981480895249448570702186/956346354038659361918929*c_1001_7^8 + 806660816604622244640470379/956346354038659361918929*c_1001_7^7 - 711800022318582339756190355/956346354038659361918929*c_1001_7^6 + 573522450842917885757172046/956346354038659361918929*c_1001_7^5 - 373999059689387749223679757/956346354038659361918929*c_1001_7^4 + 136822882184799465951485212/956346354038659361918929*c_1001_7^3 - 1377003826971308240657850/956346354038659361918929*c_1001_7^2 - 7817544031107401319380206/956346354038659361918929*c_1001_7 - 1471680856856514787570661/956346354038659361918929, c_1001_0 + 8894357315664186183113/956346354038659361918929*c_1001_7^19 - 56037605549333270747665/956346354038659361918929*c_1001_7^18 + 233789395845955774607379/956346354038659361918929*c_1001_7^17 - 606750651014075116875427/956346354038659361918929*c_1001_7^16 + 1458716044008585644731494/956346354038659361918929*c_1001_7^15 - 3305660791566011272760718/956346354038659361918929*c_1001_7^14 + 8156970176933666116208028/956346354038659361918929*c_1001_7^13 - 16036557042485912326815742/956346354038659361918929*c_1001_7^12 + 27957256910291328950056826/956346354038659361918929*c_1001_7^11 - 43772685492084860812722243/956346354038659361918929*c_1001_7^10 + 63618853935447359105604506/956346354038659361918929*c_1001_7^9 - 82230224942771039280254479/956346354038659361918929*c_1001_7^8 + 95333097278317239939996278/956346354038659361918929*c_1001_7^7 - 94829682631028169017946446/956346354038659361918929*c_1001_7^6 + 83796901306074863461676195/956346354038659361918929*c_1001_7^5 - 66283984337051661371335219/956346354038659361918929*c_1001_7^4 + 42455246184799406986524038/956346354038659361918929*c_1001_7^3 - 16209072197130316254494978/956346354038659361918929*c_1001_7^2 - 8412044602210333435423/956346354038659361918929*c_1001_7 + 776906569915423567139086/956346354038659361918929, c_1001_10 + 345165819276746158540633/956346354038659361918929*c_1001_7^\ 19 - 1359917547410027565356528/956346354038659361918929*c_1001_7^18 + 4810183661119266474963415/956346354038659361918929*c_1001_7^17 - 9564760249417148309584656/956346354038659361918929*c_1001_7^16 + 23234406521630153703041967/956346354038659361918929*c_1001_7^15 - 59782644858624341169739792/956346354038659361918929*c_1001_7^14 + 124476540052882257974630955/956346354038659361918929*c_1001_7^13 - 217859279051858652241158721/956346354038659361918929*c_1001_7^12 + 351525922805066391374189268/956346354038659361918929*c_1001_7^11 - 515676233278722912035842736/956346354038659361918929*c_1001_7^10 + 682091970452410598474455787/956346354038659361918929*c_1001_7^9 - 801981480895249448570702186/956346354038659361918929*c_1001_7^8 + 806660816604622244640470379/956346354038659361918929*c_1001_7^7 - 711800022318582339756190355/956346354038659361918929*c_1001_7^6 + 573522450842917885757172046/956346354038659361918929*c_1001_7^5 - 373999059689387749223679757/956346354038659361918929*c_1001_7^4 + 136822882184799465951485212/956346354038659361918929*c_1001_7^3 - 1377003826971308240657850/956346354038659361918929*c_1001_7^2 - 7817544031107401319380206/956346354038659361918929*c_1001_7 - 1471680856856514787570661/956346354038659361918929, c_1001_7^20 - 4*c_1001_7^19 + 14*c_1001_7^18 - 28*c_1001_7^17 + 67*c_1001_7^16 - 174*c_1001_7^15 + 362*c_1001_7^14 - 630*c_1001_7^13 + 1012*c_1001_7^12 - 1481*c_1001_7^11 + 1949*c_1001_7^10 - 2277*c_1001_7^9 + 2266*c_1001_7^8 - 1968*c_1001_7^7 + 1568*c_1001_7^6 - 1000*c_1001_7^5 + 320*c_1001_7^4 + 48*c_1001_7^3 - 31*c_1001_7^2 - 12*c_1001_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB