Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 3052677342] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3191 geometric_solution 6.34054402 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 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 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.367425826829 0.646017809841 0 5 6 5 0132 0132 0132 3012 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 -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.088884624280 1.284836972899 6 0 4 6 0213 0132 1230 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.474008344252 1.306166113584 3 4 3 0 2031 2103 1302 0132 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 0 0 0.635117218579 0.438848243450 5 3 0 2 3201 2103 0132 3012 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 0 1 -1 0 0 0 0 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.773801359418 0.790246394280 6 1 1 4 2031 0132 1230 2310 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 -1 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.946413290701 0.774601748292 2 2 5 1 0213 1302 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295690248358 1.466186779167 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_4'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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_5']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0110_4']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0011_3']})} 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_0011_6, c_0101_1, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 13433787520488353472403756827704/118143226003816322380233635513787*\ c_0101_5^17 + 8435003759688056564646121910730/131270251115351469311\ 37070612643*c_0101_5^16 - 70698951190296188466806590478629/11814322\ 6003816322380233635513787*c_0101_5^15 + 59235569927383456712049394642030/118143226003816322380233635513787*\ c_0101_5^14 + 12316201767680709862599463614286/39381075334605440793\ 411211837929*c_0101_5^13 - 502076104510834339448847631628993/118143\ 226003816322380233635513787*c_0101_5^12 + 2308617763603141400016570372791621/11814322600381632238023363551378\ 7*c_0101_5^11 - 852899378120042555047178415276727/39381075334605440\ 793411211837929*c_0101_5^10 - 15177505536558559286238174314749/2881\ 542097654056643420332573507*c_0101_5^9 + 787741940069124369487915187382518/118143226003816322380233635513787\ *c_0101_5^8 - 2095785160697756636593806753969857/393810753346054407\ 93411211837929*c_0101_5^7 + 11806654291452139464201698273279998/118\ 143226003816322380233635513787*c_0101_5^6 - 3786552464724480306064164984241429/39381075334605440793411211837929\ *c_0101_5^5 - 9640552793636995079758239877405235/118143226003816322\ 380233635513787*c_0101_5^4 + 18495808299778673100489767508136270/11\ 8143226003816322380233635513787*c_0101_5^3 - 3909413953654692548494129251150134/11814322600381632238023363551378\ 7*c_0101_5^2 + 1988401331530586904354666375504866/11814322600381632\ 2380233635513787*c_0101_5 + 474176348198016381168002489947736/11814\ 3226003816322380233635513787, c_0011_0 - 1, c_0011_3 - 899889000544803671522553971/109088851342397342918036597889*c\ _0101_5^17 + 1390100005824583465861940670/3636295044746578097267886\ 5963*c_0101_5^16 - 31784027533768400146476250/109088851342397342918\ 036597889*c_0101_5^15 + 1494900364840649148817349149/10908885134239\ 7342918036597889*c_0101_5^14 + 1778689699868682794072710616/3636295\ 0447465780972678865963*c_0101_5^13 - 28789651765288459435083105497/109088851342397342918036597889*c_0101\ _5^12 + 122395009602279080011381313690/1090888513423973429180365978\ 89*c_0101_5^11 - 9328037464053245506092502918/363629504474657809726\ 78865963*c_0101_5^10 - 3559411591410477626664616159/266070369127798\ 3973610648729*c_0101_5^9 - 36321951535397334056345226877/1090888513\ 42397342918036597889*c_0101_5^8 - 129947766426856509804390890124/36\ 362950447465780972678865963*c_0101_5^7 + 351244539156821121156427246795/109088851342397342918036597889*c_010\ 1_5^6 - 50033651340392005921971853581/36362950447465780972678865963\ *c_0101_5^5 - 1185401436796231551936389553347/109088851342397342918\ 036597889*c_0101_5^4 + 304351624292127748001362254475/1090888513423\ 97342918036597889*c_0101_5^3 + 542660133189415532569556762524/10908\ 8851342397342918036597889*c_0101_5^2 + 76240354638912471844394086052/109088851342397342918036597889*c_0101\ _5 + 78233863291972020461325965336/109088851342397342918036597889, c_0011_4 + 15738115979095557422858732/36362950447465780972678865963*c_0\ 101_5^17 - 69777262072777621656940681/36362950447465780972678865963\ *c_0101_5^16 + 38643392759705909059967375/3636295044746578097267886\ 5963*c_0101_5^15 - 332327051067702263468284552/36362950447465780972\ 678865963*c_0101_5^14 + 241302357102403304180549418/363629504474657\ 80972678865963*c_0101_5^13 + 70550817224993921453192121/36362950447\ 465780972678865963*c_0101_5^12 - 1811154097009989367680811829/36362\ 950447465780972678865963*c_0101_5^11 + 1792758691894522253611658779/36362950447465780972678865963*c_0101_5\ ^10 - 146126358892898413176242847/886901230425994657870216243*c_010\ 1_5^9 + 12801107683458056024461118129/36362950447465780972678865963\ *c_0101_5^8 + 5622508825742782544037074428/363629504474657809726788\ 65963*c_0101_5^7 + 106337541716927712889975354/36362950447465780972\ 678865963*c_0101_5^6 + 20799693224343674599279128198/36362950447465\ 780972678865963*c_0101_5^5 - 18002735427331181189758404750/36362950\ 447465780972678865963*c_0101_5^4 + 37056128849208442037090492839/36362950447465780972678865963*c_0101_\ 5^3 + 14017611228979686521314241614/36362950447465780972678865963*c\ _0101_5^2 - 66071077974015647255333647480/3636295044746578097267886\ 5963*c_0101_5 + 56202285072226062307391798/363629504474657809726788\ 65963, c_0011_6 - 600791893883972853220959348/36362950447465780972678865963*c_\ 0101_5^17 + 2982097482895657237890536829/36362950447465780972678865\ 963*c_0101_5^16 - 1049749187002780207136201015/36362950447465780972\ 678865963*c_0101_5^15 + 1533660958822746279605419596/36362950447465\ 780972678865963*c_0101_5^14 + 3197925478905671019777902371/36362950\ 447465780972678865963*c_0101_5^13 - 20390595435727014459013911282/36362950447465780972678865963*c_0101_\ 5^12 + 89245470964133353125877399424/36362950447465780972678865963*\ c_0101_5^11 - 50636690162185056242391301214/36362950447465780972678\ 865963*c_0101_5^10 - 1799221704929117374750679152/88690123042599465\ 7870216243*c_0101_5^9 + 1169593771009528719031179750/36362950447465\ 780972678865963*c_0101_5^8 - 273914024989452785784834614444/3636295\ 0447465780972678865963*c_0101_5^7 + 331884820335946205125151624984/36362950447465780972678865963*c_0101\ _5^6 - 260586739087388798234524224425/36362950447465780972678865963\ *c_0101_5^5 - 676065450262124724103938121947/3636295044746578097267\ 8865963*c_0101_5^4 + 413623342038201149909553269417/363629504474657\ 80972678865963*c_0101_5^3 + 147345049828955903050889353565/36362950\ 447465780972678865963*c_0101_5^2 + 31453569710588781395551319180/36362950447465780972678865963*c_0101_\ 5 + 12760828345126691401321819814/36362950447465780972678865963, c_0101_1 + 2958015003801371700389042/36362950447465780972678865963*c_01\ 01_5^17 + 948040960088698920913522/36362950447465780972678865963*c_\ 0101_5^16 - 63861232065174878256162597/3636295044746578097267886596\ 3*c_0101_5^15 + 29769347748301793958800249/363629504474657809726788\ 65963*c_0101_5^14 - 347117126086709121970229762/3636295044746578097\ 2678865963*c_0101_5^13 + 341874867231649941993776846/36362950447465\ 780972678865963*c_0101_5^12 - 373151433345211833605164179/363629504\ 47465780972678865963*c_0101_5^11 - 1539016716660263171245019965/36362950447465780972678865963*c_0101_5\ ^10 + 51589812861191994364733277/886901230425994657870216243*c_0101\ _5^9 - 5982306669597430825124789601/36362950447465780972678865963*c\ _0101_5^8 + 14182500690233296608542800743/3636295044746578097267886\ 5963*c_0101_5^7 + 3939398288579802046515709530/36362950447465780972\ 678865963*c_0101_5^6 + 1529142758545387500777104556/363629504474657\ 80972678865963*c_0101_5^5 + 23961811263407340946995014096/363629504\ 47465780972678865963*c_0101_5^4 - 20037849749946524919626065646/363\ 62950447465780972678865963*c_0101_5^3 + 36653838808691455485837583127/36362950447465780972678865963*c_0101_\ 5^2 + 13609405158455097226660553818/36362950447465780972678865963*c\ _0101_5 - 29873776366762743097876567869/363629504474657809726788659\ 63, c_0101_5^18 - 5*c_0101_5^17 + 2*c_0101_5^16 - 3*c_0101_5^15 - 5*c_0101_5^14 + 34*c_0101_5^13 - 150*c_0101_5^12 + 92*c_0101_5^11 + 109*c_0101_5^10 + 3*c_0101_5^9 + 467*c_0101_5^8 - 569*c_0101_5^7 + 481*c_0101_5^6 + 1069*c_0101_5^5 - 688*c_0101_5^4 - 136*c_0101_5^3 - 138*c_0101_5^2 - 56*c_0101_5 - 19, c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB