Magma V2.19-8 Tue Aug 20 2013 16:19:18 on localhost [Seed = 745386274] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3417 geometric_solution 6.58418388 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 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.410101331394 0.632577001788 0 4 0 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410101331394 0.632577001788 5 0 6 3 0132 0132 0132 1230 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 -1 1 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.227119976547 1.364046155501 2 1 0 4 3012 2310 0132 2103 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 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 1.178979517055 0.954082181962 5 1 6 3 1023 0132 3201 2103 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 -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.227119976547 1.364046155501 2 4 5 5 0132 1023 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.083116357453 0.916390691366 4 6 6 2 2310 3201 2310 0132 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 0 1 -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.168503984630 0.888073587503 ==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_0101_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_6']})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 3*c_0101_2 - 5, c_0011_0 - 1, c_0011_3 + 1, c_0011_6 - c_0101_2, c_0101_0 - c_0101_2, c_0101_1 + c_0101_2, c_0101_2^2 - c_0101_2 - 1, c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 693717199680049838855808445490/8483428515276821109801561797*c_0101_\ 6^16 + 19106401090701164550777582503626/848342851527682110980156179\ 7*c_0101_6^15 + 23091629116947093878305660221873/848342851527682110\ 9801561797*c_0101_6^14 + 118539716866836561420209473911079/84834285\ 15276821109801561797*c_0101_6^13 + 248922527519370927423172209518374/8483428515276821109801561797*c_01\ 01_6^12 + 308735209056042025366625826731315/84834285152768211098015\ 61797*c_0101_6^11 + 611220001816774623672209131669915/8483428515276\ 821109801561797*c_0101_6^10 + 376063366462231324531846410289633/848\ 3428515276821109801561797*c_0101_6^9 + 652587348706352760123358650992469/8483428515276821109801561797*c_01\ 01_6^8 + 223910180328313740461870085951954/848342851527682110980156\ 1797*c_0101_6^7 + 357218946569421686907579619019676/848342851527682\ 1109801561797*c_0101_6^6 + 66866691349068881138925792942028/8483428\ 515276821109801561797*c_0101_6^5 + 102820779026130533688176319422027/8483428515276821109801561797*c_01\ 01_6^4 + 10241793130084614622723588581474/8483428515276821109801561\ 797*c_0101_6^3 + 13254787388448637143190399551278/84834285152768211\ 09801561797*c_0101_6^2 + 474288613949358805166786330348/84834285152\ 76821109801561797*c_0101_6 + 687348683616905470873732029194/8483428\ 515276821109801561797, c_0011_0 - 1, c_0011_3 - 309175110928784325739828470/771220774116074646345596527*c_01\ 01_6^16 + 8651659155696239383633625478/771220774116074646345596527*\ c_0101_6^15 + 6607268955792950568715084594/771220774116074646345596\ 527*c_0101_6^14 + 46273964248915746712093297754/7712207741160746463\ 45596527*c_0101_6^13 + 87054907668205470190074770000/77122077411607\ 4646345596527*c_0101_6^12 + 80026910327522656431293609365/771220774\ 116074646345596527*c_0101_6^11 + 197380719454230419782905935285/771\ 220774116074646345596527*c_0101_6^10 + 43858603364048642538107036576/771220774116074646345596527*c_0101_6^\ 9 + 189355754467181004196512966653/771220774116074646345596527*c_01\ 01_6^8 - 15260359367561313564212775180/771220774116074646345596527*\ c_0101_6^7 + 90638919385067155321983453046/771220774116074646345596\ 527*c_0101_6^6 - 25089911039296137300625179747/77122077411607464634\ 5596527*c_0101_6^5 + 18963755080343203585533410456/7712207741160746\ 46345596527*c_0101_6^4 - 9070037878003001032102603783/7712207741160\ 74646345596527*c_0101_6^3 + 1129198039822400442573931984/7712207741\ 16074646345596527*c_0101_6^2 - 973329242486104438644676957/77122077\ 4116074646345596527*c_0101_6 + 456248972273980378894231249/77122077\ 4116074646345596527, c_0011_6 + 65870989180343709514589670/771220774116074646345596527*c_010\ 1_6^16 - 1777527710234830019266181518/771220774116074646345596527*c\ _0101_6^15 - 3340843201428134537279703935/7712207741160746463455965\ 27*c_0101_6^14 - 8741228600574903584600003978/771220774116074646345\ 596527*c_0101_6^13 - 23800405053695575596576320187/7712207741160746\ 46345596527*c_0101_6^12 - 19504464601834930362967563874/77122077411\ 6074646345596527*c_0101_6^11 - 19755244873321063595813731713/771220\ 774116074646345596527*c_0101_6^10 - 1588357301273230231970321384/771220774116074646345596527*c_0101_6^9 + 29568629932918663073073434505/771220774116074646345596527*c_0101_\ 6^8 + 26026555096262513176658697075/771220774116074646345596527*c_0\ 101_6^7 + 46462017455911830397596446371/771220774116074646345596527\ *c_0101_6^6 + 17595044062864562311580380282/77122077411607464634559\ 6527*c_0101_6^5 + 21119202168452718326415921114/7712207741160746463\ 45596527*c_0101_6^4 + 4077923482716374839271619803/7712207741160746\ 46345596527*c_0101_6^3 + 3949627137117508322232869964/7712207741160\ 74646345596527*c_0101_6^2 + 875518630781606185529847110/77122077411\ 6074646345596527*c_0101_6 + 265650543258758219321836735/77122077411\ 6074646345596527, c_0101_0 + 815686243578963739105128945/771220774116074646345596527*c_01\ 01_6^16 - 22375227466174774530780666903/771220774116074646345596527\ *c_0101_6^15 - 29654059970195451858608041935/7712207741160746463455\ 96527*c_0101_6^14 - 142005939502493601294077679225/7712207741160746\ 46345596527*c_0101_6^13 - 309939507285660738018053533557/7712207741\ 16074646345596527*c_0101_6^12 - 394953479717884719984027483581/7712\ 20774116074646345596527*c_0101_6^11 - 763709977671158617290068736986/771220774116074646345596527*c_0101_6\ ^10 - 535036260306395664466241658354/771220774116074646345596527*c_\ 0101_6^9 - 812110740884493318235798311288/7712207741160746463455965\ 27*c_0101_6^8 - 366293383697548578691382797990/77122077411607464634\ 5596527*c_0101_6^7 - 430981952166208574071433130216/771220774116074\ 646345596527*c_0101_6^6 - 132544885002606961048920023739/7712207741\ 16074646345596527*c_0101_6^5 - 116598091271057608492141426765/77122\ 0774116074646345596527*c_0101_6^4 - 26944041030348566909747757098/771220774116074646345596527*c_0101_6^\ 3 - 13954530929708598188633332245/771220774116074646345596527*c_010\ 1_6^2 - 1557327513032197334697020557/771220774116074646345596527*c_\ 0101_6 - 641783716110882528332771960/771220774116074646345596527, c_0101_1 - 815686243578963739105128945/771220774116074646345596527*c_01\ 01_6^16 + 22375227466174774530780666903/771220774116074646345596527\ *c_0101_6^15 + 29654059970195451858608041935/7712207741160746463455\ 96527*c_0101_6^14 + 142005939502493601294077679225/7712207741160746\ 46345596527*c_0101_6^13 + 309939507285660738018053533557/7712207741\ 16074646345596527*c_0101_6^12 + 394953479717884719984027483581/7712\ 20774116074646345596527*c_0101_6^11 + 763709977671158617290068736986/771220774116074646345596527*c_0101_6\ ^10 + 535036260306395664466241658354/771220774116074646345596527*c_\ 0101_6^9 + 812110740884493318235798311288/7712207741160746463455965\ 27*c_0101_6^8 + 366293383697548578691382797990/77122077411607464634\ 5596527*c_0101_6^7 + 430981952166208574071433130216/771220774116074\ 646345596527*c_0101_6^6 + 132544885002606961048920023739/7712207741\ 16074646345596527*c_0101_6^5 + 116598091271057608492141426765/77122\ 0774116074646345596527*c_0101_6^4 + 26944041030348566909747757098/771220774116074646345596527*c_0101_6^\ 3 + 13954530929708598188633332245/771220774116074646345596527*c_010\ 1_6^2 + 1557327513032197334697020557/771220774116074646345596527*c_\ 0101_6 + 641783716110882528332771960/771220774116074646345596527, c_0101_2 - 306118085890355326551110740/771220774116074646345596527*c_01\ 01_6^16 + 8510936795284170767681514191/771220774116074646345596527*\ c_0101_6^15 + 8008718578272414502379342902/771220774116074646345596\ 527*c_0101_6^14 + 49223165614260759724549477963/7712207741160746463\ 45596527*c_0101_6^13 + 94412516533678755703918499588/77122077411607\ 4646345596527*c_0101_6^12 + 100733058248068994825265531395/77122077\ 4116074646345596527*c_0101_6^11 + 218943911734766491213219648315/77\ 1220774116074646345596527*c_0101_6^10 + 62115674919880182094617852667/771220774116074646345596527*c_0101_6^\ 9 + 191951689566114087576335511152/771220774116074646345596527*c_01\ 01_6^8 - 26841223936007155378275192641/771220774116074646345596527*\ c_0101_6^7 + 71336442987206381703358633546/771220774116074646345596\ 527*c_0101_6^6 - 37968347686681286531594190125/77122077411607464634\ 5596527*c_0101_6^5 + 12126331914960354645515657502/7712207741160746\ 46345596527*c_0101_6^4 - 10586655678778012457683090952/771220774116\ 074646345596527*c_0101_6^3 + 835870340614076393862940173/7712207741\ 16074646345596527*c_0101_6^2 - 1090527120903831934399413155/7712207\ 74116074646345596527*c_0101_6 + 166784140312415666682044848/7712207\ 74116074646345596527, c_0101_6^17 - 137/5*c_0101_6^16 - 186/5*c_0101_6^15 - 878/5*c_0101_6^14 - 1914/5*c_0101_6^13 - 2477/5*c_0101_6^12 - 4709/5*c_0101_6^11 - 3311/5*c_0101_6^10 - 5046/5*c_0101_6^9 - 2214/5*c_0101_6^8 - 2753/5*c_0101_6^7 - 773/5*c_0101_6^6 - 791/5*c_0101_6^5 - 142/5*c_0101_6^4 - 108/5*c_0101_6^3 - 9/5*c_0101_6^2 - 7/5*c_0101_6 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB