Magma V2.19-8 Wed Aug 21 2013 00:57:18 on localhost [Seed = 543570685] Type ? for help. Type -D to quit. Loading file "L13n4204__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4204 geometric_solution 12.32611840 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1302 0132 0132 1 1 1 0 0 -1 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 0 5 0 -5 0 0 0 0 5 -5 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416568160921 0.827684201704 0 4 5 0 0132 0132 0132 2031 1 1 0 1 0 0 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 -5 5 0 0 5 -5 1 -1 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568949875096 0.807139397675 4 4 6 0 0132 1230 0132 0132 1 1 0 1 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 2 -1 0 -1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636076002542 0.698587634633 6 7 0 8 1302 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 -6 5 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.301389460915 1.614456650462 2 1 2 7 0132 0132 3012 2310 1 1 1 0 0 0 1 -1 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 -6 6 0 0 0 0 6 -5 0 -1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287403507929 0.782628327203 9 10 11 1 0132 0132 0132 0132 1 1 1 1 0 1 0 -1 -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 -5 0 5 5 0 0 -5 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.093898705082 0.711412007381 9 3 8 2 2031 2031 0132 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 0.223113242097 0.954309665669 4 3 12 11 3201 0132 0132 1302 1 1 1 1 0 -1 0 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 6 0 -6 1 0 0 -1 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387984231216 1.005664162440 12 10 3 6 2031 1023 0132 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 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.223787139469 0.673474235407 5 12 6 11 0132 2031 1302 3201 1 1 1 1 0 0 0 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 0 0 0 -5 0 0 5 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403780008100 0.682431018637 8 5 12 11 1023 0132 3012 2310 1 1 1 1 0 -1 0 1 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 5 0 -5 -1 0 0 1 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034022102448 1.194797817362 10 9 7 5 3201 2310 2031 0132 1 1 1 1 0 -1 1 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 0 0 0 0 0 6 -6 0 -6 0 6 0 5 -5 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210624962417 1.315666132054 9 10 8 7 1302 1230 1302 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.082024633452 0.632765489209 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : negation(d['c_0101_5']), 's_3_11' : 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' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(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_1001_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_3']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_11'], '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_10'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0101_5'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : negation(d['c_0101_2']), 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_12'], 'c_0110_6' : d['c_0101_2']})} 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_3, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 525734063634653657803724506412663099046440937406/262280297168305350\ 135667261180230193473125*c_1100_0^11 - 16468837026052237657189718535026853881542503114893/2098242377346442\ 801085338089441841547785000*c_1100_0^10 + 11078282214108686780601843143042228522370731887047/2098242377346442\ 801085338089441841547785000*c_1100_0^9 + 9399545759668248129825182488575557052076510266917/10491211886732214\ 00542669044720920773892500*c_1100_0^8 - 3909832433480406644230096948425412987338005081253/52456059433661070\ 0271334522360460386946250*c_1100_0^7 - 3664946595395636288773142584429316241236196109479/10491211886732214\ 00542669044720920773892500*c_1100_0^6 + 15257291228066981780453109490996935987845421493329/2098242377346442\ 801085338089441841547785000*c_1100_0^5 - 185671067190738253548536156987776036836361066501/209824237734644280\ 1085338089441841547785000*c_1100_0^4 - 2003161685273208922218247112775879641045575825647/41964847546928856\ 0217067617888368309557000*c_1100_0^3 + 146965698730754359541089988892417301475651414409/419648475469288560\ 217067617888368309557000*c_1100_0^2 + 845160432570260630098594882324598722227088933947/419648475469288560\ 217067617888368309557000*c_1100_0 - 682175579769671644848243756311221156909787597629/104912118867322140\ 0542669044720920773892500, c_0011_0 - 1, c_0011_10 + 18340157235631948796960792854/27157379811897954019237019*c_\ 1100_0^11 - 69060125831937576091558718008/2715737981189795401923701\ 9*c_1100_0^10 + 38958651828380495492213987335/271573798118979540192\ 37019*c_1100_0^9 + 84357171710004026957487455424/271573798118979540\ 19237019*c_1100_0^8 - 54641239860129517927953848698/271573798118979\ 54019237019*c_1100_0^7 - 35126674800434985094879084556/271573798118\ 97954019237019*c_1100_0^6 + 60046240021440886537126392518/271573798\ 11897954019237019*c_1100_0^5 + 5791836477069270225260200647/2715737\ 9811897954019237019*c_1100_0^4 - 40298746512968629925660380321/2715\ 7379811897954019237019*c_1100_0^3 - 1635112161027249050626250407/27157379811897954019237019*c_1100_0^2 + 16370365780339469837721863269/27157379811897954019237019*c_1100_0 - 4228918352767624298959303595/27157379811897954019237019, c_0011_11 + 45648540230777198703211294929/27157379811897954019237019*c_\ 1100_0^11 - 354309751567833904205272440885/543147596237959080384740\ 38*c_1100_0^10 + 229853687352210794748301221145/5431475962379590803\ 8474038*c_1100_0^9 + 205174842355957813962637603208/271573798118979\ 54019237019*c_1100_0^8 - 162001455761622852713380943662/27157379811\ 897954019237019*c_1100_0^7 - 80998902436505146504402111859/27157379\ 811897954019237019*c_1100_0^6 + 324040841429490199230759473531/5431\ 4759623795908038474038*c_1100_0^5 + 3298261613042103305055976183/54314759623795908038474038*c_1100_0^4 - 213286113948561572830706554345/54314759623795908038474038*c_1100_0^\ 3 + 10802031639849374220188315467/54314759623795908038474038*c_1100\ _0^2 + 89275662031418121129462658077/54314759623795908038474038*c_1\ 100_0 - 13920024262759079595853750982/27157379811897954019237019, c_0011_12 - 85625370279109584148948398893/108629519247591816076948076*c\ _1100_0^11 + 335457918410254763373641073779/10862951924759181607694\ 8076*c_1100_0^10 - 113177517669566120710749274475/54314759623795908\ 038474038*c_1100_0^9 - 95495831363332899789816919776/27157379811897\ 954019237019*c_1100_0^8 + 159752984596525266441335293883/5431475962\ 3795908038474038*c_1100_0^7 + 148103620213522363044711684061/108629\ 519247591816076948076*c_1100_0^6 - 311567921835290956401870079157/108629519247591816076948076*c_1100_0\ ^5 + 4540397487070048375311533677/108629519247591816076948076*c_110\ 0_0^4 + 203890447921015484612502211365/108629519247591816076948076*\ c_1100_0^3 - 15813484005809973062320803017/108629519247591816076948\ 076*c_1100_0^2 - 43025274359575864775290880885/54314759623795908038\ 474038*c_1100_0 + 7039169035677039050518740614/27157379811897954019\ 237019, c_0011_3 + 19430247957230276010089705171/27157379811897954019237019*c_1\ 100_0^11 - 150654221284993696792229216785/5431475962379590803847403\ 8*c_1100_0^10 + 97384219021954439511512638223/543147596237959080384\ 74038*c_1100_0^9 + 87302361127128461199397635037/271573798118979540\ 19237019*c_1100_0^8 - 68634651442910257032203266312/271573798118979\ 54019237019*c_1100_0^7 - 34437184735057904771598891773/271573798118\ 97954019237019*c_1100_0^6 + 137872449110675758888625833785/54314759\ 623795908038474038*c_1100_0^5 + 1742750862825670769154123549/543147\ 59623795908038474038*c_1100_0^4 - 90517762432696969667740072927/543\ 14759623795908038474038*c_1100_0^3 + 4517177855399429836510613429/54314759623795908038474038*c_1100_0^2 + 37922488428078473745944499159/54314759623795908038474038*c_1100_0 - 5939896196278429583808000756/27157379811897954019237019, c_0011_6 + 1, c_0101_0 - 126157071932889148046387368395/54314759623795908038474038*c_\ 1100_0^11 + 245145981198410987221826000879/271573798118979540192370\ 19*c_1100_0^10 - 320158351009358500558209267929/5431475962379590803\ 8474038*c_1100_0^9 - 282958969792931560547587978067/271573798118979\ 54019237019*c_1100_0^8 + 225607527694383969925646513875/27157379811\ 897954019237019*c_1100_0^7 + 222265925459934330336443181559/5431475\ 9623795908038474038*c_1100_0^6 - 224733130140297934605020650901/271\ 57379811897954019237019*c_1100_0^5 - 1377609027414938973894736019/27157379811897954019237019*c_1100_0^4 + 147619313904084091697834063013/27157379811897954019237019*c_1100_0^\ 3 - 8231430341998207744388703569/27157379811897954019237019*c_1100_\ 0^2 - 123780224561199409054087399967/54314759623795908038474038*c_1\ 100_0 + 19504989204478419742152844395/27157379811897954019237019, c_0101_10 - 7841782871061386589034697743/27157379811897954019237019*c_1\ 100_0^11 + 61730152575949038826334103675/54314759623795908038474038\ *c_1100_0^10 - 42340172999299877201198008463/5431475962379590803847\ 4038*c_1100_0^9 - 34978815072612559926242367242/2715737981189795401\ 9237019*c_1100_0^8 + 29888250527057887053735495881/2715737981189795\ 4019237019*c_1100_0^7 + 13656135278882334466854250333/2715737981189\ 7954019237019*c_1100_0^6 - 57583617237400601082818164073/5431475962\ 3795908038474038*c_1100_0^5 + 1305894301280243550476966693/54314759\ 623795908038474038*c_1100_0^4 + 37806160307165642400813314655/54314\ 759623795908038474038*c_1100_0^3 - 3199181020080174953790540161/54314759623795908038474038*c_1100_0^2 - 16073872131971277297448332993/54314759623795908038474038*c_1100_0 + 2629504813228490135823127238/27157379811897954019237019, c_0101_11 + 15300139262818109164996009383/108629519247591816076948076*c\ _1100_0^11 - 59142605357787267370451472277/108629519247591816076948\ 076*c_1100_0^10 + 18784742779746371726264411345/5431475962379590803\ 8474038*c_1100_0^9 + 17345206527450423366767863978/2715737981189795\ 4019237019*c_1100_0^8 - 26458171777545475927910991873/5431475962379\ 5908038474038*c_1100_0^7 - 28217919645053969596356667599/1086295192\ 47591816076948076*c_1100_0^6 + 53412140413660846861847420439/108629\ 519247591816076948076*c_1100_0^5 + 1552361745314862594057100713/108629519247591816076948076*c_1100_0^4 - 35689975101211384090046393323/108629519247591816076948076*c_1100_\ 0^3 + 968103705492764085726429991/108629519247591816076948076*c_110\ 0_0^2 + 7444011660669972982591021843/54314759623795908038474038*c_1\ 100_0 - 1072351582282053041341034653/27157379811897954019237019, c_0101_2 - 37161780832682162872471586697/108629519247591816076948076*c_\ 1100_0^11 + 146271199179073750451129488623/108629519247591816076948\ 076*c_1100_0^10 - 50258150097455249081617393427/5431475962379590803\ 8474038*c_1100_0^9 - 41302247939034523805085609122/2715737981189795\ 4019237019*c_1100_0^8 + 70897944051121768511621295321/5431475962379\ 5908038474038*c_1100_0^7 + 63434030122794160464047744609/1086295192\ 47591816076948076*c_1100_0^6 - 136178459709765654714267555033/10862\ 9519247591816076948076*c_1100_0^5 + 3556698971464829356835757469/108629519247591816076948076*c_1100_0^4 + 89199482663112388181482795705/108629519247591816076948076*c_1100_\ 0^3 - 7752760734286768039161789429/108629519247591816076948076*c_11\ 00_0^2 - 18873746836061176422485941287/54314759623795908038474038*c\ _1100_0 + 3117127381681117888324732789/27157379811897954019237019, c_0101_5 - 353969413666871635693517109923/108629519247591816076948076*c\ _1100_0^11 + 1407303792440735074378374136345/1086295192475918160769\ 48076*c_1100_0^10 - 501671794782447257932328708307/5431475962379590\ 8038474038*c_1100_0^9 - 391813874576885511540326779595/271573798118\ 97954019237019*c_1100_0^8 + 710074922697068515380516003733/54314759\ 623795908038474038*c_1100_0^7 + 597735682544823264951663935539/1086\ 29519247591816076948076*c_1100_0^6 - 1332405273479603346764745499855/108629519247591816076948076*c_1100_\ 0^5 + 65087483691708741068338493295/108629519247591816076948076*c_1\ 100_0^4 + 870632205869964138184763509275/10862951924759181607694807\ 6*c_1100_0^3 - 96655006954135343173807885143/1086295192475918160769\ 48076*c_1100_0^2 - 185999545275970137682481844445/54314759623795908\ 038474038*c_1100_0 + 31694687712675522946980212929/2715737981189795\ 4019237019, c_1001_3 + 114882772661603266912830407381/108629519247591816076948076*c\ _1100_0^11 - 447579641749061144035587922193/10862951924759181607694\ 8076*c_1100_0^10 + 73821184559704844296565015825/271573798118979540\ 19237019*c_1100_0^9 + 128604609066162985004483244159/27157379811897\ 954019237019*c_1100_0^8 - 208167246936942282576027827945/5431475962\ 3795908038474038*c_1100_0^7 - 201182769063025779550443311701/108629\ 519247591816076948076*c_1100_0^6 + 411923357931117172491519222603/108629519247591816076948076*c_1100_0\ ^5 - 71197245813487818527510371/108629519247591816076948076*c_1100_\ 0^4 - 270235007528506327516962941559/108629519247591816076948076*c_\ 1100_0^3 + 16787116445085627712183016287/10862951924759181607694807\ 6*c_1100_0^2 + 28398117632069825084215220223/2715737981189795401923\ 7019*c_1100_0 - 9029866198147649518113496526/2715737981189795401923\ 7019, c_1100_0^12 - 4583/1013*c_1100_0^11 + 5082/1013*c_1100_0^10 + 2904/1013*c_1100_0^9 - 6522/1013*c_1100_0^8 + 527/1013*c_1100_0^7 + 4749/1013*c_1100_0^6 - 2281/1013*c_1100_0^5 - 2385/1013*c_1100_0^4 + 1645/1013*c_1100_0^3 + 910/1013*c_1100_0^2 - 948/1013*c_1100_0 + 200/1013 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.180 Total time: 1.389 seconds, Total memory usage: 32.09MB