Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 2395935325] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1260 geometric_solution 5.16095486 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 -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 -1 0 1 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.319962550201 0.340471120826 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.214313639468 1.219200872696 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 1 0 0 -1 1 0 0 -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 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.311536822063 0.791060021809 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 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 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.311536822063 0.791060021809 4 4 3 2 1302 2031 2310 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.266617559600 0.465544696327 6 6 2 3 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 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 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588479222527 2.510680451790 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 -1 0 1 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 1 0 -1 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.487997926110 0.386841723789 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_0011_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_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_0011_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), '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_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 169829945216917328719864375645585/245350006635750509318967645206976\ *c_0101_1^15 - 316551989077283573289375509176363/817833355452501697\ 72989215068992*c_0101_1^14 - 76535756239143709111340556909211/11683\ 333649321452824712745009856*c_0101_1^13 - 62878150677253794586928469841229/5841666824660726412356372504928*c_\ 0101_1^12 + 15765932269565362615202848060917965/2453500066357505093\ 18967645206976*c_0101_1^11 + 23398631990625334761700370741647241/12\ 2675003317875254659483822603488*c_0101_1^10 - 12019775389635067371144772781882761/8178333554525016977298921506899\ 2*c_0101_1^9 - 86609370649999002161120584070344333/1226750033178752\ 54659483822603488*c_0101_1^8 + 64344482627377819175432850005957437/\ 122675003317875254659483822603488*c_0101_1^7 + 9913071427309973929887162807185377/11683333649321452824712745009856\ *c_0101_1^6 - 153794069406082996081083478943899693/8178333554525016\ 9772989215068992*c_0101_1^5 + 47818753955745291579854189241077499/2\ 7261111848416723257663071689664*c_0101_1^4 - 220378217334205295809597627628554931/245350006635750509318967645206\ 976*c_0101_1^3 + 60998042237619706303429860384198055/24535000663575\ 0509318967645206976*c_0101_1^2 + 9006981308849202531533799810157640\ 5/245350006635750509318967645206976*c_0101_1 - 22620659195589808326187495586428675/8178333554525016977298921506899\ 2, c_0011_0 - 1, c_0011_1 + 2438097200969942501/27803399434350490073841*c_0101_1^15 + 5844141840425891651/9267799811450163357947*c_0101_1^14 + 17628480524215500335/9267799811450163357947*c_0101_1^13 + 42826003375973789547/9267799811450163357947*c_0101_1^12 - 19369685676907752340/27803399434350490073841*c_0101_1^11 - 687497446050277534808/27803399434350490073841*c_0101_1^10 - 266934350627760764295/9267799811450163357947*c_0101_1^9 + 1134743878431860898355/27803399434350490073841*c_0101_1^8 + 686480621346475940126/27803399434350490073841*c_0101_1^7 - 507187415086449032194/9267799811450163357947*c_0101_1^6 + 795295470952162934083/9267799811450163357947*c_0101_1^5 - 39462719001151164211/9267799811450163357947*c_0101_1^4 + 1701665335757301678520/27803399434350490073841*c_0101_1^3 + 3071385490665742191655/27803399434350490073841*c_0101_1^2 + 12171640331280118986577/27803399434350490073841*c_0101_1 - 5750094907499316257879/9267799811450163357947, c_0011_3 - 536771438678215363074555589/172830379427832142377407470560*c\ _0101_1^15 - 1069731685633038194252549383/5761012647594404745913582\ 3520*c_0101_1^14 - 2097302705906935033938291361/5761012647594404745\ 9135823520*c_0101_1^13 - 1738375254567307747895316359/2880506323797\ 2023729567911760*c_0101_1^12 + 47251419615628801781281973777/172830\ 379427832142377407470560*c_0101_1^11 + 84712928761475480590821690509/86415189713916071188703735280*c_0101_\ 1^10 - 15099636330218162048358111773/57610126475944047459135823520*\ c_0101_1^9 - 58306902644087097771526283501/172830379427832142377407\ 47056*c_0101_1^8 + 68381328848294992978567105393/864151897139160711\ 88703735280*c_0101_1^7 + 247480035436851516382499272851/57610126475\ 944047459135823520*c_0101_1^6 - 68800997953998825404515777757/11522\ 025295188809491827164704*c_0101_1^5 + 284776009582892872609208832709/57610126475944047459135823520*c_0101\ _1^4 - 120383911555742130662845156483/34566075885566428475481494112\ *c_0101_1^3 + 220466863487076084400755609811/1728303794278321423774\ 07470560*c_0101_1^2 + 48103136420942890989297432101/345660758855664\ 28475481494112*c_0101_1 - 12294174298531607814327338527/57610126475\ 944047459135823520, c_0011_4 - 660701457056895488756808871/172830379427832142377407470560*c\ _0101_1^15 - 1364224584650804985331975837/5761012647594404745913582\ 3520*c_0101_1^14 - 2950900052931935487513430779/5761012647594404745\ 9135823520*c_0101_1^13 - 2749105263691661555614395821/2880506323797\ 2023729567911760*c_0101_1^12 + 49162003364037531076029954443/172830\ 379427832142377407470560*c_0101_1^11 + 103506744676165677358581563471/86415189713916071188703735280*c_0101\ _1^10 - 2783378900778750218430228527/57610126475944047459135823520*\ c_0101_1^9 - 63501513048844093250939702015/172830379427832142377407\ 47056*c_0101_1^8 + 69709704298495822614715597627/864151897139160711\ 88703735280*c_0101_1^7 + 264595383852134467396566618049/57610126475\ 944047459135823520*c_0101_1^6 - 89770431984654365392643119823/11522\ 025295188809491827164704*c_0101_1^5 + 312584443198601100401492079431/57610126475944047459135823520*c_0101\ _1^4 - 94718018287120304093014892017/34566075885566428475481494112*\ c_0101_1^3 + 190704405311338073312830183489/17283037942783214237740\ 7470560*c_0101_1^2 + 50417631701212424472042081575/3456607588556642\ 8475481494112*c_0101_1 - 9696947561515227043070814373/5761012647594\ 4047459135823520, c_0011_5 + 41574367520832507021443851/43207594856958035594351867640*c_0\ 101_1^15 + 79192770949402685316165977/14402531618986011864783955880\ *c_0101_1^14 + 124052459830335007551981239/144025316189860118647839\ 55880*c_0101_1^13 + 59738546758183519393180781/72012658094930059323\ 91977940*c_0101_1^12 - 4634839869407351052202112543/432075948569580\ 35594351867640*c_0101_1^11 - 6827450310794108443457277191/216037974\ 28479017797175933820*c_0101_1^10 + 3370125343196117762072429627/14402531618986011864783955880*c_0101_1\ ^9 + 6036674417876013917269056707/4320759485695803559435186764*c_01\ 01_1^8 - 9058321144248644485081745887/21603797428479017797175933820\ *c_0101_1^7 - 32976104645689813365580913949/14402531618986011864783\ 955880*c_0101_1^6 + 6341840829081054795424909387/288050632379720237\ 2956791176*c_0101_1^5 - 11674515714489459380447950131/1440253161898\ 6011864783955880*c_0101_1^4 - 5589256549773246330577965827/86415189\ 71391607118870373528*c_0101_1^3 + 9803956602857022078833686331/4320\ 7594856958035594351867640*c_0101_1^2 - 6679315523734006065814724843/8641518971391607118870373528*c_0101_1 + 1474042786305137049404402113/14402531618986011864783955880, c_0101_0 + 6088416880714748964963967/8641518971391607118870373528*c_010\ 1_1^15 + 15036354280511924657386933/2880506323797202372956791176*c_\ 0101_1^14 + 40457321973343741332442267/2880506323797202372956791176\ *c_0101_1^13 + 33434580840326906401368513/1440253161898601186478395\ 588*c_0101_1^12 - 443829061011365592755196155/864151897139160711887\ 0373528*c_0101_1^11 - 1439889577558016295103879247/4320759485695803\ 559435186764*c_0101_1^10 - 798579864972010465648336833/288050632379\ 7202372956791176*c_0101_1^9 + 4109572198936076369302277371/43207594\ 85695803559435186764*c_0101_1^8 + 5129551351135668079054880453/4320\ 759485695803559435186764*c_0101_1^7 - 3383629236074734047587228377/2880506323797202372956791176*c_0101_1^\ 6 - 1117556067944967782377950389/2880506323797202372956791176*c_010\ 1_1^5 + 2653474614677578399437587473/2880506323797202372956791176*c\ _0101_1^4 - 9897285897817264308495509995/86415189713916071188703735\ 28*c_0101_1^3 - 3572130900870058940962445761/8641518971391607118870\ 373528*c_0101_1^2 - 1036461818235467675071549027/864151897139160711\ 8870373528*c_0101_1 - 1622193132019929132357445123/2880506323797202\ 372956791176, c_0101_1^16 + 6*c_0101_1^15 + 12*c_0101_1^14 + 21*c_0101_1^13 - 83*c_0101_1^12 - 307*c_0101_1^11 + 81*c_0101_1^10 + 1025*c_0101_1^9 - 344*c_0101_1^8 - 1287*c_0101_1^7 + 2190*c_0101_1^6 - 1728*c_0101_1^5 + 740*c_0101_1^4 - 184*c_0101_1^3 - 520*c_0101_1^2 + 144*c_0101_1 + 45 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB