Magma V2.19-8 Tue Aug 20 2013 16:18:14 on localhost [Seed = 2261195711] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2455 geometric_solution 5.79709876 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.723942294890 1.045742471839 3 0 3 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443512531372 1.186168088384 4 5 0 6 1230 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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.948465458924 0.708147623703 1 6 1 6 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.525465928658 0.270548968706 5 2 1 5 3012 3012 0132 3120 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 1 -1 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.753972866906 0.688644712278 4 2 6 4 3120 0132 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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.949504036995 0.574572973622 5 3 2 3 2031 2310 0132 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.572259202401 0.492009151043 ==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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_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' : d['c_0011_6'], '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_0110_6'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0011_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0011_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_0011_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_3']})} 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_0011_6, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 93667383321634549087/6571021596175931188*c_0110_6^15 - 192407841151878499821/3285510798087965594*c_0110_6^14 + 262763235413437904157/3285510798087965594*c_0110_6^13 + 509799372675859863195/3285510798087965594*c_0110_6^12 - 3547801023654540060593/6571021596175931188*c_0110_6^11 + 123830711925760790642/1642755399043982797*c_0110_6^10 + 8908140477586079157335/6571021596175931188*c_0110_6^9 - 3031203604231324095949/3285510798087965594*c_0110_6^8 - 2257743082874759148647/6571021596175931188*c_0110_6^7 - 11206988735481756653589/6571021596175931188*c_0110_6^6 + 2566777916909910555409/469358685441137942*c_0110_6^5 - 6530470047175586711998/1642755399043982797*c_0110_6^4 - 8430414206707081682719/6571021596175931188*c_0110_6^3 + 4875256878216746920491/1642755399043982797*c_0110_6^2 - 10828745000505947183337/6571021596175931188*c_0110_6 + 585584541747567374213/1642755399043982797, c_0011_0 - 1, c_0011_2 - 87287909073830033/469358685441137942*c_0110_6^15 - 193519032878465954/234679342720568971*c_0110_6^14 + 170876469416955460/234679342720568971*c_0110_6^13 + 476031306925626786/234679342720568971*c_0110_6^12 - 2969666484084103339/469358685441137942*c_0110_6^11 - 121920804080190871/234679342720568971*c_0110_6^10 + 7614323992354078593/469358685441137942*c_0110_6^9 - 1807076663402621552/234679342720568971*c_0110_6^8 - 1564039814906703063/469358685441137942*c_0110_6^7 - 10819633339544075833/469358685441137942*c_0110_6^6 + 14695294457901231664/234679342720568971*c_0110_6^5 - 8939263538632148481/234679342720568971*c_0110_6^4 - 7720052335012100189/469358685441137942*c_0110_6^3 + 7363713633540518431/234679342720568971*c_0110_6^2 - 8260656816909628059/469358685441137942*c_0110_6 + 620623567943487395/234679342720568971, c_0011_4 + 46850075613048928/234679342720568971*c_0110_6^15 + 209485194405315019/234679342720568971*c_0110_6^14 - 185078622285168548/234679342720568971*c_0110_6^13 - 567441526563556747/234679342720568971*c_0110_6^12 + 1573595334795626432/234679342720568971*c_0110_6^11 + 308748078632700186/234679342720568971*c_0110_6^10 - 4311476711795791146/234679342720568971*c_0110_6^9 + 1511051023754358972/234679342720568971*c_0110_6^8 + 1592806407215487079/234679342720568971*c_0110_6^7 + 6111812792586964065/234679342720568971*c_0110_6^6 - 15847350143849825333/234679342720568971*c_0110_6^5 + 7540316444839915819/234679342720568971*c_0110_6^4 + 6722713695957019230/234679342720568971*c_0110_6^3 - 7437347118036536140/234679342720568971*c_0110_6^2 + 2810644283403838190/234679342720568971*c_0110_6 - 195435760290674761/234679342720568971, c_0011_6 - 56686054875551231/234679342720568971*c_0110_6^15 - 258480395124675529/234679342720568971*c_0110_6^14 + 199308936178232437/234679342720568971*c_0110_6^13 + 697420710543249673/234679342720568971*c_0110_6^12 - 1828519446004863010/234679342720568971*c_0110_6^11 - 507495608074246043/234679342720568971*c_0110_6^10 + 5101423829081467516/234679342720568971*c_0110_6^9 - 1383787097044708595/234679342720568971*c_0110_6^8 - 1844999279558688564/234679342720568971*c_0110_6^7 - 7647406587940099655/234679342720568971*c_0110_6^6 + 18284285995555738814/234679342720568971*c_0110_6^5 - 7814736239147274079/234679342720568971*c_0110_6^4 - 7985274607202873821/234679342720568971*c_0110_6^3 + 7684773306793413346/234679342720568971*c_0110_6^2 - 3041453652452453908/234679342720568971*c_0110_6 + 259620087200475991/234679342720568971, c_0101_1 + 38613982059565909/234679342720568971*c_0110_6^15 + 177332827161698383/234679342720568971*c_0110_6^14 - 126147409168287768/234679342720568971*c_0110_6^13 - 457028596214257764/234679342720568971*c_0110_6^12 + 1241270637710034235/234679342720568971*c_0110_6^11 + 337766641874882649/234679342720568971*c_0110_6^10 - 3397036146472074257/234679342720568971*c_0110_6^9 + 986216622040315036/234679342720568971*c_0110_6^8 + 1082372547367917569/234679342720568971*c_0110_6^7 + 5018336295491631888/234679342720568971*c_0110_6^6 - 12292380054738912877/234679342720568971*c_0110_6^5 + 5569294573978167386/234679342720568971*c_0110_6^4 + 5137288262809663613/234679342720568971*c_0110_6^3 - 5762288667553658315/234679342720568971*c_0110_6^2 + 2210921284813911110/234679342720568971*c_0110_6 - 75896185383705315/234679342720568971, c_0101_3 + 32092163454900615/469358685441137942*c_0110_6^15 + 74020306172303533/234679342720568971*c_0110_6^14 - 47281289645341335/234679342720568971*c_0110_6^13 - 174691131167566964/234679342720568971*c_0110_6^12 + 991636006781738133/469358685441137942*c_0110_6^11 + 94463293934733503/234679342720568971*c_0110_6^10 - 2587076142422665481/469358685441137942*c_0110_6^9 + 429555094000547000/234679342720568971*c_0110_6^8 + 162670271494407241/469358685441137942*c_0110_6^7 + 4259168868909774925/469358685441137942*c_0110_6^6 - 4818654568717186180/234679342720568971*c_0110_6^5 + 2826178954897787379/234679342720568971*c_0110_6^4 + 1992986944085244195/469358685441137942*c_0110_6^3 - 2171300578428511214/234679342720568971*c_0110_6^2 + 3624968311095895591/469358685441137942*c_0110_6 - 443126063504297197/234679342720568971, c_0110_6^16 + 4*c_0110_6^15 - 6*c_0110_6^14 - 10*c_0110_6^13 + 39*c_0110_6^12 - 10*c_0110_6^11 - 93*c_0110_6^10 + 76*c_0110_6^9 + 13*c_0110_6^8 + 117*c_0110_6^7 - 396*c_0110_6^6 + 328*c_0110_6^5 + 45*c_0110_6^4 - 214*c_0110_6^3 + 143*c_0110_6^2 - 42*c_0110_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB