Magma V2.19-8 Tue Aug 20 2013 23:38:18 on localhost [Seed = 2446849471] Type ? for help. Type -D to quit. Loading file "K12n655__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n655 geometric_solution 9.37939181 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 -10 10 -1 10 0 -9 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.898411414616 1.135529552284 0 5 2 6 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 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.242616122179 0.792100774138 7 0 8 1 0132 0132 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 1 0 -1 0 0 0 0 0 -1 0 1 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657560574952 0.837964553851 4 9 5 0 3201 0132 3120 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 0 0 0 -10 0 0 10 -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.362104959486 0.694892310218 8 6 0 3 0321 3012 0132 2310 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 10 0 -10 0 -10 0 0 10 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.158544796188 0.785849365034 9 1 3 7 0213 0132 3120 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 0 0 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046374825414 0.993461141512 4 8 1 7 1230 3120 0132 0213 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 -1 1 0 0 0 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490755431170 0.808216147121 2 9 5 6 0132 0213 0132 0213 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 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391808251973 0.642441508748 4 6 9 2 0321 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 10 0 0 -10 -10 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533805799930 0.646472600009 5 3 7 8 0213 0132 0213 0132 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 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.232726528017 1.243104973998 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_3']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_3'], '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_1010_7'], 'c_1100_8' : d['c_1010_7'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_1010_7'], 'c_1100_1' : d['c_1010_7'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_1010_7'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_6']), '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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0101_1'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : negation(d['c_0101_1']), 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0011_4']})} 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_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_1001_0, c_1001_3, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 210358823793584245819/217025867327971394*c_1010_7^11 - 1034911013725076928749/217025867327971394*c_1010_7^10 - 1454183201004347850919/108512933663985697*c_1010_7^9 - 5992468776746266892333/217025867327971394*c_1010_7^8 - 458583762443989073805/9864812151271427*c_1010_7^7 - 6466621267314150914611/108512933663985697*c_1010_7^6 - 6863860933947791312052/108512933663985697*c_1010_7^5 - 5468519066628190223922/108512933663985697*c_1010_7^4 - 2986609191843220925473/108512933663985697*c_1010_7^3 - 762453234217468811426/108512933663985697*c_1010_7^2 + 114518613881933181236/108512933663985697*c_1010_7 + 213220189853292944117/217025867327971394, c_0011_0 - 1, c_0011_3 + 52230543102205/37534740112067*c_1010_7^11 + 249023622956241/37534740112067*c_1010_7^10 + 660739827395907/37534740112067*c_1010_7^9 + 1301736213603158/37534740112067*c_1010_7^8 + 191553769305507/3412249101097*c_1010_7^7 + 2533838161114110/37534740112067*c_1010_7^6 + 2487278273739088/37534740112067*c_1010_7^5 + 1821380668952837/37534740112067*c_1010_7^4 + 707073957080023/37534740112067*c_1010_7^3 + 54569887505632/37534740112067*c_1010_7^2 - 95355676813743/37534740112067*c_1010_7 - 17414062305996/37534740112067, c_0011_4 - 87508280324985/37534740112067*c_1010_7^11 - 422870422650396/37534740112067*c_1010_7^10 - 1166335909464553/37534740112067*c_1010_7^9 - 2362969315368658/37534740112067*c_1010_7^8 - 355964492103447/3412249101097*c_1010_7^7 - 4897025060735073/37534740112067*c_1010_7^6 - 5070253932686643/37534740112067*c_1010_7^5 - 3881760759778040/37534740112067*c_1010_7^4 - 1910342735385037/37534740112067*c_1010_7^3 - 332067759022452/37534740112067*c_1010_7^2 + 186890216382526/37534740112067*c_1010_7 + 74946536188218/37534740112067, c_0011_6 - 77756806767315/37534740112067*c_1010_7^11 - 358444884726037/37534740112067*c_1010_7^10 - 965648846339842/37534740112067*c_1010_7^9 - 1921030444143511/37534740112067*c_1010_7^8 - 286202053632916/3412249101097*c_1010_7^7 - 3831733968146751/37534740112067*c_1010_7^6 - 3931269267056973/37534740112067*c_1010_7^5 - 2878601089780446/37534740112067*c_1010_7^4 - 1394980606242350/37534740112067*c_1010_7^3 - 190058628765298/37534740112067*c_1010_7^2 + 86187692397824/37534740112067*c_1010_7 + 13268927795669/37534740112067, c_0011_8 + 65079455124671/37534740112067*c_1010_7^11 + 297912128732632/37534740112067*c_1010_7^10 + 809987899282043/37534740112067*c_1010_7^9 + 1624500385173093/37534740112067*c_1010_7^8 + 243957884902368/3412249101097*c_1010_7^7 + 3312839859837063/37534740112067*c_1010_7^6 + 3487078709186789/37534740112067*c_1010_7^5 + 2616443569172080/37534740112067*c_1010_7^4 + 1408736098749003/37534740112067*c_1010_7^3 + 310259055550527/37534740112067*c_1010_7^2 - 15190331912439/37534740112067*c_1010_7 - 13190470965271/37534740112067, c_0101_0 + 60400182108461/37534740112067*c_1010_7^11 + 294987618078972/37534740112067*c_1010_7^10 + 825620452109373/37534740112067*c_1010_7^9 + 1688072543975492/37534740112067*c_1010_7^8 + 256303035301858/3412249101097*c_1010_7^7 + 3567527043036251/37534740112067*c_1010_7^6 + 3724134400610814/37534740112067*c_1010_7^5 + 2857833878713609/37534740112067*c_1010_7^4 + 1471477865019891/37534740112067*c_1010_7^3 + 258513941002909/37534740112067*c_1010_7^2 - 149529126478020/37534740112067*c_1010_7 - 53654322962018/37534740112067, c_0101_1 + 18376563454028/37534740112067*c_1010_7^11 + 81077398604783/37534740112067*c_1010_7^10 + 214291095543524/37534740112067*c_1010_7^9 + 416627935677904/37534740112067*c_1010_7^8 + 61107230139024/3412249101097*c_1010_7^7 + 787970774436222/37534740112067*c_1010_7^6 + 787931413939869/37534740112067*c_1010_7^5 + 513051805970995/37534740112067*c_1010_7^4 + 210687990727787/37534740112067*c_1010_7^3 - 76954197107598/37534740112067*c_1010_7^2 - 58506586143391/37534740112067*c_1010_7 - 31553447283812/37534740112067, c_1001_0 - 54979439483813/37534740112067*c_1010_7^11 - 193060885232211/37534740112067*c_1010_7^10 - 424735721893965/37534740112067*c_1010_7^9 - 714535373782581/37534740112067*c_1010_7^8 - 91996851342915/3412249101097*c_1010_7^7 - 799706457676374/37534740112067*c_1010_7^6 - 649560531227786/37534740112067*c_1010_7^5 + 17220927203844/37534740112067*c_1010_7^4 + 364802333800716/37534740112067*c_1010_7^3 + 300033709786673/37534740112067*c_1010_7^2 + 53745947048114/37534740112067*c_1010_7 - 12386843122835/37534740112067, c_1001_3 + 52719796648974/37534740112067*c_1010_7^11 + 261146204316247/37534740112067*c_1010_7^10 + 682856184062639/37534740112067*c_1010_7^9 + 1310927294431933/37534740112067*c_1010_7^8 + 187698239952401/3412249101097*c_1010_7^7 + 2392767762171720/37534740112067*c_1010_7^6 + 2129141982520538/37534740112067*c_1010_7^5 + 1400115900693006/37534740112067*c_1010_7^4 + 220070539204501/37534740112067*c_1010_7^3 - 295387906687171/37534740112067*c_1010_7^2 - 169545563090064/37534740112067*c_1010_7 + 22561602023269/37534740112067, c_1010_7^12 + 63/13*c_1010_7^11 + 175/13*c_1010_7^10 + 357/13*c_1010_7^9 + 596/13*c_1010_7^8 + 753/13*c_1010_7^7 + 789/13*c_1010_7^6 + 613/13*c_1010_7^5 + 319/13*c_1010_7^4 + 67/13*c_1010_7^3 - 21/13*c_1010_7^2 - 12/13*c_1010_7 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.320 seconds, Total memory usage: 32.09MB