Magma V2.19-8 Tue Aug 20 2013 23:41:02 on localhost [Seed = 307525361] Type ? for help. Type -D to quit. Loading file "L13a2998__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2998 geometric_solution 8.71309271 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 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 3 0 -3 -1 0 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541224764540 0.508774646635 0 4 6 5 0132 0132 0132 0132 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 -4 4 0 1 0 -1 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.342935080951 0.625656694427 2 0 0 2 3012 0132 1023 1230 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 -3 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 0 0 0 1.686071401601 0.671990961648 7 6 0 8 0132 0213 0132 0132 0 0 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 0 0 0 0 0 -4 3 1 4 0 -4 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.726941578819 1.169202557697 8 1 9 9 3201 0132 0132 3120 0 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 0 0 0 0 0 4 -4 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 1.054859537130 0.964240010274 9 8 1 8 2310 1023 0132 0321 0 0 1 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 0 0 -1 15 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.054859537130 0.964240010274 7 9 3 1 2031 3120 0213 0132 0 0 0 0 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 4 -4 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 1.198137945892 1.348830388177 3 7 6 7 0132 2310 1302 3201 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 -4 0 4 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.202764402377 0.974223433120 5 5 3 4 1023 0321 0132 2310 0 0 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 -1 1 0 0 0 0 -15 14 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518439335148 0.528916038926 4 6 5 4 3120 3120 3201 0132 0 1 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 -4 0 4 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.058813676703 1.033740042208 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_0']), 'c_1001_8' : d['c_1001_8'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_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_1100_9' : negation(d['c_0011_5']), 'c_1100_8' : d['c_0011_0'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0101_4']), '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' : 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_9'], 'c_0011_8' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], '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_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0011_3'], '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_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : negation(d['c_0011_6']), 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : d['c_0101_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1157895724998736386262341998361047099/46311242512706371391918840671\ 7377448*c_1001_8^13 + 6884024172290586136240195929777701985/2315562\ 12563531856959594203358688724*c_1001_8^12 - 1697457218374738761623274608595842567/46311242512706371391918840671\ 7377448*c_1001_8^11 - 774218211473759045922227572150092733/32613551\ 06528617703656256385333644*c_1001_8^10 + 166426195721875605868308310986320477839/463112425127063713919188406\ 717377448*c_1001_8^9 + 276856757858407684027434359255242056701/2315\ 56212563531856959594203358688724*c_1001_8^8 - 123710067233033024892598080489476755408/578890531408829642398985508\ 39672181*c_1001_8^7 - 262502199082433110864436656679951022523/11577\ 8106281765928479797101679344362*c_1001_8^6 + 1723805396271827036037638677993730188947/23155621256353185695959420\ 3358688724*c_1001_8^5 + 107585904565785059739419301016708299563/115\ 778106281765928479797101679344362*c_1001_8^4 - 5597958244256473008089630369587857800277/46311242512706371391918840\ 6717377448*c_1001_8^3 + 881440596780264238928023229283150027745/231\ 556212563531856959594203358688724*c_1001_8^2 + 1171487830356922560554605500753914878899/46311242512706371391918840\ 6717377448*c_1001_8 + 15433892158974203835569171466693285109/115778\ 106281765928479797101679344362, c_0011_0 - 1, c_0011_3 + 251744078006132160631/6361561073263070993819*c_1001_8^13 + 6251152788829154082439/12723122146526141987638*c_1001_8^12 + 2431075603352210868673/12723122146526141987638*c_1001_8^11 - 23921028240919753887894/6361561073263070993819*c_1001_8^10 + 23921734149851595753526/6361561073263070993819*c_1001_8^9 + 138461241355164278737585/6361561073263070993819*c_1001_8^8 - 304276997188322678667525/12723122146526141987638*c_1001_8^7 - 333960616523314631115060/6361561073263070993819*c_1001_8^6 + 631097321036117200136035/6361561073263070993819*c_1001_8^5 + 467537397863492411824602/6361561073263070993819*c_1001_8^4 - 2314645483207872151713211/12723122146526141987638*c_1001_8^3 - 420516176081951872624207/12723122146526141987638*c_1001_8^2 + 874857195675973833032243/12723122146526141987638*c_1001_8 + 97156406667035959714998/6361561073263070993819, c_0011_5 - 158987693320649480936/6361561073263070993819*c_1001_8^13 - 3844575700959229000761/12723122146526141987638*c_1001_8^12 - 302856501614538147949/12723122146526141987638*c_1001_8^11 + 30120338053842533853281/12723122146526141987638*c_1001_8^10 - 19957828362964879418327/6361561073263070993819*c_1001_8^9 - 160348501348006681148739/12723122146526141987638*c_1001_8^8 + 241009895670983644544099/12723122146526141987638*c_1001_8^7 + 335365923600901798575703/12723122146526141987638*c_1001_8^6 - 888054826362653149867105/12723122146526141987638*c_1001_8^5 - 144920357435521624063395/6361561073263070993819*c_1001_8^4 + 1493288418281985805236731/12723122146526141987638*c_1001_8^3 - 108023843454057104026259/6361561073263070993819*c_1001_8^2 - 384515839871418662139119/12723122146526141987638*c_1001_8 - 25128360956894151825240/6361561073263070993819, c_0011_6 - 158987693320649480936/6361561073263070993819*c_1001_8^13 - 3844575700959229000761/12723122146526141987638*c_1001_8^12 - 302856501614538147949/12723122146526141987638*c_1001_8^11 + 30120338053842533853281/12723122146526141987638*c_1001_8^10 - 19957828362964879418327/6361561073263070993819*c_1001_8^9 - 160348501348006681148739/12723122146526141987638*c_1001_8^8 + 241009895670983644544099/12723122146526141987638*c_1001_8^7 + 335365923600901798575703/12723122146526141987638*c_1001_8^6 - 888054826362653149867105/12723122146526141987638*c_1001_8^5 - 144920357435521624063395/6361561073263070993819*c_1001_8^4 + 1493288418281985805236731/12723122146526141987638*c_1001_8^3 - 108023843454057104026259/6361561073263070993819*c_1001_8^2 - 371792717724892520151481/12723122146526141987638*c_1001_8 - 25128360956894151825240/6361561073263070993819, c_0011_9 - 317975386641298961872/6361561073263070993819*c_1001_8^13 - 3844575700959229000761/6361561073263070993819*c_1001_8^12 - 302856501614538147949/6361561073263070993819*c_1001_8^11 + 30120338053842533853281/6361561073263070993819*c_1001_8^10 - 39915656725929758836654/6361561073263070993819*c_1001_8^9 - 160348501348006681148739/6361561073263070993819*c_1001_8^8 + 241009895670983644544099/6361561073263070993819*c_1001_8^7 + 335365923600901798575703/6361561073263070993819*c_1001_8^6 - 888054826362653149867105/6361561073263070993819*c_1001_8^5 - 289840714871043248126790/6361561073263070993819*c_1001_8^4 + 1493288418281985805236731/6361561073263070993819*c_1001_8^3 - 216047686908114208052518/6361561073263070993819*c_1001_8^2 - 378154278798155591145300/6361561073263070993819*c_1001_8 - 50256721913788303650480/6361561073263070993819, c_0101_0 - 264566095935813111456/6361561073263070993819*c_1001_8^13 - 3100650928397314242227/6361561073263070993819*c_1001_8^12 + 903557582288794496701/6361561073263070993819*c_1001_8^11 + 24788084197232153384852/6361561073263070993819*c_1001_8^10 - 42387877088450043408396/6361561073263070993819*c_1001_8^9 - 118046849486964997494158/6361561073263070993819*c_1001_8^8 + 245371534238265713255950/6361561073263070993819*c_1001_8^7 + 190459687040835170267510/6361561073263070993819*c_1001_8^6 - 815074278922975512853292/6361561073263070993819*c_1001_8^5 + 59474308334508257030223/6361561073263070993819*c_1001_8^4 + 1244447162678758423822645/6361561073263070993819*c_1001_8^3 - 646684052645383212050577/6361561073263070993819*c_1001_8^2 - 115845799098938022635119/6361561073263070993819*c_1001_8 + 27969424679591310749162/6361561073263070993819, c_0101_1 - 1137539349679026376603/12723122146526141987638*c_1001_8^13 - 13337613185098233086303/12723122146526141987638*c_1001_8^12 + 3813995334004913714673/12723122146526141987638*c_1001_8^11 + 53286944691800385318866/6361561073263070993819*c_1001_8^10 - 90899144143240357002277/6361561073263070993819*c_1001_8^9 - 508434652929766515103081/12723122146526141987638*c_1001_8^8 + 526489040765493177657261/6361561073263070993819*c_1001_8^7 + 823535287015776176233501/12723122146526141987638*c_1001_8^6 - 3503294614159655228375221/12723122146526141987638*c_1001_8^5 + 118915092073168888472997/6361561073263070993819*c_1001_8^4 + 2677728063926476134238297/6361561073263070993819*c_1001_8^3 - 2751516262294480534188769/12723122146526141987638*c_1001_8^2 - 526308156685229223895399/12723122146526141987638*c_1001_8 + 53749450801210610464045/6361561073263070993819, c_0101_2 - 517161858519839919041/12723122146526141987638*c_1001_8^13 - 6064863679575645255855/12723122146526141987638*c_1001_8^12 + 1736884697798285559699/12723122146526141987638*c_1001_8^11 + 24335337144606306879481/6361561073263070993819*c_1001_8^10 - 82323305376992017929627/12723122146526141987638*c_1001_8^9 - 232708891411562440071173/12723122146526141987638*c_1001_8^8 + 478595774565518905860831/12723122146526141987638*c_1001_8^7 + 384343115347172964928243/12723122146526141987638*c_1001_8^6 - 796779881446061881586739/6361561073263070993819*c_1001_8^5 + 82024436674399406914473/12723122146526141987638*c_1001_8^4 + 1226913456389953798911112/6361561073263070993819*c_1001_8^3 - 1202243544111026321780361/12723122146526141987638*c_1001_8^2 - 134620952231016891532723/6361561073263070993819*c_1001_8 + 10087998904656115665791/6361561073263070993819, c_0101_4 - 1, c_1001_8^14 + 11*c_1001_8^13 - 12*c_1001_8^12 - 93*c_1001_8^11 + 228*c_1001_8^10 + 345*c_1001_8^9 - 1271*c_1001_8^8 - 122*c_1001_8^7 + 3730*c_1001_8^6 - 2314*c_1001_8^5 - 4989*c_1001_8^4 + 5795*c_1001_8^3 - 606*c_1001_8^2 - 685*c_1001_8 - 37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB