Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 3852761298] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2505 geometric_solution 5.82521852 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0.489980275506 0.231932246781 2 0 3 0 0132 2310 0132 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 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.842701258531 0.557293232777 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 1 -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 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.879967127944 1.015922283489 5 2 4 1 3201 1230 1023 0132 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 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.879967127944 1.015922283489 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 -1 0 1 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.416161974194 0.552069340914 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.561465654389 0.958774933909 4 6 6 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 0 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.803603948609 0.718653772813 ==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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 483745637855852540597482453981921342407331660254099938773495805021/\ 191382393954794336637401443644888200252052460003015233477611542400*\ c_0101_6^35 + 97130804730547757638392740982900222906438772995442289\ 083376103474113/574147181864383009912204330934664600756157380009045\ 700432834627200*c_0101_6^33 - 2278948074928475474633489742980483260\ 168922404753862273582514568943317/574147181864383009912204330934664\ 600756157380009045700432834627200*c_0101_6^31 + 4958088236285598133400899612307791868695770487386465783644979213955\ 627/114829436372876601982440866186932920151231476001809140086566925\ 440*c_0101_6^29 - 1280602628673954361202613013847641097646042712529\ 19271924610170333269431/5741471818643830099122043309346646007561573\ 80009045700432834627200*c_0101_6^27 + 6701151665471818186192830508662562922792421511589385740123628681277\ 1299/14353679546609575247805108273366615018903934500226142510820865\ 6800*c_0101_6^25 - 261323930872716308881969882527664533819383558261\ 157022992856901417752337/574147181864383009912204330934664600756157\ 380009045700432834627200*c_0101_6^23 + 8490510806445879705000713447012807071208161896492746972318306221745\ 93539/2870735909321915049561021654673323003780786900045228502164173\ 13600*c_0101_6^21 - 26744769091663767426397744749514993472162221958\ 97728989007513214996313763/2870735909321915049561021654673323003780\ 78690004522850216417313600*c_0101_6^19 + 1879336496295113518418558055771840984960783238670354650193642792920\ 303859/143536795466095752478051082733666150189039345002261425108208\ 656800*c_0101_6^17 - 7417459518506581460128415245553003691693471544\ 895203545484759934459326027/574147181864383009912204330934664600756\ 157380009045700432834627200*c_0101_6^15 + 9835940998063130185642767835237080153141489667437152802082434000055\ 60957/9569119697739716831870072182244410012602623000150761673880577\ 1200*c_0101_6^13 - 355852465469813843659038114285104991561492902971\ 7253691513805366801400769/57414718186438300991220433093466460075615\ 7380009045700432834627200*c_0101_6^11 + 1340985929389700034702241257912393043992734748663288051348837365534\ 21297/4784559848869858415935036091122205006301311500075380836940288\ 5600*c_0101_6^9 - 8338883857141004178513490870295824353848100578166\ 3802380715508431899373/95691196977397168318700721822444100126026230\ 001507616738805771200*c_0101_6^7 + 1326073581618834701639327463249959188022031846740078570158258410501\ 2641/95691196977397168318700721822444100126026230001507616738805771\ 200*c_0101_6^5 - 15088468087841229798911047326180686000232180953006\ 81214647738894501819/5741471818643830099122043309346646007561573800\ 09045700432834627200*c_0101_6^3 - 143615047102357101163257683303103\ 552478559484586780112758630773450581/143536795466095752478051082733\ 666150189039345002261425108208656800*c_0101_6, c_0011_0 - 1, c_0011_1 + 881232934787879859591054882274778279447519211945242372414883\ /239227992443492920796751804556110250315065575003769041847014428*c_\ 0101_6^34 - 5876720472717175134550106702708436142048906472351878953\ 6971217/23922799244349292079675180455611025031506557500376904184701\ 4428*c_0101_6^32 + 136962959870983548840203259613404720679358063356\ 9188983627489161/23922799244349292079675180455611025031506557500376\ 9041847014428*c_0101_6^30 - 147230506253551397194721249018714665482\ 80216868315104467255244183/2392279924434929207967518045561102503150\ 65575003769041847014428*c_0101_6^28 + 74226335345758500663470306703069424237763137251160373301801557987/2\ 39227992443492920796751804556110250315065575003769041847014428*c_01\ 01_6^26 - 362792761894819575471438080359692201721485663468312175095\ 75438839/5980699811087323019918795113902756257876639375094226046175\ 3607*c_0101_6^24 + 125234639403335533650170526080289737768773962272\ 598671902655491397/239227992443492920796751804556110250315065575003\ 769041847014428*c_0101_6^22 - 5021700480540180435146591357069371402\ 86191450884196976149535418201/1196139962217464603983759022780551251\ 57532787501884520923507214*c_0101_6^20 + 1504050824682980461768253346764555598657757485776104003080494098099\ /119613996221746460398375902278055125157532787501884520923507214*c_\ 0101_6^18 - 9645979131820545429126856107237345752826007579356557416\ 59498704491/5980699811087323019918795113902756257876639375094226046\ 1753607*c_0101_6^16 + 364067952951890559171309486559930008569667969\ 8729215081439344322443/23922799244349292079675180455611025031506557\ 5003769041847014428*c_0101_6^14 - 139973260740404778619450585752871\ 7720958448578435191440956357691159/11961399622174646039837590227805\ 5125157532787501884520923507214*c_0101_6^12 + 1574461178589790519908422696775958767163655939442244160833091618205\ /239227992443492920796751804556110250315065575003769041847014428*c_\ 0101_6^10 - 1668703967564229432124428746252476224345135675963228122\ 14026680102/5980699811087323019918795113902756257876639375094226046\ 1753607*c_0101_6^8 + 9173276018512319550255137594266664727743950945\ 5993858748913549601/11961399622174646039837590227805512515753278750\ 1884520923507214*c_0101_6^6 - 1053016012617992632126738641187564531\ 6726600497021142442373309845/11961399622174646039837590227805512515\ 7532787501884520923507214*c_0101_6^4 + 536246836471025584114425469698486943247706197280266409506000711/239\ 227992443492920796751804556110250315065575003769041847014428*c_0101\ _6^2 + 922847899780968212469107927780721303107335789807951501126977\ 7/59806998110873230199187951139027562578766393750942260461753607, c_0011_3 + 740525220146767729520853143260994554641575345418729180209591\ /239227992443492920796751804556110250315065575003769041847014428*c_\ 0101_6^34 - 4947046837658046515295104555554934398382545326620896315\ 2157685/23922799244349292079675180455611025031506557500376904184701\ 4428*c_0101_6^32 + 115669143670501447005678661293314502642527521704\ 3921574444247925/23922799244349292079675180455611025031506557500376\ 9041847014428*c_0101_6^30 - 125049842290621937879311432626480569093\ 17732328854840480770029899/2392279924434929207967518045561102503150\ 65575003769041847014428*c_0101_6^28 + 63777242838343512205405867206269437945957135582335257753505141247/2\ 39227992443492920796751804556110250315065575003769041847014428*c_01\ 01_6^26 - 321898278288003314837025255876190592023386525578158173963\ 17145974/5980699811087323019918795113902756257876639375094226046175\ 3607*c_0101_6^24 + 117082493825054634006323855328969877974173777401\ 046241922994192805/239227992443492920796751804556110250315065575003\ 769041847014428*c_0101_6^22 - 4258762228482903822869686972235663624\ 03560137040259051887988568831/1196139962217464603983759022780551251\ 57532787501884520923507214*c_0101_6^20 + 1311541424108160251567948111068840227296258257084269356677494795177\ /119613996221746460398375902278055125157532787501884520923507214*c_\ 0101_6^18 - 8762592148047112643007575592552884662285174840860704822\ 79557990285/5980699811087323019918795113902756257876639375094226046\ 1753607*c_0101_6^16 + 334223265934826504956001387441743118911406430\ 3839882458760404858687/23922799244349292079675180455611025031506557\ 5003769041847014428*c_0101_6^14 - 129742992949046452200056294424686\ 0153889388771543138127814915572981/11961399622174646039837590227805\ 5125157532787501884520923507214*c_0101_6^12 + 1494256200785099860362231172296463335881331313569988204442583567377\ /239227992443492920796751804556110250315065575003769041847014428*c_\ 0101_6^10 - 1597302206970941730586847571391637654544565066171838256\ 65226238424/5980699811087323019918795113902756257876639375094226046\ 1753607*c_0101_6^8 + 9029209124949379904362204234802141301059667536\ 8392826549132379305/11961399622174646039837590227805512515753278750\ 1884520923507214*c_0101_6^6 - 1051095674461962360766930797794725767\ 6444844710362364735874732321/11961399622174646039837590227805512515\ 7532787501884520923507214*c_0101_6^4 - 191958968051956035043060399161527958119278392310437413993379589/239\ 227992443492920796751804556110250315065575003769041847014428*c_0101\ _6^2 - 876795627354817368189901068147045998744609025297735909852485\ 5/59806998110873230199187951139027562578766393750942260461753607, c_0011_5 - 626980505966440339641168796443959100516254786657076371236149\ /239227992443492920796751804556110250315065575003769041847014428*c_\ 0101_6^34 + 4199162200322535292209519236172655597522730660814222604\ 0523691/23922799244349292079675180455611025031506557500376904184701\ 4428*c_0101_6^32 - 986460626006570961038454319744551961838874592425\ 602020020470327/239227992443492920796751804556110250315065575003769\ 041847014428*c_0101_6^30 + 1075472536735105957043091076055403431956\ 5213391551698947873198133/23922799244349292079675180455611025031506\ 5575003769041847014428*c_0101_6^28 - 55815454732842988434057607768346890141334100471271706400646457201/2\ 39227992443492920796751804556110250315065575003769041847014428*c_01\ 01_6^26 + 295976813301995494324623167207199665979069543583859952563\ 62238570/5980699811087323019918795113902756257876639375094226046175\ 3607*c_0101_6^24 - 118638561665709475205540399966859738921212622090\ 109894214252338455/239227992443492920796751804556110250315065575003\ 769041847014428*c_0101_6^22 + 3698602818387033664684312279275163617\ 86124014798913775835253288647/1196139962217464603983759022780551251\ 57532787501884520923507214*c_0101_6^20 - 1172235362747514817333138612479521274200295846457988120405648253079\ /119613996221746460398375902278055125157532787501884520923507214*c_\ 0101_6^18 + 8396586581974188339370807671269203524175154712685105538\ 38788681234/5980699811087323019918795113902756257876639375094226046\ 1753607*c_0101_6^16 - 337212008817133736668130002180297166158547038\ 1692761759448794986261/23922799244349292079675180455611025031506557\ 5003769041847014428*c_0101_6^14 + 135944271782228591894044618502429\ 9869772049640509041285809571070557/11961399622174646039837590227805\ 5125157532787501884520923507214*c_0101_6^12 - 1673419589034187267328892378496284142618545303248059936074964260771\ /239227992443492920796751804556110250315065575003769041847014428*c_\ 0101_6^10 + 1950249175033641129914635933341747494461117404068568723\ 08565844647/5980699811087323019918795113902756257876639375094226046\ 1753607*c_0101_6^8 - 1276097477925564117546038228878956288270447671\ 84475542489131098499/1196139962217464603983759022780551251575327875\ 01884520923507214*c_0101_6^6 + 233661180641258038880594789904512129\ 71069375566687484368094094795/1196139962217464603983759022780551251\ 57532787501884520923507214*c_0101_6^4 - 2485116038851490811954205362354579297702609265647106774748767317/23\ 9227992443492920796751804556110250315065575003769041847014428*c_010\ 1_6^2 - 11290626843723703372923300606261590835490251166660748220411\ 1319/59806998110873230199187951139027562578766393750942260461753607\ , c_0101_0 - 554667813633447701037317643728177808806969441944686252492363\ 1/239227992443492920796751804556110250315065575003769041847014428*c\ _0101_6^35 + 371525972598536293645631442928304972347928977457108803\ 690328567/239227992443492920796751804556110250315065575003769041847\ 014428*c_0101_6^33 - 8729478755540922723997892151383854078803397247\ 450472906303019479/239227992443492920796751804556110250315065575003\ 769041847014428*c_0101_6^31 + 9519926257822799643722209524222922526\ 1251156255990007731016732581/23922799244349292079675180455611025031\ 5065575003769041847014428*c_0101_6^29 - 494290184903369736857779919698755537098326816188331521732069855669/\ 239227992443492920796751804556110250315065575003769041847014428*c_0\ 101_6^27 + 52449063201078421989279778493176387224200913877722445305\ 7899925329/11961399622174646039837590227805512515753278750188452092\ 3507214*c_0101_6^25 - 104732098888993793510588026244034175760856708\ 1634754850120043603193/23922799244349292079675180455611025031506557\ 5003769041847014428*c_0101_6^23 + 163336316881552051378674525020942\ 0372310009104674173502634673436324/59806998110873230199187951139027\ 562578766393750942260461753607*c_0101_6^21 - 1038747269668641452277910273773384369550439978374811906581600058156\ 1/119613996221746460398375902278055125157532787501884520923507214*c\ _0101_6^19 + 743222056287489694056700296689375664922440225559588570\ 7333245146815/59806998110873230199187951139027562578766393750942260\ 461753607*c_0101_6^17 - 2965733849664110639945041880182000492390349\ 7537953049545539558431447/23922799244349292079675180455611025031506\ 5575003769041847014428*c_0101_6^15 + 5952707080731252384774738910114412515232244523346039302147098077319\ /59806998110873230199187951139027562578766393750942260461753607*c_0\ 101_6^13 - 14570069039686938187239829613414873842906229841600304619\ 776943645665/239227992443492920796751804556110250315065575003769041\ 847014428*c_0101_6^11 + 3352837707720832960521774257370820102433072\ 402818471742925747935769/119613996221746460398375902278055125157532\ 787501884520923507214*c_0101_6^9 - 1075697158636858981053428360749818744978694123924234040093480892681\ /119613996221746460398375902278055125157532787501884520923507214*c_\ 0101_6^7 + 18530355967874713872177020376756393575349209618335215577\ 3717375795/11961399622174646039837590227805512515753278750188452092\ 3507214*c_0101_6^5 - 1402328577124883616491924028674323771044314010\ 8104341948403027347/23922799244349292079675180455611025031506557500\ 3769041847014428*c_0101_6^3 - 1303012012101499709309347426414360967\ 475378020063428879189664603/119613996221746460398375902278055125157\ 532787501884520923507214*c_0101_6, c_0101_3 + 477173066152499127742342731933648173659422507711874194697110\ /59806998110873230199187951139027562578766393750942260461753607*c_0\ 101_6^35 - 31867750075992886506535513040420816934713925363667862225\ 710988/598069981108732301991879511390275625787663937509422604617536\ 07*c_0101_6^33 + 74469086808882581325766456350726482831250047170779\ 0998212014663/59806998110873230199187951139027562578766393750942260\ 461753607*c_0101_6^31 - 8042407900738797632650890735174300505314769\ 673045007364560904678/598069981108732301991879511390275625787663937\ 50942260461753607*c_0101_6^29 + 40923603952974085099155028497782086\ 284603549046404584169117786053/598069981108732301991879511390275625\ 78766393750942260461753607*c_0101_6^27 - 82030381310719725815814126385745855527770305098281805231589306495/5\ 9806998110873230199187951139027562578766393750942260461753607*c_010\ 1_6^25 + 7323171904377136686929700922804922554150285402682986933894\ 1806608/59806998110873230199187951139027562578766393750942260461753\ 607*c_0101_6^23 - 5463779611248233854232486858808170548512570506825\ 51524194959695538/5980699811087323019918795113902756257876639375094\ 2260461753607*c_0101_6^21 + 167853750594498031212192040722840323252\ 3540151923649092780050944102/59806998110873230199187951139027562578\ 766393750942260461753607*c_0101_6^19 - 2216814876039337519170708560571406531853627105530934031952657531467\ /59806998110873230199187951139027562578766393750942260461753607*c_0\ 101_6^17 + 20872765097585958521572407056130450242149707079184469746\ 45271070209/5980699811087323019918795113902756257876639375094226046\ 1753607*c_0101_6^15 - 160559917367970687392717061742649537561324372\ 8943097316956893658951/59806998110873230199187951139027562578766393\ 750942260461753607*c_0101_6^13 + 9077534572680366728834353749204721\ 89138736093156872668851998632758/5980699811087323019918795113902756\ 2578766393750942260461753607*c_0101_6^11 - 376040390450153957374411352751344160404623781445497519153026242113/\ 59806998110873230199187951139027562578766393750942260461753607*c_01\ 01_6^9 + 9914266538539638587261820514721543488257756857341803979935\ 2215051/59806998110873230199187951139027562578766393750942260461753\ 607*c_0101_6^7 - 74145235424080876984534509917472318813347633294236\ 24734902312486/5980699811087323019918795113902756257876639375094226\ 0461753607*c_0101_6^5 - 1515670189313791629602491437137151508688395\ 419699266096581611689/598069981108732301991879511390275625787663937\ 50942260461753607*c_0101_6^3 + 917377631977171773180036201207802827\ 09460574092327101109031038/5980699811087323019918795113902756257876\ 6393750942260461753607*c_0101_6, c_0101_6^36 - 67*c_0101_6^34 + 1575*c_0101_6^32 - 17189*c_0101_6^30 + 89357*c_0101_6^28 - 189984*c_0101_6^26 + 188471*c_0101_6^24 - 1174190*c_0101_6^22 + 3761298*c_0101_6^20 - 5376204*c_0101_6^18 + 5293181*c_0101_6^16 - 4205998*c_0101_6^14 + 2536207*c_0101_6^12 - 1130936*c_0101_6^10 + 343074*c_0101_6^8 - 47458*c_0101_6^6 - 2315*c_0101_6^4 + 640*c_0101_6^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB