Magma V2.19-8 Tue Aug 20 2013 23:48:40 on localhost [Seed = 2766327305] Type ? for help. Type -D to quit. Loading file "L12a1266__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1266 geometric_solution 10.39134264 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 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 -1 1 -1 0 1 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.433751224991 0.440601329800 0 5 6 6 0132 0132 0213 0132 0 1 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 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.323809271293 1.190158136691 3 0 4 7 0132 0132 0132 0132 0 1 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 -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.794943404406 1.445015334108 2 7 8 0 0132 0132 0132 0132 0 1 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 -1 1 0 0 1 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257326535682 1.402261898513 9 6 0 2 0132 0321 0132 0132 0 1 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 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.323809271293 1.190158136691 7 1 10 10 0132 0132 0132 0321 0 1 1 1 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 -1 7 -6 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786286422613 1.240751669475 9 1 1 4 3012 0213 0132 0321 0 1 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 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.360883286825 0.635187916628 5 3 2 8 0132 0132 0132 0132 0 1 1 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 0 0 0 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285012520474 0.250825840491 10 10 7 3 0132 0213 0132 0132 0 1 1 1 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 0 0 0 0 0 -1 0 1 -5 0 6 -1 -6 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786286422613 1.240751669475 4 11 11 6 0132 0132 1023 1230 1 1 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 0 0 0 0.132163076723 0.414601760021 8 5 8 5 0132 0321 0213 0132 0 1 1 1 0 -1 0 1 -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 6 1 -7 5 0 -5 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635592344530 0.575031431156 11 9 9 11 3012 0132 1023 1230 1 1 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 0 0 0 2.120773864793 0.976767072348 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_0'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_1001_10'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_1001_1'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_10']), '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_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_1001_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_0'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : 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_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_11'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_5'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_0, c_0101_11, c_0101_5, c_1001_0, c_1001_1, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 7961988485490156657681363/3089541051584257478125*c_1100_0^17 - 19563713732309203184130522/3089541051584257478125*c_1100_0^16 - 12103594611486684496379874/3089541051584257478125*c_1100_0^15 + 402403397097538560477111018/3089541051584257478125*c_1100_0^14 - 892380717841854816017600199/3089541051584257478125*c_1100_0^13 - 915697871758182229480514121/617908210316851495625*c_1100_0^12 + 79205810944845883271921779/3089541051584257478125*c_1100_0^11 + 559661921275650479619044739/181737708916721028125*c_1100_0^10 + 399045888446900095883173641/617908210316851495625*c_1100_0^9 - 9075108991576902009804218141/3089541051584257478125*c_1100_0^8 - 2199082931418091225753049813/3089541051584257478125*c_1100_0^7 + 934993159254294089997639467/617908210316851495625*c_1100_0^6 + 1010316017280299135496451438/3089541051584257478125*c_1100_0^5 - 1295115046327361514662512259/3089541051584257478125*c_1100_0^4 - 219306819778147361103183531/3089541051584257478125*c_1100_0^3 + 167795755213112739156098061/3089541051584257478125*c_1100_0^2 + 18973874058258267546401753/3089541051584257478125*c_1100_0 - 6357266654418512418747389/3089541051584257478125, c_0011_0 - 1, c_0011_10 - 1296639237983/59660036719*c_1100_0^17 - 3383998283239/59660036719*c_1100_0^16 - 2004766346668/59660036719*c_1100_0^15 + 66306167532002/59660036719*c_1100_0^14 - 134636780101205/59660036719*c_1100_0^13 - 790536723357955/59660036719*c_1100_0^12 - 48110228970856/59660036719*c_1100_0^11 + 1802928474939340/59660036719*c_1100_0^10 + 545340820234310/59660036719*c_1100_0^9 - 1918102420886820/59660036719*c_1100_0^8 - 652398534634984/59660036719*c_1100_0^7 + 1133942855829694/59660036719*c_1100_0^6 + 342945212968658/59660036719*c_1100_0^5 - 378715276019577/59660036719*c_1100_0^4 - 85858190259035/59660036719*c_1100_0^3 + 64368884728364/59660036719*c_1100_0^2 + 8228723282506/59660036719*c_1100_0 - 3883455233516/59660036719, c_0011_11 - 322641291609/59660036719*c_1100_0^17 - 110851262885/59660036719*c_1100_0^16 + 1193910837298/59660036719*c_1100_0^15 + 17343572791241/59660036719*c_1100_0^14 - 70657335128301/59660036719*c_1100_0^13 - 109610209111049/59660036719*c_1100_0^12 + 397318977884362/59660036719*c_1100_0^11 + 381012670986021/59660036719*c_1100_0^10 - 742924009218284/59660036719*c_1100_0^9 - 551456726684262/59660036719*c_1100_0^8 + 687557600477861/59660036719*c_1100_0^7 + 395111875382085/59660036719*c_1100_0^6 - 341138486689007/59660036719*c_1100_0^5 - 151265989750489/59660036719*c_1100_0^4 + 84871488127160/59660036719*c_1100_0^3 + 31137195526881/59660036719*c_1100_0^2 - 7860952528591/59660036719*c_1100_0 - 3010916484170/59660036719, c_0011_6 + 421849378605/59660036719*c_1100_0^17 + 1296253237891/59660036719*c_1100_0^16 + 1176114624944/59660036719*c_1100_0^15 - 21207935347482/59660036719*c_1100_0^14 + 33886453486101/59660036719*c_1100_0^13 + 276746107222521/59660036719*c_1100_0^12 + 134887180701886/59660036719*c_1100_0^11 - 567203392733984/59660036719*c_1100_0^10 - 435052469959297/59660036719*c_1100_0^9 + 513422537322038/59660036719*c_1100_0^8 + 461385703914784/59660036719*c_1100_0^7 - 239775148458202/59660036719*c_1100_0^6 - 237082117117642/59660036719*c_1100_0^5 + 51934377271691/59660036719*c_1100_0^4 + 59419681730673/59660036719*c_1100_0^3 - 532710362640/59660036719*c_1100_0^2 - 5632097730959/59660036719*c_1100_0 - 1297390421656/59660036719, c_0101_0 - 1356299274702/59660036719*c_1100_0^17 - 3503318356677/59660036719*c_1100_0^16 - 2004766346668/59660036719*c_1100_0^15 + 69408489441390/59660036719*c_1100_0^14 - 142690885058270/59660036719*c_1100_0^13 - 822991783333091/59660036719*c_1100_0^12 - 28541736927024/59660036719*c_1100_0^11 + 1885855925978750/59660036719*c_1100_0^10 + 521059185289677/59660036719*c_1100_0^9 - 2018152302464583/59660036719*c_1100_0^8 - 630443641122392/59660036719*c_1100_0^7 + 1200284816661222/59660036719*c_1100_0^6 + 328686464192817/59660036719*c_1100_0^5 - 403175891074367/59660036719*c_1100_0^4 - 80250146807449/59660036719*c_1100_0^3 + 68903047519008/59660036719*c_1100_0^2 + 7154842621564/59660036719*c_1100_0 - 4181755417111/59660036719, c_0101_11 + 1309928742072/59660036719*c_1100_0^17 + 1954400469071/59660036719*c_1100_0^16 - 959120036115/59660036719*c_1100_0^15 - 67770074254798/59660036719*c_1100_0^14 + 210894779207956/59660036719*c_1100_0^13 + 603712029589841/59660036719*c_1100_0^12 - 721077194555287/59660036719*c_1100_0^11 - 1466485981178767/59660036719*c_1100_0^10 + 1163914635193504/59660036719*c_1100_0^9 + 1636764721978029/59660036719*c_1100_0^8 - 1062686087081918/59660036719*c_1100_0^7 - 958742422558206/59660036719*c_1100_0^6 + 545107369846204/59660036719*c_1100_0^5 + 298402580594665/59660036719*c_1100_0^4 - 142392872163520/59660036719*c_1100_0^3 - 46584299308315/59660036719*c_1100_0^2 + 14128885821461/59660036719*c_1100_0 + 3235434403814/59660036719, c_0101_5 - 637635280133/59660036719*c_1100_0^17 - 1628105463836/59660036719*c_1100_0^16 - 1002571053739/59660036719*c_1100_0^15 + 32387842852737/59660036719*c_1100_0^14 - 68205786486216/59660036719*c_1100_0^13 - 379386203189367/59660036719*c_1100_0^12 - 13962756605138/59660036719*c_1100_0^11 + 823040185522936/59660036719*c_1100_0^10 + 220305121261363/59660036719*c_1100_0^9 - 816391585708710/59660036719*c_1100_0^8 - 240720675081130/59660036719*c_1100_0^7 + 431771175406586/59660036719*c_1100_0^6 + 107635217591303/59660036719*c_1100_0^5 - 116663657401475/59660036719*c_1100_0^4 - 19956659829676/59660036719*c_1100_0^3 + 10996825918085/59660036719*c_1100_0^2 + 751816471655/59660036719*c_1100_0 + 652541477417/59660036719, c_1001_0 - 1, c_1001_1 - c_1100_0, c_1001_10 + 1143554710843/59660036719*c_1100_0^17 + 3007337400407/59660036719*c_1100_0^16 + 1888264557293/59660036719*c_1100_0^15 - 58284493358239/59660036719*c_1100_0^14 + 117677588692218/59660036719*c_1100_0^13 + 696515027518042/59660036719*c_1100_0^12 + 62672919718964/59660036719*c_1100_0^11 - 1552895670368885/59660036719*c_1100_0^10 - 509284360285002/59660036719*c_1100_0^9 + 1604932232382802/59660036719*c_1100_0^8 + 585199232908712/59660036719*c_1100_0^7 - 912872040389685/59660036719*c_1100_0^6 - 297673619006508/59660036719*c_1100_0^5 + 287636654791615/59660036719*c_1100_0^4 + 71639152730367/59660036719*c_1100_0^3 - 43797481080249/59660036719*c_1100_0^2 - 6440458834481/59660036719*c_1100_0 + 1934274518116/59660036719, c_1001_2 + 1243274287954/59660036719*c_1100_0^17 + 3180880971612/59660036719*c_1100_0^16 + 1847305183092/59660036719*c_1100_0^15 - 63472729652074/59660036719*c_1100_0^14 + 132425023156604/59660036719*c_1100_0^13 + 746661675913606/59660036719*c_1100_0^12 + 18567309383996/59660036719*c_1100_0^11 - 1679818157144923/59660036719*c_1100_0^10 - 450380451809218/59660036719*c_1100_0^9 + 1746188049454152/59660036719*c_1100_0^8 + 537241337357960/59660036719*c_1100_0^7 - 990746109450832/59660036719*c_1100_0^6 - 273930679509812/59660036719*c_1100_0^5 + 306815801948980/59660036719*c_1100_0^4 + 65703539769684/59660036719*c_1100_0^3 - 44793616112049/59660036719*c_1100_0^2 - 6006378271080/59660036719*c_1100_0 + 1778148653307/59660036719, c_1100_0^18 + 2*c_1100_0^17 - 52*c_1100_0^15 + 135*c_1100_0^14 + 544*c_1100_0^13 - 328*c_1100_0^12 - 1390*c_1100_0^11 + 407*c_1100_0^10 + 1677*c_1100_0^9 - 368*c_1100_0^8 - 1112*c_1100_0^7 + 239*c_1100_0^6 + 410*c_1100_0^5 - 94*c_1100_0^4 - 76*c_1100_0^3 + 18*c_1100_0^2 + 5*c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB