Magma V2.19-8 Tue Aug 20 2013 16:14:06 on localhost [Seed = 3583265258] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s053 geometric_solution 3.59248597 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 2310 3201 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.747930191812 0.089361654599 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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 1.712860610711 0.415227820308 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -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 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 1.122993573032 0.220519962319 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 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.813552576525 0.429970526763 5 3 5 5 2103 0132 1302 2031 0 0 0 0 0 0 1 -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 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.501158798050 0.512609930437 4 4 4 3 2031 1302 2103 0132 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 -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.501158798050 0.512609930437 ==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_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_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_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(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' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], '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_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 132665430055931085227660/425540613267760592769*c_0101_3^16 + 24302738867220533459710/425540613267760592769*c_0101_3^15 + 2383737026974321194290509/425540613267760592769*c_0101_3^14 - 2559511334004292117811752/425540613267760592769*c_0101_3^13 - 17709955373228879521813646/425540613267760592769*c_0101_3^12 + 24212162047094690538275021/425540613267760592769*c_0101_3^11 + 74921958475872068601469021/425540613267760592769*c_0101_3^10 - 30551900019849113368604885/141846871089253530923*c_0101_3^9 - 54261632180257850505429946/141846871089253530923*c_0101_3^8 + 124088782563227540586624584/425540613267760592769*c_0101_3^7 + 66706609741017660113551643/141846871089253530923*c_0101_3^6 - 34303296930161162081303009/425540613267760592769*c_0101_3^5 - 44324746057184110339513463/141846871089253530923*c_0101_3^4 - 22309175404864226653477195/425540613267760592769*c_0101_3^3 + 27253988574146894469575405/425540613267760592769*c_0101_3^2 + 9671951020903347443757089/425540613267760592769*c_0101_3 + 742708476942033758652604/425540613267760592769, c_0011_0 - 1, c_0011_2 + 42453189542783815399/141846871089253530923*c_0101_3^16 - 11318996031877353635/141846871089253530923*c_0101_3^15 - 760835738923173462164/141846871089253530923*c_0101_3^14 + 881840867045447993457/141846871089253530923*c_0101_3^13 + 5574752493167250545015/141846871089253530923*c_0101_3^12 - 8185189948189006131993/141846871089253530923*c_0101_3^11 - 23154613661112820201259/141846871089253530923*c_0101_3^10 + 31011374992795734344529/141846871089253530923*c_0101_3^9 + 48928271611018433046070/141846871089253530923*c_0101_3^8 - 42794023975590492687062/141846871089253530923*c_0101_3^7 - 59151741750363210160930/141846871089253530923*c_0101_3^6 + 14356050629275611619211/141846871089253530923*c_0101_3^5 + 39483151804878606065571/141846871089253530923*c_0101_3^4 + 4635435207157541094797/141846871089253530923*c_0101_3^3 - 7817810124621716682210/141846871089253530923*c_0101_3^2 - 2420934177746261315879/141846871089253530923*c_0101_3 - 237497564012013205436/141846871089253530923, c_0011_5 + 131762560984473053660/141846871089253530923*c_0101_3^16 - 31277861490301918067/141846871089253530923*c_0101_3^15 - 2365271801031176906011/141846871089253530923*c_0101_3^14 + 2668540629219339594088/141846871089253530923*c_0101_3^13 + 17433222403796306937023/141846871089253530923*c_0101_3^12 - 24953964476031248346220/141846871089253530923*c_0101_3^11 - 72984479857737480019248/141846871089253530923*c_0101_3^10 + 94663165546433176555931/141846871089253530923*c_0101_3^9 + 156280098316632466711390/141846871089253530923*c_0101_3^8 - 130311021316051327251749/141846871089253530923*c_0101_3^7 - 191071906932754417419966/141846871089253530923*c_0101_3^6 + 41725582647624365880832/141846871089253530923*c_0101_3^5 + 128561017416717421616873/141846871089253530923*c_0101_3^4 + 17292526196113799861274/141846871089253530923*c_0101_3^3 - 26605564410017050174703/141846871089253530923*c_0101_3^2 - 8651718337568610950231/141846871089253530923*c_0101_3 - 690651180924326874221/141846871089253530923, c_0101_0 - 141486489531767141684/141846871089253530923*c_0101_3^16 + 33439177877948100656/141846871089253530923*c_0101_3^15 + 2538171653464936473660/141846871089253530923*c_0101_3^14 - 2863120202111379493947/141846871089253530923*c_0101_3^13 - 18694503947341908538484/141846871089253530923*c_0101_3^12 + 26752757800586796350930/141846871089253530923*c_0101_3^11 + 78198360231619026615663/141846871089253530923*c_0101_3^10 - 101352813645813636873107/141846871089253530923*c_0101_3^9 - 167132741955459416017345/141846871089253530923*c_0101_3^8 + 139089462814660087986794/141846871089253530923*c_0101_3^7 + 203986950466829859634499/141846871089253530923*c_0101_3^6 - 44176863743810928602528/141846871089253530923*c_0101_3^5 - 137089236470837917568886/141846871089253530923*c_0101_3^4 - 18409405757718305460119/141846871089253530923*c_0101_3^3 + 28236586133936543012344/141846871089253530923*c_0101_3^2 + 9399162449975381124097/141846871089253530923*c_0101_3 + 724648596556367399026/141846871089253530923, c_0101_1 - 256039473314585944332/141846871089253530923*c_0101_3^16 + 59325266927031602640/141846871089253530923*c_0101_3^15 + 4592493238666156574780/141846871089253530923*c_0101_3^14 - 5160162897766899295504/141846871089253530923*c_0101_3^13 - 33838619906426006675689/141846871089253530923*c_0101_3^12 + 48244409489528720248720/141846871089253530923*c_0101_3^11 + 141625887462675844876985/141846871089253530923*c_0101_3^10 - 182653409385508477607540/141846871089253530923*c_0101_3^9 - 302875668893955037690175/141846871089253530923*c_0101_3^8 + 250036344406751705697524/141846871089253530923*c_0101_3^7 + 369629632714600194830578/141846871089253530923*c_0101_3^6 - 78315880541711449616140/141846871089253530923*c_0101_3^5 - 247976833459125498874731/141846871089253530923*c_0101_3^4 - 33886145931160326705176/141846871089253530923*c_0101_3^3 + 50835025435414109914773/141846871089253530923*c_0101_3^2 + 16848752227813036399857/141846871089253530923*c_0101_3 + 1308129266709685947956/141846871089253530923, c_0101_3^17 - 18*c_0101_3^15 + 16*c_0101_3^14 + 137*c_0101_3^13 - 158*c_0101_3^12 - 598*c_0101_3^11 + 587*c_0101_3^10 + 1353*c_0101_3^9 - 709*c_0101_3^8 - 1679*c_0101_3^7 - 20*c_0101_3^6 + 1049*c_0101_3^5 + 353*c_0101_3^4 - 174*c_0101_3^3 - 111*c_0101_3^2 - 19*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB