Magma V2.19-8 Tue Aug 20 2013 17:55:58 on localhost [Seed = 3903414026] Type ? for help. Type -D to quit. Loading file "10_149__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_149 geometric_solution 11.44272678 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -10 0 10 0 11 -1 0 -10 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023463677033 0.864077046991 0 5 6 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 -1 0 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 -1 1 0 10 0 -10 0 11 0 0 -11 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613168897052 0.737558871613 7 0 8 4 0132 0132 0132 0213 0 0 0 0 0 0 0 0 -1 0 0 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 -11 0 0 11 0 -11 0 11 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564496695453 0.856017462605 7 9 9 0 1302 0132 0321 0132 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 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186648902287 0.904807488718 10 5 0 2 0132 1302 0132 0213 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 0 11 0 0 -11 0 11 0 -11 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.976266545781 0.530519945034 9 1 10 4 0213 0132 3012 2031 0 0 0 0 0 0 1 -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 1 10 -11 0 0 1 -1 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428129810827 1.286340621981 7 1 1 11 2310 0213 0132 0132 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 10 0 -10 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557689729442 1.063329717860 2 3 6 10 0132 2031 3201 2103 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 0 0 11 0 0 -11 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.583160448194 0.588944917618 11 9 11 2 3120 2310 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526577590810 0.526704061604 5 3 3 8 0213 0132 0321 3201 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 1 0 -1 0 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186648902287 0.904807488718 4 5 11 7 0132 1230 2103 2103 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -11 0 0 11 10 -10 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891337042616 0.833244308781 10 8 6 8 2103 3201 0132 3120 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 -1 1 0 0 0 0 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526577590810 0.526704061604 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_8'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1001_0'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_0110_5'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_10'], '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_2'], 'c_0110_10' : d['c_0011_6'], 'c_0110_0' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_5']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : 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_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_2, c_0101_8, c_0110_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 396260079836834/256178739117*c_1001_0^21 - 1211326948886197/41825100264*c_1001_0^20 + 73739370304721095/292775701848*c_1001_0^19 - 1391825597467168691/1024714956468*c_1001_0^18 + 10507815631070743567/2049429912936*c_1001_0^17 - 4962174401063871931/341571652156*c_1001_0^16 + 33197212848926576525/1024714956468*c_1001_0^15 - 15083029149136534133/256178739117*c_1001_0^14 + 22938948950899583656/256178739117*c_1001_0^13 - 17025552140712487369/146387850924*c_1001_0^12 + 268510918481009587433/2049429912936*c_1001_0^11 - 66293823056499688693/512357478234*c_1001_0^10 + 77040763786722959411/683143304312*c_1001_0^9 - 1213319074977655993/13941700088*c_1001_0^8 + 60898653357462526937/1024714956468*c_1001_0^7 - 18325287714712220513/512357478234*c_1001_0^6 + 19284968855602742015/1024714956468*c_1001_0^5 - 8730207885328595915/1024714956468*c_1001_0^4 + 2219151405719963635/683143304312*c_1001_0^3 - 36633483132267671/36596962731*c_1001_0^2 + 156191317176416447/683143304312*c_1001_0 - 71292063351376225/2049429912936, c_0011_0 - 1, c_0011_10 - 609927/16518602*c_1001_0^21 + 13815493/16518602*c_1001_0^20 - 72412068/8259301*c_1001_0^19 + 937923581/16518602*c_1001_0^18 - 2114624366/8259301*c_1001_0^17 + 7101154217/8259301*c_1001_0^16 - 18572809038/8259301*c_1001_0^15 + 39108065634/8259301*c_1001_0^14 - 68039185673/8259301*c_1001_0^13 + 199683703615/16518602*c_1001_0^12 - 125589320975/8259301*c_1001_0^11 + 274149057897/16518602*c_1001_0^10 - 261770717529/16518602*c_1001_0^9 + 109812504431/8259301*c_1001_0^8 - 81013607298/8259301*c_1001_0^7 + 52370714961/8259301*c_1001_0^6 - 29401075152/8259301*c_1001_0^5 + 28240249507/16518602*c_1001_0^4 - 5635872213/8259301*c_1001_0^3 + 3537506507/16518602*c_1001_0^2 - 810506735/16518602*c_1001_0 + 42175573/8259301, c_0011_11 + 2388087/16518602*c_1001_0^21 - 42894349/16518602*c_1001_0^20 + 178301104/8259301*c_1001_0^19 - 1819544893/16518602*c_1001_0^18 + 3184740306/8259301*c_1001_0^17 - 8091966107/8259301*c_1001_0^16 + 15352049918/8259301*c_1001_0^15 - 21837764330/8259301*c_1001_0^14 + 22414166037/8259301*c_1001_0^13 - 27173590201/16518602*c_1001_0^12 - 3110898240/8259301*c_1001_0^11 + 43073698421/16518602*c_1001_0^10 - 69654968123/16518602*c_1001_0^9 + 39173533812/8259301*c_1001_0^8 - 35077883408/8259301*c_1001_0^7 + 26064764757/8259301*c_1001_0^6 - 16224176495/8259301*c_1001_0^5 + 16833718307/16518602*c_1001_0^4 - 3562735097/8259301*c_1001_0^3 + 2311267405/16518602*c_1001_0^2 - 534512179/16518602*c_1001_0 + 27641218/8259301, c_0011_3 - c_1001_0^2 + c_1001_0 - 1, c_0011_6 - c_1001_0^3 + 2*c_1001_0^2 - c_1001_0 + 1, c_0011_8 + 2600567/16518602*c_1001_0^21 - 59409639/16518602*c_1001_0^20 + 308482530/8259301*c_1001_0^19 - 3901847817/16518602*c_1001_0^18 + 8490851078/8259301*c_1001_0^17 - 27265207542/8259301*c_1001_0^16 + 67694479652/8259301*c_1001_0^15 - 134549704204/8259301*c_1001_0^14 + 219977756969/8259301*c_1001_0^13 - 604576606577/16518602*c_1001_0^12 + 355197343157/8259301*c_1001_0^11 - 723070445299/16518602*c_1001_0^10 + 642898739043/16518602*c_1001_0^9 - 250646502133/8259301*c_1001_0^8 + 171319356084/8259301*c_1001_0^7 - 102067522545/8259301*c_1001_0^6 + 52409392767/8259301*c_1001_0^5 - 45507680133/16518602*c_1001_0^4 + 8056643235/8259301*c_1001_0^3 - 4392440759/16518602*c_1001_0^2 + 819402685/16518602*c_1001_0 - 30300800/8259301, c_0101_0 + 5044541/8259301*c_1001_0^21 - 90927298/8259301*c_1001_0^20 + 754090769/8259301*c_1001_0^19 - 3830990215/8259301*c_1001_0^18 + 13413834754/8259301*c_1001_0^17 - 34592677960/8259301*c_1001_0^16 + 68652492480/8259301*c_1001_0^15 - 108148113491/8259301*c_1001_0^14 + 138142260631/8259301*c_1001_0^13 - 144841236644/8259301*c_1001_0^12 + 124677577803/8259301*c_1001_0^11 - 86009480320/8259301*c_1001_0^10 + 43390885256/8259301*c_1001_0^9 - 9662156476/8259301*c_1001_0^8 - 9429491074/8259301*c_1001_0^7 + 15193392579/8259301*c_1001_0^6 - 12832803677/8259301*c_1001_0^5 + 7942898480/8259301*c_1001_0^4 - 3740635861/8259301*c_1001_0^3 + 1305310690/8259301*c_1001_0^2 - 324599534/8259301*c_1001_0 + 30400000/8259301, c_0101_10 - 456800/8259301*c_1001_0^21 + 8451200/8259301*c_1001_0^20 - 65899402/8259301*c_1001_0^19 + 272728110/8259301*c_1001_0^18 - 549443526/8259301*c_1001_0^17 - 256652810/8259301*c_1001_0^16 + 5427197500/8259301*c_1001_0^15 - 19583504712/8259301*c_1001_0^14 + 44956021602/8259301*c_1001_0^13 - 77478688922/8259301*c_1001_0^12 + 107189148106/8259301*c_1001_0^11 - 123625324602/8259301*c_1001_0^10 + 121640905450/8259301*c_1001_0^9 - 103337024234/8259301*c_1001_0^8 + 76134394816/8259301*c_1001_0^7 - 48545871175/8259301*c_1001_0^6 + 26507162135/8259301*c_1001_0^5 - 12222775171/8259301*c_1001_0^4 + 4588626930/8259301*c_1001_0^3 - 1298794821/8259301*c_1001_0^2 + 262351174/8259301*c_1001_0 - 14741491/8259301, c_0101_2 + 335040/8259301*c_1001_0^21 - 14125148/8259301*c_1001_0^20 + 195849956/8259301*c_1001_0^19 - 1477837448/8259301*c_1001_0^18 + 7270955460/8259301*c_1001_0^17 - 25611731392/8259301*c_1001_0^16 + 68477357920/8259301*c_1001_0^15 - 144765732915/8259301*c_1001_0^14 + 249482954613/8259301*c_1001_0^13 - 358866480467/8259301*c_1001_0^12 + 438975041910/8259301*c_1001_0^11 - 463221938485/8259301*c_1001_0^10 + 425856951752/8259301*c_1001_0^9 - 342889820113/8259301*c_1001_0^8 + 241980022576/8259301*c_1001_0^7 - 149031076471/8259301*c_1001_0^6 + 79316980291/8259301*c_1001_0^5 - 35859455103/8259301*c_1001_0^4 + 13342357262/8259301*c_1001_0^3 - 3862062153/8259301*c_1001_0^2 + 789989817/8259301*c_1001_0 - 74410531/8259301, c_0101_8 + 3362167/16518602*c_1001_0^21 - 63577173/16518602*c_1001_0^20 + 286205764/8259301*c_1001_0^19 - 3279170733/16518602*c_1001_0^18 + 6725957454/8259301*c_1001_0^17 - 21041536195/8259301*c_1001_0^16 + 52154174886/8259301*c_1001_0^15 - 105118408900/8259301*c_1001_0^14 + 175768506842/8259301*c_1001_0^13 - 495904615887/16518602*c_1001_0^12 + 299363911127/8259301*c_1001_0^11 - 626085156925/16518602*c_1001_0^10 + 572000663659/16518602*c_1001_0^9 - 229321725517/8259301*c_1001_0^8 + 161414167078/8259301*c_1001_0^7 - 99319627927/8259301*c_1001_0^6 + 52874001518/8259301*c_1001_0^5 - 47930044115/16518602*c_1001_0^4 + 8974716937/8259301*c_1001_0^3 - 5230864315/16518602*c_1001_0^2 + 1106588511/16518602*c_1001_0 - 53493647/8259301, c_0110_5 + 12599433/16518602*c_1001_0^21 - 239479443/16518602*c_1001_0^20 + 1059244768/8259301*c_1001_0^19 - 11635933721/16518602*c_1001_0^18 + 22365739137/8259301*c_1001_0^17 - 64413427212/8259301*c_1001_0^16 + 145437398308/8259301*c_1001_0^15 - 266131588276/8259301*c_1001_0^14 + 404833556522/8259301*c_1001_0^13 - 1044465514685/16518602*c_1001_0^12 + 580180693487/8259301*c_1001_0^11 - 1122543110307/16518602*c_1001_0^10 + 951916221597/16518602*c_1001_0^9 - 354657983123/8259301*c_1001_0^8 + 231749200392/8259301*c_1001_0^7 - 131870186381/8259301*c_1001_0^6 + 64530814654/8259301*c_1001_0^5 - 53117112513/16518602*c_1001_0^4 + 8852458285/8259301*c_1001_0^3 - 4496687519/16518602*c_1001_0^2 + 749975935/16518602*c_1001_0 - 25099666/8259301, c_1001_0^22 - 19*c_1001_0^21 + 168*c_1001_0^20 - 923*c_1001_0^19 + 3556*c_1001_0^18 - 10298*c_1001_0^17 + 23492*c_1001_0^16 - 43688*c_1001_0^15 + 67982*c_1001_0^14 - 90313*c_1001_0^13 + 104018*c_1001_0^12 - 105017*c_1001_0^11 + 93605*c_1001_0^10 - 73936*c_1001_0^9 + 51764*c_1001_0^8 - 32022*c_1001_0^7 + 17386*c_1001_0^6 - 8177*c_1001_0^5 + 3270*c_1001_0^4 - 1077*c_1001_0^3 + 275*c_1001_0^2 - 50*c_1001_0 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.600 Total time: 0.820 seconds, Total memory usage: 32.09MB