Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 2160139773] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2987 geometric_solution 6.16595195 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 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.781539422778 0.971895512145 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.666488771525 1.040387365421 3 0 4 5 2310 0132 3201 2310 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 -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.666488771525 1.040387365421 3 1 2 3 3201 0132 3201 2310 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.088904069416 0.719255975934 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.197285971382 0.762849422756 2 5 5 1 3201 3201 2310 0132 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 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.155425693883 0.725889614319 4 4 6 6 3201 0132 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 0.536880854009 0.244141588043 ==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_0101_2'], '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_2'], '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_4']), '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_0110_6']), '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' : negation(d['c_0101_3']), '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_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), '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_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 548643780397629304222247318839/2068116679491427301256693209*c_0110_\ 6^23 - 3489488801027216894274192392467/2068116679491427301256693209\ *c_0110_6^22 + 880954189531760278034245806430/121653922323025135368\ 040777*c_0110_6^21 - 46013577577961848706194723546897/2068116679491\ 427301256693209*c_0110_6^20 + 5207603475110325087701281504210/12165\ 3922323025135368040777*c_0110_6^19 - 110594635390708196981554951270058/2068116679491427301256693209*c_01\ 10_6^18 + 30977501884237371228469103031297/206811667949142730125669\ 3209*c_0110_6^17 + 300439669877566267912228412406501/20681166794914\ 27301256693209*c_0110_6^16 - 602403403379940327721892769823916/2068\ 116679491427301256693209*c_0110_6^15 + 170885894040910879417116235852922/2068116679491427301256693209*c_01\ 10_6^14 + 451712780352911044227690669254494/20681166794914273012566\ 93209*c_0110_6^13 + 30456237157841324402579085961566/20681166794914\ 27301256693209*c_0110_6^12 - 733185476633577144193256344943182/2068\ 116679491427301256693209*c_0110_6^11 + 201340486150996603458106234826600/2068116679491427301256693209*c_01\ 10_6^10 + 534034797009112604680342719284115/20681166794914273012566\ 93209*c_0110_6^9 - 395417908752829045784424838179566/20681166794914\ 27301256693209*c_0110_6^8 + 7049492608123697599466844892520/2068116\ 679491427301256693209*c_0110_6^7 + 107804263217618763822468276213307/2068116679491427301256693209*c_01\ 10_6^6 - 1346552989000492736666626989500/20681166794914273012566932\ 09*c_0110_6^5 - 66683566534349922088331946751757/206811667949142730\ 1256693209*c_0110_6^4 + 130908062024524256246692694008/121653922323\ 025135368040777*c_0110_6^3 + 20281430289411276655531126089137/20681\ 16679491427301256693209*c_0110_6^2 - 180825114890728996511624039743/2068116679491427301256693209*c_0110_\ 6 - 1537461775108075100351535645587/2068116679491427301256693209, c_0011_0 - 1, c_0011_4 - 6683958013945628217083688694/2068116679491427301256693209*c_\ 0110_6^23 + 40862977765609720814136405400/2068116679491427301256693\ 209*c_0110_6^22 - 10149539809308859158149477269/1216539223230251353\ 68040777*c_0110_6^21 + 518887603391064774299869706529/2068116679491\ 427301256693209*c_0110_6^20 - 56114704292663755468861275111/1216539\ 22323025135368040777*c_0110_6^19 + 1121095253564448907166207867057/2068116679491427301256693209*c_0110\ _6^18 - 112715215480743778003799516692/2068116679491427301256693209\ *c_0110_6^17 - 3682223390043945685500440016841/20681166794914273012\ 56693209*c_0110_6^16 + 6455578749778377180037728671678/206811667949\ 1427301256693209*c_0110_6^15 - 588383602909349003306391487424/20681\ 16679491427301256693209*c_0110_6^14 - 5567095625183859586200898897439/2068116679491427301256693209*c_0110\ _6^13 - 1616002735289340249827685075181/206811667949142730125669320\ 9*c_0110_6^12 + 8375358307680340036410886498042/2068116679491427301\ 256693209*c_0110_6^11 - 522085922834932865031888740610/206811667949\ 1427301256693209*c_0110_6^10 - 6480721084726533911589370557847/2068\ 116679491427301256693209*c_0110_6^9 + 3370554464136327548424916492472/2068116679491427301256693209*c_0110\ _6^8 + 572448545884106374094608610423/2068116679491427301256693209*\ c_0110_6^7 - 1194430143779433625311615748975/2068116679491427301256\ 693209*c_0110_6^6 - 195453610269120843291430315034/2068116679491427\ 301256693209*c_0110_6^5 + 726824010118589223811967576846/2068116679\ 491427301256693209*c_0110_6^4 + 7743077353704344380301376830/121653\ 922323025135368040777*c_0110_6^3 - 205245583584005681242192431765/2068116679491427301256693209*c_0110_\ 6^2 - 32864544311818167346203499282/2068116679491427301256693209*c_\ 0110_6 + 8060511835725209242699120538/2068116679491427301256693209, c_0101_0 - 4657731465964489083079264166/2068116679491427301256693209*c_\ 0110_6^23 + 30543911734989181706034900660/2068116679491427301256693\ 209*c_0110_6^22 - 7804896601434442854585345851/12165392232302513536\ 8040777*c_0110_6^21 + 414159529624513802194091569112/20681166794914\ 27301256693209*c_0110_6^20 - 48378661453734997699862735687/12165392\ 2323025135368040777*c_0110_6^19 + 1070333292045269967207391504101/2\ 068116679491427301256693209*c_0110_6^18 - 424404822690037790018336471211/2068116679491427301256693209*c_0110_\ 6^17 - 2516647194960936479020677639099/2068116679491427301256693209\ *c_0110_6^16 + 5586183845161123526935716697395/20681166794914273012\ 56693209*c_0110_6^15 - 2298283036580479430657872151544/206811667949\ 1427301256693209*c_0110_6^14 - 3692556805470865856398905847951/2068\ 116679491427301256693209*c_0110_6^13 + 316969915864187402172928676115/2068116679491427301256693209*c_0110_\ 6^12 + 6482274784110190348280923124929/2068116679491427301256693209\ *c_0110_6^11 - 2689317876674334310304234841827/20681166794914273012\ 56693209*c_0110_6^10 - 4428870890430362026373676860127/206811667949\ 1427301256693209*c_0110_6^9 + 4020227505076699244647025911633/20681\ 16679491427301256693209*c_0110_6^8 - 500995376240377081728076501918/2068116679491427301256693209*c_0110_\ 6^7 - 858258379017704622916810968219/2068116679491427301256693209*c\ _0110_6^6 + 98356259955770722871206506310/2068116679491427301256693\ 209*c_0110_6^5 + 598190981470100457142372549583/2068116679491427301\ 256693209*c_0110_6^4 - 5697397871226946043269810448/121653922323025\ 135368040777*c_0110_6^3 - 177718373599352821087296866111/2068116679\ 491427301256693209*c_0110_6^2 + 15126913205295274701064920647/20681\ 16679491427301256693209*c_0110_6 + 12631637794686987549595883185/2068116679491427301256693209, c_0101_1 + 85491934290201242183754042/2068116679491427301256693209*c_01\ 10_6^23 - 465400260980030163677316533/2068116679491427301256693209*\ c_0110_6^22 + 115037146533891707932289225/1216539223230251353680407\ 77*c_0110_6^21 - 5672072591948960289387263486/206811667949142730125\ 6693209*c_0110_6^20 + 579500112726120788468273127/12165392232302513\ 5368040777*c_0110_6^19 - 11967482464502407496791156046/206811667949\ 1427301256693209*c_0110_6^18 + 802481571215293591458967593/20681166\ 79491427301256693209*c_0110_6^17 + 39407551764475883381436994261/2068116679491427301256693209*c_0110_6\ ^16 - 57576285532359436553162042553/2068116679491427301256693209*c_\ 0110_6^15 + 1928384616879159687201035518/20681166794914273012566932\ 09*c_0110_6^14 + 22664847521490148529486440768/20681166794914273012\ 56693209*c_0110_6^13 + 34020187208129899616188901981/20681166794914\ 27301256693209*c_0110_6^12 - 36303036196828425640953357530/20681166\ 79491427301256693209*c_0110_6^11 - 11074537488004461863766635979/2068116679491427301256693209*c_0110_6\ ^10 + 15483989469433812880244755007/2068116679491427301256693209*c_\ 0110_6^9 - 23542056790541652780647453912/20681166794914273012566932\ 09*c_0110_6^8 + 26604721202232719347321367304/206811667949142730125\ 6693209*c_0110_6^7 - 784075428483077214154223311/206811667949142730\ 1256693209*c_0110_6^6 - 4755982669914443989582570407/20681166794914\ 27301256693209*c_0110_6^5 + 4411169009493470679013042692/2068116679\ 491427301256693209*c_0110_6^4 - 329080725675106820593675012/1216539\ 22323025135368040777*c_0110_6^3 + 1916661904861829596814607045/2068\ 116679491427301256693209*c_0110_6^2 + 782963360647318864521838161/2068116679491427301256693209*c_0110_6 + 367069396511576188200536796/2068116679491427301256693209, c_0101_2 - 10522113415958925299640336170/2068116679491427301256693209*c\ _0110_6^23 + 65626313688886174256524627724/206811667949142730125669\ 3209*c_0110_6^22 - 16443083570912977841627646113/121653922323025135\ 368040777*c_0110_6^21 + 850327980888628961955840144939/206811667949\ 1427301256693209*c_0110_6^20 - 94275191271226156803330753460/121653\ 922323025135368040777*c_0110_6^19 + 1951711744866595446238454470609/2068116679491427301256693209*c_0110\ _6^18 - 402809747707162171522592219976/2068116679491427301256693209\ *c_0110_6^17 - 5756439993943365862243645703156/20681166794914273012\ 56693209*c_0110_6^16 + 10848292478852336191660763054426/20681166794\ 91427301256693209*c_0110_6^15 - 2151519609957615073421801011837/206\ 8116679491427301256693209*c_0110_6^14 - 8609051253060658539745793749845/2068116679491427301256693209*c_0110\ _6^13 - 1612563630801065419708208740009/206811667949142730125669320\ 9*c_0110_6^12 + 13582293889501563637218048594661/206811667949142730\ 1256693209*c_0110_6^11 - 2351351174634308764059595021585/2068116679\ 491427301256693209*c_0110_6^10 - 10120677180923439776120504717372/2\ 068116679491427301256693209*c_0110_6^9 + 6394460564190626967667776567075/2068116679491427301256693209*c_0110\ _6^8 + 328669778629991953096783089717/2068116679491427301256693209*\ c_0110_6^7 - 1903362287901386408299660364910/2068116679491427301256\ 693209*c_0110_6^6 - 166798035885453257458910195687/2068116679491427\ 301256693209*c_0110_6^5 + 1209765954682261150817810035699/206811667\ 9491427301256693209*c_0110_6^4 + 4824647863619215756622396154/12165\ 3922323025135368040777*c_0110_6^3 - 349939080577730618988595891843/2068116679491427301256693209*c_0110_\ 6^2 - 26820140775419344339813341083/2068116679491427301256693209*c_\ 0110_6 + 18448134301789493767406160895/2068116679491427301256693209\ , c_0101_3 + 7485835940441934103870804483/2068116679491427301256693209*c_\ 0110_6^23 - 48614036844004616380837332593/2068116679491427301256693\ 209*c_0110_6^22 + 12390417278550762319813770345/1216539223230251353\ 68040777*c_0110_6^21 - 654621407717458972120079435409/2068116679491\ 427301256693209*c_0110_6^20 + 75857378706107422900202253648/1216539\ 22323025135368040777*c_0110_6^19 - 1663151224684415845212418452290/2068116679491427301256693209*c_0110\ _6^18 + 609800371944977336607230646358/2068116679491427301256693209\ *c_0110_6^17 + 4059830318773277239773512496620/20681166794914273012\ 56693209*c_0110_6^16 - 8770625817295941816873781553224/206811667949\ 1427301256693209*c_0110_6^15 + 3376515103456375130926305979516/2068\ 116679491427301256693209*c_0110_6^14 + 5969017818815609760928915861336/2068116679491427301256693209*c_0110\ _6^13 - 434065954374907943591786483630/2068116679491427301256693209\ *c_0110_6^12 - 10197315967889470622510432024381/2068116679491427301\ 256693209*c_0110_6^11 + 4105373265991732103922352441811/20681166794\ 91427301256693209*c_0110_6^10 + 7105043597654618314234543641316/206\ 8116679491427301256693209*c_0110_6^9 - 6405465153418040527065055240585/2068116679491427301256693209*c_0110\ _6^8 + 655433167086175049884263335010/2068116679491427301256693209*\ c_0110_6^7 + 1530949208267014507313746354802/2068116679491427301256\ 693209*c_0110_6^6 - 180804921406953814407660752530/2068116679491427\ 301256693209*c_0110_6^5 - 943919524102930514053498151233/2068116679\ 491427301256693209*c_0110_6^4 + 9279493540107372021913041605/121653\ 922323025135368040777*c_0110_6^3 + 293778904679087884893062746051/2068116679491427301256693209*c_0110_\ 6^2 - 37706549466652834570360945684/2068116679491427301256693209*c_\ 0110_6 - 28853296780214442295094287118/2068116679491427301256693209\ , c_0110_6^24 - 6*c_0110_6^23 + 25*c_0110_6^22 - 74*c_0110_6^21 + 131*c_0110_6^20 - 143*c_0110_6^19 - 17*c_0110_6^18 + 569*c_0110_6^17 - 901*c_0110_6^16 - 87*c_0110_6^15 + 941*c_0110_6^14 + 351*c_0110_6^13 - 1320*c_0110_6^12 - 116*c_0110_6^11 + 1112*c_0110_6^10 - 371*c_0110_6^9 - 251*c_0110_6^8 + 204*c_0110_6^7 + 68*c_0110_6^6 - 123*c_0110_6^5 - 40*c_0110_6^4 + 39*c_0110_6^3 + 13*c_0110_6^2 - 3*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB