Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 4256981444] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0136 geometric_solution 3.64057150 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636192474918 0.021757628765 2 0 2 0 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793792502359 0.031936505269 1 3 1 3 0132 0132 1023 1023 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 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 0 0 0.499188124409 0.137667927813 4 2 4 2 0132 0132 2310 1023 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 0 0 -1 0 1 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 -1.916809710370 3.838987532910 3 3 5 6 0132 3201 0132 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 -1 0 1 1 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 0.004122989207 0.504153161107 6 6 6 4 1230 3012 2031 0132 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 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.999918195651 1.008292613506 5 5 4 5 1230 3012 0132 1302 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 -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.999918195651 1.008292613506 ==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_5'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], '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_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), '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_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 3860169208806274083101351218997040938116583803218212/14758126856838\ 855050737393322746175600632390072205*c_0101_5^20 - 2801096796348623065893208486254611884942282448662592/13416478960762\ 59550067035756613288690966580915655*c_0101_5^19 + 60554667408283150294706580877095965713645051114350267/2951625371367\ 771010147478664549235120126478014441*c_0101_5^18 + 1112521445167696659301034583375692972558477559787802178/29516253713\ 67771010147478664549235120126478014441*c_0101_5^17 + 17245124434998605835404628080088404424707408581015386656/1475812685\ 6838855050737393322746175600632390072205*c_0101_5^16 - 676795634244694827452200962145618976548636717298186572/147581268568\ 38855050737393322746175600632390072205*c_0101_5^15 - 103579878224658872693715403888926937729025343902518836411/147581268\ 56838855050737393322746175600632390072205*c_0101_5^14 - 318340117419745511727481214229674740027899108017195242653/147581268\ 56838855050737393322746175600632390072205*c_0101_5^13 - 401062774889653062107589854593649359841382462722163682754/147581268\ 56838855050737393322746175600632390072205*c_0101_5^12 - 98572006512768920640895913010004269685081473617247031467/1475812685\ 6838855050737393322746175600632390072205*c_0101_5^11 + 19832335252415371651717708185171018111112813104362128227/2951625371\ 367771010147478664549235120126478014441*c_0101_5^10 - 2222642033646622880475425556900141373793961944972767987/14758126856\ 838855050737393322746175600632390072205*c_0101_5^9 + 3814210526538452739957647727102903357649044521007046389/29516253713\ 67771010147478664549235120126478014441*c_0101_5^8 + 12531647140909408076117139115511730606992152643093972717/2951625371\ 367771010147478664549235120126478014441*c_0101_5^7 + 10035315719569270469630573364859220969389715159541594379/1475812685\ 6838855050737393322746175600632390072205*c_0101_5^6 - 12525522658520761183684685335314256109928203395680264622/1475812685\ 6838855050737393322746175600632390072205*c_0101_5^5 - 5696455961735555466004650364150419571652876790182839756/14758126856\ 838855050737393322746175600632390072205*c_0101_5^4 - 789176783957349005897557873269074976369725787217380131/147581268568\ 38855050737393322746175600632390072205*c_0101_5^3 + 894091893703968509530084662737424657999090187921282723/147581268568\ 38855050737393322746175600632390072205*c_0101_5^2 + 236908333244010254956318475691498270795907563109432171/147581268568\ 38855050737393322746175600632390072205*c_0101_5 - 66474328212360934021047670642624775771782481143725228/1475812685683\ 8855050737393322746175600632390072205, c_0011_0 - 1, c_0011_1 - 13715449244555416180716109245209507009757275812314/187830705\ 4506763370093850059258604167353213281917*c_0101_5^20 + 105072071748270769079356459496775593382962169177681/187830705450676\ 3370093850059258604167353213281917*c_0101_5^19 - 1043098769275354011151027794792001207664723604929011/18783070545067\ 63370093850059258604167353213281917*c_0101_5^18 - 2870094644006720155629284677268252283710231870130829/26832957921525\ 1910013407151322657738193316183131*c_0101_5^17 - 67811669264172828599624263306524512637772688411888237/1878307054506\ 763370093850059258604167353213281917*c_0101_5^16 - 20908619155891092461409833812568242335108312282572585/1878307054506\ 763370093850059258604167353213281917*c_0101_5^15 + 356704649789262338366270022768203521354137387513792067/187830705450\ 6763370093850059258604167353213281917*c_0101_5^14 + 178019476599986483191914347134984779976823221460370728/268329579215\ 251910013407151322657738193316183131*c_0101_5^13 + 1853022104018067716006233170847811110603798164157829403/18783070545\ 06763370093850059258604167353213281917*c_0101_5^12 + 1030323535647637012571335772770472667037562129951583931/18783070545\ 06763370093850059258604167353213281917*c_0101_5^11 + 84573751062314590487809465032551485471789313758510915/1878307054506\ 763370093850059258604167353213281917*c_0101_5^10 + 65926283319530345746994382995663925452020342326851775/1878307054506\ 763370093850059258604167353213281917*c_0101_5^9 - 8108147923119913373430325042542080130039706721148853/26832957921525\ 1910013407151322657738193316183131*c_0101_5^8 - 233284078585726934178398215586659425607955950331738553/187830705450\ 6763370093850059258604167353213281917*c_0101_5^7 - 119083033752610939572158907662002266183852982933396765/187830705450\ 6763370093850059258604167353213281917*c_0101_5^6 - 8220776036761621243333009909738142082908718983992486/18783070545067\ 63370093850059258604167353213281917*c_0101_5^5 + 14861262251701545707150973161099166152612506897709825/1878307054506\ 763370093850059258604167353213281917*c_0101_5^4 + 8483778556936326383211029803384802509197669080090693/18783070545067\ 63370093850059258604167353213281917*c_0101_5^3 + 562870704323601787625470478333579230683454865961279/187830705450676\ 3370093850059258604167353213281917*c_0101_5^2 - 389839585367469234927486851220925170732528019181083/187830705450676\ 3370093850059258604167353213281917*c_0101_5 + 20776160758328058415204263905909167569765001151442/1878307054506763\ 370093850059258604167353213281917, c_0011_5 + 5863717892619927874509739313485789497563935286228/1878307054\ 506763370093850059258604167353213281917*c_0101_5^20 - 44589059475229817586378213251360193472488405448716/1878307054506763\ 370093850059258604167353213281917*c_0101_5^19 + 443231570329504010915465138260334429622207519010033/187830705450676\ 3370093850059258604167353213281917*c_0101_5^18 + 1230854364313957918364824422581118167703804042178754/26832957921525\ 1910013407151322657738193316183131*c_0101_5^17 + 29463526176133191174432472122202872303544626522994734/1878307054506\ 763370093850059258604167353213281917*c_0101_5^16 + 10327662658794536787005974876741080609416778181101430/1878307054506\ 763370093850059258604167353213281917*c_0101_5^15 - 152754570710023115600862259074660383456429855219624880/187830705450\ 6763370093850059258604167353213281917*c_0101_5^14 - 77330888701501829812372098709691704648699388549709323/2683295792152\ 51910013407151322657738193316183131*c_0101_5^13 - 817819503639010389416281029381522000775743044372748018/187830705450\ 6763370093850059258604167353213281917*c_0101_5^12 - 471348411261785861756684571825849100793658917347975187/187830705450\ 6763370093850059258604167353213281917*c_0101_5^11 - 43536478873852003708352798585693832947940355691296905/1878307054506\ 763370093850059258604167353213281917*c_0101_5^10 - 24821767922017782001652236480168268090503209462623888/1878307054506\ 763370093850059258604167353213281917*c_0101_5^9 + 3070404868945860212605418353107233294209323403262575/26832957921525\ 1910013407151322657738193316183131*c_0101_5^8 + 102603571760578223299510105945840469136267847377146404/187830705450\ 6763370093850059258604167353213281917*c_0101_5^7 + 55143324000512561325341973004200959563001147279336595/1878307054506\ 763370093850059258604167353213281917*c_0101_5^6 + 4042153536482274853171939891177170743757303044564466/18783070545067\ 63370093850059258604167353213281917*c_0101_5^5 - 6626553225304860479150328547076099330329019416050842/18783070545067\ 63370093850059258604167353213281917*c_0101_5^4 - 3906968311649445983516028390150989696725173748327611/18783070545067\ 63370093850059258604167353213281917*c_0101_5^3 - 302955886213780837276651890883143782906803381016325/187830705450676\ 3370093850059258604167353213281917*c_0101_5^2 + 195304921798939697167164757829032739776317302870072/187830705450676\ 3370093850059258604167353213281917*c_0101_5 - 10370248429503880484870997690505021728041659272618/1878307054506763\ 370093850059258604167353213281917, c_0101_0 + 3514952862605477577176606845679028471651705080492/1878307054\ 506763370093850059258604167353213281917*c_0101_5^20 - 26732721804520293018801247081268546562741482990718/1878307054506763\ 370093850059258604167353213281917*c_0101_5^19 + 265599234139695210898731132487726570063280277807769/187830705450676\ 3370093850059258604167353213281917*c_0101_5^18 + 737924941515694111675225185774422059645556655151066/268329579215251\ 910013407151322657738193316183131*c_0101_5^17 + 17645437906971282592731459036827812821337486485799956/1878307054506\ 763370093850059258604167353213281917*c_0101_5^16 + 5993867030248283205423672141939709072368005442430447/18783070545067\ 63370093850059258604167353213281917*c_0101_5^15 - 92086723717829106571795581036058554562950786798813606/1878307054506\ 763370093850059258604167353213281917*c_0101_5^14 - 46325133808042905226955489909192261326129855908358881/2683295792152\ 51910013407151322657738193316183131*c_0101_5^13 - 486692117260822632300893657734704090579579298496791502/187830705450\ 6763370093850059258604167353213281917*c_0101_5^12 - 272506214999302337976423584091633116123263570291688499/187830705450\ 6763370093850059258604167353213281917*c_0101_5^11 - 14373446800422151504669320341363796195873360858195302/1878307054506\ 763370093850059258604167353213281917*c_0101_5^10 - 11867073894690537865717778382866667075222749986666723/1878307054506\ 763370093850059258604167353213281917*c_0101_5^9 + 1742098150437520587172255040082769946134787488861877/26832957921525\ 1910013407151322657738193316183131*c_0101_5^8 + 62503985946180404323032991266133201823415712193948808/1878307054506\ 763370093850059258604167353213281917*c_0101_5^7 + 31814264208224269058494736947273598290612752276162293/1878307054506\ 763370093850059258604167353213281917*c_0101_5^6 + 945888327794721206726709738066426855540095872894282/187830705450676\ 3370093850059258604167353213281917*c_0101_5^5 - 4271054904404020960146728260938818280963120728196467/18783070545067\ 63370093850059258604167353213281917*c_0101_5^4 - 2283010641472783630270089181026470530909783102197138/18783070545067\ 63370093850059258604167353213281917*c_0101_5^3 - 80039260401891631964102690626830380045915393401706/1878307054506763\ 370093850059258604167353213281917*c_0101_5^2 + 140087790494398193828629850772449598265706950962916/187830705450676\ 3370093850059258604167353213281917*c_0101_5 - 9422898533496317674915873262544223773462239126340/18783070545067633\ 70093850059258604167353213281917, c_0101_1 + 40597501642445997313560575921781396886601965684726/187830705\ 4506763370093850059258604167353213281917*c_0101_5^20 - 306209346527522083624612284519041348103757909203484/187830705450676\ 3370093850059258604167353213281917*c_0101_5^19 + 3048561068629076611755244555386349195760923132374521/18783070545067\ 63370093850059258604167353213281917*c_0101_5^18 + 8550167077457922293394195346807450207316573645346517/26832957921525\ 1910013407151322657738193316183131*c_0101_5^17 + 207579786025659134625348360442483467095535258689434579/187830705450\ 6763370093850059258604167353213281917*c_0101_5^16 + 82485041334488288585144018483365188642082870288011875/1878307054506\ 763370093850059258604167353213281917*c_0101_5^15 - 1057950752985251462393731132324822620906862166686592894/18783070545\ 06763370093850059258604167353213281917*c_0101_5^14 - 544628855653925116511274795429706998249348706052019025/268329579215\ 251910013407151322657738193316183131*c_0101_5^13 - 5864389818004019038055390507296025815895628675013700737/18783070545\ 06763370093850059258604167353213281917*c_0101_5^12 - 3524754119567150281474591060285745495091918460079309722/18783070545\ 06763370093850059258604167353213281917*c_0101_5^11 - 394225040976829618400499547077462296909842862028470496/187830705450\ 6763370093850059258604167353213281917*c_0101_5^10 - 160051921194170710267082697746711508494657084154571169/187830705450\ 6763370093850059258604167353213281917*c_0101_5^9 + 18368908799664588608322336573671977806298775564610408/2683295792152\ 51910013407151322657738193316183131*c_0101_5^8 + 728499765444328025895002008252298349143106933172355694/187830705450\ 6763370093850059258604167353213281917*c_0101_5^7 + 416434133198716235101603958118775337228794679804363984/187830705450\ 6763370093850059258604167353213281917*c_0101_5^6 + 36811606046880400657942740775069688559056054151450012/1878307054506\ 763370093850059258604167353213281917*c_0101_5^5 - 46688962046978449693151400213182020830926948895928921/1878307054506\ 763370093850059258604167353213281917*c_0101_5^4 - 29087278371955396990756650137766040999013922916488173/1878307054506\ 763370093850059258604167353213281917*c_0101_5^3 - 2819085888570333547132404845541474834731745157538473/18783070545067\ 63370093850059258604167353213281917*c_0101_5^2 + 1485881448512815093583939419857125989726543084121608/18783070545067\ 63370093850059258604167353213281917*c_0101_5 - 73917659853032576593705809985301846360040466017590/1878307054506763\ 370093850059258604167353213281917, c_0101_3 + 13952632388446451351110243824492965987471845421724/187830705\ 4506763370093850059258604167353213281917*c_0101_5^20 - 106083018649609426462260769858817782774661360254955/187830705450676\ 3370093850059258604167353213281917*c_0101_5^19 + 1054591614952206582004803819852954609947403288574521/18783070545067\ 63370093850059258604167353213281917*c_0101_5^18 + 2928915557686048755954994618037086169897651908204425/26832957921525\ 1910013407151322657738193316183131*c_0101_5^17 + 70135523212797434856591747617933272929918941917522646/1878307054506\ 763370093850059258604167353213281917*c_0101_5^16 + 24727011397058679938984211409048351743466627911015170/1878307054506\ 763370093850059258604167353213281917*c_0101_5^15 - 363227183988476364269781499564155536579251230908268750/187830705450\ 6763370093850059258604167353213281917*c_0101_5^14 - 184067590427713302050553555822531671794571601733704500/268329579215\ 251910013407151322657738193316183131*c_0101_5^13 - 1948762171326074000227644431768698810981306365693763361/18783070545\ 06763370093850059258604167353213281917*c_0101_5^12 - 1127880206548236725408886778252759431145538857206736637/18783070545\ 06763370093850059258604167353213281917*c_0101_5^11 - 110217003969936163770456819853081624060606267383717125/187830705450\ 6763370093850059258604167353213281917*c_0101_5^10 - 61181449263005973755925321942398413749759552167207059/1878307054506\ 763370093850059258604167353213281917*c_0101_5^9 + 7314222079466592327493218240078656683600129731505501/26832957921525\ 1910013407151322657738193316183131*c_0101_5^8 + 243718722904758193428518840141709106721186226906188367/187830705450\ 6763370093850059258604167353213281917*c_0101_5^7 + 131852917699792090733262404556163183830845825465046360/187830705450\ 6763370093850059258604167353213281917*c_0101_5^6 + 10488726269881284909613220545422662853653770117060859/1878307054506\ 763370093850059258604167353213281917*c_0101_5^5 - 15569827191522488319145200218305107454502342668491211/1878307054506\ 763370093850059258604167353213281917*c_0101_5^4 - 9317398754411510132222673438411989991233127698299278/18783070545067\ 63370093850059258604167353213281917*c_0101_5^3 - 765402106945865452473348328030118905549655603569572/187830705450676\ 3370093850059258604167353213281917*c_0101_5^2 + 451852059211150651719739929870031571789589722271990/187830705450676\ 3370093850059258604167353213281917*c_0101_5 - 23398371953627699797833786975748093825241961592943/1878307054506763\ 370093850059258604167353213281917, c_0101_5^21 - 7*c_0101_5^20 + 71*c_0101_5^19 + 1515*c_0101_5^18 + 5913*c_0101_5^17 + 4806*c_0101_5^16 - 24957*c_0101_5^15 - 108046*c_0101_5^14 - 195403*c_0101_5^13 - 165199*c_0101_5^12 - 56824*c_0101_5^11 - 9221*c_0101_5^10 + 1021*c_0101_5^9 + 19660*c_0101_5^8 + 19992*c_0101_5^7 + 6472*c_0101_5^6 - 657*c_0101_5^5 - 1340*c_0101_5^4 - 458*c_0101_5^3 - c_0101_5^2 + 18*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB