Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 2446331037] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2855 geometric_solution 6.07718188 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 3120 0 0 0 0 0 -1 0 1 0 0 0 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 -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.642956521364 0.674483425321 0 4 3 5 0132 0132 0321 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 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 1.383878613487 0.642793494047 0 0 5 4 3120 0132 3012 3012 0 0 0 0 0 1 -1 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 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.257804199125 0.638461977093 4 6 1 0 3120 0132 0321 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567201807287 0.623777639744 5 1 2 3 0132 0132 1230 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367843908415 0.320882716360 4 2 1 6 0132 1230 0132 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777156792381 0.810800178232 5 3 6 6 3120 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 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 1.340721221330 1.194626878929 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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_4'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_1001_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_4']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0011_0'], '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_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 95670514661920057/23062051738857644032*c_1001_4^16 + 57949890658051817/5765512934714411008*c_1001_4^15 - 635452604427218553/23062051738857644032*c_1001_4^14 - 34224815088985555/1774003979912126464*c_1001_4^13 + 915214805863486287/23062051738857644032*c_1001_4^12 + 1093311334529608425/1441378233678602752*c_1001_4^11 + 2248532957220988925/2882756467357205504*c_1001_4^10 - 2216466306308394887/2882756467357205504*c_1001_4^9 + 2381847030057058663/1441378233678602752*c_1001_4^8 - 2652011777977149099/360344558419650688*c_1001_4^7 + 115053793829421397/8788891668771968*c_1001_4^6 - 10104057465098693/2197222917192992*c_1001_4^5 + 112765659536585921/11260767450614084*c_1001_4^4 - 51045257036135079/11260767450614084*c_1001_4^3 - 234124807176618179/11260767450614084*c_1001_4^2 + 73387548193198678/2815191862653521*c_1001_4 - 25027185902927757/5630383725307042, c_0011_0 - 1, c_0011_3 - 487963772483/9641325977783296*c_1001_4^16 - 2117848933869/9641325977783296*c_1001_4^15 + 2095179870767/9641325977783296*c_1001_4^14 + 3344659731621/2410331494445824*c_1001_4^13 + 1147692746071/4820662988891648*c_1001_4^12 - 102456682703309/9641325977783296*c_1001_4^11 - 143368307256655/4820662988891648*c_1001_4^10 + 44509619481603/4820662988891648*c_1001_4^9 + 158918115437027/2410331494445824*c_1001_4^8 + 100100783486129/602582873611456*c_1001_4^7 + 2511583413911/14697143258816*c_1001_4^6 - 1534201549549/3674285814704*c_1001_4^5 + 8933760982823/75322859201432*c_1001_4^4 - 19613649123053/75322859201432*c_1001_4^3 + 26041698892063/37661429600716*c_1001_4^2 + 14147090782219/18830714800358*c_1001_4 - 9018875407333/9415357400179, c_0101_0 - 3786806868947/38565303911133184*c_1001_4^16 - 5929906838017/19282651955566592*c_1001_4^15 + 25907980459191/38565303911133184*c_1001_4^14 + 58338115989979/38565303911133184*c_1001_4^13 - 71312149840871/38565303911133184*c_1001_4^12 - 415308485293331/19282651955566592*c_1001_4^11 - 275968913137859/9641325977783296*c_1001_4^10 + 107401314197637/2410331494445824*c_1001_4^9 + 71486237755513/2410331494445824*c_1001_4^8 + 23823716073955/301291436805728*c_1001_4^7 - 3650084736259/14697143258816*c_1001_4^6 - 1322971860681/3674285814704*c_1001_4^5 + 6858852844539/150645718402864*c_1001_4^4 + 9851417879685/37661429600716*c_1001_4^3 + 14571229805971/18830714800358*c_1001_4^2 - 11007149378353/18830714800358*c_1001_4 - 5327139297883/9415357400179, c_0101_1 - 1071549984535/19282651955566592*c_1001_4^16 - 2043320340333/19282651955566592*c_1001_4^15 + 9851020411311/19282651955566592*c_1001_4^14 + 1026349300877/9641325977783296*c_1001_4^13 - 15783861620315/9641325977783296*c_1001_4^12 - 185085548283131/19282651955566592*c_1001_4^11 - 13776505608667/4820662988891648*c_1001_4^10 + 64144170394859/2410331494445824*c_1001_4^9 - 47022739575765/1205165747222912*c_1001_4^8 + 29310451802733/602582873611456*c_1001_4^7 - 1322971860681/7348571629408*c_1001_4^6 - 73629155489/1837142907352*c_1001_4^5 + 3032305505369/37661429600716*c_1001_4^4 + 2634811529313/75322859201432*c_1001_4^3 + 3963442483191/18830714800358*c_1001_4^2 + 7875024971243/18830714800358*c_1001_4 - 3786806868947/9415357400179, c_0101_4 - 7071023990671/19282651955566592*c_1001_4^16 - 10499135269683/9641325977783296*c_1001_4^15 + 40578057991819/19282651955566592*c_1001_4^14 + 72466250391831/19282651955566592*c_1001_4^13 - 47254005610719/19282651955566592*c_1001_4^12 - 683142167346527/9641325977783296*c_1001_4^11 - 257575448580513/2410331494445824*c_1001_4^10 + 277102739432613/4820662988891648*c_1001_4^9 - 39780262402687/2410331494445824*c_1001_4^8 + 807023601489665/1205165747222912*c_1001_4^7 - 312177623369/459285726838*c_1001_4^6 - 2616893145305/7348571629408*c_1001_4^5 - 117941060983105/150645718402864*c_1001_4^4 + 10935253806801/37661429600716*c_1001_4^3 + 22607305526925/9415357400179*c_1001_4^2 - 5782368438193/9415357400179*c_1001_4 - 13924818968993/9415357400179, c_0101_6 + 6756442929287/38565303911133184*c_1001_4^16 + 5713521843431/9641325977783296*c_1001_4^15 - 33806079117555/38565303911133184*c_1001_4^14 - 92172324627977/38565303911133184*c_1001_4^13 + 36851123587869/38565303911133184*c_1001_4^12 + 333505627364749/9641325977783296*c_1001_4^11 + 636858388604037/9641325977783296*c_1001_4^10 - 110451477701963/4820662988891648*c_1001_4^9 - 51387107574531/2410331494445824*c_1001_4^8 - 188811201418345/602582873611456*c_1001_4^7 + 2911409767261/14697143258816*c_1001_4^6 + 4566770212529/7348571629408*c_1001_4^5 + 8064976757909/150645718402864*c_1001_4^4 + 7819964289401/37661429600716*c_1001_4^3 - 77736027846917/37661429600716*c_1001_4^2 + 713238943764/9415357400179*c_1001_4 + 16285147950412/9415357400179, c_1001_4^17 + 2*c_1001_4^16 - 9*c_1001_4^15 - 5*c_1001_4^14 + 21*c_1001_4^13 + 186*c_1001_4^12 + 96*c_1001_4^11 - 512*c_1001_4^10 + 240*c_1001_4^9 - 1600*c_1001_4^8 + 3520*c_1001_4^7 - 1280*c_1001_4^5 - 1024*c_1001_4^4 - 7168*c_1001_4^3 + 10240*c_1001_4^2 + 4096*c_1001_4 - 8192 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB