Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1090575720] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0040 geometric_solution 3.60819374 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 -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.275943689540 0.066351643893 0 2 2 0 3201 0132 1023 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 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.075613266178 0.042431635943 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 -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 1.102738358209 0.082671642462 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.117023175228 0.215956513815 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 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 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802325845660 0.411017738868 4 6 6 6 0132 1302 3201 2031 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 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.509237736027 0.496592155359 5 5 4 5 2310 1302 0132 2031 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 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.509237736027 0.496592155359 ==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' : negation(d['c_0011_1']), 'c_1100_5' : negation(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' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_0101_0, c_0101_2, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 26824726246479496607/129913108262731985*c_0101_5^15 - 181037257525269610088/389739324788195955*c_0101_5^14 + 272570617920764257741/389739324788195955*c_0101_5^13 + 1910086617743299571219/389739324788195955*c_0101_5^12 + 114451928118394914556/77947864957639191*c_0101_5^11 - 11992642140905542015732/389739324788195955*c_0101_5^10 + 28893085933704488102494/389739324788195955*c_0101_5^9 - 63177132047034271870843/389739324788195955*c_0101_5^8 + 13942631264450333778401/77947864957639191*c_0101_5^7 - 1452930488542620098767/389739324788195955*c_0101_5^6 - 22186927644288490404812/389739324788195955*c_0101_5^5 - 443070355700659836320/77947864957639191*c_0101_5^4 - 1383505989996734617333/77947864957639191*c_0101_5^3 + 829340866778121935559/129913108262731985*c_0101_5^2 + 1384367584686894815371/389739324788195955*c_0101_5 + 112935050277618196906/389739324788195955, c_0011_0 - 1, c_0011_1 - 589242020378513297/1948696623940979775*c_0101_5^15 - 332158679766413052/649565541313659925*c_0101_5^14 + 901821098681943004/649565541313659925*c_0101_5^13 + 4269023484089428136/649565541313659925*c_0101_5^12 - 704034030889757222/389739324788195955*c_0101_5^11 - 29828822681760594218/649565541313659925*c_0101_5^10 + 86900103602174160501/649565541313659925*c_0101_5^9 - 585034084148767158961/1948696623940979775*c_0101_5^8 + 52068354326905775396/129913108262731985*c_0101_5^7 - 323104747559287718759/1948696623940979775*c_0101_5^6 - 122671933555887014104/1948696623940979775*c_0101_5^5 + 2486915311816022894/77947864957639191*c_0101_5^4 - 3012226465912410597/129913108262731985*c_0101_5^3 + 49080450458863762364/1948696623940979775*c_0101_5^2 - 733354846100778323/1948696623940979775*c_0101_5 - 1104906625809806731/649565541313659925, c_0101_0 - 345310770894084323/1948696623940979775*c_0101_5^15 - 338823279526394543/649565541313659925*c_0101_5^14 + 647354733627069658/1948696623940979775*c_0101_5^13 + 9009055319621218372/1948696623940979775*c_0101_5^12 + 1597372764816225487/389739324788195955*c_0101_5^11 - 50088724712675808986/1948696623940979775*c_0101_5^10 + 89012709778135833952/1948696623940979775*c_0101_5^9 - 60625186252612386108/649565541313659925*c_0101_5^8 + 6666571188082618449/129913108262731985*c_0101_5^7 + 225856850109311023444/1948696623940979775*c_0101_5^6 - 46309722364612203712/649565541313659925*c_0101_5^5 - 2094020993954440789/77947864957639191*c_0101_5^4 - 5456046398669346869/389739324788195955*c_0101_5^3 - 4964425207851514683/649565541313659925*c_0101_5^2 + 4640609185150695506/649565541313659925*c_0101_5 + 1657870219193157688/1948696623940979775, c_0101_2 - 504621575628422441/1948696623940979775*c_0101_5^15 - 1008385592146355993/1948696623940979775*c_0101_5^14 + 2027658248531928461/1948696623940979775*c_0101_5^13 + 11621700510326925449/1948696623940979775*c_0101_5^12 + 96248189449897234/389739324788195955*c_0101_5^11 - 76830811755971167187/1948696623940979775*c_0101_5^10 + 199862880543009620459/1948696623940979775*c_0101_5^9 - 437141393201853712583/1948696623940979775*c_0101_5^8 + 104834649939489855379/389739324788195955*c_0101_5^7 - 90673845641858699627/1948696623940979775*c_0101_5^6 - 170154562078902052837/1948696623940979775*c_0101_5^5 + 1246760432022358141/77947864957639191*c_0101_5^4 - 2395480524116433366/129913108262731985*c_0101_5^3 + 21759549484055734267/1948696623940979775*c_0101_5^2 + 7102537862213970706/1948696623940979775*c_0101_5 - 625145258782243818/649565541313659925, c_0101_3 + 2071658828680648/1948696623940979775*c_0101_5^15 - 162161808309419596/1948696623940979775*c_0101_5^14 - 402301657922532383/1948696623940979775*c_0101_5^13 + 154369039176167776/649565541313659925*c_0101_5^12 + 265868444654790976/129913108262731985*c_0101_5^11 + 660781275042828262/649565541313659925*c_0101_5^10 - 25249302546629971052/1948696623940979775*c_0101_5^9 + 58758020648632805474/1948696623940979775*c_0101_5^8 - 25344809937483942917/389739324788195955*c_0101_5^7 + 130637015578493551556/1948696623940979775*c_0101_5^6 + 3893224440412250837/649565541313659925*c_0101_5^5 - 615519190555644053/25982621652546397*c_0101_5^4 - 125054748612634862/129913108262731985*c_0101_5^3 - 19436223205414590926/1948696623940979775*c_0101_5^2 + 2266188092375112082/1948696623940979775*c_0101_5 + 3052111451804772112/1948696623940979775, c_0101_4 - 14937944598324219/649565541313659925*c_0101_5^15 + 43671369759293914/1948696623940979775*c_0101_5^14 + 491006514632782622/1948696623940979775*c_0101_5^13 + 600434402338312873/1948696623940979775*c_0101_5^12 - 635917149399000892/389739324788195955*c_0101_5^11 - 8047287919832102149/1948696623940979775*c_0101_5^10 + 37659113590187423618/1948696623940979775*c_0101_5^9 - 84723795103409936216/1948696623940979775*c_0101_5^8 + 9768825703077393996/129913108262731985*c_0101_5^7 - 113652437232953875454/1948696623940979775*c_0101_5^6 - 24495786183150368099/1948696623940979775*c_0101_5^5 + 1548314402105355944/77947864957639191*c_0101_5^4 + 531015279165015563/129913108262731985*c_0101_5^3 + 4435341646567107228/649565541313659925*c_0101_5^2 - 409674484567513321/649565541313659925*c_0101_5 - 1958707687988042633/1948696623940979775, c_0101_5^16 + 2*c_0101_5^15 - 4*c_0101_5^14 - 23*c_0101_5^13 - c_0101_5^12 + 152*c_0101_5^11 - 396*c_0101_5^10 + 867*c_0101_5^9 - 1043*c_0101_5^8 + 192*c_0101_5^7 + 320*c_0101_5^6 - 47*c_0101_5^5 + 65*c_0101_5^4 - 52*c_0101_5^3 - 14*c_0101_5^2 + 5*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB