Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 1814950163] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2997 geometric_solution 6.17587542 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 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.891389904380 1.195831778486 0 4 5 2 0132 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300848740245 1.239462147803 5 0 1 5 2103 0132 2031 2310 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 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.367263375975 0.731833978000 0 6 6 0 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 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.445763574537 0.594942582029 6 1 5 6 3012 0132 3012 1230 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 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.458688381829 0.496732504601 2 4 2 1 3201 1230 2103 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.324347595443 0.896757639125 4 3 3 4 3012 0132 1023 1230 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 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.604483175826 0.866630160667 ==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' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : 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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], '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_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' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_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' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_0'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 40190021989389839525377293776/4552784076111711204299703649*c_0101_4\ ^17 + 26186173352834762985710774944/4552784076111711204299703649*c_\ 0101_4^16 - 737545742921337222216954203484/455278407611171120429970\ 3649*c_0101_4^15 - 386594155486210418903738582616/45527840761117112\ 04299703649*c_0101_4^14 - 2933872391659271983586571150721/455278407\ 6111711204299703649*c_0101_4^13 - 1603719286051509797288145150899/4\ 552784076111711204299703649*c_0101_4^12 - 5862380839937930778609856766852/4552784076111711204299703649*c_0101\ _4^11 - 3298718885919679259583282120006/455278407611171120429970364\ 9*c_0101_4^10 - 7588295571865803469822351881889/4552784076111711204\ 299703649*c_0101_4^9 - 3913879102628403275486292021926/455278407611\ 1711204299703649*c_0101_4^8 - 6543374459514579294948075845942/45527\ 84076111711204299703649*c_0101_4^7 - 2783092854671462735773642010035/4552784076111711204299703649*c_0101\ _4^6 - 3685861391986670468300648693236/4552784076111711204299703649\ *c_0101_4^5 - 1130005706277025976131226935054/455278407611171120429\ 9703649*c_0101_4^4 - 1134251686272067768275749126666/45527840761117\ 11204299703649*c_0101_4^3 - 301501856107195341480680136698/45527840\ 76111711204299703649*c_0101_4^2 - 134140445155982646699696159207/45\ 52784076111711204299703649*c_0101_4 - 18091946717338425335143798050/4552784076111711204299703649, c_0011_0 - 1, c_0011_3 - 4467163189138822508180912/12076350334513822823076137*c_0101_\ 4^17 + 4467889117773711339275088/12076350334513822823076137*c_0101_\ 4^16 - 85209478107597605600134628/12076350334513822823076137*c_0101\ _4^15 - 10437535476525392769554292/12076350334513822823076137*c_010\ 1_4^14 - 351020645178230124877412991/12076350334513822823076137*c_0\ 101_4^13 - 42335182884682158667293018/12076350334513822823076137*c_\ 0101_4^12 - 685271006500118620122082031/12076350334513822823076137*\ c_0101_4^11 - 36999474873897243869270746/12076350334513822823076137\ *c_0101_4^10 - 822976722761017395617061479/120763503345138228230761\ 37*c_0101_4^9 + 42920014674544396909237272/120763503345138228230761\ 37*c_0101_4^8 - 631752866691898168080069263/12076350334513822823076\ 137*c_0101_4^7 + 188447236455942622300330043/1207635033451382282307\ 6137*c_0101_4^6 - 293693586377634260813799471/120763503345138228230\ 76137*c_0101_4^5 + 207657288125439017876861577/12076350334513822823\ 076137*c_0101_4^4 - 79181892164396862844232017/12076350334513822823\ 076137*c_0101_4^3 + 97725592086432870996498484/12076350334513822823\ 076137*c_0101_4^2 - 67917300100438391967082/12076350334513822823076\ 137*c_0101_4 + 6589184150610788424444946/12076350334513822823076137\ , c_0011_5 + 433065574100121760576192/12076350334513822823076137*c_0101_4\ ^17 + 8086601715139614819398976/12076350334513822823076137*c_0101_4\ ^16 - 4262841400654864371401904/12076350334513822823076137*c_0101_4\ ^15 + 159002404055837027544053984/12076350334513822823076137*c_0101\ _4^14 - 6165216044210520481263908/12076350334513822823076137*c_0101\ _4^13 + 505409134027940091653209908/12076350334513822823076137*c_01\ 01_4^12 - 62678919879368775715426724/12076350334513822823076137*c_0\ 101_4^11 + 835932360620011160970177979/12076350334513822823076137*c\ _0101_4^10 - 91471736515817009528989636/12076350334513822823076137*\ c_0101_4^9 + 889043886492596849479406421/12076350334513822823076137\ *c_0101_4^8 - 169279109440302027376943698/1207635033451382282307613\ 7*c_0101_4^7 + 633515779521070386218252503/120763503345138228230761\ 37*c_0101_4^6 - 180594984344932483476496902/12076350334513822823076\ 137*c_0101_4^5 + 331537378075260644713853939/1207635033451382282307\ 6137*c_0101_4^4 - 116095572684411347262267250/120763503345138228230\ 76137*c_0101_4^3 + 97772226040372800282282269/120763503345138228230\ 76137*c_0101_4^2 - 13620074225697692662610822/120763503345138228230\ 76137*c_0101_4 + 15754793324875161578896333/12076350334513822823076\ 137, c_0101_0 + 31902988753470402595526048/12076350334513822823076137*c_0101\ _4^17 - 25760825440575552534061840/12076350334513822823076137*c_010\ 1_4^16 + 582916147360281995228539800/12076350334513822823076137*c_0\ 101_4^15 + 221151367257537580028162900/12076350334513822823076137*c\ _0101_4^14 + 2180178741819593234981600634/1207635033451382282307613\ 7*c_0101_4^13 + 882067876088086186477561269/12076350334513822823076\ 137*c_0101_4^12 + 4165001070702362570847824057/12076350334513822823\ 076137*c_0101_4^11 + 1847219412857754217556678744/12076350334513822\ 823076137*c_0101_4^10 + 5224650641512261957020988674/12076350334513\ 822823076137*c_0101_4^9 + 2115746372498654737814535252/120763503345\ 13822823076137*c_0101_4^8 + 4356081096786726608963780670/1207635033\ 4513822823076137*c_0101_4^7 + 1430219106229782557042857684/12076350\ 334513822823076137*c_0101_4^6 + 2430151232382365234751313001/120763\ 50334513822823076137*c_0101_4^5 + 545137668524157199868322687/12076\ 350334513822823076137*c_0101_4^4 + 726500429764978440402611970/12076350334513822823076137*c_0101_4^3 + 150918084315066902620872891/12076350334513822823076137*c_0101_4^2 + 85734633444772425787480289/12076350334513822823076137*c_0101_4 + 8940143644453782242718718/12076350334513822823076137, c_0101_1 + 2621053795340515880672624/12076350334513822823076137*c_0101_\ 4^17 - 9917793290120949494355920/12076350334513822823076137*c_0101_\ 4^16 + 53149155949717029825905780/12076350334513822823076137*c_0101\ _4^15 - 125052572276342580459492732/12076350334513822823076137*c_01\ 01_4^14 + 107479848800036705734535403/12076350334513822823076137*c_\ 0101_4^13 - 494599821763385784767574142/12076350334513822823076137*\ c_0101_4^12 + 47714813898411850828826767/12076350334513822823076137\ *c_0101_4^11 - 975893793665812612674805015/120763503345138228230761\ 37*c_0101_4^10 - 181193396744027685883806367/1207635033451382282307\ 6137*c_0101_4^9 - 1291945397208324420396180380/12076350334513822823\ 076137*c_0101_4^8 - 368560276068825374926500023/1207635033451382282\ 3076137*c_0101_4^7 - 1154290392412219582884120186/12076350334513822\ 823076137*c_0101_4^6 - 312905987538345708972005441/1207635033451382\ 2823076137*c_0101_4^5 - 690698056308002789580853650/120763503345138\ 22823076137*c_0101_4^4 - 148956856661235353401939604/12076350334513\ 822823076137*c_0101_4^3 - 213501903951896481465713075/1207635033451\ 3822823076137*c_0101_4^2 - 41716412118158247171026623/1207635033451\ 3822823076137*c_0101_4 - 26584810694234876233660127/120763503345138\ 22823076137, c_0101_2 - 4088711366938643614865280/12076350334513822823076137*c_0101_\ 4^17 + 4581048190009298246927600/12076350334513822823076137*c_0101_\ 4^16 - 71886212812442946349159392/12076350334513822823076137*c_0101\ _4^15 - 10000170757342848592206700/12076350334513822823076137*c_010\ 1_4^14 - 199552802991945034222624232/12076350334513822823076137*c_0\ 101_4^13 - 31719797923112134844328917/12076350334513822823076137*c_\ 0101_4^12 - 267298744185369992222836569/12076350334513822823076137*\ c_0101_4^11 - 73776050978628620846427652/12076350334513822823076137\ *c_0101_4^10 - 196925125463738684577098997/120763503345138228230761\ 37*c_0101_4^9 - 15832103004279686303565844/120763503345138228230761\ 37*c_0101_4^8 - 15858336846491906593478188/120763503345138228230761\ 37*c_0101_4^7 + 56267892643514550788915483/120763503345138228230761\ 37*c_0101_4^6 + 93507609125242482845208103/120763503345138228230761\ 37*c_0101_4^5 + 75321037256001819146225301/120763503345138228230761\ 37*c_0101_4^4 + 102069770128076356772044737/12076350334513822823076\ 137*c_0101_4^3 + 31664654431640775036901815/12076350334513822823076\ 137*c_0101_4^2 + 29529923685083832090427381/12076350334513822823076\ 137*c_0101_4 + 12410354356092474888454162/1207635033451382282307613\ 7, c_0101_4^18 - c_0101_4^17 + 75/4*c_0101_4^16 + 13/4*c_0101_4^15 + 1165/16*c_0101_4^14 + 37/2*c_0101_4^13 + 2363/16*c_0101_4^12 + 769/16*c_0101_4^11 + 3137/16*c_0101_4^10 + 1035/16*c_0101_4^9 + 2871/16*c_0101_4^8 + 421/8*c_0101_4^7 + 229/2*c_0101_4^6 + 413/16*c_0101_4^5 + 181/4*c_0101_4^4 + 159/16*c_0101_4^3 + 147/16*c_0101_4^2 + 29/16*c_0101_4 + 13/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB