Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 71670137] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2973 geometric_solution 6.15338339 oriented_manifold CS_known -0.0000000000000003 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 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.943093279531 1.086799640107 0 3 5 4 0132 0132 0132 0132 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.659579843628 0.913781395263 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 0 0 -1 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.659579843628 0.913781395263 6 1 2 6 0132 0132 3201 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095121938297 0.385876575971 2 4 1 4 2310 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.820305672514 0.606072969523 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 0 1 -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 -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.419938127068 0.549676452486 3 3 6 6 0132 2310 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 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 2.213348259174 2.665107379732 ==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' : 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_0101_6'], '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' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_3'], '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' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], '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_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 635856926226413318352851912979591735241/344958090900118169848279838\ 5208*c_0101_6^31 - 70182884721846601137995714244092151184795/275966\ 47272009453587862387081664*c_0101_6^30 + 7493151156001707717630949748631028229833/13798323636004726793931193\ 540832*c_0101_6^29 + 864900895096568868413951072617737826293/341542\ 66425754274242403944408*c_0101_6^28 - 460803085648637253972119525885733844307951/275966472720094535878623\ 87081664*c_0101_6^27 - 1901345425549945937244721951141561333157467/\ 27596647272009453587862387081664*c_0101_6^26 + 19419022321397905462365893268591110185087/2759664727200945358786238\ 7081664*c_0101_6^25 + 118119634973318020566818152901436171514399/68\ 99161818002363396965596770416*c_0101_6^24 + 9876489742093804949299797353539922587983393/27596647272009453587862\ 387081664*c_0101_6^23 + 8444588147275747163120925170387886268638447\ /27596647272009453587862387081664*c_0101_6^22 - 38369956649235716241222751141146624986667893/2759664727200945358786\ 2387081664*c_0101_6^21 - 247573863712790456661699373053610236104365\ 09/27596647272009453587862387081664*c_0101_6^20 + 74647110898964895907614975602018492259072901/2759664727200945358786\ 2387081664*c_0101_6^19 + 380262476256036302018275277074989789741685\ 29/27596647272009453587862387081664*c_0101_6^18 - 90350544451426721830318393164034676577648127/2759664727200945358786\ 2387081664*c_0101_6^17 - 344472198765308232913393102118084618059936\ 85/27596647272009453587862387081664*c_0101_6^16 + 38307341702391850025810223828723258599273547/1379832363600472679393\ 1193540832*c_0101_6^15 + 425281619169699634310200830108161053080160\ 1/6899161818002363396965596770416*c_0101_6^14 - 13979709174421375691007607319515471168258075/6899161818002363396965\ 596770416*c_0101_6^13 - 293970718147926391679123802130792134725609/\ 1623332192471144328697787475392*c_0101_6^12 + 20303335508672432589989471712294450393024585/1379832363600472679393\ 1193540832*c_0101_6^11 + 379320155790341286613081261753857386505549\ 9/13798323636004726793931193540832*c_0101_6^10 - 23249312546378565025247431825491994138274247/2759664727200945358786\ 2387081664*c_0101_6^9 - 1128156416324634328202255309312969976457223\ 7/27596647272009453587862387081664*c_0101_6^8 + 6076204750842801572213841554315048148688555/27596647272009453587862\ 387081664*c_0101_6^7 + 3305330097787392132522505520629316032429707/\ 13798323636004726793931193540832*c_0101_6^6 + 272297772125202005366138244159285445045007/689916181800236339696559\ 6770416*c_0101_6^5 - 1069292139355040576661174189460079477377065/27\ 596647272009453587862387081664*c_0101_6^4 - 176377540998890561064522390362554643127399/689916181800236339696559\ 6770416*c_0101_6^3 - 193238210413458255332089681715631818279877/275\ 96647272009453587862387081664*c_0101_6^2 - 26570603635452069132391506471322438493627/2759664727200945358786238\ 7081664*c_0101_6 - 376778026597179940281862081066878211483/68991618\ 18002363396965596770416, c_0011_0 - 1, c_0011_4 - 253152975784357256626487007359020296/25364565507361630135902\ 929303*c_0101_6^31 + 3493686506504472850206346253570929907/25364565\ 507361630135902929303*c_0101_6^30 - 759470008967681087324269488428907536/25364565507361630135902929303*\ c_0101_6^29 - 344251087762685668406318120374785576/2511343119540755\ 45900029003*c_0101_6^28 + 23059708921814031590151920896433982180/25\ 364565507361630135902929303*c_0101_6^27 + 94476472036982759788032012156304957147/2536456550736163013590292930\ 3*c_0101_6^26 - 1256632554934295418217540947465371776/2536456550736\ 1630135902929303*c_0101_6^25 - 233742470326611146448914957859901398\ 75/25364565507361630135902929303*c_0101_6^24 - 491489869487727693996497646504177143410/253645655073616301359029293\ 03*c_0101_6^23 - 418406405080610019998049907520553365340/2536456550\ 7361630135902929303*c_0101_6^22 + 191025319368180548189863233952282\ 0191214/25364565507361630135902929303*c_0101_6^21 + 1224510354112487300818196315291741313560/25364565507361630135902929\ 303*c_0101_6^20 - 3716033710863791397712542468428164015735/25364565\ 507361630135902929303*c_0101_6^19 - 1877819370482963545927954858343615730605/25364565507361630135902929\ 303*c_0101_6^18 + 4496753308515866821248683825723876511127/25364565\ 507361630135902929303*c_0101_6^17 + 1697102117979325998724229377139169509185/25364565507361630135902929\ 303*c_0101_6^16 - 3811279991041850185315726421150628477757/25364565\ 507361630135902929303*c_0101_6^15 - 832851435873445834931208923298707294202/253645655073616301359029293\ 03*c_0101_6^14 + 2779655561971156003359786655852208736653/253645655\ 07361630135902929303*c_0101_6^13 + 239658167445292391857645775210931337685/253645655073616301359029293\ 03*c_0101_6^12 - 2017549431272973593202382528892496610788/253645655\ 07361630135902929303*c_0101_6^11 - 371424405414746391643874275432596196222/253645655073616301359029293\ 03*c_0101_6^10 + 1155596429795523277056492784413025374044/253645655\ 07361630135902929303*c_0101_6^9 + 557724966241059766987309145208585\ 051686/25364565507361630135902929303*c_0101_6^8 - 302779360182519486245319069376288225067/253645655073616301359029293\ 03*c_0101_6^7 - 327659020804759863703278066021529917872/25364565507\ 361630135902929303*c_0101_6^6 - 53579411611238227205301362552404430\ 858/25364565507361630135902929303*c_0101_6^5 + 53127722946634618002414578101302165736/2536456550736163013590292930\ 3*c_0101_6^4 + 34949667013933920283975649050050103709/2536456550736\ 1630135902929303*c_0101_6^3 + 9558860859737666230063986740224571323\ /25364565507361630135902929303*c_0101_6^2 + 1312863885176480456510084255707329713/25364565507361630135902929303\ *c_0101_6 + 74390148904955726512363465963599835/2536456550736163013\ 5902929303, c_0101_0 - 276793350158171837708974063092196512/25364565507361630135902\ 929303*c_0101_6^31 + 3830677276557115480461458274195012516/25364565\ 507361630135902929303*c_0101_6^30 - 983117502371209692883012559844649199/25364565507361630135902929303*\ c_0101_6^29 - 375439457418763971354269381740095700/2511343119540755\ 45900029003*c_0101_6^28 + 26646546897080938649201213297276169798/25\ 364565507361630135902929303*c_0101_6^27 + 101714603237945516408992892465500424289/253645655073616301359029293\ 03*c_0101_6^26 - 4708160393358178346296771236488929510/253645655073\ 61630135902929303*c_0101_6^25 - 24096358883828724756141400467320251\ 461/25364565507361630135902929303*c_0101_6^24 - 537018013129064305714543383615339657503/253645655073616301359029293\ 03*c_0101_6^23 - 436784652775191362815806270830642296308/2536456550\ 7361630135902929303*c_0101_6^22 + 209762651449491044090696408357302\ 5491898/25364565507361630135902929303*c_0101_6^21 + 1254071401326578863317327214802741123534/25364565507361630135902929\ 303*c_0101_6^20 - 4079102258859041756664091698856676947645/25364565\ 507361630135902929303*c_0101_6^19 - 1888918953672784616947144254386394214735/25364565507361630135902929\ 303*c_0101_6^18 + 4926838905065527650334771859615747956146/25364565\ 507361630135902929303*c_0101_6^17 + 1660826615141823056575835232121833645921/25364565507361630135902929\ 303*c_0101_6^16 - 4156843520329482631794805710690573297512/25364565\ 507361630135902929303*c_0101_6^15 - 753647745410749561943450621801586153120/253645655073616301359029293\ 03*c_0101_6^14 + 3008261971385106025805690337157633662946/253645655\ 07361630135902929303*c_0101_6^13 + 157456271505911939837729388065725814749/253645655073616301359029293\ 03*c_0101_6^12 - 2172002484575884716237848823521689631968/253645655\ 07361630135902929303*c_0101_6^11 - 335024758063382048951463810248976087859/253645655073616301359029293\ 03*c_0101_6^10 + 1249288636782088749684455416017765214977/253645655\ 07361630135902929303*c_0101_6^9 + 566887606895661640476244340318651\ 921685/25364565507361630135902929303*c_0101_6^8 - 336601163522020610019195716494865417896/253645655073616301359029293\ 03*c_0101_6^7 - 343116020642181913423233325334854314810/25364565507\ 361630135902929303*c_0101_6^6 - 51081969167435487719992559302823952\ 032/25364565507361630135902929303*c_0101_6^5 + 57207520990934439152608249421303586520/2536456550736163013590292930\ 3*c_0101_6^4 + 36336818015031775148224727679484227118/2536456550736\ 1630135902929303*c_0101_6^3 + 9760267290849521967184566360138897265\ /25364565507361630135902929303*c_0101_6^2 + 1320792741816838171341073507273838782/25364565507361630135902929303\ *c_0101_6 + 73814901153386139053782051666797147/2536456550736163013\ 5902929303, c_0101_1 + 114289002144480598455223278797249016/25364565507361630135902\ 929303*c_0101_6^31 - 1587997541851118111715318475091860421/25364565\ 507361630135902929303*c_0101_6^30 + 495564750360412141760621576112736265/25364565507361630135902929303*\ c_0101_6^29 + 154448148048265843688612151036941468/2511343119540755\ 45900029003*c_0101_6^28 - 11842317910531082219049127646535257305/25\ 364565507361630135902929303*c_0101_6^27 - 41060036682720613665932758855523353115/2536456550736163013590292930\ 3*c_0101_6^26 + 3887713275039548175137762976027969109/2536456550736\ 1630135902929303*c_0101_6^25 + 907260906572128363655331279365447287\ 1/25364565507361630135902929303*c_0101_6^24 + 221534138939510835070004458919957630370/253645655073616301359029293\ 03*c_0101_6^23 + 168215149344392971414848024691322022200/2536456550\ 7361630135902929303*c_0101_6^22 - 871257594892672522767915109744507\ 301972/25364565507361630135902929303*c_0101_6^21 - 468048286590442328735432281893284031111/253645655073616301359029293\ 03*c_0101_6^20 + 1693130381769765719623132622192664451017/253645655\ 07361630135902929303*c_0101_6^19 + 683600131035971888496396620480778532713/253645655073616301359029293\ 03*c_0101_6^18 - 2039174722639809568279812813560533132316/253645655\ 07361630135902929303*c_0101_6^17 - 571677634168005630195852227164675673121/253645655073616301359029293\ 03*c_0101_6^16 + 1709012920275042601212543680791810241342/253645655\ 07361630135902929303*c_0101_6^15 + 219449033085683484753003354304108916170/253645655073616301359029293\ 03*c_0101_6^14 - 1222943942261363302133451576937110433123/253645655\ 07361630135902929303*c_0101_6^13 - 4109182948278009176786604487727132014/25364565507361630135902929303\ *c_0101_6^12 + 876281198641833216521130823533997154175/253645655073\ 61630135902929303*c_0101_6^11 + 97018273557791442189626874633300544\ 782/25364565507361630135902929303*c_0101_6^10 - 507088011613230533487184230416115424677/253645655073616301359029293\ 03*c_0101_6^9 - 209091370035803816292956045455792666685/25364565507\ 361630135902929303*c_0101_6^8 + 14198631518254591526426300717997234\ 9943/25364565507361630135902929303*c_0101_6^7 + 132817535363935166796631615336736065022/253645655073616301359029293\ 03*c_0101_6^6 + 16792177644728083191610425304068020281/253645655073\ 61630135902929303*c_0101_6^5 - 230779675445624979546948202440138760\ 79/25364565507361630135902929303*c_0101_6^4 - 13916301308940866662979143562518349984/2536456550736163013590292930\ 3*c_0101_6^3 - 3634163377461517782193267360187692223/25364565507361\ 630135902929303*c_0101_6^2 - 480280532545676736051287307767781503/2\ 5364565507361630135902929303*c_0101_6 - 26247083535767093246426360994237477/25364565507361630135902929303, c_0101_2 - 8*c_0101_6^31 + 107*c_0101_6^30 + 23*c_0101_6^29 - 1109*c_0101_6^28 + 261*c_0101_6^27 + 3296*c_0101_6^26 + 1231*c_0101_6^25 - 756*c_0101_6^24 - 15846*c_0101_6^23 - 19834*c_0101_6^22 + 54741*c_0101_6^21 + 64395*c_0101_6^20 - 100971*c_0101_6^19 - 109333*c_0101_6^18 + 116865*c_0101_6^17 + 114123*c_0101_6^16 - 97638*c_0101_6^15 - 77587*c_0101_6^14 + 76658*c_0101_6^13 + 44961*c_0101_6^12 - 60547*c_0101_6^11 - 38873*c_0101_6^10 + 31531*c_0101_6^9 + 33168*c_0101_6^8 - 2071*c_0101_6^7 - 14428*c_0101_6^6 - 6099*c_0101_6^5 + 959*c_0101_6^4 + 1819*c_0101_6^3 + 772*c_0101_6^2 + 171*c_0101_6 + 19, c_0101_3 - 7446316529337539457865024560/1539437900861513104073*c_0101_6\ ^31 + 103272549116944533243995919706/1539437900861513104073*c_0101_\ 6^30 - 29591403837324226068463880871/1539437900861513104073*c_0101_\ 6^29 - 10077135119606023754753895054/15241959414470426773*c_0101_6^\ 28 + 745777154095974092189012883303/1539437900861513104073*c_0101_6\ ^27 + 2701013428322250501229011964302/1539437900861513104073*c_0101\ _6^26 - 190078430871352376289307614891/1539437900861513104073*c_010\ 1_6^25 - 613201523868572938857740975710/1539437900861513104073*c_01\ 01_6^24 - 14444770473939512617643032056552/1539437900861513104073*c\ _0101_6^23 - 11326097212066006255243798235378/153943790086151310407\ 3*c_0101_6^22 + 56568680638965704063166586023446/153943790086151310\ 4073*c_0101_6^21 + 32004949961292571303265469982076/153943790086151\ 3104073*c_0101_6^20 - 109880710938008135367564286891995/15394379008\ 61513104073*c_0101_6^19 - 47504261959631719522970534251334/15394379\ 00861513104073*c_0101_6^18 + 132413067173262049385266359905105/1539\ 437900861513104073*c_0101_6^17 + 40823877844370902998024091418195/1\ 539437900861513104073*c_0101_6^16 - 111247309370435623873946550976920/1539437900861513104073*c_0101_6^1\ 5 - 17249255645457498904310811942014/1539437900861513104073*c_0101_\ 6^14 + 80033793490464324952387386809317/1539437900861513104073*c_01\ 01_6^13 + 2279629680424634109233466427375/1539437900861513104073*c_\ 0101_6^12 - 57588753259436469525323478200254/1539437900861513104073\ *c_0101_6^11 - 7698637671085700683018628804441/15394379008615131040\ 73*c_0101_6^10 + 33223414189023206556433337937333/15394379008615131\ 04073*c_0101_6^9 + 14445345529057291102504240799892/153943790086151\ 3104073*c_0101_6^8 - 9106570318251412297239824695122/15394379008615\ 13104073*c_0101_6^7 - 8936064325938789346704474595063/1539437900861\ 513104073*c_0101_6^6 - 1247374763867222976905550478011/153943790086\ 1513104073*c_0101_6^5 + 1516189243558034996736869616197/15394379008\ 61513104073*c_0101_6^4 + 943202952180743771218535566054/15394379008\ 61513104073*c_0101_6^3 + 250779741886034586332097877883/15394379008\ 61513104073*c_0101_6^2 + 33673847214282472177832217958/153943790086\ 1513104073*c_0101_6 + 1869422133900272414486008693/1539437900861513\ 104073, c_0101_6^32 - 107/8*c_0101_6^31 - 23/8*c_0101_6^30 + 1109/8*c_0101_6^29 - 261/8*c_0101_6^28 - 412*c_0101_6^27 - 1231/8*c_0101_6^26 + 189/2*c_0101_6^25 + 7923/4*c_0101_6^24 + 9917/4*c_0101_6^23 - 54741/8*c_0101_6^22 - 64395/8*c_0101_6^21 + 100971/8*c_0101_6^20 + 109333/8*c_0101_6^19 - 116865/8*c_0101_6^18 - 114123/8*c_0101_6^17 + 48819/4*c_0101_6^16 + 77587/8*c_0101_6^15 - 38329/4*c_0101_6^14 - 44961/8*c_0101_6^13 + 60547/8*c_0101_6^12 + 38873/8*c_0101_6^11 - 31531/8*c_0101_6^10 - 4146*c_0101_6^9 + 2071/8*c_0101_6^8 + 3607/2*c_0101_6^7 + 6099/8*c_0101_6^6 - 959/8*c_0101_6^5 - 1819/8*c_0101_6^4 - 193/2*c_0101_6^3 - 85/4*c_0101_6^2 - 5/2*c_0101_6 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB