Magma V2.19-8 Tue Aug 20 2013 23:48:39 on localhost [Seed = 3103707669] Type ? for help. Type -D to quit. Loading file "L12a1266__sl2_c0.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' : 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' : 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_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' : 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' : 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' : 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 - 5647415864622466307447/115996602242466335*c_1100_0^17 - 29610202235915757917014/69597961345479801*c_1100_0^16 + 17636815674456387249938/69597961345479801*c_1100_0^15 + 2049514362427383368358274/347989806727399005*c_1100_0^14 - 2241797243254148132603551/347989806727399005*c_1100_0^13 - 6486602256749193891879263/347989806727399005*c_1100_0^12 + 2315823332778844327223417/115996602242466335*c_1100_0^11 + 2229869349810176243544223/69597961345479801*c_1100_0^10 - 9242543151305330975952451/347989806727399005*c_1100_0^9 - 2474921255740790514566807/69597961345479801*c_1100_0^8 + 1157825594368295350675937/69597961345479801*c_1100_0^7 + 8611732484631084036360733/347989806727399005*c_1100_0^6 - 374726493908027568469686/115996602242466335*c_1100_0^5 - 1098328894126144437013223/115996602242466335*c_1100_0^4 - 2848128080818509993319/2399929701568269*c_1100_0^3 + 167830006212791544830761/115996602242466335*c_1100_0^2 + 163016904384878616844061/347989806727399005*c_1100_0 + 9385108756969269151177/347989806727399005, c_0011_0 - 1, c_0011_10 - 1194648796521/732413609*c_1100_0^17 - 10427484007023/732413609*c_1100_0^16 + 6292168384690/732413609*c_1100_0^15 + 144204680786802/732413609*c_1100_0^14 - 159194346616707/732413609*c_1100_0^13 - 452289465356847/732413609*c_1100_0^12 + 487861628361770/732413609*c_1100_0^11 + 774274685843532/732413609*c_1100_0^10 - 641762891341976/732413609*c_1100_0^9 - 859432078527862/732413609*c_1100_0^8 + 395132868760450/732413609*c_1100_0^7 + 598260144732372/732413609*c_1100_0^6 - 70965848822088/732413609*c_1100_0^5 - 228246546599097/732413609*c_1100_0^4 - 31762732975521/732413609*c_1100_0^3 + 34371401598896/732413609*c_1100_0^2 + 11831031981760/732413609*c_1100_0 + 800006056660/732413609, c_0011_11 + 1065854107215/732413609*c_1100_0^17 + 9225306506751/732413609*c_1100_0^16 - 6276870787324/732413609*c_1100_0^15 - 128097721531807/732413609*c_1100_0^14 + 151310330896695/732413609*c_1100_0^13 + 391039013524043/732413609*c_1100_0^12 - 461828932549904/732413609*c_1100_0^11 - 653128254301283/732413609*c_1100_0^10 + 614185360421168/732413609*c_1100_0^9 + 716155319869422/732413609*c_1100_0^8 - 396565366063049/732413609*c_1100_0^7 - 499099537944365/732413609*c_1100_0^6 + 93907497095405/732413609*c_1100_0^5 + 193008378584059/732413609*c_1100_0^4 + 16284848834674/732413609*c_1100_0^3 - 30415170015675/732413609*c_1100_0^2 - 8561265348245/732413609*c_1100_0 - 321558515136/732413609, c_0011_6 - 697767249033/732413609*c_1100_0^17 - 6082759566327/732413609*c_1100_0^16 + 3757225243210/732413609*c_1100_0^15 + 84305626473730/732413609*c_1100_0^14 - 94077382030021/732413609*c_1100_0^13 - 264838426801641/732413609*c_1100_0^12 + 291089869305432/732413609*c_1100_0^11 + 452558429026860/732413609*c_1100_0^10 - 388684869457355/732413609*c_1100_0^9 - 501454236247290/732413609*c_1100_0^8 + 247667842745542/732413609*c_1100_0^7 + 349854027879236/732413609*c_1100_0^6 - 53296830111822/732413609*c_1100_0^5 - 134950026909151/732413609*c_1100_0^4 - 14062738841611/732413609*c_1100_0^3 + 21209978906332/732413609*c_1100_0^2 + 6201345789315/732413609*c_1100_0 + 218489078974/732413609, c_0101_0 + 1196846037348/732413609*c_1100_0^17 + 10447991588075/732413609*c_1100_0^16 - 6292168384690/732413609*c_1100_0^15 - 144477138649350/732413609*c_1100_0^14 + 159326913479936/732413609*c_1100_0^13 + 453301660964485/732413609*c_1100_0^12 - 488260061365066/732413609*c_1100_0^11 - 776250737760614/732413609*c_1100_0^10 + 642094674706853/732413609*c_1100_0^9 + 861741378637039/732413609*c_1100_0^8 - 394920468813840/732413609*c_1100_0^7 - 599815791237888/732413609*c_1100_0^6 + 70442173091653/732413609*c_1100_0^5 + 228756306470961/732413609*c_1100_0^4 + 32071811518519/732413609*c_1100_0^3 - 34403627797692/732413609*c_1100_0^2 - 11891089897698/732413609*c_1100_0 - 813921915231/732413609, c_0101_11 - 1003208716314/732413609*c_1100_0^17 - 8801025608043/732413609*c_1100_0^16 + 4937209421457/732413609*c_1100_0^15 + 121664385714886/732413609*c_1100_0^14 - 128791469891860/732413609*c_1100_0^13 - 390440418496693/732413609*c_1100_0^12 + 402104196367013/732413609*c_1100_0^11 + 677106522003735/732413609*c_1100_0^10 - 534324993381092/732413609*c_1100_0^9 - 753800211878651/732413609*c_1100_0^8 + 329389514916436/732413609*c_1100_0^7 + 523748294604504/732413609*c_1100_0^6 - 57102936866456/732413609*c_1100_0^5 - 199359988302703/732413609*c_1100_0^4 - 28229814068374/732413609*c_1100_0^3 + 30029776624731/732413609*c_1100_0^2 + 10276793711337/732413609*c_1100_0 + 672280646860/732413609, c_0101_5 - 778011210069/732413609*c_1100_0^17 - 6733920808400/732413609*c_1100_0^16 + 4577068046043/732413609*c_1100_0^15 + 93467693581427/732413609*c_1100_0^14 - 110377978922512/732413609*c_1100_0^13 - 284922332380221/732413609*c_1100_0^12 + 335827203977656/732413609*c_1100_0^11 + 476228179571336/732413609*c_1100_0^10 - 445240712000677/732413609*c_1100_0^9 - 522973791671284/732413609*c_1100_0^8 + 285966948377516/732413609*c_1100_0^7 + 364834525999878/732413609*c_1100_0^6 - 66287708346619/732413609*c_1100_0^5 - 141068991954851/732413609*c_1100_0^4 - 12693767132624/732413609*c_1100_0^3 + 22167559355981/732413609*c_1100_0^2 + 6372082366637/732413609*c_1100_0 + 255763544377/732413609, c_1001_0 - 1, c_1001_1 - c_1100_0, c_1001_10 + 1250088579417/732413609*c_1100_0^17 + 10869236430733/732413609*c_1100_0^16 - 6937466448931/732413609*c_1100_0^15 - 150555171808289/732413609*c_1100_0^14 + 171526911965392/732413609*c_1100_0^13 + 465979817811106/732413609*c_1100_0^12 - 523576033845072/732413609*c_1100_0^11 - 789131942347563/732413609*c_1100_0^10 + 690859796726944/732413609*c_1100_0^9 + 871790284441666/732413609*c_1100_0^8 - 433548613933470/732413609*c_1100_0^7 - 607404192072657/732413609*c_1100_0^6 + 88341582974932/732413609*c_1100_0^5 + 233031007485515/732413609*c_1100_0^4 + 27606614191557/732413609*c_1100_0^3 - 35716259165063/732413609*c_1100_0^2 - 11437743774033/732413609*c_1100_0 - 657553335530/732413609, c_1001_2 - 1152306185154/732413609*c_1100_0^17 - 10049393627900/732413609*c_1100_0^16 + 6149282388164/732413609*c_1100_0^15 + 139095960564970/732413609*c_1100_0^14 - 154645099493388/732413609*c_1100_0^13 - 435793388073410/732413609*c_1100_0^12 + 475079715431172/732413609*c_1100_0^11 + 744692937920677/732413609*c_1100_0^10 - 628042949102102/732413609*c_1100_0^9 - 825734262576212/732413609*c_1100_0^8 + 391716387640624/732413609*c_1100_0^7 + 575288503124280/732413609*c_1100_0^6 - 75843949060280/732413609*c_1100_0^5 - 220374385257464/732413609*c_1100_0^4 - 27825945170436/732413609*c_1100_0^3 + 33693660807401/732413609*c_1100_0^2 + 10966806486208/732413609*c_1100_0 + 631537762127/732413609, c_1100_0^18 + 28/3*c_1100_0^17 - 124*c_1100_0^15 + 181/3*c_1100_0^14 + 1382/3*c_1100_0^13 - 544/3*c_1100_0^12 - 2698/3*c_1100_0^11 + 151*c_1100_0^10 + 1051*c_1100_0^9 + 290/3*c_1100_0^8 - 708*c_1100_0^7 - 715/3*c_1100_0^6 + 232*c_1100_0^5 + 422/3*c_1100_0^4 - 44/3*c_1100_0^3 - 82/3*c_1100_0^2 - 19/3*c_1100_0 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB