Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 3718004997] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1748 geometric_solution 5.44275048 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 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 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.475544890408 0.580132006642 0 5 2 5 0132 0132 0321 2310 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 -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.808941956586 0.430513915917 4 0 1 3 3012 0132 0321 1230 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 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.857504416643 0.948538299720 2 3 3 0 3012 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.154881470453 1.030986386955 6 6 0 2 0132 3201 0132 1230 0 0 0 0 0 -1 0 1 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 -1 1 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.784969869021 0.772149661398 1 1 5 5 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.600887413811 0.142704537667 4 6 4 6 0132 1302 2310 2031 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068048793382 1.160717928780 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0110_5']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 369184333777897847936794/135451040390040173487*c_0110_5^29 - 9392400965360416767709425/90300693593360115658*c_0110_5^27 + 360359361307570813278900949/270902080780080346974*c_0110_5^25 - 2271650591894693849296410383/270902080780080346974*c_0110_5^23 + 8095212419041823262320148389/270902080780080346974*c_0110_5^21 - 8501273941112355976594833308/135451040390040173487*c_0110_5^19 + 10604541874192318930648127570/135451040390040173487*c_0110_5^17 - 7948469481341268497721741211/135451040390040173487*c_0110_5^15 + 3536773181821547169909869485/135451040390040173487*c_0110_5^13 - 919193766310814203666339718/135451040390040173487*c_0110_5^11 + 386143256711505347596424693/270902080780080346974*c_0110_5^9 - 74330712354411049601611268/135451040390040173487*c_0110_5^7 + 24643217580591432179370122/135451040390040173487*c_0110_5^5 - 7308381537982056704764597/270902080780080346974*c_0110_5^3 + 167653539562011010510523/135451040390040173487*c_0110_5, c_0011_0 - 1, c_0011_3 + 153003545892437670500/45150346796680057829*c_0110_5^28 - 5741266737468924372899/45150346796680057829*c_0110_5^26 + 70969233787124970681418/45150346796680057829*c_0110_5^24 - 423848691281411818592818/45150346796680057829*c_0110_5^22 + 1386642675577299527401670/45150346796680057829*c_0110_5^20 - 2511393784387363504996823/45150346796680057829*c_0110_5^18 + 2348765065870609573401571/45150346796680057829*c_0110_5^16 - 894046672066941822096335/45150346796680057829*c_0110_5^14 - 170951622445867978793573/45150346796680057829*c_0110_5^12 + 249214766464911517179055/45150346796680057829*c_0110_5^10 - 53797678251586848267153/45150346796680057829*c_0110_5^8 - 916222927017239255633/45150346796680057829*c_0110_5^6 - 3858798589586308787478/45150346796680057829*c_0110_5^4 + 2215413421851371121624/45150346796680057829*c_0110_5^2 - 282699859867290078841/45150346796680057829, c_0011_4 - 1387087873875199995124/45150346796680057829*c_0110_5^28 + 52674436939336399936663/45150346796680057829*c_0110_5^26 - 667159978348181275879192/45150346796680057829*c_0110_5^24 + 4143879062999564319002696/45150346796680057829*c_0110_5^22 - 14445497132235566101034894/45150346796680057829*c_0110_5^20 + 29315135040537175973067031/45150346796680057829*c_0110_5^18 - 34618431268319948732551263/45150346796680057829*c_0110_5^16 + 23906602731170215131040578/45150346796680057829*c_0110_5^14 - 9424338009061460737939320/45150346796680057829*c_0110_5^12 + 2102603480417849033579972/45150346796680057829*c_0110_5^10 - 485249808193538516040792/45150346796680057829*c_0110_5^8 + 218187043365744708913925/45150346796680057829*c_0110_5^6 - 58843482622934182708111/45150346796680057829*c_0110_5^4 + 6507414985463705710133/45150346796680057829*c_0110_5^2 - 251117751575876243488/45150346796680057829, c_0101_0 - 245972432867421112/5629017179488849*c_0110_5^28 + 9401664513166261690/5629017179488849*c_0110_5^26 - 120612228444470767876/5629017179488849*c_0110_5^24 + 763822941383274010580/5629017179488849*c_0110_5^22 - 2739747350759332426704/5629017179488849*c_0110_5^20 + 5809312711388493240929/5629017179488849*c_0110_5^18 - 7346048810217126253697/5629017179488849*c_0110_5^16 + 5601957226307309077805/5629017179488849*c_0110_5^14 - 2544007550595093533976/5629017179488849*c_0110_5^12 + 673435206161021207269/5629017179488849*c_0110_5^10 - 138938667839841986766/5629017179488849*c_0110_5^8 + 52663418208106259040/5629017179488849*c_0110_5^6 - 18039587447727166279/5629017179488849*c_0110_5^4 + 2735481820530759534/5629017179488849*c_0110_5^2 - 119832094234599816/5629017179488849, c_0101_1 - 501844445656354660/5629017179488849*c_0110_5^29 + 19200499836316321963/5629017179488849*c_0110_5^27 - 246789924994402792240/5629017179488849*c_0110_5^25 + 1567341564520678131034/5629017179488849*c_0110_5^23 - 5644856090759789086285/5629017179488849*c_0110_5^21 + 12041704412714351817601/5629017179488849*c_0110_5^19 - 15362626223073211243816/5629017179488849*c_0110_5^17 + 11853515991703690328583/5629017179488849*c_0110_5^15 - 5462207267078342111215/5629017179488849*c_0110_5^13 + 1467235103536149263404/5629017179488849*c_0110_5^11 - 299766635078064567136/5629017179488849*c_0110_5^9 + 111858093876921254569/5629017179488849*c_0110_5^7 - 39174115347006643740/5629017179488849*c_0110_5^5 + 6048945943777857401/5629017179488849*c_0110_5^3 - 269955836227879577/5629017179488849*c_0110_5, c_0101_3 + 1258172946400607123584/45150346796680057829*c_0110_5^29 - 48335247484753145290988/45150346796680057829*c_0110_5^27 + 626281478980892099054577/45150346796680057829*c_0110_5^25 - 4026334802920067182218426/45150346796680057829*c_0110_5^23 + 14764809944117078376158371/45150346796680057829*c_0110_5^21 - 32381836304748431721165290/45150346796680057829*c_0110_5^19 + 43141354637562766053047205/45150346796680057829*c_0110_5^17 - 35506466872054269779616665/45150346796680057829*c_0110_5^15 + 18007256057121081645064436/45150346796680057829*c_0110_5^13 - 5536900998709438947872938/45150346796680057829*c_0110_5^11 + 1187758455887887533123768/45150346796680057829*c_0110_5^9 - 361416544988079859007105/45150346796680057829*c_0110_5^7 + 136021629740841104163283/45150346796680057829*c_0110_5^5 - 28033226991118194276738/45150346796680057829*c_0110_5^3 + 2066869227293146739942/45150346796680057829*c_0110_5, c_0110_5^30 - 155/4*c_0110_5^28 + 1021/2*c_0110_5^26 - 6727/2*c_0110_5^24 + 51081/4*c_0110_5^22 - 117817/4*c_0110_5^20 + 168753/4*c_0110_5^18 - 38258*c_0110_5^16 + 22047*c_0110_5^14 - 7993*c_0110_5^12 + 7757/4*c_0110_5^10 - 1999/4*c_0110_5^8 + 183*c_0110_5^6 - 48*c_0110_5^4 + 6*c_0110_5^2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB