Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 3431813623] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2435 geometric_solution 5.78239858 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 2310 0 0 0 0 0 -1 0 1 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 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 -1.139047742063 0.813749262194 0 0 3 2 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 1 0 0 -1 -1 -1 0 2 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746683423132 0.898006514989 4 5 1 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 1 -2 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 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.215554485828 0.482111628533 5 4 5 1 3201 2310 3120 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750400225075 0.423810495780 2 2 6 3 0132 0321 0132 3201 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 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.584134308626 0.963241604913 6 2 3 3 2103 0132 3120 2310 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515262546745 0.515518389767 6 6 5 4 1302 2031 2103 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.136178774575 0.702874858165 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_1001_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0011_6, c_0101_1, c_0101_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 6009174195007007232974267839445268830/20012487531255373619087165249\ 20507*c_1001_3^19 - 459135905059239713723347296969339284/1819317048\ 29594305628065138629137*c_1001_3^18 + 30834210963164431484297820997348015882/2001248753125537361908716524\ 920507*c_1001_3^17 + 61162461122685349338691209772526142326/2001248\ 753125537361908716524920507*c_1001_3^16 + 1029913760089557437429537259860767814364/20012487531255373619087165\ 24920507*c_1001_3^15 + 2732313515054227868777833336264151936811/200\ 1248753125537361908716524920507*c_1001_3^14 + 517235277212908039304093308706924080824/153942211778887489377593578\ 840039*c_1001_3^13 + 12624892414361406180013117765255625179717/2001\ 248753125537361908716524920507*c_1001_3^12 + 9383022465739783157960028471136216698880/20012487531255373619087165\ 24920507*c_1001_3^11 + 14830253512345471418160999156878364879592/20\ 01248753125537361908716524920507*c_1001_3^10 - 9604734364295792231084013181153358684717/20012487531255373619087165\ 24920507*c_1001_3^9 - 395628504918607195846826642782182934836/18193\ 1704829594305628065138629137*c_1001_3^8 - 16818399955628439337952718692477021147542/2001248753125537361908716\ 524920507*c_1001_3^7 - 11779844322248757174575976703922877487608/20\ 01248753125537361908716524920507*c_1001_3^6 + 360781424681712422039559486454752487339/870108153532842331264659358\ 66109*c_1001_3^5 + 6752025909796314453390746757397087475380/2001248\ 753125537361908716524920507*c_1001_3^4 - 675253905758464803439259922020237404854/200124875312553736190871652\ 4920507*c_1001_3^3 - 854938713340695416816138373963667740268/200124\ 8753125537361908716524920507*c_1001_3^2 - 3729811644490443639738198384203978345/20012487531255373619087165249\ 20507*c_1001_3 + 35224595757387198592218310457663645961/20012487531\ 25537361908716524920507, c_0011_0 - 1, c_0011_2 + 1336620436668131743690962851472388/7697110588944374468879678\ 94200195*c_1001_3^19 + 32984186240286702944247520100722/13994746525\ 353408125235779894549*c_1001_3^18 - 1225819008993821579034449121191265/15394221177888748937759357884003\ 9*c_1001_3^17 - 16967297693175687530852586068157553/769711058894437\ 446887967894200195*c_1001_3^16 - 2368215032651686687606177746283786\ 31/769711058894437446887967894200195*c_1001_3^15 - 145585537041015800622845888181475548/153942211778887489377593578840\ 039*c_1001_3^14 - 1835828503962377956898817329065609533/76971105889\ 4437446887967894200195*c_1001_3^13 - 3658513928441816303415504166597687526/76971105889443744688796789420\ 0195*c_1001_3^12 - 3732003956323172571202737123856537158/7697110588\ 94437446887967894200195*c_1001_3^11 - 4757827098907143931471189373513915012/76971105889443744688796789420\ 0195*c_1001_3^10 + 13743738558023861028731390114564932/153942211778\ 887489377593578840039*c_1001_3^9 + 144783470320953444262962990497007549/699737326267670406261788994727\ 45*c_1001_3^8 + 4315670088768237106097223357254773292/7697110588944\ 37446887967894200195*c_1001_3^7 + 944168656170992476380906578481841\ 600/153942211778887489377593578840039*c_1001_3^6 - 1424693420880696268879569129292242/33465698212801628125563821486965\ *c_1001_3^5 - 398782370287036277181344499988811206/1539422117788874\ 89377593578840039*c_1001_3^4 - 138587037327591395532023936200131131\ /153942211778887489377593578840039*c_1001_3^3 + 53870301883308337204789111469065472/7697110588944374468879678942001\ 95*c_1001_3^2 + 10176254825266677344514028482640547/153942211778887\ 489377593578840039*c_1001_3 + 5323946790446769264450710768348902/76\ 9711058894437446887967894200195, c_0011_3 - 1175349811125789437075146214641863/7697110588944374468879678\ 94200195*c_1001_3^19 - 23591606645429574419297493741288/13994746525\ 353408125235779894549*c_1001_3^18 + 1135661560702772503723925976810806/15394221177888748937759357884003\ 9*c_1001_3^17 + 13446411702158899065181567853043913/769711058894437\ 446887967894200195*c_1001_3^16 + 2050407070691889202734654009267665\ 51/769711058894437446887967894200195*c_1001_3^15 + 117715270963289998920674831256365199/153942211778887489377593578840\ 039*c_1001_3^14 + 1472129106754902736607848644485030693/76971105889\ 4437446887967894200195*c_1001_3^13 + 2862734490088786270814614076803479316/76971105889443744688796789420\ 0195*c_1001_3^12 + 2602904035229494869088715442356834503/7697110588\ 94437446887967894200195*c_1001_3^11 + 3612452722231110380064935735410626767/76971105889443744688796789420\ 0195*c_1001_3^10 - 180821686387340622616609605205784958/15394221177\ 8887489377593578840039*c_1001_3^9 - 96403269405512445019918700574339019/6997373262676704062617889947274\ 5*c_1001_3^8 - 3578054858360820371927026006605269687/76971105889443\ 7446887967894200195*c_1001_3^7 - 6528675918812568362874213444026187\ 77/153942211778887489377593578840039*c_1001_3^6 + 31996746764734389152587395366591087/3346569821280162812556382148696\ 5*c_1001_3^5 + 296510040103846268788335896495629689/153942211778887\ 489377593578840039*c_1001_3^4 + 54145584451169001319909579968172820\ /153942211778887489377593578840039*c_1001_3^3 - 77100063765365877448194165802053792/7697110588944374468879678942001\ 95*c_1001_3^2 - 4591202174121138290472819359955243/1539422117788874\ 89377593578840039*c_1001_3 - 1298237522221565108047197769754157/769\ 711058894437446887967894200195, c_0011_6 + 998499213229219966268665529586473/76971105889443744688796789\ 4200195*c_1001_3^19 + 23725546459081648338683073631528/139947465253\ 53408125235779894549*c_1001_3^18 - 915763175796181521941228888252480/153942211778887489377593578840039\ *c_1001_3^17 - 12396238679107934466883769602435858/7697110588944374\ 46887967894200195*c_1001_3^16 - 17662225209122629484713143460202419\ 1/769711058894437446887967894200195*c_1001_3^15 - 107102417056168370057284128247627047/153942211778887489377593578840\ 039*c_1001_3^14 - 1355654186455968338931981511077055248/76971105889\ 4437446887967894200195*c_1001_3^13 - 2693434412603970057326850419055473661/76971105889443744688796789420\ 0195*c_1001_3^12 - 2723946547218111188843486698443811483/7697110588\ 94437446887967894200195*c_1001_3^11 - 3550858356817093164486066158733381492/76971105889443744688796789420\ 0195*c_1001_3^10 + 26562719615024204891596713735737177/153942211778\ 887489377593578840039*c_1001_3^9 + 92195698562181663305732191093656364/6997373262676704062617889947274\ 5*c_1001_3^8 + 3281860422492705331503095052305227872/76971105889443\ 7446887967894200195*c_1001_3^7 + 6750031274508892962416743280023289\ 31/153942211778887489377593578840039*c_1001_3^6 - 66869857084069343698344710644982/33465698212801628125563821486965*c\ _1001_3^5 - 275808343738544207064755901300873325/153942211778887489\ 377593578840039*c_1001_3^4 - 105493778708552779589582641983040693/1\ 53942211778887489377593578840039*c_1001_3^3 + 17391888128975263009152749421283137/7697110588944374468879678942001\ 95*c_1001_3^2 + 8039124095258471420180808289677685/1539422117788874\ 89377593578840039*c_1001_3 + 4713728342395387740977739801816392/769\ 711058894437446887967894200195, c_0101_1 + 591417610755837147652989674842873/76971105889443744688796789\ 4200195*c_1001_3^19 + 17066083908156595009672649956764/139947465253\ 53408125235779894549*c_1001_3^18 - 506227203373738979160640807414140/153942211778887489377593578840039\ *c_1001_3^17 - 8149539069426107635889312132985018/76971105889443744\ 6887967894200195*c_1001_3^16 - 106504998791727491354023552431357806\ /769711058894437446887967894200195*c_1001_3^15 - 69211201875196593391468361931516576/1539422117788874893775935788400\ 39*c_1001_3^14 - 885554945576324761972212893886283683/7697110588944\ 37446887967894200195*c_1001_3^13 - 1801157708728344038913581937733296761/76971105889443744688796789420\ 0195*c_1001_3^12 - 2012458290335378457612876286300254688/7697110588\ 94437446887967894200195*c_1001_3^11 - 2459961415660415241285723373893192502/76971105889443744688796789420\ 0195*c_1001_3^10 - 83168799561560652525342205490441122/153942211778\ 887489377593578840039*c_1001_3^9 + 67657097985154135478320765725208124/6997373262676704062617889947274\ 5*c_1001_3^8 + 2106834490815216922137095869715455502/76971105889443\ 7446887967894200195*c_1001_3^7 + 5000716068779265942079927882836256\ 95/153942211778887489377593578840039*c_1001_3^6 + 19770635551262610688912711632849783/3346569821280162812556382148696\ 5*c_1001_3^5 - 187545022247108618864755391911753973/153942211778887\ 489377593578840039*c_1001_3^4 - 10584234575676639776552083216268965\ 9/153942211778887489377593578840039*c_1001_3^3 - 24524498231539108218314231633178398/7697110588944374468879678942001\ 95*c_1001_3^2 + 7522700329160881514263394627456249/1539422117788874\ 89377593578840039*c_1001_3 + 5725736753391892012226483587711257/769\ 711058894437446887967894200195, c_0101_2 + 674305071367993768601305947024493/76971105889443744688796789\ 4200195*c_1001_3^19 + 18099932108112961900926504622382/139947465253\ 53408125235779894549*c_1001_3^18 - 594312422765982918771112025032673/153942211778887489377593578840039\ *c_1001_3^17 - 8932495730036788769806284315210083/76971105889443744\ 6887967894200195*c_1001_3^16 - 120559895663260068461529606596028246\ /769711058894437446887967894200195*c_1001_3^15 - 76299829824171796626607706119416793/1539422117788874893775935788400\ 39*c_1001_3^14 - 971721069034255987971996925685025388/7697110588944\ 37446887967894200195*c_1001_3^13 - 1958759203274940880733746081516232286/76971105889443744688796789420\ 0195*c_1001_3^12 - 2109441639241863739174036079448634988/7697110588\ 94437446887967894200195*c_1001_3^11 - 2633705470436427828530216816390424237/76971105889443744688796789420\ 0195*c_1001_3^10 - 48327566092611450669905569771368815/153942211778\ 887489377593578840039*c_1001_3^9 + 72513360780810748737220896019546644/6997373262676704062617889947274\ 5*c_1001_3^8 + 2326949408100862069626086664347807367/76971105889443\ 7446887967894200195*c_1001_3^7 + 5245959246036714421089968897311720\ 41/153942211778887489377593578840039*c_1001_3^6 + 13097298775483592404952655322160993/3346569821280162812556382148696\ 5*c_1001_3^5 - 205248622436257296841597268474722051/153942211778887\ 489377593578840039*c_1001_3^4 - 10087314754032852436274352022265099\ 1/153942211778887489377593578840039*c_1001_3^3 - 8244763129352356135494321267936738/76971105889443744688796789420019\ 5*c_1001_3^2 + 7372661349293899181438968224124571/15394221177888748\ 9377593578840039*c_1001_3 + 5263762279594469986905976235993782/7697\ 11058894437446887967894200195, c_1001_3^20 + c_1001_3^19 - 5*c_1001_3^18 - 11*c_1001_3^17 - 173*c_1001_3^16 - 482*c_1001_3^15 - 1191*c_1001_3^14 - 2278*c_1001_3^13 - 1893*c_1001_3^12 - 2710*c_1001_3^11 + 1211*c_1001_3^10 + 988*c_1001_3^9 + 2912*c_1001_3^8 + 2404*c_1001_3^7 - 1077*c_1001_3^6 - 1352*c_1001_3^5 - 65*c_1001_3^4 + 164*c_1001_3^3 + 24*c_1001_3^2 - 6*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB