Magma V2.19-8 Tue Aug 20 2013 23:45:14 on localhost [Seed = 1014651368] Type ? for help. Type -D to quit. Loading file "K13n2436__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2436 geometric_solution 11.19927999 oriented_manifold CS_known 0.0000000000000013 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 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 1 0 0 0 -1 1 0 -4 0 4 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507566188899 0.956203822814 0 5 7 6 0132 0132 0132 0132 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547591459521 0.857749578882 8 0 5 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 5 -5 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941413911144 0.811610404064 10 11 7 0 0132 0132 3120 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 -1 0 0 1 -1 -4 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608656161154 0.635132669881 10 7 0 11 1230 0132 0132 2103 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 -1 1 1 0 0 -1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795413684633 0.954482369593 9 1 11 2 1023 0132 1023 0132 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 0 -1 1 0 0 0 0 5 -5 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759455778133 0.543386304388 9 11 1 8 3201 1023 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476769221351 0.577873551881 8 4 3 1 2031 0132 3120 0132 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 0 0 0 0 0 0 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681929152391 0.697789427374 2 10 7 6 0132 2310 1302 0213 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 0 0 0 0 0 0 0 4 -4 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529384564403 1.037621299040 10 5 2 6 2310 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 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 5 -5 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635244659722 0.707438457032 3 4 9 8 0132 3012 3201 3201 0 0 0 0 0 -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 0 0 0 0 0 0 0 -4 4 0 1 0 -5 4 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.423774493887 0.564786275540 6 3 5 4 1023 0132 1023 2103 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 -1 0 1 0 0 1 -1 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.506093855912 0.458391889433 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_2']), 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_1001_3']), 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_1'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : negation(d['c_0101_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' : d['c_0101_0'], '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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_0']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : negation(d['c_0101_3']), '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' : d['c_0011_0'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_0011_4'], 'c_0101_8' : d['c_0011_4'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_0']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_7']})} 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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0101_7, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 326878685489278347490754461/942844954685718450249401*c_1001_3^13 - 5263131485258071772695498903/942844954685718450249401*c_1001_3^12 + 26682748406309492520454255500/942844954685718450249401*c_1001_3^11 - 37021083886660959683473439300/942844954685718450249401*c_1001_3^10 - 94322217708686819339312339070/942844954685718450249401*c_1001_3^9 + 330543599446652346623841663835/942844954685718450249401*c_1001_3^8 - 148487394845051929150787042188/942844954685718450249401*c_1001_3^7 - 633884734165874596548942877345/942844954685718450249401*c_1001_3^6 + 856499981938067231441156590435/942844954685718450249401*c_1001_3^5 + 134758846528086950134891183226/942844954685718450249401*c_1001_3^4 - 867231640422169576389941768171/942844954685718450249401*c_1001_3^3 + 319427316727794974616904902004/942844954685718450249401*c_1001_3^2 + 36028685090709578720579718955/134692136383674064321343*c_1001_3 - 152343955991409955736084066213/942844954685718450249401, c_0011_0 - 1, c_0011_10 + 2560917668712531157/2865790135822852432369*c_1001_3^13 - 51267253449878412692/2865790135822852432369*c_1001_3^12 + 376860633710700588194/2865790135822852432369*c_1001_3^11 - 1208038424566447888415/2865790135822852432369*c_1001_3^10 + 882009818720970023969/2865790135822852432369*c_1001_3^9 + 4861633078077892306116/2865790135822852432369*c_1001_3^8 - 12909409186387466221554/2865790135822852432369*c_1001_3^7 + 4501198345391727475571/2865790135822852432369*c_1001_3^6 + 24153213915469831349009/2865790135822852432369*c_1001_3^5 - 4544223293270726277859/409398590831836061767*c_1001_3^4 - 281619402805073641543/409398590831836061767*c_1001_3^3 + 24368100544199576249080/2865790135822852432369*c_1001_3^2 - 7436451657429603817563/2865790135822852432369*c_1001_3 - 2399912751204264736418/2865790135822852432369, c_0011_4 + 20745891005385188470/2865790135822852432369*c_1001_3^13 - 313860512380203930261/2865790135822852432369*c_1001_3^12 + 1365152041538250485346/2865790135822852432369*c_1001_3^11 - 652030871747291946485/2865790135822852432369*c_1001_3^10 - 8478519455917174454512/2865790135822852432369*c_1001_3^9 + 15285809514747318320598/2865790135822852432369*c_1001_3^8 + 11621767874982637514406/2865790135822852432369*c_1001_3^7 - 49977679721105429794645/2865790135822852432369*c_1001_3^6 + 15549835331591197269169/2865790135822852432369*c_1001_3^5 + 8210446250653913121641/409398590831836061767*c_1001_3^4 - 6269363570361154397529/409398590831836061767*c_1001_3^3 - 21394749697097804956554/2865790135822852432369*c_1001_3^2 + 20548905964853434739000/2865790135822852432369*c_1001_3 + 884622022242289892766/2865790135822852432369, c_0101_0 + 22270015177837227758/2865790135822852432369*c_1001_3^13 - 362888615721142660138/2865790135822852432369*c_1001_3^12 + 1906228905353036306451/2865790135822852432369*c_1001_3^11 - 3165793987990328695678/2865790135822852432369*c_1001_3^10 - 4564180293582364124309/2865790135822852432369*c_1001_3^9 + 22131408274149426773112/2865790135822852432369*c_1001_3^8 - 19073752490328901257913/2865790135822852432369*c_1001_3^7 - 27373057784473981071672/2865790135822852432369*c_1001_3^6 + 60001363523046946137845/2865790135822852432369*c_1001_3^5 - 3280710681356804542901/409398590831836061767*c_1001_3^4 - 4381199053495938698967/409398590831836061767*c_1001_3^3 + 25810945488456935967585/2865790135822852432369*c_1001_3^2 - 3814501384865228129126/2865790135822852432369*c_1001_3 - 3020480004533026976578/2865790135822852432369, c_0101_1 + 26239359304550576831/2865790135822852432369*c_1001_3^13 - 417217300950318612259/2865790135822852432369*c_1001_3^12 + 2084787920807593162313/2865790135822852432369*c_1001_3^11 - 2966612259051790637914/2865790135822852432369*c_1001_3^10 - 6210002211706104057699/2865790135822852432369*c_1001_3^9 + 22998753612704504160962/2865790135822852432369*c_1001_3^8 - 14093752960899156052245/2865790135822852432369*c_1001_3^7 - 34337803731652582933407/2865790135822852432369*c_1001_3^6 + 54875691557824024695175/2865790135822852432369*c_1001_3^5 - 1185559140263893125025/409398590831836061767*c_1001_3^4 - 4889147864084824783593/409398590831836061767*c_1001_3^3 + 14379806321647503755423/2865790135822852432369*c_1001_3^2 + 4800267092182595445637/2865790135822852432369*c_1001_3 - 1468433407753037760129/2865790135822852432369, c_0101_11 - 30009190340104695725/2865790135822852432369*c_1001_3^13 + 500286678489519340250/2865790135822852432369*c_1001_3^12 - 2726533527051360404776/2865790135822852432369*c_1001_3^11 + 4845824991336961109168/2865790135822852432369*c_1001_3^10 + 6179583479018347923888/2865790135822852432369*c_1001_3^9 - 33050145119191865437956/2865790135822852432369*c_1001_3^8 + 28766984705105768527194/2865790135822852432369*c_1001_3^7 + 41340720223910086870005/2865790135822852432369*c_1001_3^6 - 88028525079687893278636/2865790135822852432369*c_1001_3^5 + 4047643126914009318340/409398590831836061767*c_1001_3^4 + 5960378270193564221247/409398590831836061767*c_1001_3^3 - 31290899581669564424801/2865790135822852432369*c_1001_3^2 + 3576906393151611928509/2865790135822852432369*c_1001_3 - 757749520866400140244/2865790135822852432369, c_0101_2 + 11354163223712740446/2865790135822852432369*c_1001_3^13 - 166746289456085945141/2865790135822852432369*c_1001_3^12 + 671797687675532778357/2865790135822852432369*c_1001_3^11 - 36458584781516508423/2865790135822852432369*c_1001_3^10 - 4770304633785844073701/2865790135822852432369*c_1001_3^9 + 6486374158008233170531/2865790135822852432369*c_1001_3^8 + 9160877685650457446889/2865790135822852432369*c_1001_3^7 - 24202901695595290103214/2865790135822852432369*c_1001_3^6 - 48580777817575477769/2865790135822852432369*c_1001_3^5 + 4584919407723194400549/409398590831836061767*c_1001_3^4 - 2236066589230201646400/409398590831836061767*c_1001_3^3 - 16150913690933912551813/2865790135822852432369*c_1001_3^2 + 11344717625529777796508/2865790135822852432369*c_1001_3 + 2418468364284322795950/2865790135822852432369, c_0101_3 - 14318389764341329959/2865790135822852432369*c_1001_3^13 + 249984553608045633901/2865790135822852432369*c_1001_3^12 - 1475546427874410337144/2865790135822852432369*c_1001_3^11 + 3127759167450745519683/2865790135822852432369*c_1001_3^10 + 2123958719711188909093/2865790135822852432369*c_1001_3^9 - 19261767655563135907940/2865790135822852432369*c_1001_3^8 + 22567081820219351957869/2865790135822852432369*c_1001_3^7 + 19140894443013539589515/2865790135822852432369*c_1001_3^6 - 60637188051787228990705/2865790135822852432369*c_1001_3^5 + 4165063816802471335721/409398590831836061767*c_1001_3^4 + 4054299600983337212710/409398590831836061767*c_1001_3^3 - 28139098383583071386799/2865790135822852432369*c_1001_3^2 + 1972930762855003253067/2865790135822852432369*c_1001_3 + 411408575542479446108/2865790135822852432369, c_0101_5 + 11486741699096313596/2865790135822852432369*c_1001_3^13 - 172424598931764666397/2865790135822852432369*c_1001_3^12 + 748908434176890342545/2865790135822852432369*c_1001_3^11 - 468452662313549048949/2865790135822852432369*c_1001_3^10 - 3951786780310896097558/2865790135822852432369*c_1001_3^9 + 7727521550105767501517/2865790135822852432369*c_1001_3^8 + 2936936440549283341993/2865790135822852432369*c_1001_3^7 - 20738003909914264205978/2865790135822852432369*c_1001_3^6 + 10656045780801618731210/2865790135822852432369*c_1001_3^5 + 2514607865527892559157/409398590831836061767*c_1001_3^4 - 2586526857243279415009/409398590831836061767*c_1001_3^3 - 5443832809534894153991/2865790135822852432369*c_1001_3^2 + 7899527487225247851113/2865790135822852432369*c_1001_3 - 1535693224967065488175/2865790135822852432369, c_0101_7 - 13896717085596340677/2865790135822852432369*c_1001_3^13 + 213376647187796492685/2865790135822852432369*c_1001_3^12 - 962835723470174339231/2865790135822852432369*c_1001_3^11 + 675808796434304562900/2865790135822852432369*c_1001_3^10 + 5255411210990110989306/2865790135822852432369*c_1001_3^9 - 10467279817175949603978/2865790135822852432369*c_1001_3^8 - 5310417244550791554584/2865790135822852432369*c_1001_3^7 + 29026403471061912390593/2865790135822852432369*c_1001_3^6 - 10899310529902098062301/2865790135822852432369*c_1001_3^5 - 4150863729063618001485/409398590831836061767*c_1001_3^4 + 2835183366025826311680/409398590831836061767*c_1001_3^3 + 11436147455723861735873/2865790135822852432369*c_1001_3^2 - 9103639199660766303551/2865790135822852432369*c_1001_3 - 1662823096038963573053/2865790135822852432369, c_1001_1 + 14158888998522416807/2865790135822852432369*c_1001_3^13 - 191765872419404004404/2865790135822852432369*c_1001_3^12 + 587772791896987985026/2865790135822852432369*c_1001_3^11 + 1134268620240776918078/2865790135822852432369*c_1001_3^10 - 7343650783687133795128/2865790135822852432369*c_1001_3^9 + 4089009555974861966269/2865790135822852432369*c_1001_3^8 + 23355790390947751538094/2865790135822852432369*c_1001_3^7 - 35977479165557194418512/2865790135822852432369*c_1001_3^6 - 17222274431538803256918/2865790135822852432369*c_1001_3^5 + 9256200341534284779017/409398590831836061767*c_1001_3^4 - 3698235224759304729426/409398590831836061767*c_1001_3^3 - 29338563296801019880645/2865790135822852432369*c_1001_3^2 + 19514405719746939570987/2865790135822852432369*c_1001_3 + 1239662055844972978870/2865790135822852432369, c_1001_3^14 - 16*c_1001_3^13 + 80*c_1001_3^12 - 105*c_1001_3^11 - 300*c_1001_3^10 + 982*c_1001_3^9 - 352*c_1001_3^8 - 1985*c_1001_3^7 + 2424*c_1001_3^6 + 677*c_1001_3^5 - 2611*c_1001_3^4 + 709*c_1001_3^3 + 870*c_1001_3^2 - 388*c_1001_3 - 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.570 Total time: 1.780 seconds, Total memory usage: 64.12MB