Magma V2.19-8 Wed Aug 21 2013 01:07:41 on localhost [Seed = 947790117] Type ? for help. Type -D to quit. Loading file "L14n33725__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33725 geometric_solution 12.03861075 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 1 0 1 0 -1 0 0 -1 1 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 5 -1 -4 1 0 0 -1 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.004405642055 1.170929018710 0 5 7 6 0132 0132 0132 0132 1 0 1 1 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 -1 0 0 1 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.143025086922 0.985257088508 5 0 8 7 0132 0132 0132 0321 1 0 1 1 0 -1 1 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 -5 5 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609015611028 0.918242035713 4 8 9 0 0132 2031 0132 0132 1 0 1 0 0 1 -1 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 4 -5 1 0 0 0 0 0 5 0 -5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104805486194 0.910304843856 3 10 0 6 0132 0132 0132 0213 1 0 0 1 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 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.071301925017 0.743927607682 2 1 11 12 0132 0132 0132 0132 1 0 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 0 0 0 0 1 -1 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.335280353809 0.702618118769 7 9 1 4 0132 0213 0132 0213 1 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 -1 1 -1 0 0 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347150959329 0.825178701125 6 2 10 1 0132 0321 0321 0132 1 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 4 0 0 -4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426017409842 1.156738013283 3 12 11 2 1302 2103 2310 0132 1 0 1 1 0 0 1 -1 0 0 0 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 5 -5 0 0 0 0 -4 0 0 4 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929851236183 0.743340747064 11 12 6 3 0132 3012 0213 0132 1 0 0 1 0 -1 0 1 -1 0 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 -5 0 5 0 0 0 0 0 1 0 -1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.832763058080 1.014100928286 11 4 7 12 2103 0132 0321 2103 1 0 1 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 4 0 -4 -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.457279242002 0.533621263453 9 8 10 5 0132 3201 2103 0132 1 0 1 0 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 0 0 0 0 1 -1 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101171315646 0.746076351812 9 8 5 10 1230 2103 0132 2103 1 0 1 1 0 0 0 0 0 0 0 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 0 0 -1 0 1 0 -4 0 0 4 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377512315091 1.529319104149 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_8'], 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0011_8'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : negation(d['c_1001_2']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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' : 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_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_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_10']), 'c_1100_4' : d['c_1010_6'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1010_6'], 'c_1100_3' : d['c_1010_6'], 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_10']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_8'], 'c_1010_2' : d['c_0011_8'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : d['c_1001_2'], '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' : negation(d['c_0110_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' : negation(d['c_0011_11']), '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' : negation(d['c_0011_6']), 'c_0110_6' : negation(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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_0'], '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' : d['c_0011_6'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1010_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_0'], 'c_1100_8' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0110_10, c_1001_10, c_1001_2, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2393160077962917964933/8668334380064766440040*c_1010_6^16 + 4258448037291169039141/1733666876012953288008*c_1010_6^15 - 63979016718184360373897/8668334380064766440040*c_1010_6^14 + 3921132267037593865339/309583370716598801430*c_1010_6^13 - 8763462097296437032069/2167083595016191610010*c_1010_6^12 - 93600692328787412999749/2167083595016191610010*c_1010_6^11 + 674900127088323405452527/4334167190032383220020*c_1010_6^10 - 582793806675963953212619/1733666876012953288008*c_1010_6^9 + 233633685107746881007289/433416719003238322002*c_1010_6^8 - 608299606336890229768877/866833438006476644004*c_1010_6^7 + 430066458864683161613789/577888958670984429336*c_1010_6^6 - 5694555447955367771808913/8668334380064766440040*c_1010_6^5 + 2139425058174604165918577/4334167190032383220020*c_1010_6^4 - 60443147509631594848279/206388913811065867620*c_1010_6^3 + 176398478831557716841598/1083541797508095805005*c_1010_6^2 - 7843403707846011516941/139811844839754297420*c_1010_6 + 10264271592816343729043/433416719003238322002, c_0011_0 - 1, c_0011_10 + 30524562062933/556874733719351*c_1010_6^16 - 310128328456175/556874733719351*c_1010_6^15 + 1245931291388801/556874733719351*c_1010_6^14 - 3403815686794452/556874733719351*c_1010_6^13 + 6810789900524057/556874733719351*c_1010_6^12 - 10683234464378252/556874733719351*c_1010_6^11 + 13348307251445789/556874733719351*c_1010_6^10 - 13328804124769895/556874733719351*c_1010_6^9 + 11043317990898761/556874733719351*c_1010_6^8 - 7175990110422825/556874733719351*c_1010_6^7 + 4408854602087052/556874733719351*c_1010_6^6 - 3171330909853682/556874733719351*c_1010_6^5 + 2146385850160866/556874733719351*c_1010_6^4 - 3064883349988156/556874733719351*c_1010_6^3 + 1216453635922512/556874733719351*c_1010_6^2 - 58120015548732/17963701087721*c_1010_6 + 363727595555671/556874733719351, c_0011_11 - 52612554474922/556874733719351*c_1010_6^16 + 511614989456757/556874733719351*c_1010_6^15 - 1898195879255138/556874733719351*c_1010_6^14 + 4842853713230869/556874733719351*c_1010_6^13 - 9267100069864389/556874733719351*c_1010_6^12 + 14142352873018830/556874733719351*c_1010_6^11 - 17502513433100479/556874733719351*c_1010_6^10 + 17656937616660877/556874733719351*c_1010_6^9 - 15527163135725092/556874733719351*c_1010_6^8 + 11004302108706559/556874733719351*c_1010_6^7 - 7400400093602773/556874733719351*c_1010_6^6 + 6168822745042473/556874733719351*c_1010_6^5 - 3458648091022254/556874733719351*c_1010_6^4 + 4276411336702321/556874733719351*c_1010_6^3 - 2451496200225137/556874733719351*c_1010_6^2 + 66884478737956/17963701087721*c_1010_6 - 942021413080587/556874733719351, c_0011_12 + 75274449976187/1113749467438702*c_1010_6^16 - 712308880085273/1113749467438702*c_1010_6^15 + 1257557657162055/556874733719351*c_1010_6^14 - 3057048367434368/556874733719351*c_1010_6^13 + 10972975421051481/1113749467438702*c_1010_6^12 - 15420550805314929/1113749467438702*c_1010_6^11 + 17106633033823179/1113749467438702*c_1010_6^10 - 7421457039995333/556874733719351*c_1010_6^9 + 11379948941290213/1113749467438702*c_1010_6^8 - 3242215306814785/556874733719351*c_1010_6^7 + 4493670482086391/1113749467438702*c_1010_6^6 - 5007971147148165/1113749467438702*c_1010_6^5 + 1823446112225039/1113749467438702*c_1010_6^4 - 2230161266642648/556874733719351*c_1010_6^3 + 506389597210125/556874733719351*c_1010_6^2 - 37133747458495/17963701087721*c_1010_6 + 152936746926301/556874733719351, c_0011_6 - 48192905887294/556874733719351*c_1010_6^16 + 470464570114743/556874733719351*c_1010_6^15 - 1769061698555819/556874733719351*c_1010_6^14 + 4595320844004228/556874733719351*c_1010_6^13 - 8838364321104731/556874733719351*c_1010_6^12 + 13497807555503941/556874733719351*c_1010_6^11 - 16615412218312882/556874733719351*c_1010_6^10 + 16622262526369993/556874733719351*c_1010_6^9 - 14387891199815206/556874733719351*c_1010_6^8 + 9970574841241997/556874733719351*c_1010_6^7 - 6772896387051735/556874733719351*c_1010_6^6 + 5037847511711062/556874733719351*c_1010_6^5 - 2682926400072362/556874733719351*c_1010_6^4 + 3950847439014338/556874733719351*c_1010_6^3 - 1685916762157679/556874733719351*c_1010_6^2 + 83337050941566/17963701087721*c_1010_6 - 755956751378282/556874733719351, c_0011_8 - 4336983512453/1113749467438702*c_1010_6^16 + 51549599974527/1113749467438702*c_1010_6^15 - 119221428535898/556874733719351*c_1010_6^14 + 333710102004082/556874733719351*c_1010_6^13 - 1464374626491265/1113749467438702*c_1010_6^12 + 2482825935493711/1113749467438702*c_1010_6^11 - 3455097372466657/1113749467438702*c_1010_6^10 + 1973073256726202/556874733719351*c_1010_6^9 - 3932686787320413/1113749467438702*c_1010_6^8 + 1680610320877470/556874733719351*c_1010_6^7 - 2243291741952451/1113749467438702*c_1010_6^6 + 1754628149429823/1113749467438702*c_1010_6^5 - 806032440287469/1113749467438702*c_1010_6^4 + 162587921759437/556874733719351*c_1010_6^3 - 556366013481278/556874733719351*c_1010_6^2 + 10314699813639/17963701087721*c_1010_6 - 297299887497878/556874733719351, c_0101_0 - 1, c_0101_10 + 23885213623997/556874733719351*c_1010_6^16 - 225520202698087/556874733719351*c_1010_6^15 + 803651707871937/556874733719351*c_1010_6^14 - 2007593462287867/556874733719351*c_1010_6^13 + 3673482255962964/556874733719351*c_1010_6^12 - 5355769962334328/556874733719351*c_1010_6^11 + 6280209713401198/556874733719351*c_1010_6^10 - 5981056644448758/556874733719351*c_1010_6^9 + 5131532550033086/556874733719351*c_1010_6^8 - 3469986566457562/556874733719351*c_1010_6^7 + 2582695635884718/556874733719351*c_1010_6^6 - 1928743558029413/556874733719351*c_1010_6^5 + 884407822682070/556874733719351*c_1010_6^4 - 1701809562367431/556874733719351*c_1010_6^3 - 380503887874358/556874733719351*c_1010_6^2 - 44355594892289/17963701087721*c_1010_6 - 155605314659739/556874733719351, c_0101_12 - 22136799689984/556874733719351*c_1010_6^16 + 202508016591427/556874733719351*c_1010_6^15 - 661867474018336/556874733719351*c_1010_6^14 + 1452581301225871/556874733719351*c_1010_6^13 - 2275720290943420/556874733719351*c_1010_6^12 + 2669511998985073/556874733719351*c_1010_6^11 - 2177904412448354/556874733719351*c_1010_6^10 + 906404815583432/556874733719351*c_1010_6^9 + 91372511876623/556874733719351*c_1010_6^8 - 991020307337322/556874733719351*c_1010_6^7 + 863242106239125/556874733719351*c_1010_6^6 + 74787531893547/556874733719351*c_1010_6^5 + 392971886679457/556874733719351*c_1010_6^4 + 206186212321039/556874733719351*c_1010_6^3 + 251377073793996/556874733719351*c_1010_6^2 - 1315201496423/17963701087721*c_1010_6 + 383215276811547/556874733719351, c_0110_10 + 44305854248623/556874733719351*c_1010_6^16 - 407795854799858/556874733719351*c_1010_6^15 + 1375732965986789/556874733719351*c_1010_6^14 - 3273092966431053/556874733719351*c_1010_6^13 + 5870643920160986/556874733719351*c_1010_6^12 - 8534947342702728/556874733719351*c_1010_6^11 + 10190388681812322/556874733719351*c_1010_6^10 - 10039238907103793/556874733719351*c_1010_6^9 + 9100947884114213/556874733719351*c_1010_6^8 - 6299009342303799/556874733719351*c_1010_6^7 + 4439016635917567/556874733719351*c_1010_6^6 - 3894756881048437/556874733719351*c_1010_6^5 + 1234652237168865/556874733719351*c_1010_6^4 - 3049849845653927/556874733719351*c_1010_6^3 + 924666362619230/556874733719351*c_1010_6^2 - 49321331988609/17963701087721*c_1010_6 + 326195965281038/556874733719351, c_1001_10 + 35468733231867/556874733719351*c_1010_6^16 - 330379640055373/556874733719351*c_1010_6^15 + 1138336228626157/556874733719351*c_1010_6^14 - 2723338265430286/556874733719351*c_1010_6^13 + 4754300397280108/556874733719351*c_1010_6^12 - 6468862434910609/556874733719351*c_1010_6^11 + 6825767830678261/556874733719351*c_1010_6^10 - 5448383783269131/556874733719351*c_1010_6^9 + 3723631076984900/556874733719351*c_1010_6^8 - 1561604985937315/556874733719351*c_1010_6^7 + 1125189370066970/556874733719351*c_1010_6^6 - 1626671498859171/556874733719351*c_1010_6^5 + 508706835968785/556874733719351*c_1010_6^4 - 2067573344883211/556874733719351*c_1010_6^3 - 49976416271153/556874733719351*c_1010_6^2 - 26819047644856/17963701087721*c_1010_6 - 144363140571577/556874733719351, c_1001_2 - 4336983512453/1113749467438702*c_1010_6^16 + 51549599974527/1113749467438702*c_1010_6^15 - 119221428535898/556874733719351*c_1010_6^14 + 333710102004082/556874733719351*c_1010_6^13 - 1464374626491265/1113749467438702*c_1010_6^12 + 2482825935493711/1113749467438702*c_1010_6^11 - 3455097372466657/1113749467438702*c_1010_6^10 + 1973073256726202/556874733719351*c_1010_6^9 - 3932686787320413/1113749467438702*c_1010_6^8 + 1680610320877470/556874733719351*c_1010_6^7 - 2243291741952451/1113749467438702*c_1010_6^6 + 1754628149429823/1113749467438702*c_1010_6^5 - 806032440287469/1113749467438702*c_1010_6^4 + 162587921759437/556874733719351*c_1010_6^3 - 556366013481278/556874733719351*c_1010_6^2 - 7649001274082/17963701087721*c_1010_6 - 297299887497878/556874733719351, c_1010_6^17 - 10*c_1010_6^16 + 39*c_1010_6^15 - 104*c_1010_6^14 + 207*c_1010_6^13 - 328*c_1010_6^12 + 422*c_1010_6^11 - 445*c_1010_6^10 + 405*c_1010_6^9 - 305*c_1010_6^8 + 215*c_1010_6^7 - 164*c_1010_6^6 + 102*c_1010_6^5 - 109*c_1010_6^4 + 62*c_1010_6^3 - 66*c_1010_6^2 + 30*c_1010_6 - 10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB