Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 694728181] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0884 geometric_solution 4.78565856 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 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 1 0 -1 -1 0 0 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.010753369706 1.082490953152 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 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 -1 0 1 1 0 -1 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.094272005195 0.680121444035 0 2 2 0 3201 3201 2310 0132 0 0 0 0 0 1 0 -1 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 0 0 1 0 -1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.550761400935 0.096002508343 4 1 5 4 2310 0132 0132 2031 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 1 0 -1 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248624779175 0.775336594790 5 3 3 1 2310 1302 3201 0132 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 1 -1 0 0 0 -1 1 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.248624779175 0.775336594790 6 6 4 3 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265921019885 0.898538519846 5 6 5 6 0132 1302 2310 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 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.940079622611 1.258636648660 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 465764292766440128/884569198201*c_0101_3^22 + 103488077533920464/884569198201*c_0101_3^21 - 4441012020707438168/884569198201*c_0101_3^20 + 3390787731567058977/884569198201*c_0101_3^19 + 13895338219546339349/884569198201*c_0101_3^18 - 22756498371013088414/884569198201*c_0101_3^17 - 9629469163412300783/884569198201*c_0101_3^16 + 47939609060169844649/884569198201*c_0101_3^15 - 25801684155527407350/884569198201*c_0101_3^14 - 2807742210427084605/68043784477*c_0101_3^13 + 52729406191378269532/884569198201*c_0101_3^12 - 6072881893708629813/884569198201*c_0101_3^11 - 34072287964143459847/884569198201*c_0101_3^10 + 24942543616774434559/884569198201*c_0101_3^9 + 3465567754733806614/884569198201*c_0101_3^8 - 13102224064878220026/884569198201*c_0101_3^7 + 5285668607080888484/884569198201*c_0101_3^6 + 1702762606510673330/884569198201*c_0101_3^5 - 2093762070004973509/884569198201*c_0101_3^4 + 448244660005787545/884569198201*c_0101_3^3 + 177708850937967309/884569198201*c_0101_3^2 - 104011011076574986/884569198201*c_0101_3 + 14843544938738478/884569198201, c_0011_0 - 1, c_0011_2 + 1178527381547968/476306491339*c_0101_3^22 - 45856706745072/476306491339*c_0101_3^21 - 11543767469742168/476306491339*c_0101_3^20 + 11222130793714797/476306491339*c_0101_3^19 + 34931873630801479/476306491339*c_0101_3^18 - 9496446155125621/68043784477*c_0101_3^17 - 2348492633458501/68043784477*c_0101_3^16 + 132468767765817101/476306491339*c_0101_3^15 - 86484310412636496/476306491339*c_0101_3^14 - 90922207896180833/476306491339*c_0101_3^13 + 155188559936158633/476306491339*c_0101_3^12 - 4479709180095159/68043784477*c_0101_3^11 - 92719984114836017/476306491339*c_0101_3^10 + 77462319833386274/476306491339*c_0101_3^9 + 4364043635243402/476306491339*c_0101_3^8 - 37654629680091371/476306491339*c_0101_3^7 + 17290238342189194/476306491339*c_0101_3^6 + 4101548116000710/476306491339*c_0101_3^5 - 6289984200185722/476306491339*c_0101_3^4 + 1526535763674504/476306491339*c_0101_3^3 + 496455969763563/476306491339*c_0101_3^2 - 45974900727210/68043784477*c_0101_3 + 47087402239949/476306491339, c_0011_4 + 2767600522115456/476306491339*c_0101_3^22 + 2444370394040608/476306491339*c_0101_3^21 - 24767327696990992/476306491339*c_0101_3^20 + 3763104983284434/476306491339*c_0101_3^19 + 84956188923662568/476306491339*c_0101_3^18 - 11275211794416921/68043784477*c_0101_3^17 - 15568746747578330/68043784477*c_0101_3^16 + 212123059461826976/476306491339*c_0101_3^15 - 13673473074539153/476306491339*c_0101_3^14 - 224174042919984177/476306491339*c_0101_3^13 + 164884782790230945/476306491339*c_0101_3^12 + 10114213779104278/68043784477*c_0101_3^11 - 154026004648034347/476306491339*c_0101_3^10 + 47295223988637087/476306491339*c_0101_3^9 + 50045502579898928/476306491339*c_0101_3^8 - 44319891775554123/476306491339*c_0101_3^7 + 2874803708042454/476306491339*c_0101_3^6 + 11414158122029886/476306491339*c_0101_3^5 - 4908223884543831/476306491339*c_0101_3^4 - 381962635243396/476306491339*c_0101_3^3 + 728775439367406/476306491339*c_0101_3^2 - 21349504847024/68043784477*c_0101_3 + 3566967435337/476306491339, c_0011_5 - 4105830993839296/476306491339*c_0101_3^22 - 605874523647248/476306491339*c_0101_3^21 + 39369543094587656/476306491339*c_0101_3^20 - 32638097062437457/476306491339*c_0101_3^19 - 121605450375713814/476306491339*c_0101_3^18 + 29946303365714584/68043784477*c_0101_3^17 + 10685124305515361/68043784477*c_0101_3^16 - 432365506265025773/476306491339*c_0101_3^15 + 251553520044435545/476306491339*c_0101_3^14 + 316065130658496969/476306491339*c_0101_3^13 - 486999913805930601/476306491339*c_0101_3^12 + 10590381683062006/68043784477*c_0101_3^11 + 304162227678895660/476306491339*c_0101_3^10 - 235876388923438185/476306491339*c_0101_3^9 - 23514705812280567/476306491339*c_0101_3^8 + 119433129827415452/476306491339*c_0101_3^7 - 51388561432609829/476306491339*c_0101_3^6 - 14190693379567111/476306491339*c_0101_3^5 + 19465432355852604/476306491339*c_0101_3^4 - 4501181737936335/476306491339*c_0101_3^3 - 1567669722074200/476306491339*c_0101_3^2 + 140933274090296/68043784477*c_0101_3 - 146357590646059/476306491339, c_0101_0 + 110690365963136/476306491339*c_0101_3^22 - 125696464356832/476306491339*c_0101_3^21 - 1283988481148848/476306491339*c_0101_3^20 + 1980867056499642/476306491339*c_0101_3^19 + 3844417780423394/476306491339*c_0101_3^18 - 1351211340986563/68043784477*c_0101_3^17 - 110953670514836/68043784477*c_0101_3^16 + 17700918080338583/476306491339*c_0101_3^15 - 12580249372655362/476306491339*c_0101_3^14 - 11945134141950465/476306491339*c_0101_3^13 + 20987847616984996/476306491339*c_0101_3^12 - 534415112270365/68043784477*c_0101_3^11 - 12854172321176897/476306491339*c_0101_3^10 + 9846499730613419/476306491339*c_0101_3^9 + 1389653251771109/476306491339*c_0101_3^8 - 5127124001409899/476306491339*c_0101_3^7 + 1894983884470174/476306491339*c_0101_3^6 + 798084283604966/476306491339*c_0101_3^5 - 802544582317732/476306491339*c_0101_3^4 + 122742577058497/476306491339*c_0101_3^3 + 83496440335738/476306491339*c_0101_3^2 - 5159190681764/68043784477*c_0101_3 + 3885476617423/476306491339, c_0101_1 - 2539314606253888/476306491339*c_0101_3^22 + 266158649109456/476306491339*c_0101_3^21 + 25014446150864008/476306491339*c_0101_3^20 - 25837372266595991/476306491339*c_0101_3^19 - 75197011681576637/476306491339*c_0101_3^18 + 21359275236434797/68043784477*c_0101_3^17 + 4386276106480171/68043784477*c_0101_3^16 - 295464924769672930/476306491339*c_0101_3^15 + 201919252524220251/476306491339*c_0101_3^14 + 198822318462151686/476306491339*c_0101_3^13 - 354766000786885204/476306491339*c_0101_3^12 + 11234840615561018/68043784477*c_0101_3^11 + 209705126143370750/476306491339*c_0101_3^10 - 181117925082922666/476306491339*c_0101_3^9 - 6994969839312871/476306491339*c_0101_3^8 + 87185088908119670/476306491339*c_0101_3^7 - 41512516359104736/476306491339*c_0101_3^6 - 8974524441098546/476306491339*c_0101_3^5 + 14902728967309591/476306491339*c_0101_3^4 - 3809300794797698/476306491339*c_0101_3^3 - 1132139879222824/476306491339*c_0101_3^2 + 112211545711116/68043784477*c_0101_3 - 120910794446472/476306491339, c_0101_3^23 - 1/4*c_0101_3^22 - 77/8*c_0101_3^21 + 755/64*c_0101_3^20 + 1681/64*c_0101_3^19 - 1007/16*c_0101_3^18 + 91/32*c_0101_3^17 + 1797/16*c_0101_3^16 - 3347/32*c_0101_3^15 - 1637/32*c_0101_3^14 + 4807/32*c_0101_3^13 - 4329/64*c_0101_3^12 - 4239/64*c_0101_3^11 + 177/2*c_0101_3^10 - 595/32*c_0101_3^9 - 2013/64*c_0101_3^8 + 1593/64*c_0101_3^7 - 61/32*c_0101_3^6 - 199/32*c_0101_3^5 + 201/64*c_0101_3^4 - 3/32*c_0101_3^3 - 13/32*c_0101_3^2 + 9/64*c_0101_3 - 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB