Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1696922025] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1606 geometric_solution 5.36734316 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 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 0 0 0 0 0 0 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.247409914000 0.127362118947 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 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 -1 1 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 2.401767265172 1.563802778577 3 1 1 4 0132 3201 0132 0132 0 0 0 0 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 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.514520882223 0.653224049352 2 5 4 6 0132 0132 3201 0132 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 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.007174260394 0.984853701609 3 6 2 5 2310 0132 0132 2310 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 0 -1 1 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.007174260394 0.984853701609 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 1 0 -1 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.372848945288 0.362818203939 6 4 3 6 3012 0132 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 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.491501988625 0.883687215700 ==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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1725533736821808439103210207203265384467528791179207448695081834447\ 027350/812568032507848514857689552131294232782450513481866038416644\ 21835659313789*c_0110_5^31 + 69085765112219346708446211533770500361\ 52325225509882979622870904512248196/3869371583370707213608045486339\ 496346583097683246981135317353420745681609*c_0110_5^29 - 3230218975747103488984261642274747848622859066798743451922658112803\ 84592650/2708560108359495049525631840437647442608168378272886794722\ 1473945219771263*c_0110_5^27 - 181806157863658691850669466826354342\ 912690718809568625956510266238434755262/246232737123590459047784712\ 7670588584189243980248078904292861267747251933*c_0110_5^25 - 2707939937284632775837434499805441937797376135275559415307803956229\ 5722198954/27085601083594950495256318404376474426081683782728867947\ 221473945219771263*c_0110_5^23 - 2393966290552695828691858529744560\ 23120344747398982884585393017204459921638408/8125680325078485148576\ 8955213129423278245051348186603841664421835659313789*c_0110_5^21 - 2361803788607719423999391277831442977540830084061825344504250692653\ 51122379838/2708560108359495049525631840437647442608168378272886794\ 7221473945219771263*c_0110_5^19 - 188294841964419893795096543671855\ 905982142483063163463009465576647192549062995/270856010835949504952\ 56318404376474426081683782728867947221473945219771263*c_0110_5^17 - 1444415266355579341361385969240047393480883138346139185102730023381\ 129949910571/812568032507848514857689552131294232782450513481866038\ 41664421835659313789*c_0110_5^15 + 7443301644065063264419646623790191478518035648438394440840945978135\ 62311351045/1160811475011212164082413645901848903974929304974094340\ 5952060262237044827*c_0110_5^13 + 840038533012327448074161158101698\ 7126602267805022747391036475385329528853390642/81256803250784851485\ 768955213129423278245051348186603841664421835659313789*c_0110_5^11 - 5673935424366176031051643393682609640545098297612511107653974226181\ 080581336/165830210715887452011773377985978414853561329282013477227\ 8865751748149261*c_0110_5^9 - 8211947799923829237491255952809991388\ 4178883811835891050328785632686945503035/73869821137077137714335413\ 83011765752567731940744236712878583803241755799*c_0110_5^7 + 1864277180201832856821484345527428808615438538964761939625132439153\ 647996724706/812568032507848514857689552131294232782450513481866038\ 41664421835659313789*c_0110_5^5 - 139184111300176465515259600745162\ 93111677549783048685903797025667643469279788/1160811475011212164082\ 4136459018489039749293049740943405952060262237044827*c_0110_5^3 + 2106353093182757083591335903570447157091344706741053781269933541574\ 299312102/902853369453165016508543946812549147536056126090962264907\ 3824648406590421*c_0110_5, c_0011_0 - 1, c_0011_2 + 128328406092499152695226255780373635352497065876971139074826\ 116/395993530376787859712427771774430868623734578126450025617610084\ 71193*c_0110_5^30 - 36129901918963614663414269860132049351520172286\ 25048535901754745/1319978434589292865708092572581436228745781927088\ 1667520587002823731*c_0110_5^28 + 254140924337128537868872593541223\ 53480297248690361347020176714652/1319978434589292865708092572581436\ 2287457819270881667520587002823731*c_0110_5^26 + 138777509679786018717030080060690132698103284185160659587651763490/\ 1319978434589292865708092572581436228745781927088166752058700282373\ 1*c_0110_5^24 + 196192095576728330489884961791766506268135200950061\ 9879927597678904/13199784345892928657080925725814362287457819270881\ 667520587002823731*c_0110_5^22 + 1556207551485756287250525163188730\ 6725287456477460464729253353222831/39599353037678785971242777177443\ 086862373457812645002561761008471193*c_0110_5^20 + 1566744118485646602007888079139729291662791803263462675841397469604\ 5/13199784345892928657080925725814362287457819270881667520587002823\ 731*c_0110_5^18 + 8205669596226457230650875686779512805782271052877\ 390081558045129210/131997843458929286570809257258143622874578192708\ 81667520587002823731*c_0110_5^16 + 9983475389404219622094486778547712627448672304184170279354614951211\ 8/39599353037678785971242777177443086862373457812645002561761008471\ 193*c_0110_5^14 - 4259794182221633571394070276581551353788833647877\ 72288424535392851973/3959935303767878597124277717744308686237345781\ 2645002561761008471193*c_0110_5^12 - 4579544785114661694710554849200833472343645526669126655151253880277\ 34/3959935303767878597124277717744308686237345781264500256176100847\ 1193*c_0110_5^10 + 174211457930919412905747457129784265830491010479\ 702983688436381653859/395993530376787859712427771774430868623734578\ 12645002561761008471193*c_0110_5^8 - 1744795456946268051130014725226579726758402587724070245072889016542\ 4/39599353037678785971242777177443086862373457812645002561761008471\ 193*c_0110_5^6 - 92528841955145363048966532893629073750180078244089\ 132996544542744683/395993530376787859712427771774430868623734578126\ 45002561761008471193*c_0110_5^4 + 553056658975588327066288645735306\ 19309263520496031840613930388914941/3959935303767878597124277717744\ 3086862373457812645002561761008471193*c_0110_5^2 - 1877317770661447009165560302510017801967409507749396898225161078678\ /439992811529764288569364190860478742915260642362722250686233427457\ 7, c_0011_4 - 112528303767360631253568113401507904772087309602808802107399\ 02545/5583508778312708821945231582019475247594657551582945361208302\ 194438213*c_0110_5^31 + 2935723008608556786259775464584024333872772\ 75972505936894288022506/1861169592770902940648410527339825082531552\ 517194315120402767398146071*c_0110_5^29 - 275259426107162180531301594638357577113289013479755188663958035280/\ 1861169592770902940648410527339825082531552517194315120402767398146\ 071*c_0110_5^27 - 2514271680312780852461329863688766728297664713091\ 0705603319939364750/18611695927709029406484105273398250825315525171\ 94315120402767398146071*c_0110_5^25 - 2532611148718724318255071161471786556139616207701677077636761690814\ 56/1861169592770902940648410527339825082531552517194315120402767398\ 146071*c_0110_5^23 - 4660351963640281009210881035866018665662783307\ 018623184338497023340847/558350877831270882194523158201947524759465\ 7551582945361208302194438213*c_0110_5^21 - 4648589985042747056070044509072812611750244123493943033688199639066\ 715/186116959277090294064841052733982508253155251719431512040276739\ 8146071*c_0110_5^19 - 104666299265979368701747303328870491400440872\ 36950428973485747574432332/1861169592770902940648410527339825082531\ 552517194315120402767398146071*c_0110_5^17 - 3326075891627475573282199461596443608252303288698111991046558757642\ 5609/55835087783127088219452315820194752475946575515829453612083021\ 94438213*c_0110_5^15 - 23486081659979099942384148867621349516654713\ 657735821543634519381499241/558350877831270882194523158201947524759\ 4657551582945361208302194438213*c_0110_5^13 + 2480004615165940042864969029097215336898173547377011209153893044707\ 54115/5583508778312708821945231582019475247594657551582945361208302\ 194438213*c_0110_5^11 + 3297278386770130296031424440691719326387116\ 44196472357050979463568101066/5583508778312708821945231582019475247\ 594657551582945361208302194438213*c_0110_5^9 + 2174937402528650745003666139862182700570246498249172295246431991976\ 6443/55835087783127088219452315820194752475946575515829453612083021\ 94438213*c_0110_5^7 - 167753188660164750737884846335940065693592242\ 67608935410190984761037687/5583508778312708821945231582019475247594\ 657551582945361208302194438213*c_0110_5^5 + 6198242174234497556379772328961721678282420778648881699143300454166\ 6579/55835087783127088219452315820194752475946575515829453612083021\ 94438213*c_0110_5^3 + 401361363710996450677705729170709258553505450\ 693033593162658012180020/620389864256967646882803509113275027510517\ 505731438373467589132715357*c_0110_5, c_0101_0 - 354813902194300447487529501238345157951097507631544055870188\ 035973/558350877831270882194523158201947524759465755158294536120830\ 2194438213*c_0110_5^31 + 994022996963170285141500466163252162280381\ 9594556721061922844363234/18611695927709029406484105273398250825315\ 52517194315120402767398146071*c_0110_5^29 - 6610148006154063977545495769665757085091547673859830287039002835425\ 6/18611695927709029406484105273398250825315525171943151204027673981\ 46071*c_0110_5^27 - 41320468427444298774567600859851143821757542017\ 5789415115509007655105/18611695927709029406484105273398250825315525\ 17194315120402767398146071*c_0110_5^25 - 5582720065613993268110077007141344721721201557138544132419360328803\ 791/186116959277090294064841052733982508253155251719431512040276739\ 8146071*c_0110_5^23 - 497872350600212546377595577998536359027930955\ 38697341027496703960897740/5583508778312708821945231582019475247594\ 657551582945361208302194438213*c_0110_5^21 - 4919051605707070016799887677364515485548005635821826309470849206508\ 4130/18611695927709029406484105273398250825315525171943151204027673\ 98146071*c_0110_5^19 - 40550963240943091320793743327337356973746195\ 284507163610538236022605010/186116959277090294064841052733982508253\ 1552517194315120402767398146071*c_0110_5^17 - 3031733170393860891015221197195344352587677889002856669543324579046\ 93634/5583508778312708821945231582019475247594657551582945361208302\ 194438213*c_0110_5^15 + 1060181827767017104740590790178985886700921\ 046327266555759027128004416566/558350877831270882194523158201947524\ 7594657551582945361208302194438213*c_0110_5^13 + 1756722283764685329565152902096516956666368430230425891219476316531\ 089555/558350877831270882194523158201947524759465755158294536120830\ 2194438213*c_0110_5^11 + 188289177961165947977490709919045631710123\ 81912772747148093378297849430/5583508778312708821945231582019475247\ 594657551582945361208302194438213*c_0110_5^9 - 1643861827771054387637983391785349641092564995963927029047451875857\ 07559/5583508778312708821945231582019475247594657551582945361208302\ 194438213*c_0110_5^7 + 38092943317973195252381046495775127280799536\ 6464007511952960377249853816/55835087783127088219452315820194752475\ 94657551582945361208302194438213*c_0110_5^5 - 9195170033853165950131953644272337678865009268229923487348623565170\ 613/558350877831270882194523158201947524759465755158294536120830219\ 4438213*c_0110_5^3 + 3781481239485403479057277901837219649642681489\ 45220951417324577187658/6203898642569676468828035091132750275105175\ 05731438373467589132715357*c_0110_5, c_0101_1 - 598877863839978755781433265343062935618877642749384111001609\ 63/3959935303767878597124277717744308686237345781264500256176100847\ 1193*c_0110_5^30 + 168842153552407612168492296169822018769274842677\ 7794333649552579/13199784345892928657080925725814362287457819270881\ 667520587002823731*c_0110_5^28 - 1205839624911069679359098650322375\ 1905604599783252772793360467634/13199784345892928657080925725814362\ 287457819270881667520587002823731*c_0110_5^26 - 63228336696681271005986593220478548500860610723708938541075940408/1\ 3199784345892928657080925725814362287457819270881667520587002823731\ *c_0110_5^24 - 9092074490998450755102474357200401172220696585065085\ 50851428013996/1319978434589292865708092572581436228745781927088166\ 7520587002823731*c_0110_5^22 - 695783586616612200104134557395929034\ 2304003806497452322452825637262/39599353037678785971242777177443086\ 862373457812645002561761008471193*c_0110_5^20 - 7109423114868569919832095781036277933033399491295155856989891395574\ /131997843458929286570809257258143622874578192708816675205870028237\ 31*c_0110_5^18 - 31481509595095798450741327913711295723973136321018\ 89376826885319838/1319978434589292865708092572581436228745781927088\ 1667520587002823731*c_0110_5^16 - 469655196664350816466554819035496\ 84616754234088256580980234790711231/3959935303767878597124277717744\ 3086862373457812645002561761008471193*c_0110_5^14 + 2040202191618472260195050244003995731958918970140294858995207975084\ 16/3959935303767878597124277717744308686237345781264500256176100847\ 1193*c_0110_5^12 + 185341148037451950625562192062472679400668461693\ 291652169163352810679/395993530376787859712427771774430868623734578\ 12645002561761008471193*c_0110_5^10 - 8678076390252134181918751570940181827109183126201119426712271298221\ 0/39599353037678785971242777177443086862373457812645002561761008471\ 193*c_0110_5^8 + 20316160342510951193537364952646455219535909740685\ 534091529410964901/395993530376787859712427771774430868623734578126\ 45002561761008471193*c_0110_5^6 + 313791639860522378855018839837359\ 78034872768254577490972535306881067/3959935303767878597124277717744\ 3086862373457812645002561761008471193*c_0110_5^4 - 2133287321212348904028052333171955384090019895078517029522682615710\ 7/39599353037678785971242777177443086862373457812645002561761008471\ 193*c_0110_5^2 + 34970874918401016658124021926423874495539434882530\ 28670357154829497/4399928115297642885693641908604787429152606423627\ 222506862334274577, c_0101_3 - 168365461606260766809615026920708581803894089326284336942650\ 963/395993530376787859712427771774430868623734578126450025617610084\ 71193*c_0110_5^30 + 47300627653771571320161990975176591611261491114\ 46865217872216659/1319978434589292865708092572581436228745781927088\ 1667520587002823731*c_0110_5^28 - 324797383122489952416033475051290\ 98367645662420247278388550649393/1319978434589292865708092572581436\ 2287457819270881667520587002823731*c_0110_5^26 - 188674466246552570339734187655531215032548002391194514425717962528/\ 1319978434589292865708092572581436228745781927088166752058700282373\ 1*c_0110_5^24 - 260253020708956979380055635712153015159888333068955\ 7442248499191872/13199784345892928657080925725814362287457819270881\ 667520587002823731*c_0110_5^22 - 2175528027037935676714633024291196\ 6676878587474832037716287658802914/39599353037678785971242777177443\ 086862373457812645002561761008471193*c_0110_5^20 - 2148827250790813631346213662633719467753584349773514318082778150870\ 9/13199784345892928657080925725814362287457819270881667520587002823\ 731*c_0110_5^18 - 1385328900116079102632575679313392557845591054013\ 3928058041866345348/13199784345892928657080925725814362287457819270\ 881667520587002823731*c_0110_5^16 - 1306270408684507061280578259840148221394144991587637638990793885646\ 19/3959935303767878597124277717744308686237345781264500256176100847\ 1193*c_0110_5^14 + 535477367442311796717332105047706472339124507358\ 824155035294502986842/395993530376787859712427771774430868623734578\ 12645002561761008471193*c_0110_5^12 + 7190570436930942000047047927379407503278277737240075546107748684222\ 00/3959935303767878597124277717744308686237345781264500256176100847\ 1193*c_0110_5^10 - 192168824846586894067737773145285897899577678676\ 408768202660041875218/395993530376787859712427771774430868623734578\ 12645002561761008471193*c_0110_5^8 - 3491703182074473921696166331573933470740193801225203484787228296837\ 1/39599353037678785971242777177443086862373457812645002561761008471\ 193*c_0110_5^6 + 17911495647378828595501998625597856727934290731677\ 1776367468198135590/39599353037678785971242777177443086862373457812\ 645002561761008471193*c_0110_5^4 - 8736052854675054581047852276398885254679045609906110648530156516933\ 9/39599353037678785971242777177443086862373457812645002561761008471\ 193*c_0110_5^2 - 13425331671742209644487251982540677931948961467041\ 7259704335158780/43999281152976428856936419086047874291526064236272\ 22506862334274577, c_0110_5^32 - 84*c_0110_5^30 + 555*c_0110_5^28 + 3522*c_0110_5^26 + 47346*c_0110_5^24 + 142385*c_0110_5^22 + 420918*c_0110_5^20 + 357762*c_0110_5^18 + 857434*c_0110_5^16 - 2958865*c_0110_5^14 - 5115932*c_0110_5^12 - 185920*c_0110_5^10 + 602432*c_0110_5^8 - 1030075*c_0110_5^6 - 35084*c_0110_5^4 + 6255*c_0110_5^2 + 1701 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB