Magma V2.19-8 Tue Aug 20 2013 16:15:48 on localhost [Seed = 3330759405] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0029 geometric_solution 3.59679610 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 3.220981337774 0.279339030009 0 1 1 0 0132 3201 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 -0.555630343751 0.024048337704 0 3 3 0 3201 0132 3201 0132 0 0 0 0 0 -2 0 2 0 0 0 0 -2 2 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.045958083797 0.553246005617 2 2 4 4 2310 0132 0132 3201 0 0 0 0 0 2 -1 -1 0 0 1 -1 0 0 0 0 0 -2 2 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139637450775 0.171184865503 5 3 6 3 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 1 1 0 -2 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.865907508495 1.940111739795 4 6 6 6 0132 3201 0213 2310 0 0 0 0 0 -1 1 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 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.023517312314 1.001143398338 5 5 5 4 3201 0213 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.023517312314 1.001143398338 ==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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0101_1']), '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1124972135400737363712308426/23473570028562803886479667*c_0101_4^17 - 1626232470709083573999914683/23473570028562803886479667*c_0101_4^\ 16 - 8983944473530927587815980532/23473570028562803886479667*c_0101\ _4^15 + 46616285813602902950919119977/23473570028562803886479667*c_\ 0101_4^14 - 27748115211044897660758842415/7824523342854267962159889\ *c_0101_4^13 + 8738183836495870710819368962/23473570028562803886479\ 667*c_0101_4^12 + 79064249953128075455547309466/7824523342854267962\ 159889*c_0101_4^11 - 446461837073415053288738734603/234735700285628\ 03886479667*c_0101_4^10 + 211657882043175219483671589325/2347357002\ 8562803886479667*c_0101_4^9 - 97520218838648607347419333631/2347357\ 0028562803886479667*c_0101_4^8 + 208190290443844877209786676918/782\ 4523342854267962159889*c_0101_4^7 - 271610307931050983898242972947/7824523342854267962159889*c_0101_4^6 + 118496023849577014652181985202/23473570028562803886479667*c_0101_\ 4^5 + 262067181131823175202770662125/23473570028562803886479667*c_0\ 101_4^4 - 72068896845626975818684798126/23473570028562803886479667*\ c_0101_4^3 + 6803001706946116654189637086/2347357002856280388647966\ 7*c_0101_4^2 - 10950248370568104658743815087/2347357002856280388647\ 9667*c_0101_4 + 527881920003985762260647291/23473570028562803886479\ 667, c_0011_0 - 1, c_0011_2 - 1034899392602111521214118/2608174447618089320719963*c_0101_4\ ^17 + 2855995891681330542504275/7824523342854267962159889*c_0101_4^\ 16 + 26639249055195944123281532/7824523342854267962159889*c_0101_4^\ 15 - 38381176189669444104810806/2608174447618089320719963*c_0101_4^\ 14 + 55474934641301085128985752/2608174447618089320719963*c_0101_4^\ 13 + 25865732096433978587073525/2608174447618089320719963*c_0101_4^\ 12 - 638898140538260148627308198/7824523342854267962159889*c_0101_4\ ^11 + 299322385912059264872758053/2608174447618089320719963*c_0101_\ 4^10 - 13042143032544816259540364/2608174447618089320719963*c_0101_\ 4^9 + 114672059005547351084294725/7824523342854267962159889*c_0101_\ 4^8 - 1604237123045190923991150830/7824523342854267962159889*c_0101\ _4^7 + 1377980283397979740883346283/7824523342854267962159889*c_010\ 1_4^6 + 595607740593484003503624757/7824523342854267962159889*c_010\ 1_4^5 - 217477466273754084315169280/2608174447618089320719963*c_010\ 1_4^4 - 40353905158701921602353850/2608174447618089320719963*c_0101\ _4^3 - 6873735086041855438988188/7824523342854267962159889*c_0101_4\ ^2 + 18651482433678573341286697/7824523342854267962159889*c_0101_4 + 3339700400136729988140100/2608174447618089320719963, c_0011_4 - 7678009292793551745920204/23473570028562803886479667*c_0101_\ 4^17 + 8765778381085962153830896/23473570028562803886479667*c_0101_\ 4^16 + 64354200479361228679816337/23473570028562803886479667*c_0101\ _4^15 - 299005312547515703275068205/23473570028562803886479667*c_01\ 01_4^14 + 158069349832834294387633870/7824523342854267962159889*c_0\ 101_4^13 + 98865963117100541756708225/23473570028562803886479667*c_\ 0101_4^12 - 537280150993018946863521515/7824523342854267962159889*c\ _0101_4^11 + 2553533341172602828457416786/2347357002856280388647966\ 7*c_0101_4^10 - 591910380300772918569843061/23473570028562803886479\ 667*c_0101_4^9 + 359740463651338757984030627/2347357002856280388647\ 9667*c_0101_4^8 - 1372402050504996529496094298/78245233428542679621\ 59889*c_0101_4^7 + 476196108045737794038447784/26081744476180893207\ 19963*c_0101_4^6 + 672523705605487988559634333/23473570028562803886\ 479667*c_0101_4^5 - 1789399281004354307491074233/234735700285628038\ 86479667*c_0101_4^4 - 55621229689954467139358594/234735700285628038\ 86479667*c_0101_4^3 + 23141991364368109868030621/234735700285628038\ 86479667*c_0101_4^2 + 44435841641372561094701789/234735700285628038\ 86479667*c_0101_4 + 12856495362734945295876349/23473570028562803886\ 479667, c_0011_6 - 1311400974370807866260690/23473570028562803886479667*c_0101_\ 4^17 + 245962246286277784513843/23473570028562803886479667*c_0101_4\ ^16 + 12733941831558489887770040/23473570028562803886479667*c_0101_\ 4^15 - 40779107582674244510599732/23473570028562803886479667*c_0101\ _4^14 + 9864825647665590188433196/7824523342854267962159889*c_0101_\ 4^13 + 105076161583900784783476436/23473570028562803886479667*c_010\ 1_4^12 - 30391556631005149223885285/2608174447618089320719963*c_010\ 1_4^11 + 163147237061041724681634604/23473570028562803886479667*c_0\ 101_4^10 + 376724492196047736610870310/23473570028562803886479667*c\ _0101_4^9 - 114946382604969260179831234/23473570028562803886479667*\ c_0101_4^8 - 217428171564931281918323405/7824523342854267962159889*\ c_0101_4^7 + 15416765166756498352440326/7824523342854267962159889*c\ _0101_4^6 + 945193314938860063194263929/23473570028562803886479667*\ c_0101_4^5 - 301194032044953439307355437/23473570028562803886479667\ *c_0101_4^4 - 383496642515236042843533959/2347357002856280388647966\ 7*c_0101_4^3 + 67428310726165578505093145/2347357002856280388647966\ 7*c_0101_4^2 + 10346545163196728697444269/2347357002856280388647966\ 7*c_0101_4 + 7622512720120278809399086/23473570028562803886479667, c_0101_0 - 1906836137068776513852578/23473570028562803886479667*c_0101_\ 4^17 - 2493991384401999966865031/23473570028562803886479667*c_0101_\ 4^16 + 22440031177969326747930809/23473570028562803886479667*c_0101\ _4^15 - 36262053529011895234665193/23473570028562803886479667*c_010\ 1_4^14 - 24566390411220842928829352/7824523342854267962159889*c_010\ 1_4^13 + 355813087883506843504177340/23473570028562803886479667*c_0\ 101_4^12 - 134876918448358011646816400/7824523342854267962159889*c_\ 0101_4^11 - 369010786848528843574112840/23473570028562803886479667*\ c_0101_4^10 + 1642067363049396591843154730/234735700285628038864796\ 67*c_0101_4^9 - 619092249747677223142450114/23473570028562803886479\ 667*c_0101_4^8 - 84550700105051819650164284/26081744476180893207199\ 63*c_0101_4^7 - 492218623885559583225156845/78245233428542679621598\ 89*c_0101_4^6 + 3364173303886196605496206765/2347357002856280388647\ 9667*c_0101_4^5 - 598339365656114213783867237/234735700285628038864\ 79667*c_0101_4^4 - 1277761595393552312013358493/2347357002856280388\ 6479667*c_0101_4^3 + 229129422227361752387623763/234735700285628038\ 86479667*c_0101_4^2 + 58110808909967831107248815/234735700285628038\ 86479667*c_0101_4 + 24882752052686567699072005/23473570028562803886\ 479667, c_0101_1 - 2101519055190226530891028/7824523342854267962159889*c_0101_4\ ^17 + 2880609302694541749829514/7824523342854267962159889*c_0101_4^\ 16 + 5571908752256601756681876/2608174447618089320719963*c_0101_4^1\ 5 - 28538366134257491370134617/2608174447618089320719963*c_0101_4^1\ 4 + 50515919570024878484954745/2608174447618089320719963*c_0101_4^1\ 3 - 15052826912789864543867756/7824523342854267962159889*c_0101_4^1\ 2 - 143524492934298152274400637/2608174447618089320719963*c_0101_4^\ 11 + 270199783977438066248548130/2608174447618089320719963*c_0101_4\ ^10 - 390732714646852350833782154/7824523342854267962159889*c_0101_\ 4^9 + 225763092797215817171456797/7824523342854267962159889*c_0101_\ 4^8 - 1143918012705907080693325040/7824523342854267962159889*c_0101\ _4^7 + 1451413757905355682803862769/7824523342854267962159889*c_010\ 1_4^6 - 86051073884088780466557583/2608174447618089320719963*c_0101\ _4^5 - 134872425023915014906256294/2608174447618089320719963*c_0101\ _4^4 + 164686456792094247066727343/7824523342854267962159889*c_0101\ _4^3 - 42273977121012655445272301/7824523342854267962159889*c_0101_\ 4^2 + 897070452558368815414618/2608174447618089320719963*c_0101_4 - 729018471693139337960362/2608174447618089320719963, c_0101_4^18 - 3/2*c_0101_4^17 - 8*c_0101_4^16 + 42*c_0101_4^15 - 151/2*c_0101_4^14 + 8*c_0101_4^13 + 217*c_0101_4^12 - 817/2*c_0101_4^11 + 190*c_0101_4^10 - 123/2*c_0101_4^9 + 1091/2*c_0101_4^8 - 1497/2*c_0101_4^7 + 94*c_0101_4^6 + 291*c_0101_4^5 - 81*c_0101_4^4 - 14*c_0101_4^3 - 6*c_0101_4^2 + 2*c_0101_4 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB