Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 2244221286] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2083 geometric_solution 5.59494117 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.583935883440 0.589093300552 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677264748478 0.463146338676 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 -1 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 0 0 1 -1 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.561133299408 0.497833876151 2 5 4 1 2031 1023 1023 0132 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 0 0 0 0 0 0 0 0.561133299408 0.497833876151 2 4 3 4 0132 1302 1023 2031 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 0 -1 1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.749830169736 1.084797842349 3 6 2 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.162327366356 0.684084004661 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.554122603758 0.239808211280 ==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_2_6' : 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_0_6' : 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_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_3, c_0101_0, c_0101_4, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1621146807226364176043/3693757914901397*c_0110_6^18 + 15244776546792805542725/3693757914901397*c_0110_6^17 + 56409826310699978425854/3693757914901397*c_0110_6^16 + 11127337205412976205629/527679702128771*c_0110_6^15 + 3280066828569132853962/217279877347141*c_0110_6^14 + 401858332439411346541333/3693757914901397*c_0110_6^13 + 53218504821359805223621/217279877347141*c_0110_6^12 + 105842822028608483375349/3693757914901397*c_0110_6^11 - 579801702554875786946511/3693757914901397*c_0110_6^10 + 769429028748691263534398/3693757914901397*c_0110_6^9 - 31439575897331263654155/3693757914901397*c_0110_6^8 - 3099370572441343627484551/3693757914901397*c_0110_6^7 - 1912629527261508233968689/3693757914901397*c_0110_6^6 + 1251103705249165960327228/3693757914901397*c_0110_6^5 + 980069239280984908157059/3693757914901397*c_0110_6^4 - 226885511548362664749532/3693757914901397*c_0110_6^3 - 156440724399426044753908/3693757914901397*c_0110_6^2 + 1530088727041379765647/217279877347141*c_0110_6 + 4015915018346263817210/3693757914901397, c_0011_0 - 1, c_0011_1 - 8563366074008621512/527679702128771*c_0110_6^18 - 80523896865501228536/527679702128771*c_0110_6^17 - 297939660616107878967/527679702128771*c_0110_6^16 - 411313917497281939166/527679702128771*c_0110_6^15 - 17313830741772380528/31039982478163*c_0110_6^14 - 2122535333963381596288/527679702128771*c_0110_6^13 - 281061228158060836655/31039982478163*c_0110_6^12 - 556857389350055297970/527679702128771*c_0110_6^11 + 3063722246432514733345/527679702128771*c_0110_6^10 - 4065123851205843957944/527679702128771*c_0110_6^9 + 167426313660510709803/527679702128771*c_0110_6^8 + 16372137005056892278757/527679702128771*c_0110_6^7 + 10096740026591890112756/527679702128771*c_0110_6^6 - 6614960228951456448280/527679702128771*c_0110_6^5 - 5176837109419876852669/527679702128771*c_0110_6^4 + 1200471703642265721994/527679702128771*c_0110_6^3 + 826669068260133496894/527679702128771*c_0110_6^2 - 8093074597326711500/31039982478163*c_0110_6 - 21231971333034882681/527679702128771, c_0011_3 - 44937618592189690/31039982478163*c_0110_6^18 - 422537878958669255/31039982478163*c_0110_6^17 - 1563239421537203371/31039982478163*c_0110_6^16 - 2157412077643599409/31039982478163*c_0110_6^15 - 1542735825545406653/31039982478163*c_0110_6^14 - 11136593033393722780/31039982478163*c_0110_6^13 - 25066811469047682311/31039982478163*c_0110_6^12 - 2903638632235831310/31039982478163*c_0110_6^11 + 16089547787827171619/31039982478163*c_0110_6^10 - 21339704962997651942/31039982478163*c_0110_6^9 + 885781296225408889/31039982478163*c_0110_6^8 + 85924717084976557388/31039982478163*c_0110_6^7 + 52934819027826107021/31039982478163*c_0110_6^6 - 34775594087369156334/31039982478163*c_0110_6^5 - 27168123721079497337/31039982478163*c_0110_6^4 + 6321711433067945325/31039982478163*c_0110_6^3 + 4341925098184824326/31039982478163*c_0110_6^2 - 724332195255425892/31039982478163*c_0110_6 - 111620379024690939/31039982478163, c_0101_0 + 4114846887955319752/527679702128771*c_0110_6^18 + 38697495884406789160/527679702128771*c_0110_6^17 + 143208093647185447663/527679702128771*c_0110_6^16 + 197813725574038869818/527679702128771*c_0110_6^15 + 8336193770404651476/31039982478163*c_0110_6^14 + 1020182523762468858453/527679702128771*c_0110_6^13 + 135124799245643381997/31039982478163*c_0110_6^12 + 270526349358727949150/527679702128771*c_0110_6^11 - 1470645425795500468867/527679702128771*c_0110_6^10 + 1952380221955287783613/527679702128771*c_0110_6^9 - 78808921003418981280/527679702128771*c_0110_6^8 - 7866422047283423251592/527679702128771*c_0110_6^7 - 4859798337088656766934/527679702128771*c_0110_6^6 + 3169948151070836011018/527679702128771*c_0110_6^5 + 2487457450375326423217/527679702128771*c_0110_6^4 - 574125395313194434805/527679702128771*c_0110_6^3 - 396751421258261492402/527679702128771*c_0110_6^2 + 3873976676133874156/31039982478163*c_0110_6 + 10175473953131875744/527679702128771, c_0101_4 + 6283808599052665867/527679702128771*c_0110_6^18 + 59088223257446566139/527679702128771*c_0110_6^17 + 218625294066178905976/527679702128771*c_0110_6^16 + 301809384204987317578/527679702128771*c_0110_6^15 + 12703514842093896916/31039982478163*c_0110_6^14 + 1557496699366309773520/527679702128771*c_0110_6^13 + 206237948956876552327/31039982478163*c_0110_6^12 + 408381244945384156106/527679702128771*c_0110_6^11 - 2248317505832205410932/527679702128771*c_0110_6^10 + 2983090702562865692416/527679702128771*c_0110_6^9 - 122959681198238709308/527679702128771*c_0110_6^8 - 12014011937211198306781/527679702128771*c_0110_6^7 - 7408348258919672329197/527679702128771*c_0110_6^6 + 4854858755585765108087/527679702128771*c_0110_6^5 + 3798784287868937985508/527679702128771*c_0110_6^4 - 881178455159476830057/527679702128771*c_0110_6^3 - 606660160515265902232/527679702128771*c_0110_6^2 + 5940271769152447183/31039982478163*c_0110_6 + 15583757058719956790/527679702128771, c_0101_6 + 3736171007201156275/527679702128771*c_0110_6^18 + 35132632204243263559/527679702128771*c_0110_6^17 + 129993090315005685496/527679702128771*c_0110_6^16 + 179466436647985873524/527679702128771*c_0110_6^15 + 7555043451511198604/31039982478163*c_0110_6^14 + 926071519599983171179/527679702128771*c_0110_6^13 + 122630783871136329140/31039982478163*c_0110_6^12 + 243150703630104822043/527679702128771*c_0110_6^11 - 1336611744347089992281/527679702128771*c_0110_6^10 + 1773506955416966012061/527679702128771*c_0110_6^9 - 72927355125846205993/527679702128771*c_0110_6^8 - 7143069910309707511003/527679702128771*c_0110_6^7 - 4405763727406590386227/527679702128771*c_0110_6^6 + 2885549262521009902992/527679702128771*c_0110_6^5 + 2258733269524739537299/527679702128771*c_0110_6^4 - 523556180905121669126/527679702128771*c_0110_6^3 - 360663016958423418006/527679702128771*c_0110_6^2 + 3529694978833195281/31039982478163*c_0110_6 + 9262863449813143690/527679702128771, c_0110_6^19 + 9*c_0110_6^18 + 31*c_0110_6^17 + 34*c_0110_6^16 + 15*c_0110_6^15 + 234*c_0110_6^14 + 458*c_0110_6^13 - 160*c_0110_6^12 - 384*c_0110_6^11 + 619*c_0110_6^10 - 211*c_0110_6^9 - 1904*c_0110_6^8 - 408*c_0110_6^7 + 1248*c_0110_6^6 + 293*c_0110_6^5 - 384*c_0110_6^4 - 40*c_0110_6^3 + 55*c_0110_6^2 - 4*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB