Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 3633923500] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2916 geometric_solution 6.11649474 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710378919190 0.953208836274 3 4 3 0 0132 0132 0213 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 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.501460601447 0.370648932043 4 3 0 4 2310 3201 0132 2103 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 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 1.154760815912 0.900507682235 1 1 2 5 0132 0213 2310 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 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.731352907256 0.565775119252 5 1 2 2 1302 0132 3201 2103 0 0 0 0 0 0 0 0 0 0 0 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 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.817251009390 0.715567014146 6 4 3 6 0132 2031 0132 1023 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565187496421 0.382622562883 5 6 6 5 0132 3201 2310 1023 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 0 0 0 0 0 0 0 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.155329424407 0.626681675391 ==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' : 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' : 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' : 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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : negation(d['c_0110_4']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0110_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_1']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_1']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_1001_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_2, c_0101_0, c_0101_6, c_0110_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 866362387393901029855951/167001484176599443893632*c_1001_1^15 + 8635520935838208363005403/167001484176599443893632*c_1001_1^14 + 13391963707827594008031821/83500742088299721946816*c_1001_1^13 + 854568813267331712486565/5218796380518732621676*c_1001_1^12 + 21956333748657177048227743/167001484176599443893632*c_1001_1^11 + 141824813011048177192090559/167001484176599443893632*c_1001_1^10 - 16833543518699181650632493/167001484176599443893632*c_1001_1^9 - 7875853102539535557930649/7590976553481792904256*c_1001_1^8 + 18279161393743321912608121/10437592761037465243352*c_1001_1^7 - 297649721547513787172653527/83500742088299721946816*c_1001_1^6 + 1026201622253088832437664663/167001484176599443893632*c_1001_1^5 - 25032961827358539200947663/5218796380518732621676*c_1001_1^4 + 241131740029450627976669991/167001484176599443893632*c_1001_1^3 + 7734713242225282966110731/41750371044149860973408*c_1001_1^2 - 21246703369143030093973011/167001484176599443893632*c_1001_1 + 1844241429225621858470163/167001484176599443893632, c_0011_0 - 1, c_0011_1 - 2923698004317408829/2010322180477169731*c_1001_1^15 - 28934035296008572662/2010322180477169731*c_1001_1^14 - 87647960258408062201/2010322180477169731*c_1001_1^13 - 78644634190155892812/2010322180477169731*c_1001_1^12 - 40864096457274846415/2010322180477169731*c_1001_1^11 - 430980673923831122792/2010322180477169731*c_1001_1^10 + 137352299044564910959/2010322180477169731*c_1001_1^9 + 716751926253005284495/2010322180477169731*c_1001_1^8 - 939823600922082931179/2010322180477169731*c_1001_1^7 + 1983729063034308523401/2010322180477169731*c_1001_1^6 - 3502095132877575785064/2010322180477169731*c_1001_1^5 + 2591469088827940917470/2010322180477169731*c_1001_1^4 - 552092402833547105211/2010322180477169731*c_1001_1^3 - 187427902898857504860/2010322180477169731*c_1001_1^2 + 62893764225941203041/2010322180477169731*c_1001_1 + 313743953642200993/2010322180477169731, c_0011_2 + 5187644182493180087/2010322180477169731*c_1001_1^15 + 51534407725147384809/2010322180477169731*c_1001_1^14 + 157766409030155195279/2010322180477169731*c_1001_1^13 + 148667598078759550180/2010322180477169731*c_1001_1^12 + 88819116776848514263/2010322180477169731*c_1001_1^11 + 781562310195324165568/2010322180477169731*c_1001_1^10 - 202911973473230807427/2010322180477169731*c_1001_1^9 - 1228283991666996545692/2010322180477169731*c_1001_1^8 + 1630729902136739900030/2010322180477169731*c_1001_1^7 - 3526379817054983838539/2010322180477169731*c_1001_1^6 + 6146080001294420274489/2010322180477169731*c_1001_1^5 - 4552516718608517659471/2010322180477169731*c_1001_1^4 + 1092586548859901135709/2010322180477169731*c_1001_1^3 + 221107053833815123258/2010322180477169731*c_1001_1^2 - 90236879909852122845/2010322180477169731*c_1001_1 + 6737346117930992445/2010322180477169731, c_0101_0 + 113070964945944530/2010322180477169731*c_1001_1^15 + 1327933078239609579/2010322180477169731*c_1001_1^14 + 5547391688515697909/2010322180477169731*c_1001_1^13 + 10244758091522998113/2010322180477169731*c_1001_1^12 + 10406052529647700652/2010322180477169731*c_1001_1^11 + 23692120867763564786/2010322180477169731*c_1001_1^10 + 28713456408204818769/2010322180477169731*c_1001_1^9 - 23016372429910888354/2010322180477169731*c_1001_1^8 - 11863101268600618415/2010322180477169731*c_1001_1^7 - 31739187685123730902/2010322180477169731*c_1001_1^6 + 9066650653669794725/2010322180477169731*c_1001_1^5 + 97288041372461602307/2010322180477169731*c_1001_1^4 - 86536542003065765019/2010322180477169731*c_1001_1^3 + 14493274058709811332/2010322180477169731*c_1001_1^2 + 5785091806748720884/2010322180477169731*c_1001_1 + 1672114031418528778/2010322180477169731, c_0101_6 + 4016831549811178410/2010322180477169731*c_1001_1^15 + 35734326434103179545/2010322180477169731*c_1001_1^14 + 80512130042762526436/2010322180477169731*c_1001_1^13 - 13896847700998762103/2010322180477169731*c_1001_1^12 - 56924431102627336767/2010322180477169731*c_1001_1^11 + 530087363209729784738/2010322180477169731*c_1001_1^10 - 784792405233695234693/2010322180477169731*c_1001_1^9 - 818340728580214184278/2010322180477169731*c_1001_1^8 + 2272982283612295075337/2010322180477169731*c_1001_1^7 - 3979165496447941237563/2010322180477169731*c_1001_1^6 + 7506408216471640271972/2010322180477169731*c_1001_1^5 - 8297301492208609580117/2010322180477169731*c_1001_1^4 + 4187257214465293831041/2010322180477169731*c_1001_1^3 - 449305751844691479347/2010322180477169731*c_1001_1^2 - 315482863994521643913/2010322180477169731*c_1001_1 + 67755655218572502091/2010322180477169731, c_0110_4 - 214350468809514275/2010322180477169731*c_1001_1^15 - 2657172318278458542/2010322180477169731*c_1001_1^14 - 11942160451836310301/2010322180477169731*c_1001_1^13 - 24059126683709749683/2010322180477169731*c_1001_1^12 - 25038688742573354679/2010322180477169731*c_1001_1^11 - 48932249139602827917/2010322180477169731*c_1001_1^10 - 76702201221391594831/2010322180477169731*c_1001_1^9 + 43266329974588385685/2010322180477169731*c_1001_1^8 + 54685721292155952643/2010322180477169731*c_1001_1^7 + 25332123761237088190/2010322180477169731*c_1001_1^6 + 71345291516245736250/2010322180477169731*c_1001_1^5 - 328938090982095686810/2010322180477169731*c_1001_1^4 + 252191133810315625559/2010322180477169731*c_1001_1^3 - 39403705407021934119/2010322180477169731*c_1001_1^2 - 17305318655555557931/2010322180477169731*c_1001_1 + 1430071416601857438/2010322180477169731, c_1001_1^16 + 10*c_1001_1^15 + 31*c_1001_1^14 + 30*c_1001_1^13 + 17*c_1001_1^12 + 150*c_1001_1^11 - 30*c_1001_1^10 - 249*c_1001_1^9 + 302*c_1001_1^8 - 642*c_1001_1^7 + 1119*c_1001_1^6 - 755*c_1001_1^5 + 73*c_1001_1^4 + 113*c_1001_1^3 - 25*c_1001_1^2 - 4*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB