Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 3768679622] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s111 geometric_solution 3.98134358 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739008881176 0.049538231159 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.540558106569 0.152990382343 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.494800120984 2.363880661154 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 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 -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.450779844883 0.881660642103 5 5 3 5 1302 1023 0132 3012 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 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.475524646720 0.857208351568 4 4 4 3 1023 2031 1230 0132 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 -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.475524646720 0.857208351568 ==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_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_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_5' : d['c_0110_4'], 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 265258755990824841067549992/14850801349009484421549559*c_0110_4^16 - 4714190147639240161963963890/14850801349009484421549559*c_0110_4^15 + 37142101632466799167464888214/14850801349009484421549559*c_0110_4\ ^14 - 80742880632282517188070499639/14850801349009484421549559*c_01\ 10_4^13 + 25737531426635551800754006002/14850801349009484421549559*\ c_0110_4^12 + 116079070984847027828208412317/1485080134900948442154\ 9559*c_0110_4^11 - 408440237527009936226423181394/14850801349009484\ 421549559*c_0110_4^10 + 127621136781156391932960004472/148508013490\ 09484421549559*c_0110_4^9 + 340086164285844459631217373566/14850801\ 349009484421549559*c_0110_4^8 - 195522643899947394131229952997/1485\ 0801349009484421549559*c_0110_4^7 + 572580945095105108383253016/82048626237621460892539*c_0110_4^6 - 18593126431143174152885088157/14850801349009484421549559*c_0110_4^5 - 94042988836049490471041521495/14850801349009484421549559*c_0110_4\ ^4 + 23512313476121462579619767941/14850801349009484421549559*c_011\ 0_4^3 + 14078137919916565740836933437/14850801349009484421549559*c_\ 0110_4^2 - 1657449758274425232016018353/14850801349009484421549559*\ c_0110_4 - 522455579702709461812407275/14850801349009484421549559, c_0011_0 - 1, c_0011_4 - 2393677368639707988304081/14850801349009484421549559*c_0110_\ 4^16 + 42271903746964872177832799/14850801349009484421549559*c_0110\ _4^15 - 330918708436514738797570419/14850801349009484421549559*c_01\ 10_4^14 + 700245570117576463774081677/14850801349009484421549559*c_\ 0110_4^13 - 222631224360995320379453594/14850801349009484421549559*\ c_0110_4^12 - 922502252600328086688123086/1485080134900948442154955\ 9*c_0110_4^11 + 3515904574168062164820663269/1485080134900948442154\ 9559*c_0110_4^10 - 921422512393104550369421239/14850801349009484421\ 549559*c_0110_4^9 - 2440841423197630699733442044/148508013490094844\ 21549559*c_0110_4^8 + 1238110942540055699311995898/1485080134900948\ 4421549559*c_0110_4^7 - 6480389718593679498358634/82048626237621460\ 892539*c_0110_4^6 + 331721895544188656333299522/1485080134900948442\ 1549559*c_0110_4^5 + 582407841688743970458074448/148508013490094844\ 21549559*c_0110_4^4 - 67922989164515471085201248/148508013490094844\ 21549559*c_0110_4^3 - 65440072339663861124669747/148508013490094844\ 21549559*c_0110_4^2 - 28739190148551734233964046/148508013490094844\ 21549559*c_0110_4 + 3866750704986015930089920/148508013490094844215\ 49559, c_0101_0 + 12009514501395342633960819/14850801349009484421549559*c_0110\ _4^16 - 213036589887642482097659866/14850801349009484421549559*c_01\ 10_4^15 + 1674289338988864393086639634/14850801349009484421549559*c\ _0110_4^14 - 3595099079816812982276684339/1485080134900948442154955\ 9*c_0110_4^13 + 1001556756192532288438112302/1485080134900948442154\ 9559*c_0110_4^12 + 5428493889848610629694336815/1485080134900948442\ 1549559*c_0110_4^11 - 18456879365146577909281951792/148508013490094\ 84421549559*c_0110_4^10 + 5078960675449872886444199317/148508013490\ 09484421549559*c_0110_4^9 + 16136474455833514504982193399/148508013\ 49009484421549559*c_0110_4^8 - 9065013539580092199982234253/1485080\ 1349009484421549559*c_0110_4^7 + 22895433110922496500412583/8204862\ 6237621460892539*c_0110_4^6 - 122354472736005161176683188/148508013\ 49009484421549559*c_0110_4^5 - 4546401829123165065573399372/1485080\ 1349009484421549559*c_0110_4^4 + 1185605564074437869497944970/14850\ 801349009484421549559*c_0110_4^3 + 727193786647712275479201017/14850801349009484421549559*c_0110_4^2 - 154148322991073287061287963/14850801349009484421549559*c_0110_4 - 29694500996126921830044111/14850801349009484421549559, c_0101_1 - 29364731311036276944466402/14850801349009484421549559*c_0110\ _4^16 + 524909589431042949156848675/14850801349009484421549559*c_01\ 10_4^15 - 4164621314350831060505003860/14850801349009484421549559*c\ _0110_4^14 + 9344881148935167709539268753/1485080134900948442154955\ 9*c_0110_4^13 - 3628083121784721270405741076/1485080134900948442154\ 9559*c_0110_4^12 - 12838681621561733857795454922/148508013490094844\ 21549559*c_0110_4^11 + 46573979133343959666494034502/14850801349009\ 484421549559*c_0110_4^10 - 18368036097544652389272153313/1485080134\ 9009484421549559*c_0110_4^9 - 37689051788827220742942107735/1485080\ 1349009484421549559*c_0110_4^8 + 25593184396132367219587847913/1485\ 0801349009484421549559*c_0110_4^7 - 69239979284370081882701345/82048626237621460892539*c_0110_4^6 + 2928355749332248793445940959/14850801349009484421549559*c_0110_4^5 + 10641425831531361335421615109/14850801349009484421549559*c_0110_4^4 - 3691514962878359999486684555/14850801349009484421549559*c_0110_4^\ 3 - 1587630777649337973957229091/14850801349009484421549559*c_0110_\ 4^2 + 321980498389022362101057308/14850801349009484421549559*c_0110\ _4 + 60990383620466318550321246/14850801349009484421549559, c_0101_3 + 6030115440188536814859342/14850801349009484421549559*c_0110_\ 4^16 - 105237635012562824904840382/14850801349009484421549559*c_011\ 0_4^15 + 810936031437289253263781699/14850801349009484421549559*c_0\ 110_4^14 - 1580446677645222656861334398/14850801349009484421549559*\ c_0110_4^13 + 111872655210833777040286552/1485080134900948442154955\ 9*c_0110_4^12 + 2627979164622343983964764828/1485080134900948442154\ 9559*c_0110_4^11 - 8469530228581271154522722129/1485080134900948442\ 1549559*c_0110_4^10 + 278070066031791184767400624/14850801349009484\ 421549559*c_0110_4^9 + 7524116735375008625372880196/148508013490094\ 84421549559*c_0110_4^8 - 2242148589678027988510696215/1485080134900\ 9484421549559*c_0110_4^7 + 9919677204086093762232863/82048626237621\ 460892539*c_0110_4^6 + 215665391746661896619085478/1485080134900948\ 4421549559*c_0110_4^5 - 1958605034753663583883514084/14850801349009\ 484421549559*c_0110_4^4 - 22904137692982259714167972/14850801349009\ 484421549559*c_0110_4^3 + 279671542582782964198809793/1485080134900\ 9484421549559*c_0110_4^2 + 32519932783069675378051868/1485080134900\ 9484421549559*c_0110_4 - 8443686548837553260567582/1485080134900948\ 4421549559, c_0110_4^17 - 18*c_0110_4^16 + 144*c_0110_4^15 - 335*c_0110_4^14 + 156*c_0110_4^13 + 439*c_0110_4^12 - 1650*c_0110_4^11 + 803*c_0110_4^10 + 1288*c_0110_4^9 - 1079*c_0110_4^8 + 480*c_0110_4^7 - 98*c_0110_4^6 - 380*c_0110_4^5 + 182*c_0110_4^4 + 54*c_0110_4^3 - 27*c_0110_4^2 - 2*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB