Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 374835914] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1783 geometric_solution 5.46085470 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.635085125259 0.287533382533 0 2 2 0 3201 0132 1023 0132 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 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 1.141964887664 0.613923537743 3 1 1 4 0132 0132 1023 0132 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.394925631992 0.307131937161 2 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 -1 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 0 0 0 0 -1 0 1 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.982681773789 0.925156572375 6 3 2 5 0132 0321 0132 1023 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 -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.982681773789 0.925156572375 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538021343647 0.489280511573 4 6 6 3 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 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 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.832772845511 0.642642122798 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : 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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0110_5'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0101_0, c_0101_3, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 202704427573843162796/2445142285864666068025*c_0110_5^21 - 1335594586218241192142/1467085371518799640815*c_0110_5^19 + 4068071872318886446413/2445142285864666068025*c_0110_5^17 + 3601790787675124136239/97805691434586642721*c_0110_5^15 + 461308837324196864591/97805691434586642721*c_0110_5^13 - 253829709687708229378048/1467085371518799640815*c_0110_5^11 + 63236889863051602765279/2445142285864666068025*c_0110_5^9 - 35303877931565822596612/2445142285864666068025*c_0110_5^7 + 63695052884378634837084/489028457172933213605*c_0110_5^5 + 114918491982447056185377/2445142285864666068025*c_0110_5^3 + 343546237740133469296594/7335426857593998204075*c_0110_5, c_0011_0 - 1, c_0011_1 - 6635299256026510/585662822961596663*c_0110_5^20 + 95953373871688986/585662822961596663*c_0110_5^18 - 463664720390883424/585662822961596663*c_0110_5^16 - 1379802704395875963/585662822961596663*c_0110_5^14 + 4603877729746694384/585662822961596663*c_0110_5^12 - 1113629245511379012/585662822961596663*c_0110_5^10 - 466486117228736683/585662822961596663*c_0110_5^8 - 1188433145737580475/585662822961596663*c_0110_5^6 - 910155864627451994/585662822961596663*c_0110_5^4 - 263875596238265408/585662822961596663*c_0110_5^2 - 44605540133327587/585662822961596663, c_0011_4 + 11819574308698757/585662822961596663*c_0110_5^21 - 172849625182753954/585662822961596663*c_0110_5^19 + 855720967555579756/585662822961596663*c_0110_5^17 + 2286571174397384085/585662822961596663*c_0110_5^15 - 8340236746526282449/585662822961596663*c_0110_5^13 + 3108848073851656536/585662822961596663*c_0110_5^11 - 2592599983806611918/585662822961596663*c_0110_5^9 + 7932769661108655476/585662822961596663*c_0110_5^7 - 1320763455166227951/585662822961596663*c_0110_5^5 + 2180261223568016445/585662822961596663*c_0110_5^3 - 1558477408864638041/585662822961596663*c_0110_5, c_0101_0 - 11132120792992822/585662822961596663*c_0110_5^21 + 166278179441704621/585662822961596663*c_0110_5^19 - 855227474529678865/585662822961596663*c_0110_5^17 - 1926407419814753011/585662822961596663*c_0110_5^15 + 8660685256250459795/585662822961596663*c_0110_5^13 - 5132938309656681680/585662822961596663*c_0110_5^11 + 2041828482956534803/585662822961596663*c_0110_5^9 - 7281272998286351578/585662822961596663*c_0110_5^7 + 2524678834720836125/585662822961596663*c_0110_5^5 - 774368336475536839/585662822961596663*c_0110_5^3 + 1590637062294117343/585662822961596663*c_0110_5, c_0101_3 + 4877154300327157/585662822961596663*c_0110_5^20 - 66356292569387042/585662822961596663*c_0110_5^18 + 279754637103818216/585662822961596663*c_0110_5^16 + 1314711463041873016/585662822961596663*c_0110_5^14 - 2545283561199945740/585662822961596663*c_0110_5^12 - 2336966925518515888/585662822961596663*c_0110_5^10 + 1337518500769165636/585662822961596663*c_0110_5^8 + 2029071474184553360/585662822961596663*c_0110_5^6 + 302169004042946425/585662822961596663*c_0110_5^4 + 1877420984207086173/585662822961596663*c_0110_5^2 - 777572059826812432/585662822961596663, c_0101_6 + 6859314965554558/585662822961596663*c_0110_5^20 - 99217280040708383/585662822961596663*c_0110_5^18 + 478786319519179539/585662822961596663*c_0110_5^16 + 1433993666623256293/585662822961596663*c_0110_5^14 - 4777410646811766115/585662822961596663*c_0110_5^12 + 761163161022204232/585662822961596663*c_0110_5^10 + 286850246779732207/585662822961596663*c_0110_5^8 + 3036012664224222089/585662822961596663*c_0110_5^6 + 655846141628505034/585662822961596663*c_0110_5^4 + 459662033338243333/585662822961596663*c_0110_5^2 - 473785901684576978/585662822961596663, c_0110_5^22 - 15*c_0110_5^20 + 78*c_0110_5^18 + 165*c_0110_5^16 - 775*c_0110_5^14 + 570*c_0110_5^12 - 351*c_0110_5^10 + 573*c_0110_5^8 - 165*c_0110_5^6 + 137*c_0110_5^4 - 102*c_0110_5^2 + 15 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB