Magma V2.19-8 Tue Aug 20 2013 23:55:47 on localhost [Seed = 711737887] Type ? for help. Type -D to quit. Loading file "L14n13113__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13113 geometric_solution 9.43679642 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 2 0132 0132 2310 2310 1 1 1 1 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 0 0 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.105207421361 1.935988466926 0 0 3 3 0132 3201 3201 0132 1 1 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 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389939203650 0.203173151918 0 0 5 4 3201 0132 0132 0132 1 1 1 1 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 0 0 0 0 -1 12 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.024245357687 0.457006285126 1 6 1 7 2310 0132 0132 0132 1 1 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 12 -12 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.512201446445 0.566710223160 8 9 2 9 0132 0132 0132 1230 1 1 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 -1 -1 0 2 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.138056108307 0.830384908657 6 8 9 2 3012 2310 1230 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 0 0 0 0 0 0 0 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.150950754620 2.860822217326 10 3 7 5 0132 0132 1302 1230 1 1 1 1 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 -12 12 0 11 0 -11 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.392589721400 0.979482386301 6 10 3 10 2031 1302 0132 3201 1 1 1 1 0 0 0 0 1 0 0 -1 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 -12 0 0 12 -1 1 0 0 11 -12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889614968161 1.703584937453 4 11 11 5 0132 0132 1302 3201 1 1 1 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 11 -11 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.037875907006 0.584543244605 4 4 11 5 3012 0132 0132 3012 1 1 1 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 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573411555506 0.418390884831 6 7 11 7 0132 2310 0321 2031 1 1 1 1 0 0 0 0 1 0 -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 1 -1 -11 0 11 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889614968161 1.703584937453 8 8 10 9 2031 0132 0321 0132 1 1 0 1 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 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889614968161 1.703584937453 ==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_0101_5']), 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_0101_9'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : d['c_0011_7'], 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_5']), 'c_0101_10' : d['c_0011_5'], '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' : negation(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' : negation(d['1']), 's_0_7' : negation(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' : d['c_1001_10'], 'c_1100_8' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0110_9'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0110_9'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_4']), 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : d['c_1001_10'], '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' : negation(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_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : negation(d['c_0011_7']), 'c_0110_6' : d['c_0011_5']})} 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_5, c_0011_7, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_9, c_0110_9, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 197363451226627544978716684327979/40606500529821824135837373728*c_1\ 001_10^9 + 326986376492947809354530339498017/4060650052982182413583\ 7373728*c_1001_10^8 + 715822721612530085763249998373/25379062831138\ 64008489835858*c_1001_10^7 - 162460637706843468251692839849851/1015\ 1625132455456033959343432*c_1001_10^6 - 206542608993822314260210213990481/10151625132455456033959343432*c_1\ 001_10^5 - 2363853052698243996035696227807/176550002303573148416684\ 2336*c_1001_10^4 + 619665398886396082597837452964509/40606500529821\ 824135837373728*c_1001_10^3 + 123585511967893658092219791679995/101\ 51625132455456033959343432*c_1001_10^2 + 76323978258509677622297620496167/20303250264910912067918686864*c_10\ 01_10 + 9370254151576514128465528456651/203032502649109120679186868\ 64, c_0011_0 - 1, c_0011_10 - 1333586881751926283/360116584760929156*c_1001_10^9 + 396048154676847870/90029146190232289*c_1001_10^8 + 1697634365502557257/360116584760929156*c_1001_10^7 + 429286104816643089/180058292380464578*c_1001_10^6 - 858961604240558245/90029146190232289*c_1001_10^5 - 3127769840251194197/360116584760929156*c_1001_10^4 + 702626864296042878/90029146190232289*c_1001_10^3 + 1398835894854269189/360116584760929156*c_1001_10^2 - 106346340299122674/90029146190232289*c_1001_10 + 1920908855668408/90029146190232289, c_0011_11 - 1, c_0011_5 + 12436922283753862945/720233169521858312*c_1001_10^9 + 8170341627966953181/720233169521858312*c_1001_10^8 - 2788269890838754405/180058292380464578*c_1001_10^7 - 16413847634432012061/360116584760929156*c_1001_10^6 - 8636669079332004081/360116584760929156*c_1001_10^5 + 22976653494870625589/720233169521858312*c_1001_10^4 + 22398970306956829765/720233169521858312*c_1001_10^3 + 1009229753943994471/180058292380464578*c_1001_10^2 - 11441868932868323/180058292380464578*c_1001_10 + 28468360441494267/90029146190232289, c_0011_7 - 12244513002332283715/720233169521858312*c_1001_10^9 - 7798466468253502093/720233169521858312*c_1001_10^8 + 4155026945466664803/360116584760929156*c_1001_10^7 + 16279899868113712767/360116584760929156*c_1001_10^6 + 8645217283305246689/360116584760929156*c_1001_10^5 - 17357335760676629995/720233169521858312*c_1001_10^4 - 21894885275184078653/720233169521858312*c_1001_10^3 - 3177985730874203681/360116584760929156*c_1001_10^2 - 186370360594412153/180058292380464578*c_1001_10 - 41311456201174637/90029146190232289, c_0101_0 - 2598908624380218491/360116584760929156*c_1001_10^9 - 323000575658996843/360116584760929156*c_1001_10^8 + 709558735830362961/90029146190232289*c_1001_10^7 + 1268394892929709602/90029146190232289*c_1001_10^6 + 174590031622505593/180058292380464578*c_1001_10^5 - 5754985838289592059/360116584760929156*c_1001_10^4 - 818460377836037663/360116584760929156*c_1001_10^3 + 216879255795734782/90029146190232289*c_1001_10^2 - 125115643171578881/180058292380464578*c_1001_10 - 56226035451991643/90029146190232289, c_0101_1 - 1448765927993626146/90029146190232289*c_1001_10^9 - 1822577076206034490/90029146190232289*c_1001_10^8 + 1106830949757005906/90029146190232289*c_1001_10^7 + 4399060493095704596/90029146190232289*c_1001_10^6 + 3940872323463906865/90029146190232289*c_1001_10^5 - 2199315945519847986/90029146190232289*c_1001_10^4 - 3834023463376172146/90029146190232289*c_1001_10^3 - 1316979467362547574/90029146190232289*c_1001_10^2 - 144916355438059683/90029146190232289*c_1001_10 - 55646632315601545/90029146190232289, c_0101_4 + 26024242821997908121/720233169521858312*c_1001_10^9 + 18683318563404839673/720233169521858312*c_1001_10^8 - 5686593469991245791/180058292380464578*c_1001_10^7 - 34528105805460261257/360116584760929156*c_1001_10^6 - 19491734963851993513/360116584760929156*c_1001_10^5 + 47075263349184742485/720233169521858312*c_1001_10^4 + 47827336608986249953/720233169521858312*c_1001_10^3 + 2334152791382750681/180058292380464578*c_1001_10^2 - 47765719198325125/180058292380464578*c_1001_10 + 31819022988682419/90029146190232289, c_0101_5 - 1193496286644849325/360116584760929156*c_1001_10^9 + 762843218603225425/360116584760929156*c_1001_10^8 + 682375732538096915/180058292380464578*c_1001_10^7 + 1043965073289728719/180058292380464578*c_1001_10^6 - 874446506910074159/180058292380464578*c_1001_10^5 - 2683821152304068965/360116584760929156*c_1001_10^4 + 103076929940965297/360116584760929156*c_1001_10^3 + 641743744249609463/180058292380464578*c_1001_10^2 - 138213855997778625/90029146190232289*c_1001_10 - 6576064549292189/90029146190232289, c_0101_9 - 47060045032462536351/3060990970467897826*c_1001_10^9 - 46814364172247313661/6121981940935795652*c_1001_10^8 + 42323123855053584231/3060990970467897826*c_1001_10^7 + 57769020668812495694/1530495485233948913*c_1001_10^6 + 45109132377198136983/3060990970467897826*c_1001_10^5 - 88353520328223712191/3060990970467897826*c_1001_10^4 - 134925069443075842569/6121981940935795652*c_1001_10^3 - 3514558963004701711/3060990970467897826*c_1001_10^2 + 388671315211228350/1530495485233948913*c_1001_10 + 136335072309348215/1530495485233948913, c_0110_9 - 10049929710464164295/720233169521858312*c_1001_10^9 - 9696028065173404031/720233169521858312*c_1001_10^8 + 1052947079150328745/90029146190232289*c_1001_10^7 + 14325917487852554623/360116584760929156*c_1001_10^6 + 10385562093152152399/360116584760929156*c_1001_10^5 - 17609011190262487659/720233169521858312*c_1001_10^4 - 22605124166838760359/720233169521858312*c_1001_10^3 - 825486749096801967/90029146190232289*c_1001_10^2 + 467927873308890151/180058292380464578*c_1001_10 - 21892295892202078/90029146190232289, c_1001_10^10 + 580/617*c_1001_10^9 - 361/617*c_1001_10^8 - 1758/617*c_1001_10^7 - 1328/617*c_1001_10^6 + 735/617*c_1001_10^5 + 1368/617*c_1001_10^4 + 567/617*c_1001_10^3 + 96/617*c_1001_10^2 + 20/617*c_1001_10 + 8/617 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.490 seconds, Total memory usage: 32.09MB