Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 2210537314] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0572 geometric_solution 4.59319814 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 -1 2 0 0 -1 1 1 -2 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292140310541 0.081425584532 0 2 0 2 0132 0132 1023 2310 0 0 0 0 0 -1 1 0 0 0 1 -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 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 -2.952384088660 3.853252600209 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 -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 0 0 0 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.126496314897 0.303446894932 4 4 5 2 1023 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482538422034 1.079591147847 3 3 2 5 1230 1023 0132 3201 0 0 0 0 0 0 0 0 1 0 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 0 0 -1 0 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.482538422034 1.079591147847 6 4 6 3 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 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 1.897750561839 1.117293877847 5 6 5 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437534932276 0.311282240432 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_0']), '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_3'], '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 8923446219708727308304149627/35954505561115203629260139453*c_0101_5\ ^22 - 106626798908242597717887739282/15409073811906515841111488337*\ c_0101_5^20 + 8826683232912412353631549549576/107863516683345610887\ 780418359*c_0101_5^18 - 416255005036218733234836477292/733765419614\ 595992433880397*c_0101_5^16 + 355270142962980416278322399245811/107\ 863516683345610887780418359*c_0101_5^14 - 1202294657139945066808820953225652/107863516683345610887780418359*c\ _0101_5^12 + 2330051360757582291769654989519866/1078635166833456108\ 87780418359*c_0101_5^10 - 932676616819274530024246403799482/3595450\ 5561115203629260139453*c_0101_5^8 + 2105692351040400686386198675788631/107863516683345610887780418359*c\ _0101_5^6 - 42671428858519275858765791459575/5136357937302171947037\ 162779*c_0101_5^4 + 63477583261005710661672784493037/35954505561115\ 203629260139453*c_0101_5^2 - 18303110820341577046830697460788/10786\ 3516683345610887780418359, c_0011_0 - 1, c_0011_3 + 15128130114218516064230944/733765419614595992433880397*c_010\ 1_5^23 - 423757788076417400715272218/733765419614595992433880397*c_\ 0101_5^21 + 5041426924882018820041075936/73376541961459599243388039\ 7*c_0101_5^19 - 35186720241734831921297666970/733765419614595992433\ 880397*c_0101_5^17 + 204786637937058885624950215582/733765419614595\ 992433880397*c_0101_5^15 - 702284697093718849602810476066/733765419\ 614595992433880397*c_0101_5^13 + 1386362578240466785121780289307/73\ 3765419614595992433880397*c_0101_5^11 - 1691090286519083093197471878550/733765419614595992433880397*c_0101_\ 5^9 + 1285619865767459694528154246968/733765419614595992433880397*c\ _0101_5^7 - 543507207975723363637851619139/733765419614595992433880\ 397*c_0101_5^5 + 99297229515995140315731612266/73376541961459599243\ 3880397*c_0101_5^3 - 4159227954425188772378763718/73376541961459599\ 2433880397*c_0101_5, c_0011_5 - 9618784150302095951682861/733765419614595992433880397*c_0101\ _5^22 + 265094560900510360473680261/733765419614595992433880397*c_0\ 101_5^20 - 3086519234193781670055100334/733765419614595992433880397\ *c_0101_5^18 + 20998576625508660278804117663/7337654196145959924338\ 80397*c_0101_5^16 - 120951488389360791634279743799/7337654196145959\ 92433880397*c_0101_5^14 + 393438534092790047934669825734/7337654196\ 14595992433880397*c_0101_5^12 - 712453947192173092770652848602/7337\ 65419614595992433880397*c_0101_5^10 + 781391472467755552504019700591/733765419614595992433880397*c_0101_5\ ^8 - 512786788662614767223871215464/733765419614595992433880397*c_0\ 101_5^6 + 163118199603206511879042859226/73376541961459599243388039\ 7*c_0101_5^4 - 18598312575969360650154322230/7337654196145959924338\ 80397*c_0101_5^2 + 147493767622216459687489853/73376541961459599243\ 3880397, c_0101_0 + 11199154177602688195854625/733765419614595992433880397*c_010\ 1_5^22 - 313197996383876483524657622/733765419614595992433880397*c_\ 0101_5^20 + 3717370765317537630696099233/73376541961459599243388039\ 7*c_0101_5^18 - 25864387469214077322301941895/733765419614595992433\ 880397*c_0101_5^16 + 150256142990592638979023608562/733765419614595\ 992433880397*c_0101_5^14 - 511989012322782564148293777161/733765419\ 614595992433880397*c_0101_5^12 + 996830739217563046775615159844/733\ 765419614595992433880397*c_0101_5^10 - 1189686415691436965676210355157/733765419614595992433880397*c_0101_\ 5^8 + 874194409747345296438608418941/733765419614595992433880397*c_\ 0101_5^6 - 344866149856481471087886994561/7337654196145959924338803\ 97*c_0101_5^4 + 52921696720699601922514823224/733765419614595992433\ 880397*c_0101_5^2 - 1708868389148837802553527946/733765419614595992\ 433880397, c_0101_1 + 2335302127985951795882210/733765419614595992433880397*c_0101\ _5^23 - 67277401675267936862808000/733765419614595992433880397*c_01\ 01_5^21 + 830480918423962122448742419/733765419614595992433880397*c\ _0101_5^19 - 6054279179230633885353165873/7337654196145959924338803\ 97*c_0101_5^17 + 35964830033012644976838519640/73376541961459599243\ 3880397*c_0101_5^15 - 133743625001348322103257246908/73376541961459\ 5992433880397*c_0101_5^13 + 301093098395844494547758823284/73376541\ 9614595992433880397*c_0101_5^11 - 433087187889790829703022048438/73\ 3765419614595992433880397*c_0101_5^9 + 405492953065012035776921515176/733765419614595992433880397*c_0101_5\ ^7 - 235227437359159390276033838967/733765419614595992433880397*c_0\ 101_5^5 + 73021523686656565056114529345/733765419614595992433880397\ *c_0101_5^3 - 6856374360454373261484077677/733765419614595992433880\ 397*c_0101_5, c_0101_4 + 13447363733257064528590916/733765419614595992433880397*c_010\ 1_5^23 - 379120457248681794166625037/733765419614595992433880397*c_\ 0101_5^21 + 4547890874334306365157419594/73376541961459599243388039\ 7*c_0101_5^19 - 32041228713901098089841308614/733765419614595992433\ 880397*c_0101_5^17 + 187143252194558298108333177732/733765419614595\ 992433880397*c_0101_5^15 - 653523102541112522503893482681/733765419\ 614595992433880397*c_0101_5^13 + 1323982491603079679534060856922/73\ 3765419614595992433880397*c_0101_5^11 - 1660100286592194997766402748866/733765419614595992433880397*c_0101_\ 5^9 + 1303850525781953145327970206324/733765419614595992433880397*c\ _0101_5^7 - 578752343435579490580125829856/733765419614595992433880\ 397*c_0101_5^5 + 113234703114206422637378681460/7337654196145959924\ 33880397*c_0101_5^3 - 6228673108470331034421847871/7337654196145959\ 92433880397*c_0101_5, c_0101_5^24 - 28*c_0101_5^22 + 333*c_0101_5^20 - 2324*c_0101_5^18 + 13532*c_0101_5^16 - 46415*c_0101_5^14 + 91950*c_0101_5^12 - 113440*c_0101_5^10 + 88419*c_0101_5^8 - 39837*c_0101_5^6 + 9088*c_0101_5^4 - 879*c_0101_5^2 + 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB