Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 3052677263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2403 geometric_solution 5.76217671 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2031 0132 1302 0132 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 0 0 0.524273924331 0.442026508990 3 0 4 2 0132 0132 0132 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974331096735 0.549949449657 1 5 0 6 3012 0132 0132 0132 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 0.681846629477 1.597478883641 1 6 5 5 0132 0132 1302 3012 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 1 -1 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 1.232560753476 0.943860643142 5 4 4 1 3012 3201 2310 0132 0 0 0 0 0 -1 0 1 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 1 -1 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.597044237871 0.354795518428 3 2 3 4 2031 0132 1230 1230 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 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.669196623616 0.919645059744 6 3 2 6 3201 0132 0132 2310 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 -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.420889044993 0.529710502965 ==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' : d['1'], 's_3_2' : 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' : 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_0']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0101_4']})} 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_0011_4, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 8906723256316289235266/98304439258175364888237*c_0101_5^14 - 48726078960420829277452/98304439258175364888237*c_0101_5^13 - 57346789817646627346996/98304439258175364888237*c_0101_5^12 - 360915749817323095074739/98304439258175364888237*c_0101_5^11 - 207780656725405675164742/98304439258175364888237*c_0101_5^10 - 794630002650633422028799/98304439258175364888237*c_0101_5^9 - 356937441519413427559081/98304439258175364888237*c_0101_5^8 - 257581788992099783686018/32768146419391788296079*c_0101_5^7 + 1620022394439914799925972/98304439258175364888237*c_0101_5^6 - 94366925440083712447137/10922715473130596098693*c_0101_5^5 + 5598628061702807393805698/98304439258175364888237*c_0101_5^4 + 462796535238828205746457/32768146419391788296079*c_0101_5^3 + 1650054563128707422664988/98304439258175364888237*c_0101_5^2 + 1224764119182808905105625/32768146419391788296079*c_0101_5 - 912778995753761656781282/98304439258175364888237, c_0011_0 - 1, c_0011_2 - 1452542916174369307/113384589686476776111*c_0101_5^14 - 2246673025173819812/37794863228825592037*c_0101_5^13 - 3586323244374641884/113384589686476776111*c_0101_5^12 - 18371932262543373052/37794863228825592037*c_0101_5^11 + 12954443134562015387/113384589686476776111*c_0101_5^10 - 42951556534395423442/37794863228825592037*c_0101_5^9 + 56234679361338748649/113384589686476776111*c_0101_5^8 - 135084498090023676139/113384589686476776111*c_0101_5^7 + 406876992307561652249/113384589686476776111*c_0101_5^6 - 141289253803492654136/37794863228825592037*c_0101_5^5 + 1250757106737133747955/113384589686476776111*c_0101_5^4 - 725218361267800656640/113384589686476776111*c_0101_5^3 + 664248594348589183436/113384589686476776111*c_0101_5^2 - 26593108112618475569/37794863228825592037*c_0101_5 - 75916352154176884049/37794863228825592037, c_0011_4 - 48474588380/8663700106483*c_0101_5^14 - 732711719993/25991100319449*c_0101_5^13 - 556318355309/25991100319449*c_0101_5^12 - 5264350600996/25991100319449*c_0101_5^11 - 534522770491/25991100319449*c_0101_5^10 - 3443679514009/8663700106483*c_0101_5^9 + 222062826801/8663700106483*c_0101_5^8 - 9380590257428/25991100319449*c_0101_5^7 + 32357148323003/25991100319449*c_0101_5^6 - 9146389946994/8663700106483*c_0101_5^5 + 31109809500256/8663700106483*c_0101_5^4 - 16756295693588/25991100319449*c_0101_5^3 + 12641129654261/25991100319449*c_0101_5^2 + 10538969758785/8663700106483*c_0101_5 - 4928364411089/8663700106483, c_0101_1 - 275178896986962710/37794863228825592037*c_0101_5^14 - 1422940420073992153/37794863228825592037*c_0101_5^13 - 1203021443627168564/37794863228825592037*c_0101_5^12 - 9631434228896829960/37794863228825592037*c_0101_5^11 - 668551125724817843/37794863228825592037*c_0101_5^10 - 17555781321057427229/37794863228825592037*c_0101_5^9 + 8744925469432700860/37794863228825592037*c_0101_5^8 - 10805999454333224870/37794863228825592037*c_0101_5^7 + 72464718199489657024/37794863228825592037*c_0101_5^6 - 37718805018902086760/37794863228825592037*c_0101_5^5 + 172356021377917686441/37794863228825592037*c_0101_5^4 - 83522796967947594511/37794863228825592037*c_0101_5^3 + 25109074859038958962/37794863228825592037*c_0101_5^2 - 22055817533031129283/37794863228825592037*c_0101_5 - 41497316660703477537/37794863228825592037, c_0101_2 - 756410963124077294/113384589686476776111*c_0101_5^14 - 2925915856942907399/113384589686476776111*c_0101_5^13 + 1535364738946893971/113384589686476776111*c_0101_5^12 - 23892029625877530235/113384589686476776111*c_0101_5^11 + 9917866176062230570/37794863228825592037*c_0101_5^10 - 17919644527732852912/37794863228825592037*c_0101_5^9 + 76472702520332960701/113384589686476776111*c_0101_5^8 - 72860453786432953204/113384589686476776111*c_0101_5^7 + 82421524633047483192/37794863228825592037*c_0101_5^6 - 121099003638547324086/37794863228825592037*c_0101_5^5 + 686635184273972021413/113384589686476776111*c_0101_5^4 - 752932006575441056827/113384589686476776111*c_0101_5^3 + 147967489324091350386/37794863228825592037*c_0101_5^2 - 50907075468458765332/37794863228825592037*c_0101_5 - 22242100841405411130/37794863228825592037, c_0101_4 - 599374328197051474/37794863228825592037*c_0101_5^14 - 7718304096972550864/113384589686476776111*c_0101_5^13 - 1673922164472087334/113384589686476776111*c_0101_5^12 - 68216901719073960029/113384589686476776111*c_0101_5^11 + 34291472307214123141/113384589686476776111*c_0101_5^10 - 58441161193348221078/37794863228825592037*c_0101_5^9 + 33505743384767741829/37794863228825592037*c_0101_5^8 - 212467433275750629067/113384589686476776111*c_0101_5^7 + 540200474638790175292/113384589686476776111*c_0101_5^6 - 234374786160602653204/37794863228825592037*c_0101_5^5 + 581763474158996215886/37794863228825592037*c_0101_5^4 - 1311894553167288453553/113384589686476776111*c_0101_5^3 + 1204366702065218515162/113384589686476776111*c_0101_5^2 - 49255405998011400068/37794863228825592037*c_0101_5 - 108924604548699609441/37794863228825592037, c_0101_5^15 + 5*c_0101_5^14 + 4*c_0101_5^13 + 38*c_0101_5^12 + 4*c_0101_5^11 + 83*c_0101_5^10 - 8*c_0101_5^9 + 81*c_0101_5^8 - 240*c_0101_5^7 + 200*c_0101_5^6 - 725*c_0101_5^5 + 219*c_0101_5^4 - 267*c_0101_5^3 - 133*c_0101_5^2 + 156*c_0101_5 + 51 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB