Magma V2.19-8 Tue Aug 20 2013 16:18:33 on localhost [Seed = 3398129656] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2736 geometric_solution 5.98001674 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 0 -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.627757837657 0.506359385859 0 3 6 5 0132 0132 0132 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 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.884687953424 1.573120541145 2 0 2 4 2031 0132 1302 2103 0 0 0 0 0 0 -1 1 1 0 -1 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 -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.479317107875 1.167406581031 4 1 6 0 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641399986709 0.236677542982 3 6 0 2 0321 2103 0132 2103 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 1 -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.942470985806 1.282039161171 6 5 1 5 2310 2310 0132 3201 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 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.384597517537 0.701537313516 3 4 5 1 2310 2103 3201 0132 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 -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.407894664504 0.763516934989 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0011_6']})} 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_4, c_0011_5, c_0011_6, c_0101_1, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 14946765459939560132915709238457/576227404142302789378994829488*c_1\ 001_0^20 + 127420991976350825151500019033213/5762274041423027893789\ 94829488*c_1001_0^19 - 91532141273245252235570239999697/14405685103\ 5575697344748707372*c_1001_0^18 + 119674397138822474361376918346963\ /144056851035575697344748707372*c_1001_0^17 + 324844048387870243399779552843693/576227404142302789378994829488*c_\ 1001_0^16 - 22284200728989965572123328023941/4883283085951718554059\ 278216*c_1001_0^15 + 794764449942314643726127885858819/576227404142\ 302789378994829488*c_1001_0^14 + 4784384340690205226244946893527113\ /576227404142302789378994829488*c_1001_0^13 - 512993146213632376216764430524083/36014212758893924336187176843*c_1\ 001_0^12 - 2358813583531494701854478627068147/144056851035575697344\ 748707372*c_1001_0^11 + 26770636849267091586862089956789779/5762274\ 04142302789378994829488*c_1001_0^10 + 917651345420815409622663758566449/16947864827714787922911612632*c_1\ 001_0^9 - 26381599875981683844896046871238485/576227404142302789378\ 994829488*c_1001_0^8 - 28887327927934332786660075245951421/57622740\ 4142302789378994829488*c_1001_0^7 + 72564755580963423075742661999523601/576227404142302789378994829488*\ c_1001_0^6 + 8651855380121942611585939832378109/3601421275889392433\ 6187176843*c_1001_0^5 + 84864075929201617170715553758080361/5762274\ 04142302789378994829488*c_1001_0^4 + 1340363401633881747227515074907983/144056851035575697344748707372*c\ _1001_0^3 - 4335109002006138943667893315447061/14405685103557569734\ 4748707372*c_1001_0^2 - 7139228487326320239713376946062873/57622740\ 4142302789378994829488*c_1001_0 - 177805154398995185881395197390919\ /144056851035575697344748707372, c_0011_0 - 1, c_0011_4 - 579127523006481134363558815/292204565995082550395027804*c_10\ 01_0^20 + 2494338908437484461914151025/146102282997541275197513902*\ c_1001_0^19 - 14640535517297092364625478217/29220456599508255039502\ 7804*c_1001_0^18 + 9970463884184864738853152671/1461022829975412751\ 97513902*c_1001_0^17 + 10526697950899168692977084903/29220456599508\ 2550395027804*c_1001_0^16 - 1735012912917179340453214479/4952619762\ 628517803305556*c_1001_0^15 + 39867830471288109963178789215/2922045\ 65995082550395027804*c_1001_0^14 + 90129023025339138159644908359/146102282997541275197513902*c_1001_0^\ 13 - 333059925104511309725895960305/292204565995082550395027804*c_1\ 001_0^12 - 166584423066231178914051062635/1461022829975412751975139\ 02*c_1001_0^11 + 1060507805025105380406836845353/292204565995082550\ 395027804*c_1001_0^10 + 1111016325619438376584183008869/29220456599\ 5082550395027804*c_1001_0^9 - 1102847660761404234873437153061/29220\ 4565995082550395027804*c_1001_0^8 - 503987876987978712188003764097/146102282997541275197513902*c_1001_0\ ^7 + 1439696545487743508857403822825/146102282997541275197513902*c_\ 1001_0^6 + 5097257142712851774777425508591/292204565995082550395027\ 804*c_1001_0^5 + 2884374399284978640577957641123/292204565995082550\ 395027804*c_1001_0^4 + 20168782781075078741959975919/29220456599508\ 2550395027804*c_1001_0^3 - 161371129469861250551065337542/730511414\ 98770637598756951*c_1001_0^2 - 225787644851936259072903662391/29220\ 4565995082550395027804*c_1001_0 - 15429212738970861187818475301/292\ 204565995082550395027804, c_0011_5 - 219786016093035976802168165/146102282997541275197513902*c_10\ 01_0^20 + 7637137778080063619231560983/584409131990165100790055608*\ c_1001_0^19 - 22830191295289253898329812615/58440913199016510079005\ 5608*c_1001_0^18 + 16196341530671724208434480681/292204565995082550\ 395027804*c_1001_0^17 + 6010419158840300968357761703/29220456599508\ 2550395027804*c_1001_0^16 - 2598569775923579122610201439/9905239525\ 257035606611112*c_1001_0^15 + 35123551513141133661004765401/2922045\ 65995082550395027804*c_1001_0^14 + 260916352255458673851917096893/584409131990165100790055608*c_1001_0\ ^13 - 514776509900385029301510248331/584409131990165100790055608*c_\ 1001_0^12 - 230556320572728861786752646035/292204565995082550395027\ 804*c_1001_0^11 + 402280025249627558988981954839/146102282997541275\ 197513902*c_1001_0^10 + 1569945925911183997147686681449/58440913199\ 0165100790055608*c_1001_0^9 - 849438800692689142799160217235/292204\ 565995082550395027804*c_1001_0^8 - 1388883678670146398151537338317/584409131990165100790055608*c_1001_\ 0^7 + 4363396620950299574336759018109/584409131990165100790055608*c\ _1001_0^6 + 7428112723607871607625429633175/58440913199016510079005\ 5608*c_1001_0^5 + 2036751768272540653041261940203/29220456599508255\ 0395027804*c_1001_0^4 - 38105035310921503323956408817/5844091319901\ 65100790055608*c_1001_0^3 - 115954816168583771869562738636/73051141\ 498770637598756951*c_1001_0^2 - 78452825636013338111169781019/14610\ 2282997541275197513902*c_1001_0 - 21543477723348296911956941619/584\ 409131990165100790055608, c_0011_6 - 1549439768787503/4657844505207566*c_1001_0^20 + 13806717535567325/4657844505207566*c_1001_0^19 - 86989400406768711/9315689010415132*c_1001_0^18 + 136840632198004361/9315689010415132*c_1001_0^17 + 476181857649573/9315689010415132*c_1001_0^16 - 259692955511028927/4657844505207566*c_1001_0^15 + 176373704328824871/4657844505207566*c_1001_0^14 + 787978544271870733/9315689010415132*c_1001_0^13 - 959099070371782373/4657844505207566*c_1001_0^12 - 1152128248946293767/9315689010415132*c_1001_0^11 + 2843424857741888981/4657844505207566*c_1001_0^10 + 4287801566977180755/9315689010415132*c_1001_0^9 - 3169098856796128333/4657844505207566*c_1001_0^8 - 846762278630530310/2328922252603783*c_1001_0^7 + 15388518690715334131/9315689010415132*c_1001_0^6 + 22834866884403681199/9315689010415132*c_1001_0^5 + 5433136899319546559/4657844505207566*c_1001_0^4 - 266037432594289978/2328922252603783*c_1001_0^3 - 2750832062275151413/9315689010415132*c_1001_0^2 - 388738628908200371/4657844505207566*c_1001_0 - 41545138526291189/9315689010415132, c_0101_1 - 198026245486917289948509479/73051141498770637598756951*c_100\ 1_0^20 + 3440728538538105422142761307/146102282997541275197513902*c\ _1001_0^19 - 20575375228298068608522734931/292204565995082550395027\ 804*c_1001_0^18 + 7304223675196614850234203918/73051141498770637598\ 756951*c_1001_0^17 + 10716618626364663995263664503/2922045659950825\ 50395027804*c_1001_0^16 - 2336375194685303681959442265/495261976262\ 8517803305556*c_1001_0^15 + 62788512113527188648480253499/292204565\ 995082550395027804*c_1001_0^14 + 117824775518893342311757247735/146\ 102282997541275197513902*c_1001_0^13 - 232027452392855969423870855041/146102282997541275197513902*c_1001_0\ ^12 - 415764163448123489016387048369/292204565995082550395027804*c_\ 1001_0^11 + 1450272390644770098522289373593/29220456599508255039502\ 7804*c_1001_0^10 + 353667880741359786774320000135/73051141498770637\ 598756951*c_1001_0^9 - 382996289130128854726720224853/7305114149877\ 0637598756951*c_1001_0^8 - 312579482595896609501934239296/730511414\ 98770637598756951*c_1001_0^7 + 3932299062905621838228655905355/2922\ 04565995082550395027804*c_1001_0^6 + 3345108537424642888887259803031/146102282997541275197513902*c_1001_\ 0^5 + 1834823799080362887053295869031/146102282997541275197513902*c\ _1001_0^4 - 8190669504685970897215346103/73051141498770637598756951\ *c_1001_0^3 - 835980457546068181413697753177/2922045659950825503950\ 27804*c_1001_0^2 - 284313326318724567371975945555/29220456599508255\ 0395027804*c_1001_0 - 4890631281479393172416767492/7305114149877063\ 7598756951, c_0101_6 + 188722160723003757696257844/73051141498770637598756951*c_100\ 1_0^20 - 13124268070834143040667312727/584409131990165100790055608*\ c_1001_0^19 + 39300261480381286348974024795/58440913199016510079005\ 5608*c_1001_0^18 - 28010385663053136939019985487/292204565995082550\ 395027804*c_1001_0^17 - 9859733612282758404869129401/29220456599508\ 2550395027804*c_1001_0^16 + 4444129721077519914847412163/9905239525\ 257035606611112*c_1001_0^15 - 60613405309677196666818126387/2922045\ 65995082550395027804*c_1001_0^14 - 445347190220619924740486517213/584409131990165100790055608*c_1001_0\ ^13 + 883359801946020410611134720243/584409131990165100790055608*c_\ 1001_0^12 + 392294311711584868485520735585/292204565995082550395027\ 804*c_1001_0^11 - 688891353372109974860259658653/146102282997541275\ 197513902*c_1001_0^10 - 2683268436330447064399961806821/58440913199\ 0165100790055608*c_1001_0^9 + 1452179381884965071710761274217/29220\ 4565995082550395027804*c_1001_0^8 + 2367084494964186038315500701189/584409131990165100790055608*c_1001_\ 0^7 - 7470558824022478807623838002773/584409131990165100790055608*c\ _1001_0^6 - 12722029523258271887178847035991/5844091319901651007900\ 55608*c_1001_0^5 - 3499967472910806797467286036421/2922045659950825\ 50395027804*c_1001_0^4 + 43268208256231274444375544769/584409131990\ 165100790055608*c_1001_0^3 + 396777818784131379428933092067/1461022\ 82997541275197513902*c_1001_0^2 + 135971530697516366222193012509/14\ 6102282997541275197513902*c_1001_0 + 38228688970951001607065257967/584409131990165100790055608, c_1001_0^21 - 8*c_1001_0^20 + 20*c_1001_0^19 - 19*c_1001_0^18 - 39*c_1001_0^17 + 165*c_1001_0^16 + 40*c_1001_0^15 - 352*c_1001_0^14 + 382*c_1001_0^13 + 927*c_1001_0^12 - 1471*c_1001_0^11 - 3043*c_1001_0^10 + 708*c_1001_0^9 + 2906*c_1001_0^8 - 3881*c_1001_0^7 - 11856*c_1001_0^6 - 10434*c_1001_0^5 - 3141*c_1001_0^4 + 1083*c_1001_0^3 + 1083*c_1001_0^2 + 271*c_1001_0 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB