Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 2412647241] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0258 geometric_solution 4.29756803 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.426830565461 0.148486156150 0 2 2 0 0132 0132 3201 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 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.839700932597 0.350963425060 1 1 3 3 2310 0132 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 -1 1 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.369801769010 0.331395429958 4 2 5 2 0132 2310 0132 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 0 1 -1 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.163348613260 0.468456510755 3 5 6 5 0132 1230 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822188562760 1.157432740282 4 6 4 3 3201 1023 3012 0132 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 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.822188562760 1.157432740282 5 6 6 4 1023 3201 2310 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 -0.407903541381 0.574224618361 ==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' : negation(d['1']), 's_3_4' : negation(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' : 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' : negation(d['1']), 's_0_5' : negation(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_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 2584372447403378921713942955381394215272/74987421549789305281618246\ 080145250511*c_0101_3^16 + 1204757202653766209726589318141203539967\ 6/24995807183263101760539415360048416837*c_0101_3^15 + 58936409710011427174770416329515150197693/7498742154978930528161824\ 6080145250511*c_0101_3^14 - 283550439867939634340789118658098689605\ 759/24995807183263101760539415360048416837*c_0101_3^13 - 2860280212995741625888869886667659859313509/74987421549789305281618\ 246080145250511*c_0101_3^12 + 6131253206829237008046871131936342987\ 17141/8331935727754367253513138453349472279*c_0101_3^11 + 11090188175818625798387245860790111724603657/2499580718326310176053\ 9415360048416837*c_0101_3^10 + 337198869643022532505819259062743895\ 38073913/74987421549789305281618246080145250511*c_0101_3^9 - 3344562646073039050062451448574587821074103/24995807183263101760539\ 415360048416837*c_0101_3^8 - 27251651052794051858956837290539629360\ 441940/74987421549789305281618246080145250511*c_0101_3^7 - 37453721565446321807627424982159050974816800/7498742154978930528161\ 8246080145250511*c_0101_3^6 + 5140029372671902422481661907974844084\ 150524/74987421549789305281618246080145250511*c_0101_3^5 + 6202876669897416172851526258410786822827599/74987421549789305281618\ 246080145250511*c_0101_3^4 - 99730562921202316038880761973422665731\ 1249/10712488792827043611659749440020750073*c_0101_3^3 + 1581628694719920208136865232050868013084642/74987421549789305281618\ 246080145250511*c_0101_3^2 + 16429504774263728290230009763045266363\ 936/8331935727754367253513138453349472279*c_0101_3 - 37305712027383107333775810694798878248594/7498742154978930528161824\ 6080145250511, c_0011_0 - 1, c_0011_3 + 1330262222081156800017118703280/1354418512006392939399079998\ 3337*c_0101_3^16 + 18631835789639629280614346615623/135441851200639\ 29393990799983337*c_0101_3^15 + 30723769524421713554425649596143/13\ 544185120063929393990799983337*c_0101_3^14 - 437277525769651548794439560012470/13544185120063929393990799983337*\ c_0101_3^13 - 1481591906225782129723289254985591/135441851200639293\ 93990799983337*c_0101_3^12 + 2810675051440715453641369885390579/135\ 44185120063929393990799983337*c_0101_3^11 + 17189803603888859443902408201627974/1354418512006392939399079998333\ 7*c_0101_3^10 + 17709974487672823424379440898146162/135441851200639\ 29393990799983337*c_0101_3^9 - 4850564370374353832955953062127605/1\ 3544185120063929393990799983337*c_0101_3^8 - 14204543390437203821809823927103503/1354418512006392939399079998333\ 7*c_0101_3^7 - 19591186434135426823884322577373387/1354418512006392\ 9393990799983337*c_0101_3^6 + 2273099294609385736503286964842601/13\ 544185120063929393990799983337*c_0101_3^5 + 3320056910996959458106994250796411/13544185120063929393990799983337\ *c_0101_3^4 - 3503798258866525071255694908904549/135441851200639293\ 93990799983337*c_0101_3^3 + 735663193374065268863413547283100/13544\ 185120063929393990799983337*c_0101_3^2 + 95342368656283419872974046284760/13544185120063929393990799983337*c\ _0101_3 - 13119529928571237293544789960385/135441851200639293939907\ 99983337, c_0011_5 + 24683945379478837184401176163820569/119027653253633817907330\ 5493335638897*c_0101_3^16 + 351788246812100503573913060183410125/11\ 90276532536338179073305493335638897*c_0101_3^15 + 655608308658747605161032013450717597/119027653253633817907330549333\ 5638897*c_0101_3^14 - 7965145092563459330992756316674437355/1190276\ 532536338179073305493335638897*c_0101_3^13 - 29465673780171908931155736692432599674/1190276532536338179073305493\ 335638897*c_0101_3^12 + 45213581634761419775707362986564096042/1190\ 276532536338179073305493335638897*c_0101_3^11 + 330994475789760588697318060333804445606/119027653253633817907330549\ 3335638897*c_0101_3^10 + 407795404126003334582183395448168388346/11\ 90276532536338179073305493335638897*c_0101_3^9 - 940533436404430359758389899735892750/119027653253633817907330549333\ 5638897*c_0101_3^8 - 272819341212864839280122427186386595065/119027\ 6532536338179073305493335638897*c_0101_3^7 - 423899731842609643111574391044153371575/119027653253633817907330549\ 3335638897*c_0101_3^6 - 52609275217417996668816912330898918130/1190\ 276532536338179073305493335638897*c_0101_3^5 + 59224089580476700186568054669917672082/1190276532536338179073305493\ 335638897*c_0101_3^4 - 56785242786879734173814402069103952245/11902\ 76532536338179073305493335638897*c_0101_3^3 - 1996265144635891925870719692718713253/11902765325363381790733054933\ 35638897*c_0101_3^2 + 3828942453270021993896054246592995668/1190276\ 532536338179073305493335638897*c_0101_3 + 69987179911991792007219100070120129/1190276532536338179073305493335\ 638897, c_0101_0 - 82484010296387946491449826800530380/119027653253633817907330\ 5493335638897*c_0101_3^16 - 1153681717279216045018355738831546459/1\ 190276532536338179073305493335638897*c_0101_3^15 - 1884552117680752462605952955753455029/11902765325363381790733054933\ 35638897*c_0101_3^14 + 27123861045407880517707407322038672047/11902\ 76532536338179073305493335638897*c_0101_3^13 + 91296537489255940635819824141437492939/1190276532536338179073305493\ 335638897*c_0101_3^12 - 175435115833942565485856225023710091470/119\ 0276532536338179073305493335638897*c_0101_3^11 - 1060347736476903439869838848948869286238/11902765325363381790733054\ 93335638897*c_0101_3^10 - 1081366731772548751589272880644193092690/\ 1190276532536338179073305493335638897*c_0101_3^9 + 297393364812364161087085965142146233880/119027653253633817907330549\ 3335638897*c_0101_3^8 + 848273106487303928553497089552497400201/119\ 0276532536338179073305493335638897*c_0101_3^7 + 1202826549915484154757141146837334603862/11902765325363381790733054\ 93335638897*c_0101_3^6 - 143922909060048703444776186373854914540/11\ 90276532536338179073305493335638897*c_0101_3^5 - 175083001487554137053030396384859976199/119027653253633817907330549\ 3335638897*c_0101_3^4 + 218790542668939636404085794355456071405/119\ 0276532536338179073305493335638897*c_0101_3^3 - 55627285300586667865371225553623717050/1190276532536338179073305493\ 335638897*c_0101_3^2 + 258838674775403205126946914491451113/1190276\ 532536338179073305493335638897*c_0101_3 + 1058740097769330666167563501567555044/11902765325363381790733054933\ 35638897, c_0101_1 - 917421075108713253549517738959/13544185120063929393990799983\ 337*c_0101_3^16 - 13069333599682419191577329831485/1354418512006392\ 9393990799983337*c_0101_3^15 - 24291192106358465595663299073781/135\ 44185120063929393990799983337*c_0101_3^14 + 296156711014274096133407528804625/13544185120063929393990799983337*\ c_0101_3^13 + 1093427153960762731594696548175041/135441851200639293\ 93990799983337*c_0101_3^12 - 1685928210572602297085200982686493/135\ 44185120063929393990799983337*c_0101_3^11 - 12291525447500291762755138602992461/1354418512006392939399079998333\ 7*c_0101_3^10 - 15098020704126482555676068883223258/135441851200639\ 29393990799983337*c_0101_3^9 + 103529216212895306627351998728081/13\ 544185120063929393990799983337*c_0101_3^8 + 10211410696673150045367796890248975/1354418512006392939399079998333\ 7*c_0101_3^7 + 15869780388654748170703515111752669/1354418512006392\ 9393990799983337*c_0101_3^6 + 1951343726478927386767268389627082/13\ 544185120063929393990799983337*c_0101_3^5 - 2266456941627957875971777047690412/13544185120063929393990799983337\ *c_0101_3^4 + 1906350373165748125119208213629182/135441851200639293\ 93990799983337*c_0101_3^3 - 9321688409497114527631108953533/1354418\ 5120063929393990799983337*c_0101_3^2 - 130889069558565418673178822725504/13544185120063929393990799983337*\ c_0101_3 - 908138673098424565850192559382/1354418512006392939399079\ 9983337, c_0101_2 - 123890824241548419335377143861036855/11902765325363381790733\ 05493335638897*c_0101_3^16 - 1740594035232753143793649055241293063/\ 1190276532536338179073305493335638897*c_0101_3^15 - 2938006706782608333961874290738839002/11902765325363381790733054933\ 35638897*c_0101_3^14 + 40579732852830276428450909321540849325/11902\ 76532536338179073305493335638897*c_0101_3^13 + 139712420840752693033729779441318999894/119027653253633817907330549\ 3335638897*c_0101_3^12 - 255296298834674034604027220180126580596/11\ 90276532536338179073305493335638897*c_0101_3^11 - 1610584854699235323454457070223097988705/11902765325363381790733054\ 93335638897*c_0101_3^10 - 1721845606967216171497584997348885956799/\ 1190276532536338179073305493335638897*c_0101_3^9 + 360981432162300513771598584447051995940/119027653253633817907330549\ 3335638897*c_0101_3^8 + 1322189121138236442005346241313151858409/11\ 90276532536338179073305493335638897*c_0101_3^7 + 1885853201024634324630909049534822730288/11902765325363381790733054\ 93335638897*c_0101_3^6 - 118245347883643286778300590778321500523/11\ 90276532536338179073305493335638897*c_0101_3^5 - 296390338959245456305179410501971065799/119027653253633817907330549\ 3335638897*c_0101_3^4 + 311015198270544585375121719694185773819/119\ 0276532536338179073305493335638897*c_0101_3^3 - 57339212343841127235302539757395498213/1190276532536338179073305493\ 335638897*c_0101_3^2 - 8748288788142924588190892047796058816/119027\ 6532536338179073305493335638897*c_0101_3 + 1106852094279940090042852856468685226/11902765325363381790733054933\ 35638897, c_0101_3^17 + 14*c_0101_3^16 + 23*c_0101_3^15 - 329*c_0101_3^14 - 1112*c_0101_3^13 + 2123*c_0101_3^12 + 12921*c_0101_3^11 + 13214*c_0101_3^10 - 3863*c_0101_3^9 - 10808*c_0101_3^8 - 14639*c_0101_3^7 + 1911*c_0101_3^6 + 2648*c_0101_3^5 - 2649*c_0101_3^4 + 547*c_0101_3^3 + 97*c_0101_3^2 - 17*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB