Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 4155927183] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3312 geometric_solution 6.44482090 oriented_manifold CS_known -0.0000000000000011 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 1 0 -1 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.401836572912 0.433331023386 2 0 3 0 0132 2310 0132 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 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.447588178423 0.807422018016 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 -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.571982740858 0.578258014340 6 5 4 1 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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.571982740858 0.578258014340 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657661950156 0.818159997255 5 3 5 2 2031 0132 1302 0132 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 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.548741951810 0.886404995835 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -1 -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 -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.832593459768 0.830783329467 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : 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' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 564294982613796451793986689718965048190508777/128215416938268394880\ 40082085399695272760264*c_0101_4^31 + 8745588371906840125855602279599502568661628263/32053854234567098720\ 10020521349923818190066*c_0101_4^29 - 289230359506596861867378473030022336479840378585/128215416938268394\ 88040082085399695272760264*c_0101_4^27 + 1513692264972830711207302548760498658600757063221/12821541693826839\ 488040082085399695272760264*c_0101_4^25 - 999918553694790204182342213720527902930717050873/160269271172835493\ 6005010260674961909095033*c_0101_4^23 + 11974836468477465864473930900731703201115349124529/6410770846913419\ 744020041042699847636380132*c_0101_4^21 - 22758848582535230406694819225247856959492432634157/6410770846913419\ 744020041042699847636380132*c_0101_4^19 + 59435698112552704834010661165700031976472068349859/1282154169382683\ 9488040082085399695272760264*c_0101_4^17 - 42829632670995355115949676636849623722763844586083/1282154169382683\ 9488040082085399695272760264*c_0101_4^15 + 963398408660774128716080983156438749112684576082/160269271172835493\ 6005010260674961909095033*c_0101_4^13 + 6083005864614946726148411434787441010384653121265/64107708469134197\ 44020041042699847636380132*c_0101_4^11 - 7886978190767042662022445260752316397690349838629/12821541693826839\ 488040082085399695272760264*c_0101_4^9 - 487219523126538953432470093016194467739522749949/128215416938268394\ 88040082085399695272760264*c_0101_4^7 + 1253770725526603595629829261815517234894304554299/12821541693826839\ 488040082085399695272760264*c_0101_4^5 - 39248936679765317726469680350655053161134507793/6410770846913419744\ 020041042699847636380132*c_0101_4^3 - 47246556743556319329895194470319668152676242993/1282154169382683948\ 8040082085399695272760264*c_0101_4, c_0011_0 - 1, c_0011_1 - 315657768444363912555873603906100917231/39090066139715974048\ 902689284755168514513*c_0101_4^30 + 19404943613906512101879854634464064059910/3909006613971597404890268\ 9284755168514513*c_0101_4^28 - 151695860914441508552654854993271740\ 767040/39090066139715974048902689284755168514513*c_0101_4^26 + 765904837769564013148508291133440022502285/390900661397159740489026\ 89284755168514513*c_0101_4^24 - 40602418928863536698421238200527644\ 05061519/39090066139715974048902689284755168514513*c_0101_4^22 + 11203217034617264511879204425593331211723676/3909006613971597404890\ 2689284755168514513*c_0101_4^20 - 191827811291121910343045643252244\ 00345814535/39090066139715974048902689284755168514513*c_0101_4^18 + 21968591432879650511789660657576401763694273/3909006613971597404890\ 2689284755168514513*c_0101_4^16 - 101997544776265335328446562807000\ 84297175630/39090066139715974048902689284755168514513*c_0101_4^14 - 3786628851256259678321046646237576523485855/39090066139715974048902\ 689284755168514513*c_0101_4^12 + 6289825871505958681710623089062993\ 247794105/39090066139715974048902689284755168514513*c_0101_4^10 - 659357941326784287771643025735485762555316/390900661397159740489026\ 89284755168514513*c_0101_4^8 - 181999980679470769499771744715575479\ 4821315/39090066139715974048902689284755168514513*c_0101_4^6 + 303324896841503407436767597164620737232559/390900661397159740489026\ 89284755168514513*c_0101_4^4 + 186193434827229077255595080008670281\ 293511/39090066139715974048902689284755168514513*c_0101_4^2 - 27303184621085752195160572035823608339803/3909006613971597404890268\ 9284755168514513, c_0011_3 - 3620799396855900733641945908154463129947/3909006613971597404\ 8902689284755168514513*c_0101_4^31 + 223744028237157635703461780363593396466513/390900661397159740489026\ 89284755168514513*c_0101_4^29 - 18115286276178668747458792112459607\ 69761522/39090066139715974048902689284755168514513*c_0101_4^27 + 9364000980302491334530779005516924798890022/39090066139715974048902\ 689284755168514513*c_0101_4^25 - 4955821984100278325671952878936305\ 3311642804/39090066139715974048902689284755168514513*c_0101_4^23 + 144290866076074655472309726536449072833107657/390900661397159740489\ 02689284755168514513*c_0101_4^21 - 265888588305669706868191322118432704706858821/390900661397159740489\ 02689284755168514513*c_0101_4^19 + 335629865203455322321008381668555736012731800/390900661397159740489\ 02689284755168514513*c_0101_4^17 - 220923848372975228569677522668965602072677555/390900661397159740489\ 02689284755168514513*c_0101_4^15 + 21431567960754331541423916149678045999788893/3909006613971597404890\ 2689284755168514513*c_0101_4^13 + 724033051875266032112307334611382\ 35688973762/39090066139715974048902689284755168514513*c_0101_4^11 - 35191847008378938905434352102584665448538591/3909006613971597404890\ 2689284755168514513*c_0101_4^9 - 7347724211612924795260274452979495\ 459636715/39090066139715974048902689284755168514513*c_0101_4^7 + 5622008258228572261114753739035857479032898/39090066139715974048902\ 689284755168514513*c_0101_4^5 + 19137475055665502652198880833263464\ 3389184/39090066139715974048902689284755168514513*c_0101_4^3 - 151170053207468577370549059479392283744539/390900661397159740489026\ 89284755168514513*c_0101_4, c_0101_0 - 20054684467025606631138369062949711623/390900661397159740489\ 02689284755168514513*c_0101_4^31 + 2072349601046620686253641985432551742176/39090066139715974048902689\ 284755168514513*c_0101_4^29 - 6124989106923441413783515091551704001\ 4550/39090066139715974048902689284755168514513*c_0101_4^27 + 452460266951424785119036111989021101762133/390900661397159740489026\ 89284755168514513*c_0101_4^25 - 23022103209420453323117188706819244\ 46105196/39090066139715974048902689284755168514513*c_0101_4^23 + 11558446405693954245964301808290821519015059/3909006613971597404890\ 2689284755168514513*c_0101_4^21 - 312535835169463527750233473037720\ 92444166225/39090066139715974048902689284755168514513*c_0101_4^19 + 53543503492832892276300467255161241690735551/3909006613971597404890\ 2689284755168514513*c_0101_4^17 - 617227494526184678908324548219059\ 63796033855/39090066139715974048902689284755168514513*c_0101_4^15 + 30733636721329892662620718962017525868088171/3909006613971597404890\ 2689284755168514513*c_0101_4^13 + 713961117983028183686831445390385\ 6312869152/39090066139715974048902689284755168514513*c_0101_4^11 - 17258943519715914568071176101203372869980791/3909006613971597404890\ 2689284755168514513*c_0101_4^9 + 4415635186072301158093162291748037\ 635386146/39090066139715974048902689284755168514513*c_0101_4^7 + 2731085705666943160675457108553358783503779/39090066139715974048902\ 689284755168514513*c_0101_4^5 - 72822117161963268860100220138949083\ 2425511/39090066139715974048902689284755168514513*c_0101_4^3 - 145069974765354693254100781637824570208004/390900661397159740489026\ 89284755168514513*c_0101_4, c_0101_1 - 62764108828486765041143349586191273096/390900661397159740489\ 02689284755168514513*c_0101_4^30 + 3676992519759966042509201748220571331067/39090066139715974048902689\ 284755168514513*c_0101_4^28 - 1892216151910623398145671409280941302\ 1108/39090066139715974048902689284755168514513*c_0101_4^26 + 59660507867770752295618212687096369560251/3909006613971597404890268\ 9284755168514513*c_0101_4^24 - 323917939579405282944074811264269910\ 180616/39090066139715974048902689284755168514513*c_0101_4^22 - 326617281483559051309173834349625144368406/390900661397159740489026\ 89284755168514513*c_0101_4^20 + 37943506587317304427249531082315043\ 81078022/39090066139715974048902689284755168514513*c_0101_4^18 - 9964652668317038580674524665800094946002960/39090066139715974048902\ 689284755168514513*c_0101_4^16 + 1648571546270284361957037057460495\ 7936188016/39090066139715974048902689284755168514513*c_0101_4^14 - 13705256133256659084523483395831276380779800/3909006613971597404890\ 2689284755168514513*c_0101_4^12 + 302128361318093520887444226437522\ 3729666428/39090066139715974048902689284755168514513*c_0101_4^10 + 4030546557693664524547012129049060901714041/39090066139715974048902\ 689284755168514513*c_0101_4^8 - 29841705988670243284248750428693498\ 87953425/39090066139715974048902689284755168514513*c_0101_4^6 - 36711236490508269681358917777677879870868/3909006613971597404890268\ 9284755168514513*c_0101_4^4 + 3543964270419548166371463220930022570\ 16367/39090066139715974048902689284755168514513*c_0101_4^2 - 5136224886682978707261757043914487367759/39090066139715974048902689\ 284755168514513, c_0101_3 - 1067176098957976754571043410840475631990/3909006613971597404\ 8902689284755168514513*c_0101_4^30 + 65825296098881458054889007512401116769590/3909006613971597404890268\ 9284755168514513*c_0101_4^28 - 526583585750851146318229341729951809\ 192088/39090066139715974048902689284755168514513*c_0101_4^26 + 2704283927454946751499676858249010803517663/39090066139715974048902\ 689284755168514513*c_0101_4^24 - 1433036614062663929438496862074717\ 6919579519/39090066139715974048902689284755168514513*c_0101_4^22 + 41057267557236963095266774088954232657176175/3909006613971597404890\ 2689284755168514513*c_0101_4^20 - 744951442438714729206721152542581\ 97004114185/39090066139715974048902689284755168514513*c_0101_4^18 + 92594790152993016804028068664752482710482662/3909006613971597404890\ 2689284755168514513*c_0101_4^16 - 582355487667603097764374694592917\ 46775744829/39090066139715974048902689284755168514513*c_0101_4^14 + 3875149568996166549803244494667172976366436/39090066139715974048902\ 689284755168514513*c_0101_4^12 + 1975309684814791262235207215276061\ 1431003307/39090066139715974048902689284755168514513*c_0101_4^10 - 8688793107786015499438916927402308755667660/39090066139715974048902\ 689284755168514513*c_0101_4^8 - 19344001225267711930921614097281070\ 22288386/39090066139715974048902689284755168514513*c_0101_4^6 + 1089556196613721201285164948973575331273421/39090066139715974048902\ 689284755168514513*c_0101_4^4 + 22833745503654261852305379111969730\ 941909/39090066139715974048902689284755168514513*c_0101_4^2 + 19617952589836946960659030802511176391529/3909006613971597404890268\ 9284755168514513, c_0101_4^32 - 62*c_0101_4^30 + 513*c_0101_4^28 - 2687*c_0101_4^26 + 14202*c_0101_4^24 - 42578*c_0101_4^22 + 81158*c_0101_4^20 - 106423*c_0101_4^18 + 77537*c_0101_4^16 - 15222*c_0101_4^14 - 20986*c_0101_4^12 + 14233*c_0101_4^10 + 515*c_0101_4^8 - 2189*c_0101_4^6 + 192*c_0101_4^4 + 77*c_0101_4^2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB