Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 930524145] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0276 geometric_solution 4.32188598 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.590027742805 0.084004848202 2 0 2 0 0132 2310 1023 0132 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 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.748809253348 0.152502244351 1 3 1 4 0132 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 1 -1 0 1 0 -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.608669300149 0.748179946997 4 2 4 5 3201 0132 2310 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 -1 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 0 0 0 0 -0.702663565349 1.610892659547 5 3 2 3 1023 3201 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 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.702663565349 1.610892659547 6 4 3 6 0132 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246080067530 0.295222241227 5 5 6 6 0132 2310 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 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.848739744803 1.177416233442 ==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_2_6' : d['1'], 's_1_6' : 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_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' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, 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: 20 Groebner basis: [ t - 375820073933233432069219094640224665127408/106943632053261175381316\ 7223395711046685*c_0101_6^19 - 143680960024735380762799050204210694\ 6028503/1069436320532611753813167223395711046685*c_0101_6^18 + 41594036229223192136194453937160116639925894/1069436320532611753813\ 167223395711046685*c_0101_6^17 - 4288694687179169711919657912991682\ 6961812668/213887264106522350762633444679142209337*c_0101_6^16 + 683618416280762567561292471264077126135891644/106943632053261175381\ 3167223395711046685*c_0101_6^15 - 151912407666125074127103580895862\ 5677754522682/1069436320532611753813167223395711046685*c_0101_6^14 + 400944633364961335031013850771190104605135953/213887264106522350762\ 633444679142209337*c_0101_6^13 - 1371854364978858492365752829976956\ 569516017252/1069436320532611753813167223395711046685*c_0101_6^12 - 385229071177560963663840696741178485650460381/106943632053261175381\ 3167223395711046685*c_0101_6^11 + 339807057759762178497460807018465\ 5414013007304/1069436320532611753813167223395711046685*c_0101_6^10 - 5879772255535845007691123435520248981643232474/10694363205326117538\ 13167223395711046685*c_0101_6^9 + 105646605981424127164309228085921\ 7445399761905/213887264106522350762633444679142209337*c_0101_6^8 - 522891427420798194119269917764856754445737864/213887264106522350762\ 633444679142209337*c_0101_6^7 - 13158960331063324766047662880951556\ 6340195414/1069436320532611753813167223395711046685*c_0101_6^6 + 324817979257387571915165227267650368958847087/213887264106522350762\ 633444679142209337*c_0101_6^5 - 21137481155693502277210859812715061\ 0221386416/213887264106522350762633444679142209337*c_0101_6^4 + 7660272539056031031568768042976787808740367/10694363205326117538131\ 67223395711046685*c_0101_6^3 + 108254582012261046632642396270570171\ 174143233/1069436320532611753813167223395711046685*c_0101_6^2 + 22202690714121229306574252182764437277205179/1069436320532611753813\ 167223395711046685*c_0101_6 + 2285614079799029911466776497682511086\ 073866/1069436320532611753813167223395711046685, c_0011_0 - 1, c_0011_1 + 7706422827690999947926256032218999779/1008902189181709201710\ 53511641104815725*c_0101_6^19 + 31133609624415684370915471584618711\ 109/100890218918170920171053511641104815725*c_0101_6^18 - 844350659550154319628732121680861228212/100890218918170920171053511\ 641104815725*c_0101_6^17 + 168918014792030207098676573419534826805/\ 4035608756726836806842140465644192629*c_0101_6^16 - 13293132641336423380077669555832934150022/1008902189181709201710535\ 11641104815725*c_0101_6^15 + 29090649548528453759882311931499220352\ 031/100890218918170920171053511641104815725*c_0101_6^14 - 7433862709591292295779914642097123102909/20178043783634184034210702\ 328220963145*c_0101_6^13 + 2469790988836865887336896275525597433862\ 6/100890218918170920171053511641104815725*c_0101_6^12 + 8932392691537871763672811348033972930463/10089021891817092017105351\ 1641104815725*c_0101_6^11 - 663662331100488556114287779906907545283\ 52/100890218918170920171053511641104815725*c_0101_6^10 + 109969601370024175664084830635938434726542/100890218918170920171053\ 511641104815725*c_0101_6^9 - 19348980779997028803512257208181482925\ 157/20178043783634184034210702328220963145*c_0101_6^8 + 9401114479176798642478162890383927701419/20178043783634184034210702\ 328220963145*c_0101_6^7 + 4555053841845773361821809724132258287242/\ 100890218918170920171053511641104815725*c_0101_6^6 - 6071348776242884902407239487177807905761/20178043783634184034210702\ 328220963145*c_0101_6^5 + 3722140020018720940060216189929465871604/\ 20178043783634184034210702328220963145*c_0101_6^4 - 125686014574855238140336983395614651836/100890218918170920171053511\ 641104815725*c_0101_6^3 - 2029781783220883488082800087095580084009/\ 100890218918170920171053511641104815725*c_0101_6^2 - 302410977412945447640274018728321146397/100890218918170920171053511\ 641104815725*c_0101_6 + 25033947535190770001148399911567060637/1008\ 90218918170920171053511641104815725, c_0011_4 + 16755577790389461827942806331982140221/100890218918170920171\ 053511641104815725*c_0101_6^19 + 6423814598718831266699103117886029\ 2141/100890218918170920171053511641104815725*c_0101_6^18 - 1854179548319055122559647126561876455063/10089021891817092017105351\ 1641104815725*c_0101_6^17 + 381502485975432875889862043991923830616\ /4035608756726836806842140465644192629*c_0101_6^16 - 30334788628802492009114702630876218553428/1008902189181709201710535\ 11641104815725*c_0101_6^15 + 67287335717437424219018025708053208605\ 194/100890218918170920171053511641104815725*c_0101_6^14 - 17680637481670951472364839856365954597351/2017804378363418403421070\ 2328220963145*c_0101_6^13 + 599811942837525579986558957527380886229\ 24/100890218918170920171053511641104815725*c_0101_6^12 + 17261168231898037474201416771750155726887/1008902189181709201710535\ 11641104815725*c_0101_6^11 - 15047749001937880491238666678297311654\ 6548/100890218918170920171053511641104815725*c_0101_6^10 + 259323526133105656446879633467910655644583/100890218918170920171053\ 511641104815725*c_0101_6^9 - 46279692030771031315915474221600889254\ 828/20178043783634184034210702328220963145*c_0101_6^8 + 23012136155118091118015340444344183711836/2017804378363418403421070\ 2328220963145*c_0101_6^7 + 4912414609836801949465467593764869902033\ /100890218918170920171053511641104815725*c_0101_6^6 - 14109579275365047192966142572599949405789/2017804378363418403421070\ 2328220963145*c_0101_6^5 + 9016308667335678516377860904145920723946\ /20178043783634184034210702328220963145*c_0101_6^4 - 262224472914226800492595364072689214064/100890218918170920171053511\ 641104815725*c_0101_6^3 - 3849972301816540704351114128471753750966/\ 100890218918170920171053511641104815725*c_0101_6^2 - 1121236791356569056749566166862214046703/10089021891817092017105351\ 1641104815725*c_0101_6 - 143606272758312119007046376510494980062/10\ 0890218918170920171053511641104815725, c_0101_0 - 31005096924967288565234015225089318939/100890218918170920171\ 053511641104815725*c_0101_6^19 - 1177423627645420504469669825574147\ 99269/100890218918170920171053511641104815725*c_0101_6^18 + 3438502947392261338733881216935333666117/10089021891817092017105351\ 1641104815725*c_0101_6^17 - 710406311775083800221881725467160641912\ /4035608756726836806842140465644192629*c_0101_6^16 + 56429556328967217691756396441619507023052/1008902189181709201710535\ 11641104815725*c_0101_6^15 - 12486895026753221502486400830610613920\ 1871/100890218918170920171053511641104815725*c_0101_6^14 + 32587104049374182615828784779759573066959/2017804378363418403421070\ 2328220963145*c_0101_6^13 - 105865184823888136324929194773724754697\ 391/100890218918170920171053511641104815725*c_0101_6^12 - 41256012254210857701372931630202049494258/1008902189181709201710535\ 11641104815725*c_0101_6^11 + 28730938098674084087249975569403449721\ 6182/100890218918170920171053511641104815725*c_0101_6^10 - 485266454312026002683109214358105143355797/100890218918170920171053\ 511641104815725*c_0101_6^9 + 83883582426983193717473265579813869651\ 367/20178043783634184034210702328220963145*c_0101_6^8 - 37612300814387117525385067959603644645299/2017804378363418403421070\ 2328220963145*c_0101_6^7 - 3356463048397032326882457278375187536899\ 7/100890218918170920171053511641104815725*c_0101_6^6 + 29012857561326193336841154206172154544226/2017804378363418403421070\ 2328220963145*c_0101_6^5 - 1700605977395572938645656013854729270686\ 9/20178043783634184034210702328220963145*c_0101_6^4 - 7629401448771923145727413653021403166299/10089021891817092017105351\ 1641104815725*c_0101_6^3 + 1222270448194651988094428300468350825751\ 9/100890218918170920171053511641104815725*c_0101_6^2 + 2517370345448725895353893727627119450502/10089021891817092017105351\ 1641104815725*c_0101_6 + 202482366620210185933077938532038803633/10\ 0890218918170920171053511641104815725, c_0101_1 - 7574526419068716168022491080858994531/1008902189181709201710\ 53511641104815725*c_0101_6^19 - 23385926015580506032234777971671176\ 776/100890218918170920171053511641104815725*c_0101_6^18 + 865298389136409732031170913197170000218/100890218918170920171053511\ 641104815725*c_0101_6^17 - 196444044504971220099619533419372307209/\ 4035608756726836806842140465644192629*c_0101_6^16 + 16357001040453265756398943294588163167658/1008902189181709201710535\ 11641104815725*c_0101_6^15 - 38123514045133752206540957909116367399\ 234/100890218918170920171053511641104815725*c_0101_6^14 + 11053163284649985328064394682213612956676/2017804378363418403421070\ 2328220963145*c_0101_6^13 - 421770777435493829621026823569366573466\ 89/100890218918170920171053511641104815725*c_0101_6^12 - 2361709398570330070316839970611665500607/10089021891817092017105351\ 1641104815725*c_0101_6^11 + 799398780376198784201577904116207335612\ 03/100890218918170920171053511641104815725*c_0101_6^10 - 157450604193991214204581867489265974023188/100890218918170920171053\ 511641104815725*c_0101_6^9 + 30802052516637296061400684639815477587\ 443/20178043783634184034210702328220963145*c_0101_6^8 - 16461325484628200630707594720255210229136/2017804378363418403421070\ 2328220963145*c_0101_6^7 + 5311044022006559857628582718787254799687\ /100890218918170920171053511641104815725*c_0101_6^6 + 8726793779004483728979450369576163670229/20178043783634184034210702\ 328220963145*c_0101_6^5 - 6969291689098354093768281079577289873391/\ 20178043783634184034210702328220963145*c_0101_6^4 + 2071850291724729230907269807749400948654/10089021891817092017105351\ 1641104815725*c_0101_6^3 + 4182620298383358463762372949416882793801\ /100890218918170920171053511641104815725*c_0101_6^2 + 585725027666980885656533232066113042008/100890218918170920171053511\ 641104815725*c_0101_6 + 72184933177880711105482630800587533132/1008\ 90218918170920171053511641104815725, c_0101_3 + 4503457523537238325267485050954531717/1008902189181709201710\ 53511641104815725*c_0101_6^19 + 15340547516695550615851298292800640\ 782/100890218918170920171053511641104815725*c_0101_6^18 - 508255761399246870333089589845260781001/100890218918170920171053511\ 641104815725*c_0101_6^17 + 110558034358805826873668606142806347263/\ 4035608756726836806842140465644192629*c_0101_6^16 - 8984017007375432956916152068137127308381/10089021891817092017105351\ 1641104815725*c_0101_6^15 + 204342671220595942314129704075334903415\ 13/100890218918170920171053511641104815725*c_0101_6^14 - 5642688453963072748944986037924221130927/20178043783634184034210702\ 328220963145*c_0101_6^13 + 1987750059444181715458435919858552650334\ 8/100890218918170920171053511641104815725*c_0101_6^12 + 3751004412769026544998900979307687336649/10089021891817092017105351\ 1641104815725*c_0101_6^11 - 445194484090829123636984215176798206744\ 71/100890218918170920171053511641104815725*c_0101_6^10 + 81846520883320368418165933870937893248091/1008902189181709201710535\ 11641104815725*c_0101_6^9 - 150190172085265305159510533498411010221\ 71/20178043783634184034210702328220963145*c_0101_6^8 + 7540022751094441946650634229688629357717/20178043783634184034210702\ 328220963145*c_0101_6^7 + 99762182136794288827671155662991217841/10\ 0890218918170920171053511641104815725*c_0101_6^6 - 4536925151788530627832372623601303553293/20178043783634184034210702\ 328220963145*c_0101_6^5 + 3113334405903370277773952658126213954897/\ 20178043783634184034210702328220963145*c_0101_6^4 + 59659925726330975254692828029047344847/1008902189181709201710535116\ 41104815725*c_0101_6^3 - 1454502875027819544841481135027102163332/1\ 00890218918170920171053511641104815725*c_0101_6^2 - 608047538564845029938924980755425066231/100890218918170920171053511\ 641104815725*c_0101_6 - 95275395484061011139719318796931648024/1008\ 90218918170920171053511641104815725, c_0101_6^20 + 4*c_0101_6^19 - 110*c_0101_6^18 + 551*c_0101_6^17 - 1718*c_0101_6^16 + 3720*c_0101_6^15 - 4618*c_0101_6^14 + 2704*c_0101_6^13 + 1674*c_0101_6^12 - 8862*c_0101_6^11 + 14044*c_0101_6^10 - 11281*c_0101_6^9 + 4460*c_0101_6^8 + 1588*c_0101_6^7 - 4261*c_0101_6^6 + 2045*c_0101_6^5 + 481*c_0101_6^4 - 293*c_0101_6^3 - 111*c_0101_6^2 - 16*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB