Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 1427425645] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0208 geometric_solution 4.02243937 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 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 -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.238848907736 0.202258031630 0 0 3 3 0132 2310 2310 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 0 0 0 0 0 0 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.907038420101 0.294683953526 4 0 0 5 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 -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.773193974498 0.828839219368 3 1 1 3 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.374181494477 0.045264515555 2 6 5 5 0132 0132 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.251717975053 0.435651148508 4 4 2 6 2031 1302 0132 2310 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 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.251717975053 0.435651148508 5 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 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 1 -1 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.486073997987 0.886703920682 ==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' : 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' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_0'], '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' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 91348332417586784031336485617480559/2934230710376387561227373548300\ 3*c_0101_6^22 - 1192744288132610255063687151798769799/2934230710376\ 3875612273735483003*c_0101_6^21 + 548272456580350534806956132364180\ 0535/29342307103763875612273735483003*c_0101_6^20 - 2669999639228267968964889355795798680/29342307103763875612273735483\ 003*c_0101_6^19 - 85348496766750497637519927564072286530/2934230710\ 3763875612273735483003*c_0101_6^18 + 460661068971618799817650340208207171981/293423071037638756122737354\ 83003*c_0101_6^17 - 1301039617638372491956689954722648591839/293423\ 07103763875612273735483003*c_0101_6^16 + 2309101310755509969324868533559122863335/29342307103763875612273735\ 483003*c_0101_6^15 - 2523039467952112264180147948402434557103/29342\ 307103763875612273735483003*c_0101_6^14 + 1164079528918733412893370799234659302034/29342307103763875612273735\ 483003*c_0101_6^13 + 1125896210098898533560553238165434725936/29342\ 307103763875612273735483003*c_0101_6^12 - 2562925890517413203065278708088432444076/29342307103763875612273735\ 483003*c_0101_6^11 + 2154523176426080620360830665311907853841/29342\ 307103763875612273735483003*c_0101_6^10 - 746053573503571089693652500003209706764/293423071037638756122737354\ 83003*c_0101_6^9 - 232022518386200503019428163546697522210/29342307\ 103763875612273735483003*c_0101_6^8 + 354479369475243533034421511674483399669/293423071037638756122737354\ 83003*c_0101_6^7 - 124105063021759516253421304815531211754/29342307\ 103763875612273735483003*c_0101_6^6 - 11601042064795916312988545846395440607/2934230710376387561227373548\ 3003*c_0101_6^5 + 19332146980582412365116033513273050356/2934230710\ 3763875612273735483003*c_0101_6^4 - 2885806712644407553909626375266920996/29342307103763875612273735483\ 003*c_0101_6^3 - 994597143864753600305258839623312973/2934230710376\ 3875612273735483003*c_0101_6^2 + 2024783177540416035210636862209332\ 33/29342307103763875612273735483003*c_0101_6 + 35715034191854859516889167812410727/2934230710376387561227373548300\ 3, c_0011_0 - 1, c_0011_3 - 281850421900675632938308687962067/71566602692107013688472525\ 5683*c_0101_6^22 + 3681679473455825761916383182425532/7156660269210\ 70136884725255683*c_0101_6^21 - 16907747166082783046555926067702587\ /715666026921070136884725255683*c_0101_6^20 + 7988999361237348212191001039610497/715666026921070136884725255683*c\ _0101_6^19 + 264601834655263436248125850719663707/71566602692107013\ 6884725255683*c_0101_6^18 - 1422006257926165789972928586416805053/7\ 15666026921070136884725255683*c_0101_6^17 + 3996117271167048264960192177858746542/71566602692107013688472525568\ 3*c_0101_6^16 - 7033314101201177893401861344069478482/7156660269210\ 70136884725255683*c_0101_6^15 + 75517941918841074611515104864336560\ 06/715666026921070136884725255683*c_0101_6^14 - 3232641473750291235068429907805641950/71566602692107013688472525568\ 3*c_0101_6^13 - 3783484356134475384761300232710444305/7156660269210\ 70136884725255683*c_0101_6^12 + 79446560162419812538217685964213685\ 41/715666026921070136884725255683*c_0101_6^11 - 6380187820113087655871692883038477085/71566602692107013688472525568\ 3*c_0101_6^10 + 1945555895155319033201764859476136785/7156660269210\ 70136884725255683*c_0101_6^9 + 928079823232813185428367441105252305\ /715666026921070136884725255683*c_0101_6^8 - 1123319988846028835671537748147821462/71566602692107013688472525568\ 3*c_0101_6^7 + 337691643625513514719816988366110539/715666026921070\ 136884725255683*c_0101_6^6 + 67322197634734900937669716415373480/71\ 5666026921070136884725255683*c_0101_6^5 - 65491104639394701091121777954468741/715666026921070136884725255683*\ c_0101_6^4 + 6801156312224281477673150113037855/7156660269210701368\ 84725255683*c_0101_6^3 + 4123950512712871371767577763281252/7156660\ 26921070136884725255683*c_0101_6^2 - 662002785951001158265617222635484/715666026921070136884725255683*c_\ 0101_6 - 151189934269700081103570752742847/715666026921070136884725\ 255683, c_0011_5 - 990535917251674716973699532015/71566602692107013688472525568\ 3*c_0101_6^22 + 12099553890943444841738466952273/715666026921070136\ 884725255683*c_0101_6^21 - 49070568894849682841413612493734/7156660\ 26921070136884725255683*c_0101_6^20 - 14774923578804679059949866643314/715666026921070136884725255683*c_0\ 101_6^19 + 923186514043092691158848408619308/7156660269210701368847\ 25255683*c_0101_6^18 - 4217448921264671969962324857977984/715666026\ 921070136884725255683*c_0101_6^17 + 10376981571440385126676694419385375/715666026921070136884725255683*\ c_0101_6^16 - 15435847524754014106820817666007813/71566602692107013\ 6884725255683*c_0101_6^15 + 12122063175914135761212175119385947/715\ 666026921070136884725255683*c_0101_6^14 + 1169784679338904475356307292256046/715666026921070136884725255683*c\ _0101_6^13 - 14531056350404190804558292866160695/715666026921070136\ 884725255683*c_0101_6^12 + 16211835407823537302937906369048481/7156\ 66026921070136884725255683*c_0101_6^11 - 7049942176180025647578806793008176/715666026921070136884725255683*c\ _0101_6^10 - 1739600184474349375783037783058657/7156660269210701368\ 84725255683*c_0101_6^9 + 3476753809260903900950995840099737/7156660\ 26921070136884725255683*c_0101_6^8 - 1198478591065433251142019173295359/715666026921070136884725255683*c\ _0101_6^7 - 306807778366688844276415384930042/715666026921070136884\ 725255683*c_0101_6^6 + 288477082859473887892920700864008/7156660269\ 21070136884725255683*c_0101_6^5 - 9375989589027527327950841566390/7\ 15666026921070136884725255683*c_0101_6^4 - 31139548983430483336514474474151/715666026921070136884725255683*c_0\ 101_6^3 + 635159348796186848280310285375/71566602692107013688472525\ 5683*c_0101_6^2 + 2680785106441415047093981295011/71566602692107013\ 6884725255683*c_0101_6 + 14121321554072012769568001607/715666026921\ 070136884725255683, c_0101_0 + 13414738495163382975543030482122/715666026921070136884725255\ 683*c_0101_6^22 - 171956878490428253394165460865746/715666026921070\ 136884725255683*c_0101_6^21 + 763468784231936286564428877481722/715\ 666026921070136884725255683*c_0101_6^20 - 202277642822511117865102534867706/715666026921070136884725255683*c_\ 0101_6^19 - 12611069953363690282117576146554110/7156660269210701368\ 84725255683*c_0101_6^18 + 64623957419371355173795191452704849/71566\ 6026921070136884725255683*c_0101_6^17 - 175073934870802233882064749192369157/715666026921070136884725255683\ *c_0101_6^16 + 294815956761006438529872283261781690/715666026921070\ 136884725255683*c_0101_6^15 - 293960611841492534603508766620624572/\ 715666026921070136884725255683*c_0101_6^14 + 90942058017854709588045160293788325/715666026921070136884725255683*\ c_0101_6^13 + 196858835280359533517763104129781241/7156660269210701\ 36884725255683*c_0101_6^12 - 333634443691862717635496179759065259/7\ 15666026921070136884725255683*c_0101_6^11 + 232885489862711378678899294248726792/715666026921070136884725255683\ *c_0101_6^10 - 44905629382808193424193448775774678/7156660269210701\ 36884725255683*c_0101_6^9 - 53353941070579799227250539579907133/715\ 666026921070136884725255683*c_0101_6^8 + 43679263680617715717438256276463389/715666026921070136884725255683*\ c_0101_6^7 - 8200177116998568185270412062017226/7156660269210701368\ 84725255683*c_0101_6^6 - 4797533469510075998554752894210130/7156660\ 26921070136884725255683*c_0101_6^5 + 2508560982747634920755563812695662/715666026921070136884725255683*c\ _0101_6^4 + 9008689978353260581700289885997/71566602692107013688472\ 5255683*c_0101_6^3 - 213780502135772127929396177158372/715666026921\ 070136884725255683*c_0101_6^2 + 19381309256735907582104818751615/71\ 5666026921070136884725255683*c_0101_6 + 8924067235607076801604363915812/715666026921070136884725255683, c_0101_1 - 34378825322348932339360947723563/715666026921070136884725255\ 683*c_0101_6^22 + 460185222763094003656391887615915/715666026921070\ 136884725255683*c_0101_6^21 - 2195446951650800165703221394158072/71\ 5666026921070136884725255683*c_0101_6^20 + 1494711965524298441000837453117519/715666026921070136884725255683*c\ _0101_6^19 + 32552150660183527791893742678518662/715666026921070136\ 884725255683*c_0101_6^18 - 183712009083942680657873492798828611/715\ 666026921070136884725255683*c_0101_6^17 + 532418789374490037992250841479151410/715666026921070136884725255683\ *c_0101_6^16 - 964580296629257976546038811603770628/715666026921070\ 136884725255683*c_0101_6^15 + 1071887167274367057701284506790558549\ /715666026921070136884725255683*c_0101_6^14 - 499123558321104773011303253093461370/715666026921070136884725255683\ *c_0101_6^13 - 496814714955378105752998893696461920/715666026921070\ 136884725255683*c_0101_6^12 + 1127564342627524577874828645306588064\ /715666026921070136884725255683*c_0101_6^11 - 932060822645044134839112260533139389/715666026921070136884725255683\ *c_0101_6^10 + 287543300706489924834392100564985574/715666026921070\ 136884725255683*c_0101_6^9 + 144993570951914771994294290501268894/7\ 15666026921070136884725255683*c_0101_6^8 - 174345613673604681150911593110836300/715666026921070136884725255683\ *c_0101_6^7 + 50465395363321546454123732889897314/71566602692107013\ 6884725255683*c_0101_6^6 + 13055446241565038285374039971333614/7156\ 66026921070136884725255683*c_0101_6^5 - 11124023150151706093203048706965065/715666026921070136884725255683*\ c_0101_6^4 + 876350582578407441253764710962161/71566602692107013688\ 4725255683*c_0101_6^3 + 815708443608557533598956574094048/715666026\ 921070136884725255683*c_0101_6^2 - 110913312219876317888997600509191/715666026921070136884725255683*c_\ 0101_6 - 31495322362430497323872353410696/7156660269210701368847252\ 55683, c_0101_2 + 155334537094792140465248017677/71566602692107013688472525568\ 3*c_0101_6^22 - 1000570421872479083535388694572/7156660269210701368\ 84725255683*c_0101_6^21 - 3259606598094364847988897946291/715666026\ 921070136884725255683*c_0101_6^20 + 46740550838427800734434892228579/715666026921070136884725255683*c_0\ 101_6^19 - 131366633184286581092309381987529/7156660269210701368847\ 25255683*c_0101_6^18 - 174530530532410862167431235422596/7156660269\ 21070136884725255683*c_0101_6^17 + 2190926307682905561427160083360628/715666026921070136884725255683*c\ _0101_6^16 - 6972613371184704288189240591969815/7156660269210701368\ 84725255683*c_0101_6^15 + 12067093297457702884538214338645107/71566\ 6026921070136884725255683*c_0101_6^14 - 11141746912308902562735994879826400/715666026921070136884725255683*\ c_0101_6^13 + 1195579044932819879584641680921275/715666026921070136\ 884725255683*c_0101_6^12 + 10631213340780785254025006566360326/7156\ 66026921070136884725255683*c_0101_6^11 - 13566897759424295239185050100055774/715666026921070136884725255683*\ c_0101_6^10 + 6629126793868679667045680345119576/715666026921070136\ 884725255683*c_0101_6^9 + 1055535125751992933199624649212363/715666\ 026921070136884725255683*c_0101_6^8 - 2967030586445120528020669254093465/715666026921070136884725255683*c\ _0101_6^7 + 1126417487175003769978913661094838/71566602692107013688\ 4725255683*c_0101_6^6 + 238743008476061742727097617184302/715666026\ 921070136884725255683*c_0101_6^5 - 260149711822005430277167289640366/715666026921070136884725255683*c_\ 0101_6^4 + 12002555398084921703090489865292/71566602692107013688472\ 5255683*c_0101_6^3 + 28315284672616080782600874152751/7156660269210\ 70136884725255683*c_0101_6^2 - 1393189340379473023473739545879/7156\ 66026921070136884725255683*c_0101_6 - 1823905863979624782513576023258/715666026921070136884725255683, c_0101_6^23 - 141/11*c_0101_6^22 + 626/11*c_0101_6^21 - 15*c_0101_6^20 - 10349/11*c_0101_6^19 + 53016/11*c_0101_6^18 - 143508/11*c_0101_6^17 + 241080/11*c_0101_6^16 - 238558/11*c_0101_6^15 + 6311*c_0101_6^14 + 167503/11*c_0101_6^13 - 276167/11*c_0101_6^12 + 187301/11*c_0101_6^11 - 29800/11*c_0101_6^10 - 48442/11*c_0101_6^9 + 36096/11*c_0101_6^8 - 5103/11*c_0101_6^7 - 4820/11*c_0101_6^6 + 2006/11*c_0101_6^5 + 186/11*c_0101_6^4 - 200/11*c_0101_6^3 - 3/11*c_0101_6^2 + 10/11*c_0101_6 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB