Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2766485636] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s266 geometric_solution 4.43398406 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548781065438 0.106238186733 2 0 2 0 0132 2310 1023 0132 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 1 -1 -1 0 1 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.694822821259 0.233781449536 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 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.901880229757 1.275925442735 4 2 4 5 3201 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.226406400361 1.145528220859 5 3 2 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 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 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.226406400361 1.145528220859 4 5 3 5 0132 2310 0132 3201 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 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.166048602840 0.840141269348 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_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_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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 745884760623901865858225/6701541186446775350102*c_0101_3^19 + 1427747993523678302478684/3350770593223387675051*c_0101_3^18 + 1931319799218718701417997/6701541186446775350102*c_0101_3^17 - 40490596474701387113537749/6701541186446775350102*c_0101_3^16 + 4406087325346673203882789/3350770593223387675051*c_0101_3^15 + 195668559355812423928706255/6701541186446775350102*c_0101_3^14 - 60127251255306281645593655/6701541186446775350102*c_0101_3^13 - 593962401202572743449744569/6701541186446775350102*c_0101_3^12 - 81063079910763715654636935/6701541186446775350102*c_0101_3^11 + 895650206121844982758583349/6701541186446775350102*c_0101_3^10 + 314804771333401890786248939/6701541186446775350102*c_0101_3^9 - 457114070066587932424581988/3350770593223387675051*c_0101_3^8 - 527170115178971067028663507/6701541186446775350102*c_0101_3^7 + 479418540031354410138296543/6701541186446775350102*c_0101_3^6 + 191217880644270983877855389/3350770593223387675051*c_0101_3^5 - 58042086000502968432998021/6701541186446775350102*c_0101_3^4 - 48708597718617026190208627/3350770593223387675051*c_0101_3^3 - 16059263179990925780884209/6701541186446775350102*c_0101_3^2 + 5332655292372444093488609/6701541186446775350102*c_0101_3 + 748831845300486172667717/3350770593223387675051, c_0011_0 - 1, c_0011_1 + 117312396232569989591/6701541186446775350102*c_0101_3^19 + 248313908582050498112/3350770593223387675051*c_0101_3^18 - 4281263972384664926807/6701541186446775350102*c_0101_3^17 + 5591977272058675399021/6701541186446775350102*c_0101_3^16 + 24732883189976761113146/3350770593223387675051*c_0101_3^15 - 60977859651488780425273/6701541186446775350102*c_0101_3^14 - 218232224128378194998989/6701541186446775350102*c_0101_3^13 + 247067087095057395221203/6701541186446775350102*c_0101_3^12 + 671070535792965324696027/6701541186446775350102*c_0101_3^11 - 248267287189236160842961/6701541186446775350102*c_0101_3^10 - 1044733247903227917487605/6701541186446775350102*c_0101_3^9 + 38087070536373993391345/3350770593223387675051*c_0101_3^8 + 1120508025616927773470835/6701541186446775350102*c_0101_3^7 + 221134062657390758807829/6701541186446775350102*c_0101_3^6 - 318256819653785425587855/3350770593223387675051*c_0101_3^5 - 242426028632206482583993/6701541186446775350102*c_0101_3^4 + 55354727322013886981920/3350770593223387675051*c_0101_3^3 + 63300931927811529215083/6701541186446775350102*c_0101_3^2 - 1892121499021884428689/6701541186446775350102*c_0101_3 - 1022250547719284555026/3350770593223387675051, c_0011_4 + 2769917202681779627391/6701541186446775350102*c_0101_3^19 - 5995897337668179702010/3350770593223387675051*c_0101_3^18 - 1466338827487497310823/6701541186446775350102*c_0101_3^17 + 152033379608006374195609/6701541186446775350102*c_0101_3^16 - 53628164588290627496022/3350770593223387675051*c_0101_3^15 - 688769731750456547554611/6701541186446775350102*c_0101_3^14 + 560111306625073912599697/6701541186446775350102*c_0101_3^13 + 2006993562789242976005639/6701541186446775350102*c_0101_3^12 - 673658344361380977874349/6701541186446775350102*c_0101_3^11 - 3245357393071657066773145/6701541186446775350102*c_0101_3^10 + 261090828511186800914673/6701541186446775350102*c_0101_3^9 + 1798168880019907010532033/3350770593223387675051*c_0101_3^8 + 508934017552212741434999/6701541186446775350102*c_0101_3^7 - 2314394801881304644270731/6701541186446775350102*c_0101_3^6 - 342384788518701836352602/3350770593223387675051*c_0101_3^5 + 613941418855440318524983/6701541186446775350102*c_0101_3^4 + 144466175030319191064922/3350770593223387675051*c_0101_3^3 - 28392218450935757336871/6701541186446775350102*c_0101_3^2 - 31581693431362437234959/6701541186446775350102*c_0101_3 - 592807825475725665105/3350770593223387675051, c_0101_0 - 18309461568863460362685/13403082372893550700204*c_0101_3^19 + 71941037119729817728803/13403082372893550700204*c_0101_3^18 + 39026722694287972008513/13403082372893550700204*c_0101_3^17 - 496679191115679696203925/6701541186446775350102*c_0101_3^16 + 318313709930370823654919/13403082372893550700204*c_0101_3^15 + 4710618665481627720191543/13403082372893550700204*c_0101_3^14 - 481560587090082596786162/3350770593223387675051*c_0101_3^13 - 3527636019175031778405764/3350770593223387675051*c_0101_3^12 - 176259609103360442416116/3350770593223387675051*c_0101_3^11 + 5314221106011067814820835/3350770593223387675051*c_0101_3^10 + 1397976781972313710738247/3350770593223387675051*c_0101_3^9 - 21865792887708633615618263/13403082372893550700204*c_0101_3^8 - 10548192216079687146542513/13403082372893550700204*c_0101_3^7 + 2918599869649555231096048/3350770593223387675051*c_0101_3^6 + 7782926276270434227141683/13403082372893550700204*c_0101_3^5 - 1641170993873935210132759/13403082372893550700204*c_0101_3^4 - 1965920879788684512130749/13403082372893550700204*c_0101_3^3 - 285573131329721421099123/13403082372893550700204*c_0101_3^2 + 30656741321816019247872/3350770593223387675051*c_0101_3 + 31323918005020929718409/13403082372893550700204, c_0101_1 + 569062202158255288373/13403082372893550700204*c_0101_3^19 - 5592481542583902698515/13403082372893550700204*c_0101_3^18 + 12972113154774208092299/13403082372893550700204*c_0101_3^17 + 16739185367478636575377/6701541186446775350102*c_0101_3^16 - 191247545382956697862731/13403082372893550700204*c_0101_3^15 - 34441990767544908257639/13403082372893550700204*c_0101_3^14 + 218062197911129290486772/3350770593223387675051*c_0101_3^13 - 34786780859894595489903/3350770593223387675051*c_0101_3^12 - 580086217127281780210724/3350770593223387675051*c_0101_3^11 - 43081603162314611130467/3350770593223387675051*c_0101_3^10 + 846371801379049537818836/3350770593223387675051*c_0101_3^9 + 741578107198790241910907/13403082372893550700204*c_0101_3^8 - 3428789793653780359528115/13403082372893550700204*c_0101_3^7 - 311162704477152712637208/3350770593223387675051*c_0101_3^6 + 1893962948061028630318049/13403082372893550700204*c_0101_3^5 + 847947473304283486010835/13403082372893550700204*c_0101_3^4 - 346387612943234171202999/13403082372893550700204*c_0101_3^3 - 217029344161440839363149/13403082372893550700204*c_0101_3^2 + 1218100174328930598168/3350770593223387675051*c_0101_3 + 22328806635974295041399/13403082372893550700204, c_0101_3^20 - 4*c_0101_3^19 - 2*c_0101_3^18 + 55*c_0101_3^17 - 21*c_0101_3^16 - 264*c_0101_3^15 + 127*c_0101_3^14 + 800*c_0101_3^13 - 36*c_0101_3^12 - 1272*c_0101_3^11 - 216*c_0101_3^10 + 1379*c_0101_3^9 + 514*c_0101_3^8 - 849*c_0101_3^7 - 439*c_0101_3^6 + 214*c_0101_3^5 + 146*c_0101_3^4 - 10*c_0101_3^3 - 19*c_0101_3^2 - c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB