Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 3718005220] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0132 geometric_solution 3.63972219 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 0 1 0 0 -1 1 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.764460296345 0.014518729599 0 2 0 2 0132 0132 1023 1023 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 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.598333203507 0.040115327349 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 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 0 0 0 -1 0 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.849797953928 0.514759010020 2 2 4 4 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 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 1 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 2.929206875678 3.826088076300 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 0 -1 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 0 0 0 -1 0 1 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.200281315046 0.404851646547 4 6 6 6 0132 2310 1302 3201 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 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.000710376278 1.008566169797 5 5 4 5 2031 2310 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000710376278 1.008566169797 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1296274337173700078339232182/205003545614883109041265*c_0101_3^22 + 3379522599247864222360300831/205003545614883109041265*c_0101_3^21 - 28343822280924805964483715097/205003545614883109041265*c_0101_3^20 - 30046336837450560735771957137/41000709122976621808253*c_0101_3^19 + 219576094339901203743792826044/205003545614883109041265*c_0101_3^18 + 292457040406995424136119307387/41000709122976621808253*c_0101_3^1\ 7 - 1059355176954153886086415922946/205003545614883109041265*c_0101\ _3^16 - 5858044578641214795381353227491/205003545614883109041265*c_\ 0101_3^15 + 3634336482696461037360762333953/20500354561488310904126\ 5*c_0101_3^14 + 11704468661134150483769573113123/205003545614883109\ 041265*c_0101_3^13 - 7682079794527724594089399121507/20500354561488\ 3109041265*c_0101_3^12 - 12540558435832027230895921806648/205003545\ 614883109041265*c_0101_3^11 + 9370425448359401071697394297486/20500\ 3545614883109041265*c_0101_3^10 + 6937516420251092887212197191207/2\ 05003545614883109041265*c_0101_3^9 - 6383843524270322996204446487806/205003545614883109041265*c_0101_3^8 - 264510513223420584268959091409/41000709122976621808253*c_0101_3^7 + 442302991217288609398828392665/41000709122976621808253*c_0101_3^6 - 94209140808983602323968632011/41000709122976621808253*c_0101_3^5 - 243202823633930249565532315462/205003545614883109041265*c_0101_3^4 + 270328356819266679938267631109/205003545614883109041265*c_0101_3^3 - 48486922365856706821849586541/205003545614883109041265*c_0101_3^2 - 36147677063823684013688372326/205003545614883109041265*c_0101_3 + 10119152352985595249351996951/205003545614883109041265, c_0011_0 - 1, c_0011_4 + 1931939189508193174550417/41000709122976621808253*c_0101_3^2\ 2 + 4756951054329339669829910/41000709122976621808253*c_0101_3^21 - 43159149656603182670458171/41000709122976621808253*c_0101_3^20 - 218381492498737952069999820/41000709122976621808253*c_0101_3^19 + 363395690494978820867113011/41000709122976621808253*c_0101_3^18 + 2155780168886449410802369019/41000709122976621808253*c_0101_3^17 - 1911703234261598159501492416/41000709122976621808253*c_0101_3^16 - 8721774592661931154599726329/41000709122976621808253*c_0101_3^15 + 6701001690174292734466742680/41000709122976621808253*c_0101_3^14 + 17505174567424945715349608094/41000709122976621808253*c_0101_3^13 - 13987121605868728302611115048/41000709122976621808253*c_0101_3^12 - 18688410345562051858188525779/41000709122976621808253*c_0101_3^11 + 16765691071365570512474701314/41000709122976621808253*c_0101_3^10 + 10117025955008973029921729967/41000709122976621808253*c_0101_3^9 - 11241358918073080594493673806/41000709122976621808253*c_0101_3^8 - 1676876317376907820116796884/41000709122976621808253*c_0101_3^7 + 3808694125630768363686272546/41000709122976621808253*c_0101_3^6 - 872391139627765774674848013/41000709122976621808253*c_0101_3^5 - 373293045145259879030179383/41000709122976621808253*c_0101_3^4 + 455040981386884668365018050/41000709122976621808253*c_0101_3^3 - 100192158367732066732147485/41000709122976621808253*c_0101_3^2 - 61423837886513556395919518/41000709122976621808253*c_0101_3 + 18763642771720779532824413/41000709122976621808253, c_0011_6 - 1431411654045980558266331/41000709122976621808253*c_0101_3^2\ 2 - 3491530318983020757607776/41000709122976621808253*c_0101_3^21 + 32093488084330045444819541/41000709122976621808253*c_0101_3^20 + 161176684894260949363263764/41000709122976621808253*c_0101_3^19 - 273673338291879260263158911/41000709122976621808253*c_0101_3^18 - 1595476522554982471245933648/41000709122976621808253*c_0101_3^17 + 1456605434020601428170890858/41000709122976621808253*c_0101_3^16 + 6470448919493163305272534079/41000709122976621808253*c_0101_3^15 - 5119417530236858287730388266/41000709122976621808253*c_0101_3^14 - 13013692560074604708488597257/41000709122976621808253*c_0101_3^13 + 10674089113810450141164582368/41000709122976621808253*c_0101_3^12 + 13916732589404933112425573062/41000709122976621808253*c_0101_3^11 - 12783423502447373203154165243/41000709122976621808253*c_0101_3^10 - 7537704891978312232988960450/41000709122976621808253*c_0101_3^9 + 8574119526352448869080760014/41000709122976621808253*c_0101_3^8 + 1236724169295446076019499307/41000709122976621808253*c_0101_3^7 - 2907325193850240758307201510/41000709122976621808253*c_0101_3^6 + 665437004207291984666620418/41000709122976621808253*c_0101_3^5 + 283130612500759334267022134/41000709122976621808253*c_0101_3^4 - 345994280313046813151255925/41000709122976621808253*c_0101_3^3 + 77866543231362530910485968/41000709122976621808253*c_0101_3^2 + 46920560904404352448130215/41000709122976621808253*c_0101_3 - 14472540735578683656789469/41000709122976621808253, c_0101_0 + 3635570626670175093213418/41000709122976621808253*c_0101_3^2\ 2 + 10354744005306356167276960/41000709122976621808253*c_0101_3^21 - 76707876826185867948740332/41000709122976621808253*c_0101_3^20 - 438851038898669734052112159/41000709122976621808253*c_0101_3^19 + 504404049388135383607759605/41000709122976621808253*c_0101_3^18 + 4184523722685471991937598944/41000709122976621808253*c_0101_3^17 - 1941928076076042417820229786/41000709122976621808253*c_0101_3^16 - 16546216257786407509601107583/41000709122976621808253*c_0101_3^15 + 6233229161527964537523362218/41000709122976621808253*c_0101_3^14 + 32963162116694498925112702036/41000709122976621808253*c_0101_3^13 - 13806340581560580138216567791/41000709122976621808253*c_0101_3^12 - 35751366123557697804853386333/41000709122976621808253*c_0101_3^11 + 17913563711719587852563588506/41000709122976621808253*c_0101_3^10 + 20651410810298212290755630937/41000709122976621808253*c_0101_3^9 - 12909416056094735277961724838/41000709122976621808253*c_0101_3^8 - 4811431342416452564873465203/41000709122976621808253*c_0101_3^7 + 4806984300782405348804993995/41000709122976621808253*c_0101_3^6 - 799503745305301533173787145/41000709122976621808253*c_0101_3^5 - 687223714456370157491019369/41000709122976621808253*c_0101_3^4 + 620626505174682623715624898/41000709122976621808253*c_0101_3^3 - 52556471935894870832566224/41000709122976621808253*c_0101_3^2 - 82568736056372704777726412/41000709122976621808253*c_0101_3 + 18381270005340995450841563/41000709122976621808253, c_0101_1 - 5032851010225457784606137/41000709122976621808253*c_0101_3^2\ 2 - 13133504947018420552925967/41000709122976621808253*c_0101_3^21 + 110016918470274259775956031/41000709122976621808253*c_0101_3^20 + 583570052188445097430015504/41000709122976621808253*c_0101_3^19 - 851107044529345429439914765/41000709122976621808253*c_0101_3^18 - 5680004919320739908755136884/41000709122976621808253*c_0101_3^17 + 4098103210105228627533644868/41000709122976621808253*c_0101_3^16 + 22757763502510745937082226391/41000709122976621808253*c_0101_3^15 - 14044703531735331847505042615/41000709122976621808253*c_0101_3^14 - 45486786566101019991980644578/41000709122976621808253*c_0101_3^13 + 29680528711877116230524505344/41000709122976621808253*c_0101_3^12 + 48772845301232720799894047630/41000709122976621808253*c_0101_3^11 - 36208619183248094710530312883/41000709122976621808253*c_0101_3^10 - 27029600218713849828006157672/41000709122976621808253*c_0101_3^9 + 24677813571649093974428853883/41000709122976621808253*c_0101_3^8 + 5194717068568494759164143415/41000709122976621808253*c_0101_3^7 - 8557945806031733364256305977/41000709122976621808253*c_0101_3^6 + 1810385207346957616714067488/41000709122976621808253*c_0101_3^5 + 946959984843236359056163904/41000709122976621808253*c_0101_3^4 - 1047646566588522494046431212/41000709122976621808253*c_0101_3^3 + 185481161934767711042001933/41000709122976621808253*c_0101_3^2 + 140287095419974501909674013/41000709122976621808253*c_0101_3 - 39029625929877508290932794/41000709122976621808253, c_0101_2 - 2620335066398173648429363/41000709122976621808253*c_0101_3^2\ 2 - 6789235372943939773484652/41000709122976621808253*c_0101_3^21 + 57469645762685537109745986/41000709122976621808253*c_0101_3^20 + 302941171465836551508456079/41000709122976621808253*c_0101_3^19 - 450095714416622756287532264/41000709122976621808253*c_0101_3^18 - 2956428536798574243384438053/41000709122976621808253*c_0101_3^17 + 2197749297841048499283728797/41000709122976621808253*c_0101_3^16 + 11878504875761950033462081906/41000709122976621808253*c_0101_3^15 - 7570215088222018200349833681/41000709122976621808253*c_0101_3^14 - 23810750166692936405054424565/41000709122976621808253*c_0101_3^13 + 16010442284766495711133052168/41000709122976621808253*c_0101_3^12 + 25597091671181255699088230462/41000709122976621808253*c_0101_3^11 - 19550948993706006499665057610/41000709122976621808253*c_0101_3^10 - 14201182935038852943685942461/41000709122976621808253*c_0101_3^9 + 13353569373250486716697402711/41000709122976621808253*c_0101_3^8 + 2701896138808514748890522395/41000709122976621808253*c_0101_3^7 - 4641631198920006033552345181/41000709122976621808253*c_0101_3^6 + 985379302557536438714568137/41000709122976621808253*c_0101_3^5 + 510043983751654578882447961/41000709122976621808253*c_0101_3^4 - 565616412111279030093128594/41000709122976621808253*c_0101_3^3 + 104039579196499428491800073/41000709122976621808253*c_0101_3^2 + 76232094993499502423976521/41000709122976621808253*c_0101_3 - 21629184119109037923051413/41000709122976621808253, c_0101_3^23 + 3*c_0101_3^22 - 21*c_0101_3^21 - 125*c_0101_3^20 + 127*c_0101_3^19 + 1215*c_0101_3^18 - 388*c_0101_3^17 - 5028*c_0101_3^16 + 1039*c_0101_3^15 + 10854*c_0101_3^14 - 2366*c_0101_3^13 - 13424*c_0101_3^12 + 3468*c_0101_3^11 + 9746*c_0101_3^10 - 2983*c_0101_3^9 - 3900*c_0101_3^8 + 1485*c_0101_3^7 + 580*c_0101_3^6 - 426*c_0101_3^5 + 132*c_0101_3^4 + 72*c_0101_3^3 - 58*c_0101_3^2 - 7*c_0101_3 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB