Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 3465499158] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1746 geometric_solution 5.44231850 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 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 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.345561877434 0.403563295305 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 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.246271244919 0.573580799080 4 3 5 0 0132 3012 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 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.736836339417 0.913277431660 2 4 0 5 1230 0132 0132 3201 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 -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.736836339417 0.913277431660 2 3 6 6 0132 0132 0132 2310 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 -1 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.272426652584 1.537017507579 5 3 5 2 2031 2310 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.469539525913 1.306493406698 4 6 6 4 3201 3201 2310 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 0 1 -1 0 1 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.613363687043 0.514208852412 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_2']), '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' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1503753153308377110614363589198844687/81384757972579648681584802468\ 73325*c_0101_2^24 + 657116297919366969285928580991996974/5425650531\ 50530991210565349791555*c_0101_2^23 + 11911241802648810753477457524175165118/8138475797257964868158480246\ 873325*c_0101_2^22 - 176676820310259509849699574238302797918/813847\ 5797257964868158480246873325*c_0101_2^21 + 88223504062163944592797983390795517087/8138475797257964868158480246\ 873325*c_0101_2^20 + 952542010755578885862097615822568194406/813847\ 5797257964868158480246873325*c_0101_2^19 - 221299831779121033686126937830541681201/813847579725796486815848024\ 6873325*c_0101_2^18 - 3065204854007302057629874114654048587613/8138\ 475797257964868158480246873325*c_0101_2^17 - 58070989006373442604794481430718935992/9042750885842183186842755829\ 85925*c_0101_2^16 + 5188453739396021697001048797580524655709/813847\ 5797257964868158480246873325*c_0101_2^15 + 41743074928002544348486701104728621363/3255390318903185947263392098\ 74933*c_0101_2^14 - 911812986019170446108577276785594634773/1627695\ 159451592973631696049374665*c_0101_2^13 + 107097689010776718137117619357090906178/542565053150530991210565349\ 791555*c_0101_2^12 + 4950891079078577710030336943023040953031/81384\ 75797257964868158480246873325*c_0101_2^11 - 139378578793815977967267346934574764912/325539031890318594726339209\ 874933*c_0101_2^10 - 5414093387748153624248657492343874544002/81384\ 75797257964868158480246873325*c_0101_2^9 + 504089658997879324502461173044213950589/271282526575265495605282674\ 8957775*c_0101_2^8 + 2493747896217752511264618294138902955988/81384\ 75797257964868158480246873325*c_0101_2^7 - 150114125478694817571993199928794497788/271282526575265495605282674\ 8957775*c_0101_2^6 - 49557704499110396129195361091957656806/5425650\ 53150530991210565349791555*c_0101_2^5 + 18471886410889239172687763381040552359/2712825265752654956052826748\ 957775*c_0101_2^4 + 3393691837303700257271041459454850904/180855017\ 716843663736855116597185*c_0101_2^3 + 1297506882245670001076406553376703022/90427508858421831868427558298\ 5925*c_0101_2^2 - 11620141542550021968833228349180803786/8138475797\ 257964868158480246873325*c_0101_2 - 176705573421564605027794954197814648/428340831434629729903077907730\ 175, c_0011_0 - 1, c_0011_2 - 1296465599995414785361300460254161/3014250295280727728947585\ 27661975*c_0101_2^24 + 1691352266529336072175287038346418/602850059\ 05614554578951705532395*c_0101_2^23 + 10505930670309086227415298354721109/3014250295280727728947585276619\ 75*c_0101_2^22 - 151780437608807028073408828003499004/3014250295280\ 72772894758527661975*c_0101_2^21 + 71523189131663259432665627526589256/3014250295280727728947585276619\ 75*c_0101_2^20 + 819747429994497542085988255015340413/3014250295280\ 72772894758527661975*c_0101_2^19 - 163395179188348456776645666169526383/301425029528072772894758527661\ 975*c_0101_2^18 - 2627228985360662169609488360808623044/30142502952\ 8072772894758527661975*c_0101_2^17 - 535907042787258954060047469126596709/301425029528072772894758527661\ 975*c_0101_2^16 + 4391299269004447390238974497767034597/30142502952\ 8072772894758527661975*c_0101_2^15 + 203844609706320925710880000070191431/602850059056145545789517055323\ 95*c_0101_2^14 - 758995050893859774717916474755098399/6028500590561\ 4554578951705532395*c_0101_2^13 + 259261127363961123037155101977718\ 943/60285005905614554578951705532395*c_0101_2^12 + 4225075714838367315269064494821581343/30142502952807277289475852766\ 1975*c_0101_2^11 - 113437166501221852229691775415995350/12057001181\ 122910915790341106479*c_0101_2^10 - 4654302877485534235552882912881903271/30142502952807277289475852766\ 1975*c_0101_2^9 + 1092217444890808033430235303741653946/30142502952\ 8072772894758527661975*c_0101_2^8 + 2072032964339469908558078661437442284/30142502952807277289475852766\ 1975*c_0101_2^7 - 306221711757544389432349373819583077/301425029528\ 072772894758527661975*c_0101_2^6 - 6455910247609660262273559704702906/3172895047663923925207984501705*\ c_0101_2^5 + 20431095092734344837123915074146581/301425029528072772\ 894758527661975*c_0101_2^4 + 24540280812353173854906426542359143/60\ 285005905614554578951705532395*c_0101_2^3 + 14501548406918127217601830467390079/3014250295280727728947585276619\ 75*c_0101_2^2 - 8047829123711534731819240871905068/3014250295280727\ 72894758527661975*c_0101_2 - 2904692232346315962945649738839421/301\ 425029528072772894758527661975, c_0011_5 + 338901100197850355050478692195926/60285005905614554578951705\ 532395*c_0101_2^24 - 11064848775333264987535556688410071/3014250295\ 28072772894758527661975*c_0101_2^23 - 13679399287389286353325915008227846/3014250295280727728947585276619\ 75*c_0101_2^22 + 198632443461106700815625322666028173/3014250295280\ 72772894758527661975*c_0101_2^21 - 94657380738571907825221154164420366/3014250295280727728947585276619\ 75*c_0101_2^20 - 2260166776746077587692706237286749/634579009532784\ 785041596900341*c_0101_2^19 + 222279296149794218730389102443132808/\ 301425029528072772894758527661975*c_0101_2^18 + 689417325177920695563463507003893191/602850059056145545789517055323\ 95*c_0101_2^17 + 674292740375298864466486868087585546/3014250295280\ 72772894758527661975*c_0101_2^16 - 5790206876962505222353813823299628993/30142502952807277289475852766\ 1975*c_0101_2^15 - 1303884538916464897108892875085196616/3014250295\ 28072772894758527661975*c_0101_2^14 + 5040807435502035055026918718685009734/30142502952807277289475852766\ 1975*c_0101_2^13 - 1711476592806653019965942927454668786/3014250295\ 28072772894758527661975*c_0101_2^12 - 292918582540178070366606269179224614/158644752383196196260399225085\ 25*c_0101_2^11 + 3773777156240907457241402285473377522/301425029528\ 072772894758527661975*c_0101_2^10 + 6126316173033967159432477049047223557/30142502952807277289475852766\ 1975*c_0101_2^9 - 1517176478620715387246609633763294949/30142502952\ 8072772894758527661975*c_0101_2^8 - 2771240237443192426527487430031889708/30142502952807277289475852766\ 1975*c_0101_2^7 + 429714976052713405302418523295228741/301425029528\ 072772894758527661975*c_0101_2^6 + 819978774306550731134466657392471719/301425029528072772894758527661\ 975*c_0101_2^5 - 38338781410033529276275080039298676/30142502952807\ 2772894758527661975*c_0101_2^4 - 3313308179766501280450704170408198\ 7/60285005905614554578951705532395*c_0101_2^3 - 684347006962203160785549823013294/12057001181122910915790341106479*\ c_0101_2^2 + 11438621955660330728725016610918229/301425029528072772\ 894758527661975*c_0101_2 + 3885122852560589375840662306058836/30142\ 5029528072772894758527661975, c_0011_6 - 47627272986440727863153255837467/602850059056145545789517055\ 32395*c_0101_2^24 + 1586044950529578335881151524553068/301425029528\ 072772894758527661975*c_0101_2^23 + 1705105440512472301510156230955808/30142502952807277289475852766197\ 5*c_0101_2^22 - 28068450993448434860624322676148314/301425029528072\ 772894758527661975*c_0101_2^21 + 1704789710174942635863800525099951\ 8/301425029528072772894758527661975*c_0101_2^20 + 5896750811233076098797077331581967/12057001181122910915790341106479\ *c_0101_2^19 - 49885850215568206861653705798365489/3014250295280727\ 72894758527661975*c_0101_2^18 - 94244392687878724017816034128762847\ /60285005905614554578951705532395*c_0101_2^17 - 34588317105893984048003569794209133/3014250295280727728947585276619\ 75*c_0101_2^16 + 796371813042471608040960620664865584/3014250295280\ 72772894758527661975*c_0101_2^15 + 74797156160525755174471808962765133/3014250295280727728947585276619\ 75*c_0101_2^14 - 680684324754538819101652983397253067/3014250295280\ 72772894758527661975*c_0101_2^13 + 339018368877341522288522750018551743/301425029528072772894758527661\ 975*c_0101_2^12 + 704081333425294842465902996496154218/301425029528\ 072772894758527661975*c_0101_2^11 - 614060251433052349710570343723246046/301425029528072772894758527661\ 975*c_0101_2^10 - 743472772877114089790735582081472226/301425029528\ 072772894758527661975*c_0101_2^9 + 286791320041896853151202584405651567/301425029528072772894758527661\ 975*c_0101_2^8 + 310241912261836367767124975523682454/3014250295280\ 72772894758527661975*c_0101_2^7 - 907509162697160875846596392789390\ 73/301425029528072772894758527661975*c_0101_2^6 - 81865089297929462481082498529858557/3014250295280727728947585276619\ 75*c_0101_2^5 + 13295929290866301001993032931861543/301425029528072\ 772894758527661975*c_0101_2^4 + 617799034896563050207271408758849/1\ 2057001181122910915790341106479*c_0101_2^3 + 207015760957660680476752056051562/60285005905614554578951705532395*\ c_0101_2^2 - 717614977157252401011893123155422/30142502952807277289\ 4758527661975*c_0101_2 - 314740687013718381264486905053818/30142502\ 9528072772894758527661975, c_0101_0 - 652318318359379872414185581687121/30142502952807277289475852\ 7661975*c_0101_2^24 + 4257293191323432530315454653339716/3014250295\ 28072772894758527661975*c_0101_2^23 + 55406825255400843564131038750891/3172895047663923925207984501705*c_\ 0101_2^22 - 4017472086819976241307570360929313/15864475238319619626\ 039922508525*c_0101_2^21 + 36277850459784094680528260504511022/3014\ 25029528072772894758527661975*c_0101_2^20 + 411427276392841138506659610782686283/301425029528072772894758527661\ 975*c_0101_2^19 - 82646641792588581484198485847887616/3014250295280\ 72772894758527661975*c_0101_2^18 - 1317541770123146965875595970490695429/30142502952807277289475852766\ 1975*c_0101_2^17 - 53664962387692125309556220053202306/602850059056\ 14554578951705532395*c_0101_2^16 + 439514449005446487679727099026602337/602850059056145545789517055323\ 95*c_0101_2^15 + 508769027666455477825705558972667376/3014250295280\ 72772894758527661975*c_0101_2^14 - 1889730907407410308429813475981532589/30142502952807277289475852766\ 1975*c_0101_2^13 + 654764522541388554087051728121619181/30142502952\ 8072772894758527661975*c_0101_2^12 + 2109124567302228826441387332850071739/30142502952807277289475852766\ 1975*c_0101_2^11 - 1422523922397097525445312847992818457/3014250295\ 28072772894758527661975*c_0101_2^10 - 2325208808550057214298635139214280328/30142502952807277289475852766\ 1975*c_0101_2^9 + 21549471117025743509759107245903633/1205700118112\ 2910915790341106479*c_0101_2^8 + 1026871298306817456417148644423861\ 202/301425029528072772894758527661975*c_0101_2^7 - 151022971678949486719301778121135323/301425029528072772894758527661\ 975*c_0101_2^6 - 15816705909183437593407627832586466/15864475238319\ 619626039922508525*c_0101_2^5 + 12646838994941340972685035268435707\ /301425029528072772894758527661975*c_0101_2^4 + 11849561622376743371544734116227782/6028500590561455457895170553239\ 5*c_0101_2^3 + 6852190387432363469752254027826794/30142502952807277\ 2894758527661975*c_0101_2^2 - 3592627355675122013655968142178007/30\ 1425029528072772894758527661975*c_0101_2 - 1405763007039220071883820485824422/30142502952807277289475852766197\ 5, c_0101_1 - 1488055813509325801362240987353086/3014250295280727728947585\ 27661975*c_0101_2^24 + 9714742496555488407378235300776316/301425029\ 528072772894758527661975*c_0101_2^23 + 2409803759421059732483171367222193/60285005905614554578951705532395\ *c_0101_2^22 - 174581201024332302961568986207705017/301425029528072\ 772894758527661975*c_0101_2^21 + 8280454669847141877884968444915669\ 2/301425029528072772894758527661975*c_0101_2^20 + 49772583928285096412894222807307677/1586447523831961962603992250852\ 5*c_0101_2^19 - 196977849999769328605257408785810086/30142502952807\ 2772894758527661975*c_0101_2^18 - 304053406939658153841526051107057\ 9629/301425029528072772894758527661975*c_0101_2^17 - 116883362327265757950740894752135432/602850059056145545789517055323\ 95*c_0101_2^16 + 1025189648637381847193491386556793377/602850059056\ 14554578951705532395*c_0101_2^15 + 1133470037191868820426109765586301161/30142502952807277289475852766\ 1975*c_0101_2^14 - 4500277133152511637918058753367417944/3014250295\ 28072772894758527661975*c_0101_2^13 + 1525369629349598806292166013852186491/30142502952807277289475852766\ 1975*c_0101_2^12 + 4951308167758106501323754822477380379/3014250295\ 28072772894758527661975*c_0101_2^11 - 177248285677032911690553252036214113/158644752383196196260399225085\ 25*c_0101_2^10 - 5428186595318500208490555376242925778/301425029528\ 072772894758527661975*c_0101_2^9 + 282272500988152890373880030870212821/602850059056145545789517055323\ 95*c_0101_2^8 + 2474224430070203674125908420136992882/3014250295280\ 72772894758527661975*c_0101_2^7 - 427267501591047749907289510351718\ 828/301425029528072772894758527661975*c_0101_2^6 - 735304750392200698751865993502554134/301425029528072772894758527661\ 975*c_0101_2^5 + 47750360441674090621630515953573417/30142502952807\ 2772894758527661975*c_0101_2^4 + 2960659565678706224237771409864101\ 7/60285005905614554578951705532395*c_0101_2^3 + 12164522379887120503671846244512134/3014250295280727728947585276619\ 75*c_0101_2^2 - 10825678288839056727503956106106412/301425029528072\ 772894758527661975*c_0101_2 - 3055379151127932563057642764724562/30\ 1425029528072772894758527661975, c_0101_2^25 - 7*c_0101_2^24 - 5*c_0101_2^23 + 121*c_0101_2^22 - 111*c_0101_2^21 - 607*c_0101_2^20 + 429*c_0101_2^19 + 1971*c_0101_2^18 - 559*c_0101_2^17 - 3599*c_0101_2^16 + 841*c_0101_2^15 + 3329*c_0101_2^14 - 2416*c_0101_2^13 - 2804*c_0101_2^12 + 3775*c_0101_2^11 + 2558*c_0101_2^10 - 2596*c_0101_2^9 - 1201*c_0101_2^8 + 1027*c_0101_2^7 + 357*c_0101_2^6 - 252*c_0101_2^5 - 84*c_0101_2^4 + 36*c_0101_2^3 + 11*c_0101_2^2 - c_0101_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB