Magma V2.19-8 Tue Aug 20 2013 23:50:54 on localhost [Seed = 1696796245] Type ? for help. Type -D to quit. Loading file "L13a2110__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2110 geometric_solution 9.45045407 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 1023 0132 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 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.552549927314 0.385681633628 0 1 0 1 0132 1302 1023 2031 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.567498706292 0.088286259733 4 0 5 3 0132 0132 0132 1230 1 0 1 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 0 0 0 0 0 0 0 -1 1 0 -1 0 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.310782721728 0.755138884407 2 6 0 7 3012 0132 0132 0132 1 1 0 1 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 1 -1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.065358972556 1.701686576436 2 7 6 8 0132 2310 1302 0132 1 0 1 1 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 -1 2 1 0 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.959563008368 1.870599515434 6 9 10 2 2310 0132 0132 0132 1 0 1 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 0 0 0 0 0 0 0 1 0 -1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.859252033955 1.960124858679 4 3 5 8 2031 0132 3201 2031 1 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 0 0 0 0 0 0 0 1 0 0 -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.634880793331 0.388587804456 11 10 3 4 0132 2031 0132 3201 1 1 1 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 1 -1 0 0 0 0 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256813201411 0.815629091433 9 6 4 9 2103 1302 0132 3120 1 0 1 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 0 0 0 0 0 0 0 1 -2 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.621932408079 1.204216895889 8 5 8 11 3120 0132 2103 3201 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 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -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.237319625876 0.755907962791 7 11 11 5 1302 0213 1230 0132 1 0 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 2 0 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444406287981 0.387691934729 7 9 10 10 0132 2310 0213 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411460660763 0.359552668236 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_1001_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : 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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_10']), 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : d['c_0011_5'], 'c_1100_8' : negation(d['c_0101_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_3']), '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_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], '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_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 157471380802825497551093961328925/120336170820094603135435151580736\ *c_1001_10^15 - 3075176937853170394942252586673627/1203361708200946\ 03135435151580736*c_1001_10^14 + 7001061718870128025489329292992582\ 3/120336170820094603135435151580736*c_1001_10^13 - 536399212366229314072481951834708689/120336170820094603135435151580\ 736*c_1001_10^12 + 968244327444889215180221874537070089/60168085410\ 047301567717575790368*c_1001_10^11 - 3895039380828499011436469798897722959/12033617082009460313543515158\ 0736*c_1001_10^10 + 4741106323666178922816954403997775657/120336170\ 820094603135435151580736*c_1001_10^9 - 211307472771198980630951672731476035/707859828353497665502559715180\ 8*c_1001_10^8 + 824456662270889493461284718463129613/60168085410047\ 301567717575790368*c_1001_10^7 - 1871300388838728118110799551408433\ 87/60168085410047301567717575790368*c_1001_10^6 - 44892116908243738227765669979745241/1203361708200946031354351515807\ 36*c_1001_10^5 + 72986258041185603153601201228945739/12033617082009\ 4603135435151580736*c_1001_10^4 - 147475457804771303188575072419005\ /791685334342727652206810207768*c_1001_10^3 - 200895013815197233426407411322809/15042021352511825391929393947592*\ c_1001_10^2 + 1687569994576531953672825623849935/120336170820094603\ 135435151580736*c_1001_10 - 195360994062351738336718440668129/12033\ 6170820094603135435151580736, c_0011_0 - 1, c_0011_10 + 44872572733992589120/433104931365086105857*c_1001_10^15 - 824713418281376748792/433104931365086105857*c_1001_10^14 + 18982102728396649691864/433104931365086105857*c_1001_10^13 - 130665936167047178664680/433104931365086105857*c_1001_10^12 + 393202637877525045346937/433104931365086105857*c_1001_10^11 - 600235536536077198401776/433104931365086105857*c_1001_10^10 + 487816630504131299060868/433104931365086105857*c_1001_10^9 - 195959903609637305942024/433104931365086105857*c_1001_10^8 + 14727655760290339154196/433104931365086105857*c_1001_10^7 + 30992718151228444069900/433104931365086105857*c_1001_10^6 - 29041700205739615073100/433104931365086105857*c_1001_10^5 + 14230131751242981741396/433104931365086105857*c_1001_10^4 - 3138629996979914704164/433104931365086105857*c_1001_10^3 + 1976784859934798014328/433104931365086105857*c_1001_10^2 - 1046876223104317964552/433104931365086105857*c_1001_10 + 5778994887289120416/433104931365086105857, c_0011_11 - 53059989442595961836/433104931365086105857*c_1001_10^15 + 1000181178859314161516/433104931365086105857*c_1001_10^14 - 22896912555042166353745/433104931365086105857*c_1001_10^13 + 164956823411335809671512/433104931365086105857*c_1001_10^12 - 534802764754218896722235/433104931365086105857*c_1001_10^11 + 915952439563043629051112/433104931365086105857*c_1001_10^10 - 915334791022008829435981/433104931365086105857*c_1001_10^9 + 636768418890265514329435/433104931365086105857*c_1001_10^8 - 466352003706562230524475/433104931365086105857*c_1001_10^7 + 403077034487526707910509/433104931365086105857*c_1001_10^6 - 283328911228202756496173/433104931365086105857*c_1001_10^5 + 144821663967106124096982/433104931365086105857*c_1001_10^4 - 58109065690335809572036/433104931365086105857*c_1001_10^3 + 15985195051457769220378/433104931365086105857*c_1001_10^2 - 2405223828819076707208/433104931365086105857*c_1001_10 + 789361628820043974966/433104931365086105857, c_0011_3 - 214152757515980656253/433104931365086105857*c_1001_10^15 + 4053118374597605358876/433104931365086105857*c_1001_10^14 - 92760123532321856970626/433104931365086105857*c_1001_10^13 + 673439242079505447529036/433104931365086105857*c_1001_10^12 - 2223894210363268384178785/433104931365086105857*c_1001_10^11 + 3931151659301076319370589/433104931365086105857*c_1001_10^10 - 4006394607026433559424848/433104931365086105857*c_1001_10^9 + 2369179493528416235190716/433104931365086105857*c_1001_10^8 - 725295340909546805657616/433104931365086105857*c_1001_10^7 - 12216992857559183405378/433104931365086105857*c_1001_10^6 + 163160192659519464734580/433104931365086105857*c_1001_10^5 - 116163477438805748693956/433104931365086105857*c_1001_10^4 + 41292583010979797716400/433104931365086105857*c_1001_10^3 - 12705004269725906455507/433104931365086105857*c_1001_10^2 + 4641697697595601622704/433104931365086105857*c_1001_10 + 51355071873182373106/433104931365086105857, c_0011_5 + 169057191128699597276/433104931365086105857*c_1001_10^15 - 3267180517759137068875/433104931365086105857*c_1001_10^14 + 74463589069593406254352/433104931365086105857*c_1001_10^13 - 560107371742602619390901/433104931365086105857*c_1001_10^12 + 1950055642677192771560060/433104931365086105857*c_1001_10^11 - 3677680979606640962665943/433104931365086105857*c_1001_10^10 + 3995513276669575760768309/433104931365086105857*c_1001_10^9 - 2423739795061377711701037/433104931365086105857*c_1001_10^8 + 555434580416487244455783/433104931365086105857*c_1001_10^7 + 334527971694263295495962/433104931365086105857*c_1001_10^6 - 404755802362814795676266/433104931365086105857*c_1001_10^5 + 217434973550168540161332/433104931365086105857*c_1001_10^4 - 70204226226258416395110/433104931365086105857*c_1001_10^3 + 15687726973500074137304/433104931365086105857*c_1001_10^2 - 3375367979363904573764/433104931365086105857*c_1001_10 + 414596376203267161220/433104931365086105857, c_0011_8 + 124967390660054623284/433104931365086105857*c_1001_10^15 - 2493977731636176299167/433104931365086105857*c_1001_10^14 + 56559014796682277664882/433104931365086105857*c_1001_10^13 - 448644247343966482094039/433104931365086105857*c_1001_10^12 + 1699698585910998263526168/433104931365086105857*c_1001_10^11 - 3617527775846556974554799/433104931365086105857*c_1001_10^10 + 4700366368612030203837331/433104931365086105857*c_1001_10^9 - 3897537790775803099236677/433104931365086105857*c_1001_10^8 + 2100517478824799203714465/433104931365086105857*c_1001_10^7 - 709792018927866763547023/433104931365086105857*c_1001_10^6 + 102116989279358252403164/433104931365086105857*c_1001_10^5 + 36195672708774966539688/433104931365086105857*c_1001_10^4 - 25123013321844240421564/433104931365086105857*c_1001_10^3 + 6693703609013017968964/433104931365086105857*c_1001_10^2 - 1717372320740755849564/433104931365086105857*c_1001_10 + 341345790288731130476/433104931365086105857, c_0101_0 - 157550380824989271174/433104931365086105857*c_1001_10^15 + 3156786611387074543896/433104931365086105857*c_1001_10^14 - 71688325365024904110436/433104931365086105857*c_1001_10^13 + 573780755683571799067536/433104931365086105857*c_1001_10^12 - 2244819643866108115677914/433104931365086105857*c_1001_10^11 + 5139246230677847853395798/433104931365086105857*c_1001_10^10 - 7618975089937487114414753/433104931365086105857*c_1001_10^9 + 7749272527677828270989696/433104931365086105857*c_1001_10^8 - 5619114293140401051477954/433104931365086105857*c_1001_10^7 + 3017971669014564932838488/433104931365086105857*c_1001_10^6 - 1252498381543199935823946/433104931365086105857*c_1001_10^5 + 404098734366805297712660/433104931365086105857*c_1001_10^4 - 95825487991251508578210/433104931365086105857*c_1001_10^3 + 17549810689944803396844/433104931365086105857*c_1001_10^2 - 3392736432057594980142/433104931365086105857*c_1001_10 - 278108652849549503358/433104931365086105857, c_0101_1 + 195859705168586176860/433104931365086105857*c_1001_10^15 - 3960727221664492245939/433104931365086105857*c_1001_10^14 + 89814072989198930528161/433104931365086105857*c_1001_10^13 - 729209528175711502369534/433104931365086105857*c_1001_10^12 + 2908581420478700254158738/433104931365086105857*c_1001_10^11 - 6806121358035718134127273/433104931365086105857*c_1001_10^10 + 10347645636785277752719300/433104931365086105857*c_1001_10^9 - 10895051974054964407689231/433104931365086105857*c_1001_10^8 + 8306590173375516561212916/433104931365086105857*c_1001_10^7 - 4737951799144435241379027/433104931365086105857*c_1001_10^6 + 2065103474884515974242628/433104931365086105857*c_1001_10^5 - 692490865427178663789857/433104931365086105857*c_1001_10^4 + 177256957090104448824512/433104931365086105857*c_1001_10^3 - 34979731533200151254555/433104931365086105857*c_1001_10^2 + 6136968147874286687980/433104931365086105857*c_1001_10 - 452972130473335819435/433104931365086105857, c_0101_2 - 1, c_0101_5 + 198495638145166254745/433104931365086105857*c_1001_10^15 - 3667601462576411499548/433104931365086105857*c_1001_10^14 + 84175462092239122867563/433104931365086105857*c_1001_10^13 - 583348357902848003468114/433104931365086105857*c_1001_10^12 + 1730117744421441618857071/433104931365086105857*c_1001_10^11 - 2334095493672651397418066/433104931365086105857*c_1001_10^10 + 712520400478715328806115/433104931365086105857*c_1001_10^9 + 2195845420221399229111317/433104931365086105857*c_1001_10^8 - 3689552274289043482345251/433104931365086105857*c_1001_10^7 + 3078842719856304491464671/433104931365086105857*c_1001_10^6 - 1734257311492395371751948/433104931365086105857*c_1001_10^5 + 717701064047491194632680/433104931365086105857*c_1001_10^4 - 208170116631337480561232/433104931365086105857*c_1001_10^3 + 43935313859456366002104/433104931365086105857*c_1001_10^2 - 8980025512319010753932/433104931365086105857*c_1001_10 + 800211557702350281650/433104931365086105857, c_0101_7 - 126310575357131992580/433104931365086105857*c_1001_10^15 + 2509282697618679750388/433104931365086105857*c_1001_10^14 - 56925881346364485081229/433104931365086105857*c_1001_10^13 + 448028518694867369554262/433104931365086105857*c_1001_10^12 - 1671407839026786784281377/433104931365086105857*c_1001_10^11 + 3457368071978181570665092/433104931365086105857*c_1001_10^10 - 4250961194536485968295829/433104931365086105857*c_1001_10^9 + 3135602952505958911879997/433104931365086105857*c_1001_10^8 - 1260758400835745034976795/433104931365086105857*c_1001_10^7 + 86845965381471200413171/433104931365086105857*c_1001_10^6 + 230583586786771903929508/433104931365086105857*c_1001_10^5 - 179217665232384991245424/433104931365086105857*c_1001_10^4 + 71781574424968006498064/433104931365086105857*c_1001_10^3 - 16203914731998065342224/433104931365086105857*c_1001_10^2 + 4025029028659218385092/433104931365086105857*c_1001_10 - 575631686144960626258/433104931365086105857, c_1001_10^16 - 20*c_1001_10^15 + 454*c_1001_10^14 - 3620*c_1001_10^13 + 13995*c_1001_10^12 - 31277*c_1001_10^11 + 44716*c_1001_10^10 - 43736*c_1001_10^9 + 30965*c_1001_10^8 - 16776*c_1001_10^7 + 7241*c_1001_10^6 - 2496*c_1001_10^5 + 701*c_1001_10^4 - 176*c_1001_10^3 + 35*c_1001_10^2 - 4*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB