Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 1090575776] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0736 geometric_solution 4.68412862 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.321554950621 0.211179744423 0 2 2 0 0132 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.872769486608 0.694041169383 1 1 3 3 2310 0132 0132 3201 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 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.107828362440 0.327712038027 4 2 5 2 0132 2310 0132 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 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 1.945242635154 1.115247288216 3 5 5 6 0132 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687784329990 0.692126685565 6 4 4 3 3201 0213 3012 0132 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 1 0 -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 0.687784329990 0.692126685565 6 6 4 5 1230 3012 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 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 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.550984314147 0.461066827571 ==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' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : 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_0101_3'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], '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_6'], '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_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], '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_0011_5'], '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_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), '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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 274672756644681472817624539400806641583/190442000069610829870805301\ 53671872801*c_0101_3^19 - 17252819163373564406364613506066003586400\ /57132600020883248961241590461015618403*c_0101_3^18 - 44953982172386849338227345985722439874831/1904420000696108298708053\ 0153671872801*c_0101_3^17 - 459973173025822010111444602103221093909\ 384/57132600020883248961241590461015618403*c_0101_3^16 - 477666476080051951759547398827295248059923/571326000208832489612415\ 90461015618403*c_0101_3^15 + 44814536898298784496705422118539368444\ 6025/57132600020883248961241590461015618403*c_0101_3^14 - 1859105830470363087791248573633633466206148/57132600020883248961241\ 590461015618403*c_0101_3^13 - 1189070960291277581595784371963182299\ 5883094/57132600020883248961241590461015618403*c_0101_3^12 - 13985530400020678907864351341796544217872934/5713260002088324896124\ 1590461015618403*c_0101_3^11 + 118527144406700828656962261380696591\ 9108411/19044200006961082987080530153671872801*c_0101_3^10 + 14859794197465741365303222054221436369977197/5713260002088324896124\ 1590461015618403*c_0101_3^9 + 1313876579521713799407766333585821050\ 6831377/57132600020883248961241590461015618403*c_0101_3^8 + 3945880833753272572473550489656808396580900/57132600020883248961241\ 590461015618403*c_0101_3^7 - 71635704844608402069914099450292312679\ 51169/57132600020883248961241590461015618403*c_0101_3^6 - 4029884892717440060597513845239775830017083/57132600020883248961241\ 590461015618403*c_0101_3^5 - 41686316254094816940519972309454134972\ 9233/57132600020883248961241590461015618403*c_0101_3^4 - 109546200751156116588251966017911854806900/190442000069610829870805\ 30153671872801*c_0101_3^3 + 263486415801204835120452882105401564017\ 990/19044200006961082987080530153671872801*c_0101_3^2 + 110217042813895267648601897396277988520783/571326000208832489612415\ 90461015618403*c_0101_3 - 90441722036942330849772296266445251881202\ /57132600020883248961241590461015618403, c_0011_0 - 1, c_0011_3 + 69313233755044741636746768604847/241371356235248200089740559\ 61561309*c_0101_3^19 + 1519637314806102395254912538633858/241371356\ 23524820008974055961561309*c_0101_3^18 + 12772238842110430749591249333452982/2413713562352482000897405596156\ 1309*c_0101_3^17 + 49825847110899815794869179769774666/241371356235\ 24820008974055961561309*c_0101_3^16 + 78170443911700907298368385103981908/2413713562352482000897405596156\ 1309*c_0101_3^15 + 3142860865587061993166735153082172/2413713562352\ 4820008974055961561309*c_0101_3^14 + 127537108142155614192720695149086666/241371356235248200089740559615\ 61309*c_0101_3^13 + 1164534290296802057086455898739049514/241371356\ 23524820008974055961561309*c_0101_3^12 + 2139972410273270897019781386570536772/24137135623524820008974055961\ 561309*c_0101_3^11 + 861413075523053659266735487002247120/241371356\ 23524820008974055961561309*c_0101_3^10 - 1327740595066797640726464357920896102/24137135623524820008974055961\ 561309*c_0101_3^9 - 2080678623237837403235442755397984082/241371356\ 23524820008974055961561309*c_0101_3^8 - 1530929935036260015202123398766651542/24137135623524820008974055961\ 561309*c_0101_3^7 + 18726540143508597150988615638086692/24137135623\ 524820008974055961561309*c_0101_3^6 + 669923998833390568500188141913288576/241371356235248200089740559615\ 61309*c_0101_3^5 + 309014062683309409182723448686858528/24137135623\ 524820008974055961561309*c_0101_3^4 + 221288336471820137887506907754638308/241371356235248200089740559615\ 61309*c_0101_3^3 + 205739280597454275631860918031747/24137135623524\ 820008974055961561309*c_0101_3^2 - 38234228246223913048297007150570714/2413713562352482000897405596156\ 1309*c_0101_3 + 9829462296713630074120557278837029/2413713562352482\ 0008974055961561309, c_0011_5 - 511861535857670022623468198870029556/57132600020883248961241\ 590461015618403*c_0101_3^19 - 1075355616907305021767895473563231683\ 5/57132600020883248961241590461015618403*c_0101_3^18 - 84575703651734010668039769762144876868/5713260002088324896124159046\ 1015618403*c_0101_3^17 - 292477090677201601881885186632252949572/57\ 132600020883248961241590461015618403*c_0101_3^16 - 322868292902824798450320498497248724423/571326000208832489612415904\ 61015618403*c_0101_3^15 + 79831451460196713433069161502378514215/19\ 044200006961082987080530153671872801*c_0101_3^14 - 1146460242548913286835238152408676042799/57132600020883248961241590\ 461015618403*c_0101_3^13 - 827205251047460480835766191713160809004/\ 6348066668987027662360176717890624267*c_0101_3^12 - 9326686536528616741749233616141838768144/57132600020883248961241590\ 461015618403*c_0101_3^11 + 1109698255537999668550892423085767647273\ /57132600020883248961241590461015618403*c_0101_3^10 + 9054647079838162848159182807304776632184/57132600020883248961241590\ 461015618403*c_0101_3^9 + 3026676837321040553478786707938790793013/\ 19044200006961082987080530153671872801*c_0101_3^8 + 1101711880138816785912983426473315112204/19044200006961082987080530\ 153671872801*c_0101_3^7 - 1305270929633008566957567262828732105913/\ 19044200006961082987080530153671872801*c_0101_3^6 - 925319740023056834235339369483811090484/190442000069610829870805301\ 53671872801*c_0101_3^5 - 651814246069133397919780070502814196450/57\ 132600020883248961241590461015618403*c_0101_3^4 - 80486630216587179905345006246332766320/1904420000696108298708053015\ 3671872801*c_0101_3^3 + 393714044435218185821463717989196983345/571\ 32600020883248961241590461015618403*c_0101_3^2 + 143183107171221167119217778630834517978/571326000208832489612415904\ 61015618403*c_0101_3 - 24643621914004970658836795218921621981/57132\ 600020883248961241590461015618403, c_0011_6 - 359682297811891079833454714146587652/57132600020883248961241\ 590461015618403*c_0101_3^19 - 7556237006171609510098284522173700031\ /57132600020883248961241590461015618403*c_0101_3^18 - 59411054344958457284616994588618732865/5713260002088324896124159046\ 1015618403*c_0101_3^17 - 205225549808952230673261606596311040047/57\ 132600020883248961241590461015618403*c_0101_3^16 - 225435870087758823419944796202199170022/571326000208832489612415904\ 61015618403*c_0101_3^15 + 18681205376641718167381663026300649984/63\ 48066668987027662360176717890624267*c_0101_3^14 - 824908560240109337401542243051944082746/571326000208832489612415904\ 61015618403*c_0101_3^13 - 1754094338019565405434633714903373815748/\ 19044200006961082987080530153671872801*c_0101_3^12 - 6484785544662860001839641448244204722543/57132600020883248961241590\ 461015618403*c_0101_3^11 + 853200033719101825424282137791719442344/\ 57132600020883248961241590461015618403*c_0101_3^10 + 5881436946703110373348260264960630613879/57132600020883248961241590\ 461015618403*c_0101_3^9 + 1876613297340069576038792830023732346627/\ 19044200006961082987080530153671872801*c_0101_3^8 + 784303957632021173480252418960595305392/190442000069610829870805301\ 53671872801*c_0101_3^7 - 771503069105401477080034394357010357056/19\ 044200006961082987080530153671872801*c_0101_3^6 - 149699684341512050576548206716515439617/634806666898702766236017671\ 7890624267*c_0101_3^5 - 205431710668347240922649631335077506865/571\ 32600020883248961241590461015618403*c_0101_3^4 - 117297780899419149570739361108116528784/190442000069610829870805301\ 53671872801*c_0101_3^3 + 249939573918724036455675965898756661225/57\ 132600020883248961241590461015618403*c_0101_3^2 + 35258465600480766183992168185598598287/5713260002088324896124159046\ 1015618403*c_0101_3 - 23307822614780901935256357208117150580/571326\ 00020883248961241590461015618403, c_0101_0 - 1617502784806649070271814190143052409/5713260002088324896124\ 1590461015618403*c_0101_3^19 - 381547896382052533241439831448135054\ 6/6348066668987027662360176717890624267*c_0101_3^18 - 274722022351323467634680420123828246027/571326000208832489612415904\ 61015618403*c_0101_3^17 - 982295650254431658783292178244426653039/5\ 7132600020883248961241590461015618403*c_0101_3^16 - 1217813282056964191130571041008467551669/57132600020883248961241590\ 461015618403*c_0101_3^15 + 545476285319134623164283593603943657902/\ 57132600020883248961241590461015618403*c_0101_3^14 - 3477197493185213629399540532436704403580/57132600020883248961241590\ 461015618403*c_0101_3^13 - 2440144507832530064736241220124534745532\ 9/57132600020883248961241590461015618403*c_0101_3^12 - 3830601201741363983068185866757790986972/63480666689870276623601767\ 17890624267*c_0101_3^11 - 2475210859926781931488135374367652418994/\ 57132600020883248961241590461015618403*c_0101_3^10 + 28871531346232384403303523968721169188092/5713260002088324896124159\ 0461015618403*c_0101_3^9 + 3350408583805744204123451542346042349907\ 6/57132600020883248961241590461015618403*c_0101_3^8 + 16712999840269714142689274607689750660336/5713260002088324896124159\ 0461015618403*c_0101_3^7 - 9397619594095962539411904974962734105713\ /57132600020883248961241590461015618403*c_0101_3^6 - 10390940228915888410989127924266991276081/5713260002088324896124159\ 0461015618403*c_0101_3^5 - 1096052274523775304417147523259140913660\ /19044200006961082987080530153671872801*c_0101_3^4 - 178798883937932254260155809584023985765/634806666898702766236017671\ 7890624267*c_0101_3^3 + 893560430246890954691351122749026798977/571\ 32600020883248961241590461015618403*c_0101_3^2 + 495886399758292588039460355785476025119/571326000208832489612415904\ 61015618403*c_0101_3 - 7897512788048909810761324705977550698/634806\ 6668987027662360176717890624267, c_0101_1 - 758970944093529705418993803251305/72411406870574460026922167\ 884683927*c_0101_3^19 - 5415412190146901380450554025845999/24137135\ 623524820008974055961561309*c_0101_3^18 - 131792754754331366390310341690217932/724114068705744600269221678846\ 83927*c_0101_3^17 - 484744148434458151820278071354544967/7241140687\ 0574460026922167884683927*c_0101_3^16 - 661970185769245418991782705040475250/724114068705744600269221678846\ 83927*c_0101_3^15 + 120466327480025654614560813294029672/7241140687\ 0574460026922167884683927*c_0101_3^14 - 1632905258115424850173968757429370212/72411406870574460026922167884\ 683927*c_0101_3^13 - 11718948759051678155691639102951473009/7241140\ 6870574460026922167884683927*c_0101_3^12 - 6098814400045005685185914976177085435/24137135623524820008974055961\ 561309*c_0101_3^11 - 4867236156537312708575599978766349532/72411406\ 870574460026922167884683927*c_0101_3^10 + 12050747079401324498321600686080077243/7241140687057446002692216788\ 4683927*c_0101_3^9 + 17975828242006180647300810387440934970/7241140\ 6870574460026922167884683927*c_0101_3^8 + 11687867396841063960672548341736759981/7241140687057446002692216788\ 4683927*c_0101_3^7 - 1683215171789966494870835804560259474/72411406\ 870574460026922167884683927*c_0101_3^6 - 4699328116794053532575877362654192365/72411406870574460026922167884\ 683927*c_0101_3^5 - 896338951608471134168558584818733475/2413713562\ 3524820008974055961561309*c_0101_3^4 - 504485021471655410928376803090316861/241371356235248200089740559615\ 61309*c_0101_3^3 + 75738364360697999587857514061490193/724114068705\ 74460026922167884683927*c_0101_3^2 + 138951038694286237791993138219565786/724114068705744600269221678846\ 83927*c_0101_3 + 17276947849997325065407199522177328/24137135623524\ 820008974055961561309, c_0101_3^20 + 21*c_0101_3^19 + 165*c_0101_3^18 + 569*c_0101_3^17 + 619*c_0101_3^16 - 492*c_0101_3^15 + 2241*c_0101_3^14 + 14562*c_0101_3^13 + 17932*c_0101_3^12 - 2865*c_0101_3^11 - 17768*c_0101_3^10 - 17049*c_0101_3^9 - 6244*c_0101_3^8 + 7858*c_0101_3^7 + 5168*c_0101_3^6 + 968*c_0101_3^5 + 598*c_0101_3^4 - 871*c_0101_3^3 - 166*c_0101_3^2 + 83*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB