Magma V2.19-8 Tue Aug 20 2013 23:38:23 on localhost [Seed = 2134448986] Type ? for help. Type -D to quit. Loading file "K10n9__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n9 geometric_solution 10.08136286 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 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.533674678832 0.710671993618 0 5 3 6 0132 0132 0213 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 1 -1 0 0 0 0 0 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.539767021140 0.764572902218 4 0 8 7 1023 0132 0132 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 -8 0 8 0 -9 0 0 9 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.182339491002 0.815192588067 9 1 7 0 0132 0213 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 1 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.431627742959 0.951477784107 9 2 0 8 1302 1023 0132 0132 0 0 0 0 0 -1 0 1 -1 0 0 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 8 1 -9 8 0 0 -8 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.913191485578 1.428249596366 9 1 8 10 3120 0132 2103 0132 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 -1 1 0 -9 0 0 9 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.464649862578 0.414065648479 9 10 1 7 2103 0132 0132 0321 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 0 0 0 9 0 0 -9 1 0 0 -1 -8 9 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908886509175 1.148965469889 10 6 2 3 0132 0321 0132 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 0 0 0 0 0 0 0 1 0 -1 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515000059363 0.602789325742 5 10 4 2 2103 1302 0132 0132 0 0 0 0 0 1 -1 0 0 0 -1 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 0 -9 9 0 0 0 8 -8 -1 0 0 1 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.145318255675 0.665404635995 3 4 6 5 0132 2031 2103 3120 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 -1 1 0 0 -9 9 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.113043945832 1.026236072869 7 6 5 8 0132 0132 0132 2031 0 0 0 0 0 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 -9 9 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885616205302 0.642852633134 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0101_7'], 'c_1010_10' : d['c_0011_8'], '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' : 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_0_8' : d['1'], 's_0_9' : negation(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_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0101_2']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : d['c_1100_0'], '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' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_10']})} 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_8, c_0101_0, c_0101_10, c_0101_2, c_0101_7, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 12762043406715535533472024/60561159729050289809753*c_1100_0^16 - 21721815060447640283426440/60561159729050289809753*c_1100_0^15 - 52973576889550012744032186/60561159729050289809753*c_1100_0^14 - 13481552290120438253517531/3562421160532369988809*c_1100_0^13 - 13221013362993991526266292/3562421160532369988809*c_1100_0^12 - 65139026029171620103052993/5505559975368208164523*c_1100_0^11 - 778756404098161096250634911/60561159729050289809753*c_1100_0^10 - 1515786753211178815067700526/60561159729050289809753*c_1100_0^9 - 1271378849646311328230063248/60561159729050289809753*c_1100_0^8 - 1793952436617728997066351014/60561159729050289809753*c_1100_0^7 - 1336977778176957361132063440/60561159729050289809753*c_1100_0^6 - 1045792163000141748433916699/60561159729050289809753*c_1100_0^5 - 704258109734647832119014186/60561159729050289809753*c_1100_0^4 - 256872928694501589532463015/60561159729050289809753*c_1100_0^3 - 170211110114367486121874545/60561159729050289809753*c_1100_0^2 - 324297191779480972983904/3562421160532369988809*c_1100_0 + 2647255818444028496804326/60561159729050289809753, c_0011_0 - 1, c_0011_10 - 8204950782032931880144/3562421160532369988809*c_1100_0^16 - 16177201755392983426976/3562421160532369988809*c_1100_0^15 - 38774717526532818921756/3562421160532369988809*c_1100_0^14 - 158500177166311419133118/3562421160532369988809*c_1100_0^13 - 188645911393790410312574/3562421160532369988809*c_1100_0^12 - 517683990434630094677522/3562421160532369988809*c_1100_0^11 - 646853900231995309428224/3562421160532369988809*c_1100_0^10 - 1165895941294902714308992/3562421160532369988809*c_1100_0^9 - 1150875548507082382600540/3562421160532369988809*c_1100_0^8 - 1496156040850411604013958/3562421160532369988809*c_1100_0^7 - 1287508838914782059863450/3562421160532369988809*c_1100_0^6 - 1042729526449093735220226/3562421160532369988809*c_1100_0^5 - 747955343557796652935807/3562421160532369988809*c_1100_0^4 - 366577268012836964559109/3562421160532369988809*c_1100_0^3 - 205524684643694509181222/3562421160532369988809*c_1100_0^2 - 48477294248822123188079/3562421160532369988809*c_1100_0 - 10445533937545224001882/3562421160532369988809, c_0011_3 + 1272751593998586252592/3562421160532369988809*c_1100_0^16 + 244121582553280198576/323856469139306362619*c_1100_0^15 + 6338227651006718032116/3562421160532369988809*c_1100_0^14 + 25101435537927410344550/3562421160532369988809*c_1100_0^13 + 31910093013543077062352/3562421160532369988809*c_1100_0^12 + 82614338630758192755378/3562421160532369988809*c_1100_0^11 + 105541593094781612484010/3562421160532369988809*c_1100_0^10 + 185648734304869819550411/3562421160532369988809*c_1100_0^9 + 185760681953306580347618/3562421160532369988809*c_1100_0^8 + 229052416487765164830838/3562421160532369988809*c_1100_0^7 + 191283914133898237527587/3562421160532369988809*c_1100_0^6 + 145524796781255453427585/3562421160532369988809*c_1100_0^5 + 91389489085235149052633/3562421160532369988809*c_1100_0^4 + 30454262953323846705360/3562421160532369988809*c_1100_0^3 + 11636739904056493255263/3562421160532369988809*c_1100_0^2 - 1448781528246110198303/3562421160532369988809*c_1100_0 - 191267141078926885705/323856469139306362619, c_0011_8 - 270950630068613711872/323856469139306362619*c_1100_0^16 - 5559557952228963688472/3562421160532369988809*c_1100_0^15 - 1266331150110742642016/323856469139306362619*c_1100_0^14 - 56431235670505221593850/3562421160532369988809*c_1100_0^13 - 63433303512148961982325/3562421160532369988809*c_1100_0^12 - 187318191073549335612585/3562421160532369988809*c_1100_0^11 - 215193826918319312300340/3562421160532369988809*c_1100_0^10 - 415430694795293394717111/3562421160532369988809*c_1100_0^9 - 378709422371494372515936/3562421160532369988809*c_1100_0^8 - 525497638321166119787872/3562421160532369988809*c_1100_0^7 - 408782615391058265760116/3562421160532369988809*c_1100_0^6 - 351988262544574965932430/3562421160532369988809*c_1100_0^5 - 234347872075799204161625/3562421160532369988809*c_1100_0^4 - 105827006719628568317270/3562421160532369988809*c_1100_0^3 - 67965957309124995045498/3562421160532369988809*c_1100_0^2 - 9331200700034517729640/3562421160532369988809*c_1100_0 - 6327059844481943372997/3562421160532369988809, c_0101_0 + 9950649460930348788864/3562421160532369988809*c_1100_0^16 + 17965232328130620767664/3562421160532369988809*c_1100_0^15 + 43005309656369313512320/3562421160532369988809*c_1100_0^14 + 182994688360195533373828/3562421160532369988809*c_1100_0^13 + 193786789420644881787394/3562421160532369988809*c_1100_0^12 + 576752031992818488465302/3562421160532369988809*c_1100_0^11 + 666958990985579027464192/3562421160532369988809*c_1100_0^10 + 1246293111473027910894840/3562421160532369988809*c_1100_0^9 + 102012610745029978216150/323856469139306362619*c_1100_0^8 + 1512033787501856858240260/3562421160532369988809*c_1100_0^7 + 1210721532125260778631168/3562421160532369988809*c_1100_0^6 + 950357198746184485359123/3562421160532369988809*c_1100_0^5 + 673604585747479705588966/3562421160532369988809*c_1100_0^4 + 291091982069006195476254/3562421160532369988809*c_1100_0^3 + 184167081463155497342289/3562421160532369988809*c_1100_0^2 + 3155234116574021929498/323856469139306362619*c_1100_0 + 9537696615992002402827/3562421160532369988809, c_0101_10 - 3450444719980088484432/3562421160532369988809*c_1100_0^16 - 445077210190204830832/323856469139306362619*c_1100_0^15 - 13119277768026627073852/3562421160532369988809*c_1100_0^14 - 59196671647966053324874/3562421160532369988809*c_1100_0^13 - 45571984802733844648744/3562421160532369988809*c_1100_0^12 - 185942451494738030609522/3562421160532369988809*c_1100_0^11 - 170881272338175581436535/3562421160532369988809*c_1100_0^10 - 376839824458524240859843/3562421160532369988809*c_1100_0^9 - 273566757282078250940173/3562421160532369988809*c_1100_0^8 - 448931963322577794142046/3562421160532369988809*c_1100_0^7 - 296941310595833488363546/3562421160532369988809*c_1100_0^6 - 242422644239576817873281/3562421160532369988809*c_1100_0^5 - 178482325919594754704228/3562421160532369988809*c_1100_0^4 - 49230658467919409833180/3562421160532369988809*c_1100_0^3 - 47999429626229913499032/3562421160532369988809*c_1100_0^2 + 3404948362888464111451/3562421160532369988809*c_1100_0 - 71804736189711094942/323856469139306362619, c_0101_2 + 471971697264549004736/3562421160532369988809*c_1100_0^16 + 1333898962940161653952/3562421160532369988809*c_1100_0^15 + 2607629182770650765216/3562421160532369988809*c_1100_0^14 + 910702568312026825224/323856469139306362619*c_1100_0^13 + 16408595660165276413596/3562421160532369988809*c_1100_0^12 + 30452118658952227321974/3562421160532369988809*c_1100_0^11 + 4568967123722959824918/323856469139306362619*c_1100_0^10 + 70828053482615835687730/3562421160532369988809*c_1100_0^9 + 83852752320113631051408/3562421160532369988809*c_1100_0^8 + 7067181824330050704468/323856469139306362619*c_1100_0^7 + 78521135367701193039159/3562421160532369988809*c_1100_0^6 + 42890309825199250781995/3562421160532369988809*c_1100_0^5 + 24319388917157016378145/3562421160532369988809*c_1100_0^4 + 4618992398863516499930/3562421160532369988809*c_1100_0^3 - 3183876246887989510815/3562421160532369988809*c_1100_0^2 - 3114216326333600648592/3562421160532369988809*c_1100_0 - 2238564130491341818175/3562421160532369988809, c_0101_7 - 11861523745344250926112/3562421160532369988809*c_1100_0^16 - 21689795676153267002960/3562421160532369988809*c_1100_0^15 - 52334189555505332124280/3562421160532369988809*c_1100_0^14 - 220617973204597884093400/3562421160532369988809*c_1100_0^13 - 21725056550895317404390/323856469139306362619*c_1100_0^12 - 704015944295213333246546/3562421160532369988809*c_1100_0^11 - 825688163967257868152946/3562421160532369988809*c_1100_0^10 - 1539798321083531016097064/3562421160532369988809*c_1100_0^9 - 1416106542777345292627337/3562421160532369988809*c_1100_0^8 - 1909424826452420239692775/3562421160532369988809*c_1100_0^7 - 1555312541318132162363640/3562421160532369988809*c_1100_0^6 - 1244626709182947497419267/3562421160532369988809*c_1100_0^5 - 882904615035676785796675/3562421160532369988809*c_1100_0^4 - 399069047148618450105913/3562421160532369988809*c_1100_0^3 - 239542010021252133300120/3562421160532369988809*c_1100_0^2 - 45825609493364957065011/3562421160532369988809*c_1100_0 - 11155834172773028386275/3562421160532369988809, c_1001_0 - 12938528374329419529472/3562421160532369988809*c_1100_0^16 - 23043025037389566961824/3562421160532369988809*c_1100_0^15 - 56098523098038962459856/3562421160532369988809*c_1100_0^14 - 237754339422949458516600/3562421160532369988809*c_1100_0^13 - 249066897975881692284744/3562421160532369988809*c_1100_0^12 - 756500364146524300684890/3562421160532369988809*c_1100_0^11 - 859417063157019098837502/3562421160532369988809*c_1100_0^10 - 1637853900401465341590532/3562421160532369988809*c_1100_0^9 - 132177388010339905299176/323856469139306362619*c_1100_0^8 - 2003666364873151122283505/3562421160532369988809*c_1100_0^7 - 1574165856277654194612830/3562421160532369988809*c_1100_0^6 - 1269047395033736303783819/3562421160532369988809*c_1100_0^5 - 878950677210386656433945/3562421160532369988809*c_1100_0^4 - 380868032020742342808885/3562421160532369988809*c_1100_0^3 - 241170357505913602480370/3562421160532369988809*c_1100_0^2 - 3491763651517591677003/323856469139306362619*c_1100_0 - 10971280739540144765606/3562421160532369988809, c_1001_1 - 687704000239550482176/323856469139306362619*c_1100_0^16 - 13432693300131702469232/3562421160532369988809*c_1100_0^15 - 2982487182207565782176/323856469139306362619*c_1100_0^14 - 138904655052918236823892/3562421160532369988809*c_1100_0^13 - 144889164448195319268874/3562421160532369988809*c_1100_0^12 - 442296817916894633386250/3562421160532369988809*c_1100_0^11 - 499644224710350591349898/3562421160532369988809*c_1100_0^10 - 954574533912152096925804/3562421160532369988809*c_1100_0^9 - 842588448118502033166964/3562421160532369988809*c_1100_0^8 - 1163182887902604048691888/3562421160532369988809*c_1100_0^7 - 902614085135813788562390/3562421160532369988809*c_1100_0^6 - 722597546951171707742462/3562421160532369988809*c_1100_0^5 - 494063036110401960232046/3562421160532369988809*c_1100_0^4 - 201428537094106950473366/3562421160532369988809*c_1100_0^3 - 124243924377343776214105/3562421160532369988809*c_1100_0^2 - 10751277792524195505681/3562421160532369988809*c_1100_0 - 2306586896752315879143/3562421160532369988809, c_1100_0^17 + 2*c_1100_0^16 + 19/4*c_1100_0^15 + 155/8*c_1100_0^14 + 187/8*c_1100_0^13 + 505/8*c_1100_0^12 + 319/4*c_1100_0^11 + 1139/8*c_1100_0^10 + 567/4*c_1100_0^9 + 1457/8*c_1100_0^8 + 158*c_1100_0^7 + 1019/8*c_1100_0^6 + 733/8*c_1100_0^5 + 363/8*c_1100_0^4 + 51/2*c_1100_0^3 + 55/8*c_1100_0^2 + 11/8*c_1100_0 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB