Magma V2.19-8 Tue Aug 20 2013 23:40:29 on localhost [Seed = 3431639111] Type ? for help. Type -D to quit. Loading file "L11a355__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a355 geometric_solution 9.96465373 oriented_manifold CS_known -0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 1 1 1 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 0 0 0 0 0 3 -3 -3 0 0 3 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.784697458174 0.481642218692 0 2 5 5 0132 1230 0213 0132 0 1 1 1 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 0 1 3 0 0 -3 -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.687231739554 0.488443698272 6 0 1 6 0132 0132 3012 2103 1 0 1 1 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 -3 0 1 2 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.699769707875 0.718163402105 5 7 8 0 0132 0132 0132 0132 1 1 1 1 0 0 -1 1 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 3 -3 0 0 0 0 0 0 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463697325572 0.289710762283 9 6 0 7 0132 2103 0132 0132 1 1 1 1 0 0 -1 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 -1 3 -2 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607393580891 0.720600764117 3 1 1 8 0132 0213 0132 3012 0 1 1 1 0 0 0 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 0 -1 1 0 0 3 -3 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929747668881 1.451967629963 2 4 10 2 0132 2103 0132 2103 1 0 1 1 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 -1 1 3 0 -1 -2 -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.699769707875 0.718163402105 9 3 4 10 3012 0132 0132 3201 1 1 1 1 0 0 -1 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 0 0 2 -2 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.059486955716 0.656581271314 10 10 5 3 0321 3201 1230 0132 1 1 1 0 0 0 -1 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 0 3 -3 2 0 -2 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.611102304035 1.240878787928 4 9 9 7 0132 1230 3012 1230 1 1 1 1 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 -3 0 0 3 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.161061495994 1.137897393982 8 7 8 6 0321 2310 2310 0132 1 0 1 1 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 -1 1 0 0 -1 1 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680590665920 0.648579239039 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0011_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_4']), 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : negation(d['c_0011_10']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : negation(d['c_0101_2']), 'c_1100_10' : d['c_0011_8'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_1001_10']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_10' : negation(d['c_0011_8']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_8']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_8, c_0101_0, c_0101_10, c_0101_2, c_0101_7, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 27348501481822382010268559/92060248920614458814157568*c_1001_10^9 + 347474176306662443917367877/92060248920614458814157568*c_1001_10^8 - 258100027421610709960636049/11507531115076807351769696*c_1001_10^7 + 2700451485006724668566170913/46030124460307229407078784*c_1001_10^6 - 58970748081443711843187407/1484842724526039658292864*c_1001_10^5 - 8818909418121315161160157797/92060248920614458814157568*c_1001_10^4 + 2393231459184766977578544519/23015062230153614703539392*c_1001_10\ ^3 + 3492013623379269627898925553/46030124460307229407078784*c_1001\ _10^2 - 18100012781332330381727368009/92060248920614458814157568*c_\ 1001_10 + 3050825180150226489969765103/92060248920614458814157568, c_0011_0 - 1, c_0011_10 - 830907089448/2362539066893101*c_1001_10^9 + 10722312766019/2362539066893101*c_1001_10^8 - 64367148647670/2362539066893101*c_1001_10^7 + 178733618743225/2362539066893101*c_1001_10^6 - 186077235927517/2362539066893101*c_1001_10^5 + 39359342817816/2362539066893101*c_1001_10^4 - 113790172720247/2362539066893101*c_1001_10^3 + 364358275347268/2362539066893101*c_1001_10^2 - 1139958703965263/2362539066893101*c_1001_10 - 48653313377306/2362539066893101, c_0011_3 + 6785231987097/2362539066893101*c_1001_10^9 - 86617175324767/2362539066893101*c_1001_10^8 + 522306601101066/2362539066893101*c_1001_10^7 - 1431059040578390/2362539066893101*c_1001_10^6 + 1354562428937556/2362539066893101*c_1001_10^5 + 1110576932850382/2362539066893101*c_1001_10^4 - 1277449843581627/2362539066893101*c_1001_10^3 - 1140910737801567/2362539066893101*c_1001_10^2 + 3364389426876132/2362539066893101*c_1001_10 - 1642972243922678/2362539066893101, c_0011_4 - 884569589140/2362539066893101*c_1001_10^9 + 7833423924255/2362539066893101*c_1001_10^8 - 36415415435316/2362539066893101*c_1001_10^7 + 50492815092720/2362539066893101*c_1001_10^6 - 73657625837267/2362539066893101*c_1001_10^5 + 21836552981094/2362539066893101*c_1001_10^4 + 723814184224131/2362539066893101*c_1001_10^3 - 1622057600118198/2362539066893101*c_1001_10^2 - 1404335816732574/2362539066893101*c_1001_10 - 159029493233621/2362539066893101, c_0011_8 - 1744264177957/2362539066893101*c_1001_10^9 + 18756656274472/2362539066893101*c_1001_10^8 - 89832094697623/2362539066893101*c_1001_10^7 + 109264816128528/2362539066893101*c_1001_10^6 + 305639652893529/2362539066893101*c_1001_10^5 - 701837946468000/2362539066893101*c_1001_10^4 - 121355617390244/2362539066893101*c_1001_10^3 - 517141050477485/2362539066893101*c_1001_10^2 - 667893827120127/2362539066893101*c_1001_10 + 996132598658581/2362539066893101, c_0101_0 - 4781958024647/2362539066893101*c_1001_10^9 + 64054636443428/2362539066893101*c_1001_10^8 - 403535588345994/2362539066893101*c_1001_10^7 + 1200893468237533/2362539066893101*c_1001_10^6 - 1361897166791803/2362539066893101*c_1001_10^5 - 750959741840463/2362539066893101*c_1001_10^4 + 1575298310620285/2362539066893101*c_1001_10^3 + 653965623501836/2362539066893101*c_1001_10^2 - 2136827425087312/2362539066893101*c_1001_10 + 836340253538434/2362539066893101, c_0101_10 + 2003273962450/2362539066893101*c_1001_10^9 - 22562538881339/2362539066893101*c_1001_10^8 + 118771012755072/2362539066893101*c_1001_10^7 - 230165572340857/2362539066893101*c_1001_10^6 - 7334737854247/2362539066893101*c_1001_10^5 + 359617191009919/2362539066893101*c_1001_10^4 + 297848467038658/2362539066893101*c_1001_10^3 - 486945114299731/2362539066893101*c_1001_10^2 + 1227562001788820/2362539066893101*c_1001_10 - 806631990384244/2362539066893101, c_0101_2 - 1, c_0101_7 - 2866669184405/2362539066893101*c_1001_10^9 + 43020467611981/2362539066893101*c_1001_10^8 - 285601823526098/2362539066893101*c_1001_10^7 + 911587328330280/2362539066893101*c_1001_10^6 - 942786207522687/2362539066893101*c_1001_10^5 - 1119366632653240/2362539066893101*c_1001_10^4 + 2097545936303095/2362539066893101*c_1001_10^3 + 1041758960349616/2362539066893101*c_1001_10^2 - 903427261152070/2362539066893101*c_1001_10 + 940421350220416/2362539066893101, c_1001_0 + 1744264177957/2362539066893101*c_1001_10^9 - 18756656274472/2362539066893101*c_1001_10^8 + 89832094697623/2362539066893101*c_1001_10^7 - 109264816128528/2362539066893101*c_1001_10^6 - 305639652893529/2362539066893101*c_1001_10^5 + 701837946468000/2362539066893101*c_1001_10^4 + 121355617390244/2362539066893101*c_1001_10^3 + 517141050477485/2362539066893101*c_1001_10^2 + 667893827120127/2362539066893101*c_1001_10 + 1366406468234520/2362539066893101, c_1001_10^10 - 12*c_1001_10^9 + 67*c_1001_10^8 - 150*c_1001_10^7 + 28*c_1001_10^6 + 333*c_1001_10^5 - 79*c_1001_10^4 - 346*c_1001_10^3 + 357*c_1001_10^2 + 216*c_1001_10 + 193 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB