Magma V2.19-8 Tue Aug 20 2013 23:45:13 on localhost [Seed = 3599807238] Type ? for help. Type -D to quit. Loading file "K13n2390__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2390 geometric_solution 11.08049167 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -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.068031053770 0.747878920844 0 5 7 6 0132 0132 0132 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 14 -14 0 0 0 0 0 0 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486181286902 1.020600682647 3 0 8 4 1023 0132 0132 2031 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 -1 1 0 0 0 0 0 1 0 0 -1 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.149156794196 1.759178700153 5 2 6 0 0132 1023 2310 0132 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 -1 1 0 0 0 0 1 -1 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209458786045 0.432845459564 8 2 0 9 1302 1302 0132 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 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 1.661340143612 0.974607801980 3 1 10 9 0132 0132 0132 3120 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 15 0 -15 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665485062844 1.217474826226 10 3 1 11 0132 3201 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 -14 14 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.373590062114 0.764375028757 8 11 10 1 0321 2103 0321 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 -1 15 -14 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.689639463405 1.077554866521 7 4 11 2 0321 2031 2103 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 1 -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.370440729889 0.891005047406 5 11 4 10 3120 1302 0132 3201 0 0 0 0 0 0 0 0 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 15 0 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562430189271 1.355079297480 6 9 7 5 0132 2310 0321 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 15 -15 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.752441421529 0.872054875769 8 7 6 9 2103 2103 0132 2031 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 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.032492968163 1.046902451251 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : d['c_0110_11'], 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_0101_3']), 's_0_10' : d['1'], 's_3_10' : 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' : negation(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_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_11']), 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : negation(d['c_0011_10']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : negation(d['c_0110_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0110_11'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : d['c_0011_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_7, c_0011_8, c_0011_9, c_0101_0, c_0101_10, c_0101_3, c_0110_11, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 5392728002885907105533444/1814179546632499284704235*c_1001_10^18 + 62877138258157534244321966/1814179546632499284704235*c_1001_10^17 - 21959343827761555419027566/120945303108833285646949*c_1001_10^16 + 1161935729565103347435662896/1814179546632499284704235*c_1001_10^15 - 1044925297386200649746080388/604726515544166428234745*c_1001_10^1\ 4 + 2256058276206889653754719117/604726515544166428234745*c_1001_10\ ^13 - 572748231496719957277420806/86389502220595204033535*c_1001_10\ ^12 + 5945770543073123379555456488/604726515544166428234745*c_1001_\ 10^11 - 2338986496125836534511466019/190966268066578872074130*c_100\ 1_10^10 + 23181119203474564680354643159/1814179546632499284704235*c\ _1001_10^9 - 354270900413677147398871344/31827711344429812012355*c_\ 1001_10^8 + 1332608718269243187962874449/164925413330227207700385*c\ _1001_10^7 - 17922526159242011929619860831/362835909326499856940847\ 0*c_1001_10^6 + 5029801477227749397286686677/1814179546632499284704\ 235*c_1001_10^5 - 1098961732696429290764606749/65970165332090883080\ 1540*c_1001_10^4 + 96837190374123332584972499/879602204427878441068\ 72*c_1001_10^3 - 108114924009193929080942831/2044145968036618912342\ 80*c_1001_10^2 + 2800375043469971244163108241/145134363730599942776\ 33880*c_1001_10 - 223140382479914656094563321/145134363730599942776\ 33880, c_0011_0 - 1, c_0011_10 - 162382204555117825/50790116802417843*c_1001_10^18 + 1119558077144778544/50790116802417843*c_1001_10^17 - 1527906285294323755/16930038934139281*c_1001_10^16 + 13770882909173118821/50790116802417843*c_1001_10^15 - 21633047381777556495/33860077868278562*c_1001_10^14 + 41691768127638752319/33860077868278562*c_1001_10^13 - 66784677038276083673/33860077868278562*c_1001_10^12 + 180284778184664403777/67720155736557124*c_1001_10^11 - 612938511539258174861/203160467209671372*c_1001_10^10 + 292696714629827760181/101580233604835686*c_1001_10^9 - 38776533464384407714/16930038934139281*c_1001_10^8 + 311248324195676472755/203160467209671372*c_1001_10^7 - 178300556571577324261/203160467209671372*c_1001_10^6 + 102371361157648481653/203160467209671372*c_1001_10^5 - 254247387664651425241/812641868838685488*c_1001_10^4 + 27237847182107050183/135440311473114248*c_1001_10^3 - 281269118787504395/2861415031122132*c_1001_10^2 + 11600838487044050017/406320934419342744*c_1001_10 - 1589278061091792787/812641868838685488, c_0011_11 - 81692130954946315/50790116802417843*c_1001_10^18 + 184514492569704118/16930038934139281*c_1001_10^17 - 2245640055938449969/50790116802417843*c_1001_10^16 + 6688365891659063683/50790116802417843*c_1001_10^15 - 31247457246318407467/101580233604835686*c_1001_10^14 + 19898162223185706943/33860077868278562*c_1001_10^13 - 94670858523751983773/101580233604835686*c_1001_10^12 + 252811905391402553653/203160467209671372*c_1001_10^11 - 282650649091857031505/203160467209671372*c_1001_10^10 + 132907674371127107095/101580233604835686*c_1001_10^9 - 51738536416505575069/50790116802417843*c_1001_10^8 + 45119474321521798127/67720155736557124*c_1001_10^7 - 75533464567349476457/203160467209671372*c_1001_10^6 + 14512198359763949013/67720155736557124*c_1001_10^5 - 108937378780195187515/812641868838685488*c_1001_10^4 + 2941446017933604099/33860077868278562*c_1001_10^3 - 230670812333993809/5722830062244264*c_1001_10^2 + 1888440923102567287/203160467209671372*c_1001_10 + 552003366756640409/812641868838685488, c_0011_4 + 70855291174239481/50790116802417843*c_1001_10^18 - 487542326440513058/50790116802417843*c_1001_10^17 + 666104745534544605/16930038934139281*c_1001_10^16 - 6003312024757400393/50790116802417843*c_1001_10^15 + 28304945151275817505/101580233604835686*c_1001_10^14 - 54584584221556591331/101580233604835686*c_1001_10^13 + 87510889591686981391/101580233604835686*c_1001_10^12 - 236644867234706988271/203160467209671372*c_1001_10^11 + 268857185703010845607/203160467209671372*c_1001_10^10 - 129008805431774933929/101580233604835686*c_1001_10^9 + 51627004911708124619/50790116802417843*c_1001_10^8 - 46629699364284108005/67720155736557124*c_1001_10^7 + 81099330292659968615/203160467209671372*c_1001_10^6 - 47025154973360996725/203160467209671372*c_1001_10^5 + 113859561328489922681/812641868838685488*c_1001_10^4 - 6042217439520305671/67720155736557124*c_1001_10^3 + 243207428161491337/5722830062244264*c_1001_10^2 - 463319167490546245/33860077868278562*c_1001_10 + 1094579656487353913/812641868838685488, c_0011_7 + 107919118959378931/50790116802417843*c_1001_10^18 - 739693926464038484/50790116802417843*c_1001_10^17 + 3023024192319683863/50790116802417843*c_1001_10^16 - 9064656553670984263/50790116802417843*c_1001_10^15 + 14212298790402174885/33860077868278562*c_1001_10^14 - 82011618238730411059/101580233604835686*c_1001_10^13 + 131049620872647049489/101580233604835686*c_1001_10^12 - 117585963681237547611/67720155736557124*c_1001_10^11 + 132720684240183139625/67720155736557124*c_1001_10^10 - 189150182674081001371/101580233604835686*c_1001_10^9 + 74549452789631759990/50790116802417843*c_1001_10^8 - 197303470269295520777/203160467209671372*c_1001_10^7 + 111081427776119183707/203160467209671372*c_1001_10^6 - 21119626387966382805/67720155736557124*c_1001_10^5 + 52529464185282758329/270880622946228496*c_1001_10^4 - 17232000605263482243/135440311473114248*c_1001_10^3 + 86678878286066281/1430707515561066*c_1001_10^2 - 2314226064752678347/135440311473114248*c_1001_10 - 118526331059584177/270880622946228496, c_0011_8 + 60925984558632266/50790116802417843*c_1001_10^18 - 395066289430073048/50790116802417843*c_1001_10^17 + 520993840914712822/16930038934139281*c_1001_10^16 - 4554527153002326322/50790116802417843*c_1001_10^15 + 3469820125976570931/16930038934139281*c_1001_10^14 - 6488534503910180535/16930038934139281*c_1001_10^13 + 10052834172450814029/16930038934139281*c_1001_10^12 - 26194099370570230477/33860077868278562*c_1001_10^11 + 85243802196574246109/101580233604835686*c_1001_10^10 - 38780571100524950845/50790116802417843*c_1001_10^9 + 9614902189312094168/16930038934139281*c_1001_10^8 - 35997955120791158639/101580233604835686*c_1001_10^7 + 18918342297591248773/101580233604835686*c_1001_10^6 - 11192531433320097361/101580233604835686*c_1001_10^5 + 28323935387653160797/406320934419342744*c_1001_10^4 - 3202655131042416885/67720155736557124*c_1001_10^3 + 13564381101594079/715353757780533*c_1001_10^2 - 624104816594653375/203160467209671372*c_1001_10 - 378416419625288765/406320934419342744, c_0011_9 + 147219788998019558/50790116802417843*c_1001_10^18 - 1015399006128271738/50790116802417843*c_1001_10^17 + 4167331061640869828/50790116802417843*c_1001_10^16 - 12539814514365060914/50790116802417843*c_1001_10^15 + 9864475955792454263/16930038934139281*c_1001_10^14 - 57120567481614079114/50790116802417843*c_1001_10^13 + 91621030720863855691/50790116802417843*c_1001_10^12 - 82552532589542334961/33860077868278562*c_1001_10^11 + 46831475124021550242/16930038934139281*c_1001_10^10 - 134336629078575160423/50790116802417843*c_1001_10^9 + 106835976218631115585/50790116802417843*c_1001_10^8 - 142967710022717277023/101580233604835686*c_1001_10^7 + 40877363440246365260/50790116802417843*c_1001_10^6 - 15618146314028614321/33860077868278562*c_1001_10^5 + 38775696266486485413/135440311473114248*c_1001_10^4 - 25131900974427225317/135440311473114248*c_1001_10^3 + 519671895199725359/5722830062244264*c_1001_10^2 - 3516800961993982787/135440311473114248*c_1001_10 + 57026778870652799/33860077868278562, c_0101_0 + 147219788998019558/50790116802417843*c_1001_10^18 - 1015399006128271738/50790116802417843*c_1001_10^17 + 4167331061640869828/50790116802417843*c_1001_10^16 - 12539814514365060914/50790116802417843*c_1001_10^15 + 9864475955792454263/16930038934139281*c_1001_10^14 - 57120567481614079114/50790116802417843*c_1001_10^13 + 91621030720863855691/50790116802417843*c_1001_10^12 - 82552532589542334961/33860077868278562*c_1001_10^11 + 46831475124021550242/16930038934139281*c_1001_10^10 - 134336629078575160423/50790116802417843*c_1001_10^9 + 106835976218631115585/50790116802417843*c_1001_10^8 - 142967710022717277023/101580233604835686*c_1001_10^7 + 40877363440246365260/50790116802417843*c_1001_10^6 - 15618146314028614321/33860077868278562*c_1001_10^5 + 38775696266486485413/135440311473114248*c_1001_10^4 - 25131900974427225317/135440311473114248*c_1001_10^3 + 519671895199725359/5722830062244264*c_1001_10^2 - 3516800961993982787/135440311473114248*c_1001_10 + 57026778870652799/33860077868278562, c_0101_10 - 65484067305854535/16930038934139281*c_1001_10^18 + 465814511512400310/16930038934139281*c_1001_10^17 - 1945887631969170105/16930038934139281*c_1001_10^16 + 5938941467481736327/16930038934139281*c_1001_10^15 - 28425444115018588399/33860077868278562*c_1001_10^14 + 55592763734407849717/33860077868278562*c_1001_10^13 - 90408055654917968937/33860077868278562*c_1001_10^12 + 247845488683506116433/67720155736557124*c_1001_10^11 - 285736544581251255633/67720155736557124*c_1001_10^10 + 138900136431811930091/33860077868278562*c_1001_10^9 - 56328461990989975871/16930038934139281*c_1001_10^8 + 153562553176200919177/67720155736557124*c_1001_10^7 - 89168782024856908473/67720155736557124*c_1001_10^6 + 50616197283498829323/67720155736557124*c_1001_10^5 - 123994947653288054599/270880622946228496*c_1001_10^4 + 20122416193526658169/67720155736557124*c_1001_10^3 - 287143368073864711/1907610020748088*c_1001_10^2 + 818283947015804169/16930038934139281*c_1001_10 - 949715318968978663/270880622946228496, c_0101_3 + 44715020627608360/50790116802417843*c_1001_10^18 - 102172949969855202/16930038934139281*c_1001_10^17 + 416531666871635258/16930038934139281*c_1001_10^16 - 3733778439517631492/50790116802417843*c_1001_10^15 + 8743490062212918286/50790116802417843*c_1001_10^14 - 16724875335835839317/50790116802417843*c_1001_10^13 + 26538698978107202068/50790116802417843*c_1001_10^12 - 35408095352707023263/50790116802417843*c_1001_10^11 + 26344448390611758405/33860077868278562*c_1001_10^10 - 37012339887041949125/50790116802417843*c_1001_10^9 + 28642570514901782044/50790116802417843*c_1001_10^8 - 18553045614823646482/50790116802417843*c_1001_10^7 + 6836866989827821095/33860077868278562*c_1001_10^6 - 5895874829555912266/50790116802417843*c_1001_10^5 + 1253406382804810568/16930038934139281*c_1001_10^4 - 6531561126091594629/135440311473114248*c_1001_10^3 + 120623825893978915/5722830062244264*c_1001_10^2 - 1772485221648424745/406320934419342744*c_1001_10 - 63469269501639407/135440311473114248, c_0110_11 - 1, c_1001_10^19 - 7*c_1001_10^18 + 29*c_1001_10^17 - 88*c_1001_10^16 + 419/2*c_1001_10^15 - 408*c_1001_10^14 + 661*c_1001_10^13 - 3613/4*c_1001_10^12 + 2077/2*c_1001_10^11 - 4033/4*c_1001_10^10 + 1635/2*c_1001_10^9 - 2235/4*c_1001_10^8 + 653/2*c_1001_10^7 - 187*c_1001_10^6 + 1829/16*c_1001_10^5 - 1177/16*c_1001_10^4 + 299/8*c_1001_10^3 - 97/8*c_1001_10^2 + 21/16*c_1001_10 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.700 Total time: 1.909 seconds, Total memory usage: 32.09MB