Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1747580046] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0762 geometric_solution 4.70379854 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 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 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 1.731382092730 0.353260447776 0 2 3 0 0132 0132 0132 3201 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 0 0 0 1 0 -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.959194511736 0.840267119579 4 1 3 3 0132 0132 1302 3201 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 0 0 0 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.284681667654 0.632280542679 2 2 4 1 2031 2310 2310 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 -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.284681667654 0.632280542679 2 3 5 5 0132 3201 2310 0132 0 0 0 0 0 1 -1 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 -1 1 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.507401301910 0.516166900727 6 4 4 6 0132 3201 0132 3201 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.221208663692 0.739074797440 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 -1 0 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 2.269244383649 0.489188104782 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), '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_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 16489030128515063646952910914/40420824004939722613084389*c_0101_6^1\ 6 + 25831239644109970806420948691/5774403429277103230440627*c_0101_\ 6^15 + 231995685791755852713581320223/40420824004939722613084389*c_\ 0101_6^14 - 243547083676016852359288855811/134736080016465742043614\ 63*c_0101_6^13 - 207731249064401135072925903715/4042082400493972261\ 3084389*c_0101_6^12 + 639764640790627441882447655251/13473608001646\ 574204361463*c_0101_6^11 - 1973550297629960565604972942757/40420824\ 004939722613084389*c_0101_6^10 - 202812440645402665559194609793/577\ 4403429277103230440627*c_0101_6^9 + 3566519196203324729725175047360/40420824004939722613084389*c_0101_6\ ^8 - 510415258531330563393749808932/13473608001646574204361463*c_01\ 01_6^7 - 211063948807785906205031335090/13473608001646574204361463*\ c_0101_6^6 + 113579930991963532024956501487/57744034292771032304406\ 27*c_0101_6^5 - 54708084272409800436700952720/134736080016465742043\ 61463*c_0101_6^4 - 77360552119470165050431931680/404208240049397226\ 13084389*c_0101_6^3 + 36879978442406032474107004931/404208240049397\ 22613084389*c_0101_6^2 - 5477313630124026810454679114/1347360800164\ 6574204361463*c_0101_6 + 4059752298506241078709667164/4042082400493\ 9722613084389, c_0011_0 - 1, c_0011_3 + 55074495890199167449656875/5774403429277103230440627*c_0101_\ 6^16 + 603218335297315601857778762/5774403429277103230440627*c_0101\ _6^15 + 769376531314825586952452572/5774403429277103230440627*c_010\ 1_6^14 - 807089234411756355063717491/1924801143092367743480209*c_01\ 01_6^13 - 601425249501149749122128996/5774403429277103230440627*c_0\ 101_6^12 + 2119980075035974928379281012/1924801143092367743480209*c\ _0101_6^11 - 6765536125057043907894103672/5774403429277103230440627\ *c_0101_6^10 - 4446534442645037474539622671/57744034292771032304406\ 27*c_0101_6^9 + 11870455483639841351007391469/577440342927710323044\ 0627*c_0101_6^8 - 1858125933301029470147061064/19248011430923677434\ 80209*c_0101_6^7 - 599068829697269713658404350/19248011430923677434\ 80209*c_0101_6^6 + 2699147124001581839857827296/5774403429277103230\ 440627*c_0101_6^5 - 212151724629758296536158733/1924801143092367743\ 480209*c_0101_6^4 - 222008995124817690462288476/5774403429277103230\ 440627*c_0101_6^3 + 131575586779423100044863325/5774403429277103230\ 440627*c_0101_6^2 - 18791675366854172746143179/19248011430923677434\ 80209*c_0101_6 + 17301320798519602243997531/57744034292771032304406\ 27, c_0011_5 + 85414328025177816560299118/5774403429277103230440627*c_0101_\ 6^16 + 937927736989347311725683850/5774403429277103230440627*c_0101\ _6^15 + 1217810150062925221701323000/5774403429277103230440627*c_01\ 01_6^14 - 3742731142887055489246598521/5774403429277103230440627*c_\ 0101_6^13 - 362763830570791546968246547/1924801143092367743480209*c\ _0101_6^12 + 3287231071956164015615606566/1924801143092367743480209\ *c_0101_6^11 - 10142369516348571542633359699/5774403429277103230440\ 627*c_0101_6^10 - 7313948493947629585960186454/57744034292771032304\ 40627*c_0101_6^9 + 6080752574682186994961526041/1924801143092367743\ 480209*c_0101_6^8 - 2632557496545711175205017748/192480114309236774\ 3480209*c_0101_6^7 - 1043099773754621401433566500/19248011430923677\ 43480209*c_0101_6^6 + 4055873068061854003242819398/5774403429277103\ 230440627*c_0101_6^5 - 843599316000755639208067633/5774403429277103\ 230440627*c_0101_6^4 - 128289997810396693108509579/1924801143092367\ 743480209*c_0101_6^3 + 191060753601252249042742891/5774403429277103\ 230440627*c_0101_6^2 - 85053723257404133634083915/57744034292771032\ 30440627*c_0101_6 + 7768720582220767547875283/192480114309236774348\ 0209, c_0101_0 + 37058848786439674410426694/5774403429277103230440627*c_0101_\ 6^16 + 135057806524097914333014221/1924801143092367743480209*c_0101\ _6^15 + 169892653130675111524988901/1924801143092367743480209*c_010\ 1_6^14 - 1641731228453961963004664449/5774403429277103230440627*c_0\ 101_6^13 - 390929184514940991598245044/5774403429277103230440627*c_\ 0101_6^12 + 1414985365073132053229506668/1924801143092367743480209*\ c_0101_6^11 - 4640794637403622866671287556/577440342927710323044062\ 7*c_0101_6^10 - 952352331685591898118298540/19248011430923677434802\ 09*c_0101_6^9 + 7993081551422935660095233537/5774403429277103230440\ 627*c_0101_6^8 - 1312038954396367176534951825/192480114309236774348\ 0209*c_0101_6^7 - 330629372313650521818556194/192480114309236774348\ 0209*c_0101_6^6 + 1877966337274682071134241291/57744034292771032304\ 40627*c_0101_6^5 - 538501367027178762894222352/57744034292771032304\ 40627*c_0101_6^4 - 156810340347102405526759172/57744034292771032304\ 40627*c_0101_6^3 + 120184759837008566065869494/57744034292771032304\ 40627*c_0101_6^2 - 46996114192920713108687543/577440342927710323044\ 0627*c_0101_6 + 6203272741711569328134188/5774403429277103230440627\ , c_0101_1 - 22755479838641012303634299/1924801143092367743480209*c_0101_\ 6^16 - 738197996060415291845141132/5774403429277103230440627*c_0101\ _6^15 - 843338290497031245886111048/5774403429277103230440627*c_010\ 1_6^14 + 3205378363451625870596153071/5774403429277103230440627*c_0\ 101_6^13 + 455780626645854128397923455/5774403429277103230440627*c_\ 0101_6^12 - 2727265336891641073104134401/1924801143092367743480209*\ c_0101_6^11 + 3101422195736724404665437021/192480114309236774348020\ 9*c_0101_6^10 + 4942262450714147680699499566/5774403429277103230440\ 627*c_0101_6^9 - 15890175363328311606236895016/57744034292771032304\ 40627*c_0101_6^8 + 2750376674493234069884290450/1924801143092367743\ 480209*c_0101_6^7 + 718693178510777741446514379/1924801143092367743\ 480209*c_0101_6^6 - 1263707188338915406062094463/192480114309236774\ 3480209*c_0101_6^5 + 1045728767905673695332740464/57744034292771032\ 30440627*c_0101_6^4 + 327596018673945789390452992/57744034292771032\ 30440627*c_0101_6^3 - 75420676576971731447223109/192480114309236774\ 3480209*c_0101_6^2 + 85408425960690603095075729/5774403429277103230\ 440627*c_0101_6 - 20582746249044331369791169/5774403429277103230440\ 627, c_0101_4 + 76497278132970885624863605/5774403429277103230440627*c_0101_\ 6^16 + 842106931257065757802915921/5774403429277103230440627*c_0101\ _6^15 + 1112579314700507597067689852/5774403429277103230440627*c_01\ 01_6^14 - 1111717817756237708848713903/1924801143092367743480209*c_\ 0101_6^13 - 1091651163148064362006667359/5774403429277103230440627*\ c_0101_6^12 + 2945522867137089810114436517/192480114309236774348020\ 9*c_0101_6^11 - 8803830425077022055605331821/5774403429277103230440\ 627*c_0101_6^10 - 6897244514437743835214803502/57744034292771032304\ 40627*c_0101_6^9 + 16214971587474462263501904271/577440342927710323\ 0440627*c_0101_6^8 - 2166696064169079948737482911/19248011430923677\ 43480209*c_0101_6^7 - 1042198719014584532960482686/1924801143092367\ 743480209*c_0101_6^6 + 3559549086253523819470107208/577440342927710\ 3230440627*c_0101_6^5 - 210990159302604156465788721/192480114309236\ 7743480209*c_0101_6^4 - 383290003614786598754553874/577440342927710\ 3230440627*c_0101_6^3 + 165380293415603573776963388/577440342927710\ 3230440627*c_0101_6^2 - 20794138970904849322688318/1924801143092367\ 743480209*c_0101_6 + 15096116841194424776669716/5774403429277103230\ 440627, c_0101_6^17 + 116/11*c_0101_6^16 + 104/11*c_0101_6^15 - 553/11*c_0101_6^14 + 65/11*c_0101_6^13 + 1339/11*c_0101_6^12 - 1852/11*c_0101_6^11 - 397/11*c_0101_6^10 + 2775/11*c_0101_6^9 - 2011/11*c_0101_6^8 + 3/11*c_0101_6^7 + 701/11*c_0101_6^6 - 324/11*c_0101_6^5 - 10/11*c_0101_6^4 + 47/11*c_0101_6^3 - 21/11*c_0101_6^2 + 7/11*c_0101_6 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB