Magma V2.19-8 Tue Aug 20 2013 19:36:53 on localhost [Seed = 88386254] Type ? for help. Type -D to quit. Loading file "11_285__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_285 geometric_solution 13.80212463 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 15 1 2 1 3 0132 0132 3120 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 -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.108915470379 0.736931148334 0 4 0 5 0132 0132 3120 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 1 -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.108915470379 0.736931148334 6 0 7 3 0132 0132 0132 3120 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 -10 0 0 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.788470270119 1.016339668038 2 4 0 7 3120 1302 0132 0132 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 1 -1 0 -10 0 -1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298882791087 0.560737552439 6 1 8 3 1023 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.311233511998 1.441604128719 9 10 1 11 0132 0132 0132 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 1 0 -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.383505229648 0.524163395649 2 4 9 12 0132 1023 2310 0132 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 10 0 0 -10 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.086453194353 0.713666878849 13 12 3 2 0132 0132 0132 0132 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 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.976829422251 0.502247576941 11 14 14 4 1023 0132 1302 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 -1 1 0 1 0 0 -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.786351133211 0.722913685987 5 6 13 11 0132 3201 2031 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.386880975899 1.086117719181 12 5 11 14 3201 0132 2103 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 -1 0 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.227133385279 1.209116968369 10 8 5 9 2103 1023 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922644879517 0.689417659316 13 7 6 10 2103 0132 0132 2310 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 -11 0 10 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.765689604999 1.301402162860 7 14 12 9 0132 1302 2103 1302 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 -1 0 1 -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.965708747975 0.601979314350 8 8 10 13 2031 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.310794034273 0.633605528174 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_1001_14'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0011_11'], 'c_1001_13' : d['c_0011_12'], 'c_1001_12' : d['c_0110_4'], 'c_1001_5' : d['c_1001_14'], 'c_1001_4' : d['c_1001_14'], 'c_1001_7' : negation(d['c_0101_14']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_0011_12'], 'c_1010_13' : d['c_0110_11'], 'c_1010_12' : negation(d['c_0101_14']), 'c_1010_11' : d['c_0101_4'], 'c_1010_10' : d['c_1001_14'], 'c_1010_14' : d['c_0011_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : 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'], 'c_0101_14' : d['c_0101_14'], '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_12' : d['1'], 's_2_13' : 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_14' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_14'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0101_14'], 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_1']), 'c_1100_14' : negation(d['c_0110_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0110_11']), 'c_1100_13' : d['c_0101_10'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0110_4'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0011_11'], 's_3_12' : d['1'], 'c_1010_3' : negation(d['c_0101_14']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_14'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : negation(d['c_0101_4']), 'c_1010_8' : d['c_1001_14'], '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'], 'c_1100_12' : d['c_0011_10'], '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_10'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_12'], 'c_0011_6' : d['c_0011_0'], '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_0110_11'], 'c_0110_10' : d['c_0101_14'], 'c_0110_13' : d['c_0101_6'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0110_14' : d['c_0011_12'], 'c_1010_4' : d['c_0011_3'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_1'], 's_2_14' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_11']), 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_4, c_0101_6, c_0110_11, c_0110_4, c_1001_14 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 41386662475427374/27908056103*c_1001_14^10 + 188259392110461997/27908056103*c_1001_14^9 + 1739274779432372346/27908056103*c_1001_14^8 + 4201949214001273004/27908056103*c_1001_14^7 + 4712275139864281733/27908056103*c_1001_14^6 + 2747839216698853629/27908056103*c_1001_14^5 + 600613018569942336/27908056103*c_1001_14^4 - 257886628559289000/27908056103*c_1001_14^3 - 230134354020540595/27908056103*c_1001_14^2 - 68408103764741881/27908056103*c_1001_14 - 7845065832801763/27908056103, c_0011_0 - 1, c_0011_10 - 477241478/15938353*c_1001_14^10 - 2136489677/15938353*c_1001_14^9 - 19892925125/15938353*c_1001_14^8 - 47048821927/15938353*c_1001_14^7 - 50788814644/15938353*c_1001_14^6 - 29707945579/15938353*c_1001_14^5 - 7349992975/15938353*c_1001_14^4 + 2006486213/15938353*c_1001_14^3 + 1964129884/15938353*c_1001_14^2 + 533971421/15938353*c_1001_14 + 46785570/15938353, c_0011_11 - 1403045847/15938353*c_1001_14^10 - 6003204813/15938353*c_1001_14^9 - 57799921328/15938353*c_1001_14^8 - 128675203424/15938353*c_1001_14^7 - 143277230831/15938353*c_1001_14^6 - 91167860940/15938353*c_1001_14^5 - 28650718531/15938353*c_1001_14^4 + 2130348590/15938353*c_1001_14^3 + 5732755633/15938353*c_1001_14^2 + 2163154863/15938353*c_1001_14 + 308855744/15938353, c_0011_12 - 2338031745/15938353*c_1001_14^10 - 9996197973/15938353*c_1001_14^9 - 96398934208/15938353*c_1001_14^8 - 214504598818/15938353*c_1001_14^7 - 242378722431/15938353*c_1001_14^6 - 157826160396/15938353*c_1001_14^5 - 51860185415/15938353*c_1001_14^4 + 2360474765/15938353*c_1001_14^3 + 9847873262/15938353*c_1001_14^2 + 3909930663/15938353*c_1001_14 + 579355123/15938353, c_0011_3 - 1437540202/15938353*c_1001_14^10 - 6188564702/15938353*c_1001_14^9 - 59455891206/15938353*c_1001_14^8 - 133646250854/15938353*c_1001_14^7 - 153049774021/15938353*c_1001_14^6 - 101552652361/15938353*c_1001_14^5 - 34833409319/15938353*c_1001_14^4 + 556340864/15938353*c_1001_14^3 + 6174278284/15938353*c_1001_14^2 + 2613909050/15938353*c_1001_14 + 435669677/15938353, c_0101_0 + 1056042974/15938353*c_1001_14^10 + 4220324424/15938353*c_1001_14^9 + 42413289030/15938353*c_1001_14^8 + 85271887552/15938353*c_1001_14^7 + 87750712954/15938353*c_1001_14^6 + 51698175270/15938353*c_1001_14^5 + 14285427619/15938353*c_1001_14^4 - 1978296443/15938353*c_1001_14^3 - 3208071802/15938353*c_1001_14^2 - 1132762652/15938353*c_1001_14 - 162074327/15938353, c_0101_1 + 592532332/15938353*c_1001_14^10 + 2271722123/15938353*c_1001_14^9 + 23427851414/15938353*c_1001_14^8 + 44028848068/15938353*c_1001_14^7 + 42040471885/15938353*c_1001_14^6 + 21857240045/15938353*c_1001_14^5 + 4363408505/15938353*c_1001_14^4 - 1757641071/15938353*c_1001_14^3 - 1398141094/15938353*c_1001_14^2 - 360894056/15938353*c_1001_14 - 44410310/15938353, c_0101_10 + 2338031745/15938353*c_1001_14^10 + 9996197973/15938353*c_1001_14^9 + 96398934208/15938353*c_1001_14^8 + 214504598818/15938353*c_1001_14^7 + 242378722431/15938353*c_1001_14^6 + 157826160396/15938353*c_1001_14^5 + 51860185415/15938353*c_1001_14^4 - 2360474765/15938353*c_1001_14^3 - 9847873262/15938353*c_1001_14^2 - 3909930663/15938353*c_1001_14 - 579355123/15938353, c_0101_12 + 1021548619/15938353*c_1001_14^10 + 4034964535/15938353*c_1001_14^9 + 40757319152/15938353*c_1001_14^8 + 80300840122/15938353*c_1001_14^7 + 77978169764/15938353*c_1001_14^6 + 41313383849/15938353*c_1001_14^5 + 8102736831/15938353*c_1001_14^4 - 3552304169/15938353*c_1001_14^3 - 2766549151/15938353*c_1001_14^2 - 666070112/15938353*c_1001_14 - 51198747/15938353, c_0101_14 + 663200111/15938353*c_1001_14^10 + 2617739493/15938353*c_1001_14^9 + 26620985598/15938353*c_1001_14^8 + 52669339503/15938353*c_1001_14^7 + 56972959560/15938353*c_1001_14^6 + 37727726845/15938353*c_1001_14^5 + 13833149414/15938353*c_1001_14^4 + 689964139/15938353*c_1001_14^3 - 2095788951/15938353*c_1001_14^2 - 1113390531/15938353*c_1001_14 - 209706772/15938353, c_0101_4 - 34494355/15938353*c_1001_14^10 - 185359889/15938353*c_1001_14^9 - 1655969878/15938353*c_1001_14^8 - 4971047430/15938353*c_1001_14^7 - 9772543190/15938353*c_1001_14^6 - 10384791421/15938353*c_1001_14^5 - 6182690788/15938353*c_1001_14^4 - 1574007726/15938353*c_1001_14^3 + 441522651/15938353*c_1001_14^2 + 466692540/15938353*c_1001_14 + 110875580/15938353, c_0101_6 - 1860790267/15938353*c_1001_14^10 - 7859708296/15938353*c_1001_14^9 - 76506009083/15938353*c_1001_14^8 - 167455776891/15938353*c_1001_14^7 - 191589907787/15938353*c_1001_14^6 - 128118214817/15938353*c_1001_14^5 - 44510192440/15938353*c_1001_14^4 + 353988552/15938353*c_1001_14^3 + 7883743378/15938353*c_1001_14^2 + 3375959242/15938353*c_1001_14 + 532569553/15938353, c_0110_11 + 1719243085/15938353*c_1001_14^10 + 6838063917/15938353*c_1001_14^9 + 69034274628/15938353*c_1001_14^8 + 137941227055/15938353*c_1001_14^7 + 144723672514/15938353*c_1001_14^6 + 89425902115/15938353*c_1001_14^5 + 28118577033/15938353*c_1001_14^4 - 1288332304/15938353*c_1001_14^3 - 5303860753/15938353*c_1001_14^2 - 2230214830/15938353*c_1001_14 - 371781099/15938353, c_0110_4 + 1466158435/15938353*c_1001_14^10 + 6203548789/15938353*c_1001_14^9 + 60249545988/15938353*c_1001_14^8 + 132111913471/15938353*c_1001_14^7 + 148988675844/15938353*c_1001_14^6 + 97270761818/15938353*c_1001_14^5 + 32201489361/15938353*c_1001_14^4 - 1286761845/15938353*c_1001_14^3 - 6060550314/15938353*c_1001_14^2 - 2431801564/15938353*c_1001_14 - 353976097/15938353, c_1001_14^11 + 33/7*c_1001_14^10 + 302/7*c_1001_14^9 + 110*c_1001_14^8 + 1018/7*c_1001_14^7 + 816/7*c_1001_14^6 + 390/7*c_1001_14^5 + 11*c_1001_14^4 - 29/7*c_1001_14^3 - 26/7*c_1001_14^2 - 8/7*c_1001_14 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 153.330 Total time: 153.539 seconds, Total memory usage: 1366.72MB