Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 509575962] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3324 geometric_solution 6.45678617 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 -1 1 0 0 -1 1 -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 -1 0 1 0 0 -1 1 -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.973386413343 1.095182247196 0 3 4 0 0132 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471732964068 0.280410693362 0 4 3 0 3201 1023 1023 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 0 0 0 -1 0 0 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408395613701 0.833464448812 5 1 2 6 0132 0132 1023 0132 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 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.731448637698 0.927991007354 2 6 5 1 1023 0132 1023 0132 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 -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.731448637698 0.927991007354 3 5 4 5 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365416148501 1.220487664777 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575651529867 0.485866565592 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 184359444068412033954655907/18492968606376643163919755568*c_1001_1^\ 17 - 27198148570244298981257165093/166436717457389788475277800112*c\ _1001_1^15 - 114789665468048099738861973589/83218358728694894237638\ 900056*c_1001_1^13 - 61987450621016789733508308841/9246484303188321\ 581959877784*c_1001_1^11 - 2555993180958264090337288244201/16643671\ 7457389788475277800112*c_1001_1^9 - 768498022734712779831188567209/55478905819129929491759266704*c_1001\ _1^7 + 9152699505455878346367297036343/1664367174573897884752778001\ 12*c_1001_1^5 + 12376640291112164319785549962483/832183587286948942\ 37638900056*c_1001_1^3 + 8373799136612619555860111255687/4160917936\ 4347447118819450028*c_1001_1, c_0011_0 - 1, c_0011_2 - 3034381188912011491581/25367583822190182666556592*c_1001_1^1\ 6 - 51029008099003908094309/25367583822190182666556592*c_1001_1^14 - 106630031433996350577329/6341895955547545666639148*c_1001_1^12 - 1012215644717537920889265/12683791911095091333278296*c_1001_1^10 - 4194273216766531415429251/25367583822190182666556592*c_1001_1^8 - 1711992819835703262654091/25367583822190182666556592*c_1001_1^6 + 13852931079178514368017135/25367583822190182666556592*c_1001_1^4 + 9411177543487100004721715/6341895955547545666639148*c_1001_1^2 + 901943113024983787007991/1585473988886886416659787, c_0101_0 - 9683730669752389425953/152205502933141095999339552*c_1001_1^\ 17 - 1166735241345839604438665/1369849526398269863994055968*c_1001_\ 1^15 - 2082114147663892833768251/342462381599567465998513992*c_1001\ _1^13 - 1748732337397655151236173/76102751466570547999669776*c_1001\ _1^11 - 32690146054756659867255383/1369849526398269863994055968*c_1\ 001_1^9 - 19596746721505239917804941/456616508799423287998018656*c_\ 1001_1^7 + 207150591537843745648104235/1369849526398269863994055968\ *c_1001_1^5 - 60635353503273205661007883/34246238159956746599851399\ 2*c_1001_1^3 + 3513322361988752863906924/42807797699945933249814249\ *c_1001_1, c_0101_1 - 3248642786516459020183/152205502933141095999339552*c_1001_1^\ 17 - 704990091216465218065387/1369849526398269863994055968*c_1001_1\ ^15 - 457004206601339171836567/85615595399891866499628498*c_1001_1^\ 13 - 2404560678775915755666371/76102751466570547999669776*c_1001_1^\ 11 - 133945150817964178567826089/1369849526398269863994055968*c_100\ 1_1^9 - 32163691166049188369052023/456616508799423287998018656*c_10\ 01_1^7 + 400522673144588005695057977/1369849526398269863994055968*c\ _1001_1^5 + 52041867172719766255598513/42807797699945933249814249*c\ _1001_1^3 + 138784679469772575155440165/85615595399891866499628498*\ c_1001_1, c_0101_3 - 4883253275143062377995/76102751466570547999669776*c_1001_1^1\ 7 - 729112735993309370650345/684924763199134931997027984*c_1001_1^1\ 5 - 3070806094993690704646301/342462381599567465998513992*c_1001_1^\ 13 - 1651817816069347140770963/38051375733285273999834888*c_1001_1^\ 11 - 66853012980062926688389369/684924763199134931997027984*c_1001_\ 1^9 - 17688835921595540919006461/228308254399711643999009328*c_1001\ _1^7 + 218997686946448317419185871/684924763199134931997027984*c_10\ 01_1^5 + 352381807460267855505554471/342462381599567465998513992*c_\ 1001_1^3 + 67815638191268379365571065/85615595399891866499628498*c_\ 1001_1, c_0101_5 - 559734025472372327021/25367583822190182666556592*c_1001_1^17 - 106764666598906018632161/228308254399711643999009328*c_1001_1^15 - 70657195106255907132215/14269265899981977749938083*c_1001_1^13 - 399318089530072599505997/12683791911095091333278296*c_1001_1^11 - 26786933362305695138130275/228308254399711643999009328*c_1001_1^9 - 17147163325323372816493765/76102751466570547999669776*c_1001_1^7 + 12038429837852390002715779/228308254399711643999009328*c_1001_1^5 + 14564031718835018822993723/14269265899981977749938083*c_1001_1^3 + 63958686263597176832515765/28538531799963955499876166*c_1001_1, c_1001_1^18 + 145/9*c_1001_1^16 + 1204/9*c_1001_1^14 + 634*c_1001_1^12 + 12199/9*c_1001_1^10 + 2933/3*c_1001_1^8 - 52691/9*c_1001_1^6 - 120460/9*c_1001_1^4 - 145696/9*c_1001_1^2 + 5184 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB