Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 4256981279] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0561 geometric_solution 4.57775682 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 -1 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 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 2.374898377399 1.215988049419 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 -1 1 0 -1 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.595150842386 0.143505102528 0 3 4 0 3201 0132 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 1 0 -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.333139815315 0.629195363281 4 2 5 4 2310 0132 0132 3201 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 -1 1 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.213024882196 0.833101772619 5 3 3 2 0132 2310 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.213024882196 0.833101772619 4 6 6 3 0132 0132 3201 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 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.318145924207 0.751557682281 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.939614569645 0.600443267638 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 275518897802211683377180936/3717372513979346921045105*c_0101_6^17 + 282125224151344841044538848/3717372513979346921045105*c_0101_6^16 - 3058651058175988250497085774/3717372513979346921045105*c_0101_6^15 + 919345380609067184673516336/743474502795869384209021*c_0101_6^14 + 5828704950702512268314049317/3717372513979346921045105*c_0101_6^13 - 16570273293133713768252844278/3717372513979346921045105*c_0101_6^12 + 297138201604760825784063987/3717372513979346921045105*c_0101_6^11 - 9164265324356899088025338529/3717372513979346921045105*c_0101_6^1\ 0 + 13823350857334734624743632507/3717372513979346921045105*c_0101_\ 6^9 + 53459494024481927272903138672/3717372513979346921045105*c_010\ 1_6^8 - 50374049576706743980345557311/3717372513979346921045105*c_0\ 101_6^7 - 38097376083323949190064289723/3717372513979346921045105*c\ _0101_6^6 + 45165707875612501175261919846/3717372513979346921045105\ *c_0101_6^5 + 201936535054663162765194088/337942955816304265549555*\ c_0101_6^4 - 10497872731573506000365434532/371737251397934692104510\ 5*c_0101_6^3 + 2866757985209000063556157668/37173725139793469210451\ 05*c_0101_6^2 - 1332449028553251533601040524/3717372513979346921045\ 105*c_0101_6 + 392182609967501078562780708/371737251397934692104510\ 5, c_0011_0 - 1, c_0011_2 + 44208100260592389791640/67588591163260853109911*c_0101_6^17 + 58114689218151184149320/67588591163260853109911*c_0101_6^16 - 476869557906930948083306/67588591163260853109911*c_0101_6^15 + 583763156932424274844782/67588591163260853109911*c_0101_6^14 + 1121180044670398157482695/67588591163260853109911*c_0101_6^13 - 2260968191227519638745062/67588591163260853109911*c_0101_6^12 - 838932383323257167873943/67588591163260853109911*c_0101_6^11 - 1776107396764320339457600/67588591163260853109911*c_0101_6^10 + 2214798411667463892402549/67588591163260853109911*c_0101_6^9 + 9397001247994282437072491/67588591163260853109911*c_0101_6^8 - 4721149791071258397573041/67588591163260853109911*c_0101_6^7 - 8482882216523579093262429/67588591163260853109911*c_0101_6^6 + 3318544217785132763838672/67588591163260853109911*c_0101_6^5 + 2761618875498590316942912/67588591163260853109911*c_0101_6^4 - 371963796619663911307856/67588591163260853109911*c_0101_6^3 - 215099841544246343908809/67588591163260853109911*c_0101_6^2 - 237840739101008995519844/67588591163260853109911*c_0101_6 - 3304915108807473000969/67588591163260853109911, c_0011_4 - 50077736775163792150948/67588591163260853109911*c_0101_6^17 - 67957170062109207846140/67588591163260853109911*c_0101_6^16 + 542693898806566727425181/67588591163260853109911*c_0101_6^15 - 649726561074728382113293/67588591163260853109911*c_0101_6^14 - 1373284103340465536188198/67588591163260853109911*c_0101_6^13 + 2771781931464950823630368/67588591163260853109911*c_0101_6^12 + 871903205233270095737894/67588591163260853109911*c_0101_6^11 + 1519836494184711320145259/67588591163260853109911*c_0101_6^10 - 1625349154019829880947062/67588591163260853109911*c_0101_6^9 - 11104854365015427288557968/67588591163260853109911*c_0101_6^8 + 6323316924255011367496359/67588591163260853109911*c_0101_6^7 + 9740579184074427518111921/67588591163260853109911*c_0101_6^6 - 6711715256873568741133780/67588591163260853109911*c_0101_6^5 - 1810990881938249023569096/67588591163260853109911*c_0101_6^4 + 1743482408481024913432112/67588591163260853109911*c_0101_6^3 - 495136092083391214249135/67588591163260853109911*c_0101_6^2 + 258468845128426185030749/67588591163260853109911*c_0101_6 + 9450118004993965710390/67588591163260853109911, c_0101_0 + 16115247858240099939392/67588591163260853109911*c_0101_6^17 - 10825275371468017356796/67588591163260853109911*c_0101_6^16 - 213383137000002579226192/67588591163260853109911*c_0101_6^15 + 554277248279063177770783/67588591163260853109911*c_0101_6^14 - 53301144614139952519448/67588591163260853109911*c_0101_6^13 - 1535855433292843998126515/67588591163260853109911*c_0101_6^12 + 1320891092335296658721886/67588591163260853109911*c_0101_6^11 - 317283684832090832334330/67588591163260853109911*c_0101_6^10 + 2248182670100873681683748/67588591163260853109911*c_0101_6^9 + 1873612173303379147129366/67588591163260853109911*c_0101_6^8 - 7800490151351714914053115/67588591163260853109911*c_0101_6^7 + 670027974019732508434378/67588591163260853109911*c_0101_6^6 + 5926405792819279015273250/67588591163260853109911*c_0101_6^5 - 2036506282114112044073428/67588591163260853109911*c_0101_6^4 - 1369413134098202178611843/67588591163260853109911*c_0101_6^3 + 673877431513406828558292/67588591163260853109911*c_0101_6^2 - 80219426982589845840999/67588591163260853109911*c_0101_6 + 34238878557239748057112/67588591163260853109911, c_0101_1 - 45279864828834486718096/67588591163260853109911*c_0101_6^17 - 42541878087054631200508/67588591163260853109911*c_0101_6^16 + 511788262647403798917176/67588591163260853109911*c_0101_6^15 - 782558834433621266251489/67588591163260853109911*c_0101_6^14 - 937784217866520242861441/67588591163260853109911*c_0101_6^13 + 2790736499319622892402617/67588591163260853109911*c_0101_6^12 - 37630305907706422412353/67588591163260853109911*c_0101_6^11 + 1398475155782053683237251/67588591163260853109911*c_0101_6^10 - 2792336427172025108092207/67588591163260853109911*c_0101_6^9 - 8885505457031411342542666/67588591163260853109911*c_0101_6^8 + 8611037097859239906869328/67588591163260853109911*c_0101_6^7 + 6981585348322355605044088/67588591163260853109911*c_0101_6^6 - 7203365027951851508068933/67588591163260853109911*c_0101_6^5 - 1059385275987785487588317/67588591163260853109911*c_0101_6^4 + 1629859706415376108492444/67588591163260853109911*c_0101_6^3 - 354654955048354505090153/67588591163260853109911*c_0101_6^2 + 244139113328706858881345/67588591163260853109911*c_0101_6 + 2030490512121972506946/67588591163260853109911, c_0101_3 + 6838377727136460356252/67588591163260853109911*c_0101_6^17 + 10477489096029492881180/67588591163260853109911*c_0101_6^16 - 64025634987739786992011/67588591163260853109911*c_0101_6^15 + 87997376237009765083261/67588591163260853109911*c_0101_6^14 + 120821821584736481195652/67588591163260853109911*c_0101_6^13 - 232921249272650165153162/67588591163260853109911*c_0101_6^12 - 24877584483353570381913/67588591163260853109911*c_0101_6^11 - 554633676287068841141504/67588591163260853109911*c_0101_6^10 + 141718900918061944284866/67588591163260853109911*c_0101_6^9 + 944228525151988233267068/67588591163260853109911*c_0101_6^8 - 336578245427840411746006/67588591163260853109911*c_0101_6^7 - 167110728512683003045066/67588591163260853109911*c_0101_6^6 + 46083800878072032977503/67588591163260853109911*c_0101_6^5 - 129300152729747149225908/67588591163260853109911*c_0101_6^4 - 93859008077744823263765/67588591163260853109911*c_0101_6^3 + 339935020801981624475/67588591163260853109911*c_0101_6^2 + 145218810633086047524206/67588591163260853109911*c_0101_6 + 1641245266793660678741/67588591163260853109911, c_0101_6^18 + c_0101_6^17 - 45/4*c_0101_6^16 + 67/4*c_0101_6^15 + 22*c_0101_6^14 - 62*c_0101_6^13 - 3/4*c_0101_6^12 - 28*c_0101_6^11 + 215/4*c_0101_6^10 + 797/4*c_0101_6^9 - 190*c_0101_6^8 - 317/2*c_0101_6^7 + 349/2*c_0101_6^6 + 47/2*c_0101_6^5 - 91/2*c_0101_6^4 + 7*c_0101_6^3 - 15/4*c_0101_6^2 + c_0101_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB