Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 896837688] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2845 geometric_solution 6.06782090 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 -1 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 -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 -0.693288641689 0.663409299004 0 0 3 2 0132 3201 0132 0132 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 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.800766335855 1.805506123159 4 5 1 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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.402273284116 1.210778944127 5 4 6 1 3201 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402273284116 1.210778944127 2 3 4 4 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 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 -1 1 1 0 -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.127472575716 0.488753976002 5 2 5 3 2310 0132 3201 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 0.364725918379 1.040771631906 6 3 2 6 3201 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141166353665 0.539539927898 ==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_0011_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(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' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2000412861494248439195323610309/9329239279803745282734844189*c_0101\ _4^21 + 23434648562778574220125673937585/93292392798037452827348441\ 89*c_0101_4^20 - 124121145911739001646292492355457/9329239279803745\ 282734844189*c_0101_4^19 - 203964274241893991483132128380526/932923\ 9279803745282734844189*c_0101_4^18 + 916286831439640500816050414796773/9329239279803745282734844189*c_01\ 01_4^17 + 103014732969030093584754115187988/84811266180034048024862\ 2199*c_0101_4^16 - 3056893633834045233297704555346141/9329239279803\ 745282734844189*c_0101_4^15 - 5444524608644642523331099883690167/93\ 29239279803745282734844189*c_0101_4^14 + 8514074142882531596523011480456482/9329239279803745282734844189*c_0\ 101_4^13 + 14691357367548705924364049585520181/93292392798037452827\ 34844189*c_0101_4^12 - 20554031969186207835725559249212190/93292392\ 79803745282734844189*c_0101_4^11 - 18876341103878212221909353893438701/9329239279803745282734844189*c_\ 0101_4^10 + 29377478201855096518452753007800245/9329239279803745282\ 734844189*c_0101_4^9 + 12103213125795956443950867021968994/93292392\ 79803745282734844189*c_0101_4^8 - 228475482580695244815696398631959\ 63/9329239279803745282734844189*c_0101_4^7 - 3979721984604121859396721592176872/9329239279803745282734844189*c_0\ 101_4^6 + 9351175098670076604878317598908907/9329239279803745282734\ 844189*c_0101_4^5 + 716109169611777045602065730729333/9329239279803\ 745282734844189*c_0101_4^4 - 1765487658779059219463860293543557/932\ 9239279803745282734844189*c_0101_4^3 - 68013248417994249320408922947233/9329239279803745282734844189*c_010\ 1_4^2 + 4029520766253238093014245516823/405619099121901968814558443\ *c_0101_4 - 7145233530683935881233684108179/93292392798037452827348\ 44189, c_0011_0 - 1, c_0011_2 + 1102188209434061859229772878/36874463556536542619505313*c_01\ 01_4^21 + 12371998147933008420179973041/36874463556536542619505313*\ c_0101_4^20 - 73526697739748222800904875180/36874463556536542619505\ 313*c_0101_4^19 - 66583728079840362117446683642/3687446355653654261\ 9505313*c_0101_4^18 + 469986034286541356522337276794/36874463556536\ 542619505313*c_0101_4^17 + 386147606956502018573912465475/368744635\ 56536542619505313*c_0101_4^16 - 1502306628556461902384589943509/368\ 74463556536542619505313*c_0101_4^15 - 2192806646217517442622735948491/36874463556536542619505313*c_0101_4\ ^14 + 4616185587352697608919990056853/36874463556536542619505313*c_\ 0101_4^13 + 4823798463386142267109128172634/36874463556536542619505\ 313*c_0101_4^12 - 9630520446015130311161275004135/36874463556536542\ 619505313*c_0101_4^11 - 4859749097331274112576785410327/36874463556\ 536542619505313*c_0101_4^10 + 11485648608860471393517060410362/3687\ 4463556536542619505313*c_0101_4^9 + 2425484285853156733306327503756/36874463556536542619505313*c_0101_4\ ^8 - 7717664454975736552455527189684/36874463556536542619505313*c_0\ 101_4^7 - 635255421918298773138456561499/36874463556536542619505313\ *c_0101_4^6 + 2796781331829395558554894529472/368744635565365426195\ 05313*c_0101_4^5 + 120197018049541054856654606212/36874463556536542\ 619505313*c_0101_4^4 - 466646770407838498861865335977/3687446355653\ 6542619505313*c_0101_4^3 - 18007549512587820898453728846/3687446355\ 6536542619505313*c_0101_4^2 + 19979710134437155716644760667/3687446\ 3556536542619505313*c_0101_4 - 1306551686158954792963489236/3687446\ 3556536542619505313, c_0011_6 - 454407346724398100606801849/36874463556536542619505313*c_010\ 1_4^21 - 5092845805356507528442310547/36874463556536542619505313*c_\ 0101_4^20 + 30414907869273041102259442740/3687446355653654261950531\ 3*c_0101_4^19 + 27081643632685130944418098410/368744635565365426195\ 05313*c_0101_4^18 - 195080287569428417749582228344/3687446355653654\ 2619505313*c_0101_4^17 - 156851670844009956355129655635/36874463556\ 536542619505313*c_0101_4^16 + 627176979349890273448705970452/368744\ 63556536542619505313*c_0101_4^15 + 899175602096585734406624989914/36874463556536542619505313*c_0101_4^\ 14 - 1933159671177162251906097063987/36874463556536542619505313*c_0\ 101_4^13 - 1984647490837787552404472859944/368744635565365426195053\ 13*c_0101_4^12 + 4046164731588498214780672772877/368744635565365426\ 19505313*c_0101_4^11 + 1994900084031278229269857969365/368744635565\ 36542619505313*c_0101_4^10 - 4850950818781178050823201126893/368744\ 63556536542619505313*c_0101_4^9 - 978999493253771029345954446944/36\ 874463556536542619505313*c_0101_4^8 + 3284632114181953544826264366558/36874463556536542619505313*c_0101_4\ ^7 + 241730409885205980074029488738/36874463556536542619505313*c_01\ 01_4^6 - 1203514491109513852581357145980/36874463556536542619505313\ *c_0101_4^5 - 42238086068658538655092192295/36874463556536542619505\ 313*c_0101_4^4 + 203877791090080198929753114995/3687446355653654261\ 9505313*c_0101_4^3 + 6553351290635215903078966037/36874463556536542\ 619505313*c_0101_4^2 - 8883865082320308325587556708/368744635565365\ 42619505313*c_0101_4 + 611738951013852577139612625/3687446355653654\ 2619505313, c_0101_0 + 399853018551335789970499646/36874463556536542619505313*c_010\ 1_4^21 + 4506935787216127437135737709/36874463556536542619505313*c_\ 0101_4^20 - 26446443507501525014028435954/3687446355653654261950531\ 3*c_0101_4^19 - 25175059278346780929835257622/368744635565365426195\ 05313*c_0101_4^18 + 168260087889231627952750863221/3687446355653654\ 2619505313*c_0101_4^17 + 146274185848192643187467396610/36874463556\ 536542619505313*c_0101_4^16 - 531770719321574397846297403055/368744\ 63556536542619505313*c_0101_4^15 - 810539676978490751724453987653/36874463556536542619505313*c_0101_4^\ 14 + 1619672257135565611131048636179/36874463556536542619505313*c_0\ 101_4^13 + 1781129492778699605795180660353/368744635565365426195053\ 13*c_0101_4^12 - 3365849694919072413306833040448/368744635565365426\ 19505313*c_0101_4^11 - 1822825151796424809585672528751/368744635565\ 36542619505313*c_0101_4^10 + 3995643713247815850213358592657/368744\ 63556536542619505313*c_0101_4^9 + 951074673983706700294035360362/36\ 874463556536542619505313*c_0101_4^8 - 2663482638849399167214712472237/36874463556536542619505313*c_0101_4\ ^7 - 271316951996813406156775637518/36874463556536542619505313*c_01\ 01_4^6 + 952307143322282831871469240878/36874463556536542619505313*\ c_0101_4^5 + 50766881341032989927880138040/368744635565365426195053\ 13*c_0101_4^4 - 156165215233215197887605253313/36874463556536542619\ 505313*c_0101_4^3 - 5747915841320043341576889797/368744635565365426\ 19505313*c_0101_4^2 + 6751133326481450637362979942/3687446355653654\ 2619505313*c_0101_4 - 453574794863672739470654940/36874463556536542\ 619505313, c_0101_1 - 633742027497069183835725154/36874463556536542619505313*c_010\ 1_4^21 - 7127986781735105764630859767/36874463556536542619505313*c_\ 0101_4^20 + 42111900692005229081151887174/3687446355653654261950531\ 3*c_0101_4^19 + 39175320443523744188010026648/368744635565365426195\ 05313*c_0101_4^18 - 269163234020272826996991219545/3687446355653654\ 2619505313*c_0101_4^17 - 227342113657481281294824373629/36874463556\ 536542619505313*c_0101_4^16 + 857767077586833868169342861753/368744\ 63556536542619505313*c_0101_4^15 + 1275539603801350774767191047712/36874463556536542619505313*c_0101_4\ ^14 - 2625067536101625343029069151068/36874463556536542619505313*c_\ 0101_4^13 - 2815693933613854212961653761364/36874463556536542619505\ 313*c_0101_4^12 + 5479458683314758175887079822618/36874463556536542\ 619505313*c_0101_4^11 + 2878638126873878675301479958281/36874463556\ 536542619505313*c_0101_4^10 - 6557434024331426148471022518662/36874\ 463556536542619505313*c_0101_4^9 - 1480848337911149194690738482842/36874463556536542619505313*c_0101_4\ ^8 + 4431196117464459791177702390781/36874463556536542619505313*c_0\ 101_4^7 + 401265607531153743390212910211/36874463556536542619505313\ *c_0101_4^6 - 1620119261065469790500319467773/368744635565365426195\ 05313*c_0101_4^5 - 67968229479142736195441947232/368744635565365426\ 19505313*c_0101_4^4 + 275302766335609006385824485117/36874463556536\ 542619505313*c_0101_4^3 + 6844097178664333579233989264/368744635565\ 36542619505313*c_0101_4^2 - 12643358884787444301124134927/368744635\ 56536542619505313*c_0101_4 + 955117407178578801965178257/3687446355\ 6536542619505313, c_0101_3 + 997900394284038290369411644/36874463556536542619505313*c_010\ 1_4^21 + 11216211323821727978839876840/36874463556536542619505313*c\ _0101_4^20 - 66425244414175035807733327461/368744635565365426195053\ 13*c_0101_4^19 - 61508276425881464522228500156/36874463556536542619\ 505313*c_0101_4^18 + 426231060825277853962646697293/368744635565365\ 42619505313*c_0101_4^17 + 356217999176828943335414018486/3687446355\ 6536542619505313*c_0101_4^16 - 1364118178102014244840949361865/3687\ 4463556536542619505313*c_0101_4^15 - 2007349825261697070112986548048/36874463556536542619505313*c_0101_4\ ^14 + 4178614449467847570461557361635/36874463556536542619505313*c_\ 0101_4^13 + 4453827407017544300605390988951/36874463556536542619505\ 313*c_0101_4^12 - 8754707100165629962893430952495/36874463556536542\ 619505313*c_0101_4^11 - 4553383977839110165174824392204/36874463556\ 536542619505313*c_0101_4^10 + 10519231551868452077023238888125/3687\ 4463556536542619505313*c_0101_4^9 + 2314406775233840236936162019817/36874463556536542619505313*c_0101_4\ ^8 - 7122342951848970183793524174670/36874463556536542619505313*c_0\ 101_4^7 - 611819912458882001837215603046/36874463556536542619505313\ *c_0101_4^6 + 2599165907253497413390542761175/368744635565365426195\ 05313*c_0101_4^5 + 110077116572571851412865807752/36874463556536542\ 619505313*c_0101_4^4 - 436768692792828348607230155780/3687446355653\ 6542619505313*c_0101_4^3 - 15297295717397182997493193201/3687446355\ 6536542619505313*c_0101_4^2 + 18988161943216084925031531162/3687446\ 3556536542619505313*c_0101_4 - 1272957382948964830232205439/3687446\ 3556536542619505313, c_0101_4^22 + 12*c_0101_4^21 - 58*c_0101_4^20 - 112*c_0101_4^19 + 379*c_0101_4^18 + 680*c_0101_4^17 - 1088*c_0101_4^16 - 3041*c_0101_4^15 + 2637*c_0101_4^14 + 7600*c_0101_4^13 - 5321*c_0101_4^12 - 11134*c_0101_4^11 + 6957*c_0101_4^10 + 10227*c_0101_4^9 - 5251*c_0101_4^8 - 5973*c_0101_4^7 + 2072*c_0101_4^6 + 2065*c_0101_4^5 - 339*c_0101_4^4 - 343*c_0101_4^3 + 7*c_0101_4^2 + 13*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB