Magma V2.19-8 Tue Aug 20 2013 23:38:19 on localhost [Seed = 442269236] Type ? for help. Type -D to quit. Loading file "K13n2872__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2872 geometric_solution 8.65589080 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 3012 0 0 0 0 0 0 0 0 -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 1 0 -1 4 0 0 -4 0 1 0 -1 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.424531625904 0.866592638372 0 3 2 4 0132 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -4 0 4 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.392400247746 0.716312491668 1 0 0 5 2310 0132 1230 0132 0 0 0 0 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 -1 4 -3 0 0 1 -1 -4 4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782007167136 1.608312004449 4 6 1 0 0132 0132 3012 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 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.797273925814 0.417452689310 3 7 1 6 0132 0132 0132 0213 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.963709929180 0.613479168713 8 8 2 9 0132 0213 0132 0132 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 3 -3 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.755485428134 0.502879944995 7 3 8 4 3201 0132 0213 0213 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 -3 0 3 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.091789769840 0.425653065912 9 4 9 6 0132 0132 2310 2310 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 1 0 0 -1 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326858209222 1.654919178426 5 6 5 9 0132 0213 0213 2103 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 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923244794388 1.162937960250 7 7 5 8 0132 3201 0132 2103 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 3 -3 -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.600811035413 0.505200408719 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : d['c_1001_0'], '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' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0101_7']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_0'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_1001_7']), 'c_1010_8' : d['c_1001_7'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_5'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_1001_0, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 23745068475702195697379614871/2339468335721569374980909888*c_1001_7\ ^10 - 47925539884566135293115051219/2339468335721569374980909888*c_\ 1001_7^9 + 73523166309778446288642148747/23394683357215693749809098\ 88*c_1001_7^8 + 3893308878086437361112758389/2088811014037115513375\ 8124*c_1001_7^7 + 85494047001595402804419562433/2339468335721569374\ 980909888*c_1001_7^6 - 954487884678335373615508446737/2339468335721\ 569374980909888*c_1001_7^5 - 1269497704796312465211770398615/233946\ 8335721569374980909888*c_1001_7^4 + 169642504823640479839046167145/292433541965196171872613736*c_1001_7\ ^3 + 821564384262888006801444863865/2339468335721569374980909888*c_\ 1001_7^2 + 3422973015632863109404661925/7046591372655329442713584*c\ _1001_7 - 97197190534470232907623955219/146216770982598085936306868\ , c_0011_0 - 1, c_0011_3 + 4545439901762319689/72102780965646056*c_1001_7^10 + 9133986676236397663/72102780965646056*c_1001_7^9 - 14079663506894944907/72102780965646056*c_1001_7^8 - 41545114564310377125/36051390482823028*c_1001_7^7 - 15479192087123405903/72102780965646056*c_1001_7^6 + 182535132292604703249/72102780965646056*c_1001_7^5 + 240376681323734138599/72102780965646056*c_1001_7^4 - 131347566989072542763/36051390482823028*c_1001_7^3 - 157386549087583991727/72102780965646056*c_1001_7^2 - 106580029634252945789/36051390482823028*c_1001_7 + 37643785846680624403/9012847620705757, c_0011_5 - 529372647364342659/18025695241411514*c_1001_7^10 - 1030075177355965487/18025695241411514*c_1001_7^9 + 1755757845112837165/18025695241411514*c_1001_7^8 + 4869689248896840396/9012847620705757*c_1001_7^7 + 1278127806674558515/18025695241411514*c_1001_7^6 - 22125198819022964941/18025695241411514*c_1001_7^5 - 27892179148013877711/18025695241411514*c_1001_7^4 + 16257609504102821427/9012847620705757*c_1001_7^3 + 19140579547720553959/18025695241411514*c_1001_7^2 + 12415921328199842376/9012847620705757*c_1001_7 - 18321429208336915881/9012847620705757, c_0101_0 - 20092367855045052617/144205561931292112*c_1001_7^10 - 40185689759920143881/144205561931292112*c_1001_7^9 + 62879227137607809433/144205561931292112*c_1001_7^8 + 91900050476573054967/36051390482823028*c_1001_7^7 + 65432839292481239535/144205561931292112*c_1001_7^6 - 811626895521060445787/144205561931292112*c_1001_7^5 - 1061734181519591286541/144205561931292112*c_1001_7^4 + 293015929792712295355/36051390482823028*c_1001_7^3 + 699897589721809302727/144205561931292112*c_1001_7^2 + 117780564293721029065/18025695241411514*c_1001_7 - 83752900326297634095/9012847620705757, c_0101_1 - 84175205135307247/144205561931292112*c_1001_7^10 - 447866002239954287/144205561931292112*c_1001_7^9 - 713412884405933585/144205561931292112*c_1001_7^8 + 237754842882561701/36051390482823028*c_1001_7^7 + 4505506710902353833/144205561931292112*c_1001_7^6 + 3855957735508498291/144205561931292112*c_1001_7^5 - 4845198642543695627/144205561931292112*c_1001_7^4 - 2623435921905638751/36051390482823028*c_1001_7^3 - 3898118912505644095/144205561931292112*c_1001_7^2 + 426749919773718373/18025695241411514*c_1001_7 + 426469161547595753/9012847620705757, c_0101_2 + 358852123595183509/144205561931292112*c_1001_7^10 + 730614893726649397/144205561931292112*c_1001_7^9 - 1076565492052862245/144205561931292112*c_1001_7^8 - 1632018563687165479/36051390482823028*c_1001_7^7 - 1345570065671121123/144205561931292112*c_1001_7^6 + 14152519073392957135/144205561931292112*c_1001_7^5 + 18922493951003455129/144205561931292112*c_1001_7^4 - 5064591562661592827/36051390482823028*c_1001_7^3 - 12163881375644610235/144205561931292112*c_1001_7^2 - 2099986525245562281/18025695241411514*c_1001_7 + 1456174845646200875/9012847620705757, c_0101_3 + 9462749379279572369/144205561931292112*c_1001_7^10 + 19058569234775341013/144205561931292112*c_1001_7^9 - 29163295161559365005/144205561931292112*c_1001_7^8 - 10806512683365670081/9012847620705757*c_1001_7^7 - 32922127361026725063/144205561931292112*c_1001_7^6 + 378835122259105288935/144205561931292112*c_1001_7^5 + 500484051216061702289/144205561931292112*c_1001_7^4 - 68045463343927449529/18025695241411514*c_1001_7^3 - 326353805331439297935/144205561931292112*c_1001_7^2 - 110885778602568489169/36051390482823028*c_1001_7 + 39061082919963106353/9012847620705757, c_0101_7 - 2349255902546162519/72102780965646056*c_1001_7^10 - 4704999185966834413/72102780965646056*c_1001_7^9 + 7328813969335380673/72102780965646056*c_1001_7^8 + 21480847234398830709/36051390482823028*c_1001_7^7 + 7735061986348132521/72102780965646056*c_1001_7^6 - 94736039431860629035/72102780965646056*c_1001_7^5 - 124117462727990811981/72102780965646056*c_1001_7^4 + 68374017476537920055/36051390482823028*c_1001_7^3 + 81698619558818981929/72102780965646056*c_1001_7^2 + 55037582475323613129/36051390482823028*c_1001_7 - 19558912567259231282/9012847620705757, c_1001_0 + 7413215449287864617/144205561931292112*c_1001_7^10 + 14920059797704146609/144205561931292112*c_1001_7^9 - 22881850619769064417/144205561931292112*c_1001_7^8 - 33868732153412201789/36051390482823028*c_1001_7^7 - 25637329597499609583/144205561931292112*c_1001_7^6 + 297041338429115902099/144205561931292112*c_1001_7^5 + 392107991666630629541/144205561931292112*c_1001_7^4 - 106748702571458386553/36051390482823028*c_1001_7^3 - 255963246769292787415/144205561931292112*c_1001_7^2 - 21726763079227203806/9012847620705757*c_1001_7 + 30632749123784495354/9012847620705757, c_1001_7^11 + 15/31*c_1001_7^10 - 191/31*c_1001_7^9 - 420/31*c_1001_7^8 + 759/31*c_1001_7^7 + 1405/31*c_1001_7^6 - 261/31*c_1001_7^5 - 4292/31*c_1001_7^4 + 1663/31*c_1001_7^3 + 184/31*c_1001_7^2 + 4272/31*c_1001_7 - 3136/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.350 seconds, Total memory usage: 32.09MB