Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 3137021573] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0205 geometric_solution 4.01973050 oriented_manifold CS_known 0.0000000000000001 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.674041306888 0.038176111615 2 0 2 0 0132 2310 1023 0132 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 -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.847113963103 0.045582169809 1 3 1 3 0132 0132 1023 1023 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 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.704888439056 0.143957202734 4 2 5 2 0132 0132 0132 1023 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 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.317606763285 1.113143726707 3 5 6 5 0132 3201 0132 2310 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 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.009583486827 1.722632803915 4 6 4 3 3201 1023 2310 0132 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 -1 0 1 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.009583486827 1.722632803915 5 6 6 4 1023 1230 3012 0132 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 0 0 0 0 0 0 0 0.493644263920 0.294952901819 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_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_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_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' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_3']), '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 2567285597417718228482514498473113689611750617616/17614380816902401\ 94129561736497365585978230115*c_0101_4^20 + 39886410070372737549638310651530906187575519741423/3522876163380480\ 388259123472994731171956460230*c_0101_4^19 - 4388006743795395496469043888975216311709746625303/16013073469911274\ 4920869248772487780543475465*c_0101_4^18 - 535654690580789251548533617726315948057402207755626/176143808169024\ 0194129561736497365585978230115*c_0101_4^17 - 129005140324102333422736070474419708273611874243819/704575232676096\ 077651824694598946234391292046*c_0101_4^16 + 5545942664233288645123063906391865078493454832922231/17614380816902\ 40194129561736497365585978230115*c_0101_4^15 + 4968446155413610561080650059841360259805245125662022/17614380816902\ 40194129561736497365585978230115*c_0101_4^14 - 28152525586394135377920179233413998775040905116580114/1761438081690\ 240194129561736497365585978230115*c_0101_4^13 - 14386374708374932859319711949965876044508290566055264/1761438081690\ 240194129561736497365585978230115*c_0101_4^12 + 142759713934908181351834177129560424333428721346179563/352287616338\ 0480388259123472994731171956460230*c_0101_4^11 + 1854814102241080197551464862858428972881157113140761/17614380816902\ 40194129561736497365585978230115*c_0101_4^10 - 81719081888588933015188286216606715499108391068147471/1761438081690\ 240194129561736497365585978230115*c_0101_4^9 + 65041960455425449138696616091289576236012464320868047/3522876163380\ 480388259123472994731171956460230*c_0101_4^8 + 43854607795610433194882592461856798200413856783489334/1761438081690\ 240194129561736497365585978230115*c_0101_4^7 - 47202518134553342755030927025587753759205961519388538/1761438081690\ 240194129561736497365585978230115*c_0101_4^6 - 16449587779554781845218734424606355573552753575215719/1761438081690\ 240194129561736497365585978230115*c_0101_4^5 + 30646976450087228366467124348176739948397158362214926/1761438081690\ 240194129561736497365585978230115*c_0101_4^4 + 1933151771563196700285002027157189231855401495607374/35228761633804\ 8038825912347299473117195646023*c_0101_4^3 - 1526898159214151579212649727766107574435793087285631/35228761633804\ 8038825912347299473117195646023*c_0101_4^2 - 8148907237393467040685941990870270685737530656099449/35228761633804\ 80388259123472994731171956460230*c_0101_4 - 1035607346100962124923750875120617590882022552482841/35228761633804\ 80388259123472994731171956460230, c_0011_0 - 1, c_0011_1 - 1885519152868315820012878426182610852150371/2725629526793408\ 424185008489744472860314476*c_0101_4^20 - 14515721015111999138638302598449047782331823/2725629526793408424185\ 008489744472860314476*c_0101_4^19 + 9106247558023149525621992437788609551119493/68140738169835210604625\ 2122436118215078619*c_0101_4^18 + 390596153220569332278955224814302\ 215827763995/2725629526793408424185008489744472860314476*c_0101_4^1\ 7 + 210417500550642026942119671343768185074297701/27256295267934084\ 24185008489744472860314476*c_0101_4^16 - 1020114718639585804650642470035973798702096613/68140738169835210604\ 6252122436118215078619*c_0101_4^15 - 840584860988525291148757933832309171656380098/681407381698352106046\ 252122436118215078619*c_0101_4^14 + 5207851884139936785947083361809904913648019200/68140738169835210604\ 6252122436118215078619*c_0101_4^13 + 9068251090437405544039498039401669453910549111/27256295267934084241\ 85008489744472860314476*c_0101_4^12 - 52644743265054643255754321504770233465471651187/2725629526793408424\ 185008489744472860314476*c_0101_4^11 + 595221783678491810240451777439627866742490621/681407381698352106046\ 252122436118215078619*c_0101_4^10 + 58826364835021335353112649828743960019026425641/2725629526793408424\ 185008489744472860314476*c_0101_4^9 - 27682528439800770314615309323467312700189836189/2725629526793408424\ 185008489744472860314476*c_0101_4^8 - 14617070212047394823815393576799910131916907823/1362814763396704212\ 092504244872236430157238*c_0101_4^7 + 17952813415552767811092686135531888072582654871/1362814763396704212\ 092504244872236430157238*c_0101_4^6 + 2305583028717847128355018942238570768208681814/68140738169835210604\ 6252122436118215078619*c_0101_4^5 - 5592211078302507052343008017087959160853455542/68140738169835210604\ 6252122436118215078619*c_0101_4^4 - 2782069394405439172147798674961047048205315531/13628147633967042120\ 92504244872236430157238*c_0101_4^3 + 5575355589791442370620923404302715760030473283/27256295267934084241\ 85008489744472860314476*c_0101_4^2 + 1305309696513845157617562851190973534304701145/13628147633967042120\ 92504244872236430157238*c_0101_4 + 302147069061353136289952505414507361404881595/272562952679340842418\ 5008489744472860314476, c_0011_5 - 407199330933342434074018301965595982066613/68140738169835210\ 6046252122436118215078619*c_0101_4^20 - 6265849120697991371543348663058119426340469/13628147633967042120925\ 04244872236430157238*c_0101_4^19 + 7881150723599938853999154572698187263679339/68140738169835210604625\ 2122436118215078619*c_0101_4^18 + 843180807422491010851617462503546\ 80404369741/681407381698352106046252122436118215078619*c_0101_4^17 + 90106057366595133067941302400854940062975049/1362814763396704212092\ 504244872236430157238*c_0101_4^16 - 881456769541029544148566453399866236203956323/681407381698352106046\ 252122436118215078619*c_0101_4^15 - 722200026925960760033394011711303236443955496/681407381698352106046\ 252122436118215078619*c_0101_4^14 + 4502046607372934490716160668068696328251431359/68140738169835210604\ 6252122436118215078619*c_0101_4^13 + 1939057143156850037484011865932178969883996629/68140738169835210604\ 6252122436118215078619*c_0101_4^12 - 22752609506891426108848266074371561808353672689/1362814763396704212\ 092504244872236430157238*c_0101_4^11 + 560136334440766836437073718195150469254446404/681407381698352106046\ 252122436118215078619*c_0101_4^10 + 12695590521040011336058087030517036046988734347/6814073816983521060\ 46252122436118215078619*c_0101_4^9 - 12045199184380417139181921973073082874583401753/1362814763396704212\ 092504244872236430157238*c_0101_4^8 - 6282910440973643756979154999446149407797126548/68140738169835210604\ 6252122436118215078619*c_0101_4^7 + 7770120861649113184862665042840619569918578511/68140738169835210604\ 6252122436118215078619*c_0101_4^6 + 1963116868729372490694679294793593267735540223/68140738169835210604\ 6252122436118215078619*c_0101_4^5 - 4834351161113586286854125259682828662986225086/68140738169835210604\ 6252122436118215078619*c_0101_4^4 - 1186033848902943132584574919318410593538012548/68140738169835210604\ 6252122436118215078619*c_0101_4^3 + 1206299375010280810686044441893427700263547852/68140738169835210604\ 6252122436118215078619*c_0101_4^2 + 1118412190055421362828921124424501053707777627/13628147633967042120\ 92504244872236430157238*c_0101_4 + 128039495116257366335923707936210201522017889/136281476339670421209\ 2504244872236430157238, c_0101_0 - 1394276887652803254755440504437755550246045/2725629526793408\ 424185008489744472860314476*c_0101_4^20 - 10874974264949577765108646071378204145841947/2725629526793408424185\ 008489744472860314476*c_0101_4^19 + 6473814892611100458051751530255092610023061/68140738169835210604625\ 2122436118215078619*c_0101_4^18 + 291898296310184133042695431989467\ 885192368921/2725629526793408424185008489744472860314476*c_0101_4^1\ 7 + 183796381449188617934399646086867623386829565/27256295267934084\ 24185008489744472860314476*c_0101_4^16 - 752719065827566619921767712874621719876345273/681407381698352106046\ 252122436118215078619*c_0101_4^15 - 698333714107222055015711415239329997788863705/681407381698352106046\ 252122436118215078619*c_0101_4^14 + 3813586189467558159631556548732932131875667430/68140738169835210604\ 6252122436118215078619*c_0101_4^13 + 8309925377257805991626168155279737747336932649/27256295267934084241\ 85008489744472860314476*c_0101_4^12 - 38786512424549954491250440456128456010048007339/2725629526793408424\ 185008489744472860314476*c_0101_4^11 - 552696534528923369859777236693310675154789662/681407381698352106046\ 252122436118215078619*c_0101_4^10 + 45010974192951104406078118882043562083079060527/2725629526793408424\ 185008489744472860314476*c_0101_4^9 - 16596483634899900032735987867844594907147695665/2725629526793408424\ 185008489744472860314476*c_0101_4^8 - 12495980422997993128994854693676700898997477137/1362814763396704212\ 092504244872236430157238*c_0101_4^7 + 12754565114476491014440970217706020711644639411/1362814763396704212\ 092504244872236430157238*c_0101_4^6 + 2463642300389163100692383821201454402810573084/68140738169835210604\ 6252122436118215078619*c_0101_4^5 - 4220955508188367440448570646321829475881063258/68140738169835210604\ 6252122436118215078619*c_0101_4^4 - 2831326444892969225363596166267065068900335921/13628147633967042120\ 92504244872236430157238*c_0101_4^3 + 4240584028491625442256457778735587633190571369/27256295267934084241\ 85008489744472860314476*c_0101_4^2 + 575102361141450152982626317590906811979197379/681407381698352106046\ 252122436118215078619*c_0101_4 + 2884446103988859701256483965096768\ 49980484279/2725629526793408424185008489744472860314476, c_0101_1 + 1569137506996226478211816679551613158571761/2725629526793408\ 424185008489744472860314476*c_0101_4^20 + 11978397450171813045551590472497032987733435/2725629526793408424185\ 008489744472860314476*c_0101_4^19 - 7764242768478704622313469569037768185057802/68140738169835210604625\ 2122436118215078619*c_0101_4^18 - 322807793489988255367883355675504\ 487027348649/2725629526793408424185008489744472860314476*c_0101_4^1\ 7 - 154892086898130832516133775705201521052785925/27256295267934084\ 24185008489744472860314476*c_0101_4^16 + 849856503839230371463322291225617002451423536/681407381698352106046\ 252122436118215078619*c_0101_4^15 + 644104570762973041167864323061055671263730409/681407381698352106046\ 252122436118215078619*c_0101_4^14 - 4358425103051352107467159586249600228216322672/68140738169835210604\ 6252122436118215078619*c_0101_4^13 - 6383707861671094247833026691365982602318483437/27256295267934084241\ 85008489744472860314476*c_0101_4^12 + 43865357302481789260996078510630325171117870327/2725629526793408424\ 185008489744472860314476*c_0101_4^11 - 1212465895587688168224315703272293011094192846/68140738169835210604\ 6252122436118215078619*c_0101_4^10 - 47761851925513134750082214535236477200553688347/2725629526793408424\ 185008489744472860314476*c_0101_4^9 + 25775064373670672845068751554035942144537176449/2725629526793408424\ 185008489744472860314476*c_0101_4^8 + 10913833639451218732218701370807666128746816067/1362814763396704212\ 092504244872236430157238*c_0101_4^7 - 15266575953298561621744407684896361548158022119/1362814763396704212\ 092504244872236430157238*c_0101_4^6 - 1374812790874235068798657234633812725857921567/68140738169835210604\ 6252122436118215078619*c_0101_4^5 + 4578531390761387917814548117931363738465185965/68140738169835210604\ 6252122436118215078619*c_0101_4^4 + 1765467927940075633264615094974188094240181295/13628147633967042120\ 92504244872236430157238*c_0101_4^3 - 4541973272702019868112718327055216569508112353/27256295267934084241\ 85008489744472860314476*c_0101_4^2 - 476813724865080898069519117279449047409274378/681407381698352106046\ 252122436118215078619*c_0101_4 - 2041106992497169564639154843675470\ 20747632911/2725629526793408424185008489744472860314476, c_0101_3 - 1686558559303861081274879934919739297368553/2725629526793408\ 424185008489744472860314476*c_0101_4^20 - 12971664773517383528314845428488539264746075/2725629526793408424185\ 008489744472860314476*c_0101_4^19 + 8168922466269912195233230110335786129988293/68140738169835210604625\ 2122436118215078619*c_0101_4^18 + 349139348698027562450927102629845\ 715619991449/2725629526793408424185008489744472860314476*c_0101_4^1\ 7 + 185704674469255234496669141619772461299246989/27256295267934084\ 24185008489744472860314476*c_0101_4^16 - 912786752461075865256420122143997403277362060/681407381698352106046\ 252122436118215078619*c_0101_4^15 - 745392813125843190581931801855470824323052647/681407381698352106046\ 252122436118215078619*c_0101_4^14 + 4663111517506980129492317410875030700320236180/68140738169835210604\ 6252122436118215078619*c_0101_4^13 + 7980981023939023141651875297856913067624158305/27256295267934084241\ 85008489744472860314476*c_0101_4^12 - 47127880260541720788398705897566746472395659363/2725629526793408424\ 185008489744472860314476*c_0101_4^11 + 611367399891295919280987694725154869534125913/681407381698352106046\ 252122436118215078619*c_0101_4^10 + 52542706679719896176519668869689972393154944527/2725629526793408424\ 185008489744472860314476*c_0101_4^9 - 25070510855961586751387703803000941427671503993/2725629526793408424\ 185008489744472860314476*c_0101_4^8 - 12956348383200474166185048451909961643840994673/1362814763396704212\ 092504244872236430157238*c_0101_4^7 + 16108062075083579957099492511158035584864524667/1362814763396704212\ 092504244872236430157238*c_0101_4^6 + 2006985358123988705458460777175360112741868034/68140738169835210604\ 6252122436118215078619*c_0101_4^5 - 5002717648740198337907650693155961438090563974/68140738169835210604\ 6252122436118215078619*c_0101_4^4 - 2434468533105934838806661440361710378103218635/13628147633967042120\ 92504244872236430157238*c_0101_4^3 + 4992961031363229070443261312311905823461552833/27256295267934084241\ 85008489744472860314476*c_0101_4^2 + 577739880935658993764064510022251607940242816/681407381698352106046\ 252122436118215078619*c_0101_4 + 2644039715754601443898268882451532\ 36364593579/2725629526793408424185008489744472860314476, c_0101_4^21 + 8*c_0101_4^20 - 17*c_0101_4^19 - 213*c_0101_4^18 - 174*c_0101_4^17 + 2131*c_0101_4^16 + 2436*c_0101_4^15 - 10516*c_0101_4^14 - 8145*c_0101_4^13 + 26498*c_0101_4^12 + 7167*c_0101_4^11 - 31647*c_0101_4^10 + 5282*c_0101_4^9 + 20003*c_0101_4^8 - 14412*c_0101_4^7 - 10666*c_0101_4^6 + 10440*c_0101_4^5 + 6534*c_0101_4^4 - 2095*c_0101_4^3 - 2277*c_0101_4^2 - 571*c_0101_4 - 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB