Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 981182190] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1226 geometric_solution 5.12158127 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 1 0 -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.231512787821 0.468550229520 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.439108300135 1.111522106436 3 0 4 1 0132 0132 0132 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 -1 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 0 0 0 0.439108300135 1.111522106436 2 1 5 5 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.254050364158 0.471183831529 4 4 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.206878641253 1.138792841725 3 6 6 3 3201 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 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.014721384318 0.562584078498 5 5 6 6 2310 0132 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 -1 0 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 2.246619164300 0.712445246778 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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' : 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' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_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_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 4942647953453813502728915980374188/18757283304392356979458612315482\ 1*c_0101_6^16 + 6718863538435235282567212943538520/2679611900627479\ 5684940874736403*c_0101_6^15 + 73423386282347166428625134221468506/\ 187572833043923569794586123154821*c_0101_6^14 - 697942658714842708512404717682071367/187572833043923569794586123154\ 821*c_0101_6^13 + 16194697948201739630357870196768251/2679611900627\ 4795684940874736403*c_0101_6^12 + 118601045660859018837544651164788\ 3210/187572833043923569794586123154821*c_0101_6^11 - 64355529735314169865128614444597827/1875728330439235697945861231548\ 21*c_0101_6^10 - 565091890661835076101034462837512398/1875728330439\ 23569794586123154821*c_0101_6^9 - 946218415716080295283320830771873\ 37/187572833043923569794586123154821*c_0101_6^8 - 470579970414290293279634738720644943/187572833043923569794586123154\ 821*c_0101_6^7 + 221253227140014315073289260847155575/1875728330439\ 23569794586123154821*c_0101_6^6 + 513094099363712727137768632792557\ 281/187572833043923569794586123154821*c_0101_6^5 - 194273041636500039654140624080117044/187572833043923569794586123154\ 821*c_0101_6^4 - 89646076333037350197135409382077717/18757283304392\ 3569794586123154821*c_0101_6^3 + 2005868845379400189931144374554549\ /187572833043923569794586123154821*c_0101_6^2 + 16811498411396518623102551246305891/1875728330439235697945861231548\ 21*c_0101_6 + 4661272952418973648798375918085256/187572833043923569\ 794586123154821, c_0011_0 - 1, c_0011_4 + 316456938139407766913255751094/79513706250073577700121290019\ *c_0101_6^16 - 2140490930217499032112554736787/79513706250073577700\ 121290019*c_0101_6^15 - 10183048866508303743128333165057/7951370625\ 0073577700121290019*c_0101_6^14 + 14017857310069951609026187291220/\ 79513706250073577700121290019*c_0101_6^13 + 17553989043759671813741719378263/79513706250073577700121290019*c_01\ 01_6^12 - 13730835552575706320020937829427/795137062500735777001212\ 90019*c_0101_6^11 - 10024920474147730138277559727109/79513706250073\ 577700121290019*c_0101_6^10 - 992383417834343096960315372678/795137\ 06250073577700121290019*c_0101_6^9 - 5756459546691755139877265091930/79513706250073577700121290019*c_010\ 1_6^8 + 11582065117577896500917160249330/79513706250073577700121290\ 019*c_0101_6^7 + 6375312135592138611581195578826/795137062500735777\ 00121290019*c_0101_6^6 - 6992667934747103696831404758713/7951370625\ 0073577700121290019*c_0101_6^5 + 62051397161307006855799139340/7951\ 3706250073577700121290019*c_0101_6^4 - 293224175287134943358361043362/79513706250073577700121290019*c_0101\ _6^3 + 255171090449996512931924689871/79513706250073577700121290019\ *c_0101_6^2 + 11243949252119063258611133555/79513706250073577700121\ 290019*c_0101_6 + 70283837327744284315707633420/7951370625007357770\ 0121290019, c_0011_5 - 364375070959381153407809356971/79513706250073577700121290019\ *c_0101_6^16 + 2313360323912503879909443932698/79513706250073577700\ 121290019*c_0101_6^15 + 12641467689526510369266183953264/7951370625\ 0073577700121290019*c_0101_6^14 - 10628247590921225249168047805267/\ 79513706250073577700121290019*c_0101_6^13 - 23020120849384873557576469175523/79513706250073577700121290019*c_01\ 01_6^12 + 5399365354218367755028234865647/7951370625007357770012129\ 0019*c_0101_6^11 + 10400497248042725161831441255684/795137062500735\ 77700121290019*c_0101_6^10 + 4925773029754707767027326106069/795137\ 06250073577700121290019*c_0101_6^9 + 10137683757926034385773695427979/79513706250073577700121290019*c_01\ 01_6^8 - 7730928049884704703347390937131/79513706250073577700121290\ 019*c_0101_6^7 - 8725709570451001180282609503551/795137062500735777\ 00121290019*c_0101_6^6 + 4046049306377385042875405713553/7951370625\ 0073577700121290019*c_0101_6^5 + 254924460311620576620487038272/795\ 13706250073577700121290019*c_0101_6^4 + 501143105214029338868072361242/79513706250073577700121290019*c_0101\ _6^3 - 70559071197882022339263665111/79513706250073577700121290019*\ c_0101_6^2 + 18813081659248773456958949595/795137062500735777001212\ 90019*c_0101_6 - 69349493515829589947252872189/79513706250073577700\ 121290019, c_0101_0 - 266773718351639368544250075561274/26796119006274795684940874\ 736403*c_0101_6^16 + 1744436248122877578388473170957941/26796119006\ 274795684940874736403*c_0101_6^15 + 8986136512223662541549724516167926/26796119006274795684940874736403\ *c_0101_6^14 - 9851301814666052593800654356854805/26796119006274795\ 684940874736403*c_0101_6^13 - 17368817409851063775803528490438247/2\ 6796119006274795684940874736403*c_0101_6^12 + 7770098109237984447748426534502274/26796119006274795684940874736403\ *c_0101_6^11 + 10771072799084410272191051188892925/2679611900627479\ 5684940874736403*c_0101_6^10 + 3057769184943169600618864593916271/2\ 6796119006274795684940874736403*c_0101_6^9 + 5054644317438021143896478531331382/26796119006274795684940874736403\ *c_0101_6^8 - 8443852697650902305812157308499228/267961190062747956\ 84940874736403*c_0101_6^7 - 7063592701320561093302769938124325/2679\ 6119006274795684940874736403*c_0101_6^6 + 4576887378175727730572613816670238/26796119006274795684940874736403\ *c_0101_6^5 + 1244799354163866414512009305829311/267961190062747956\ 84940874736403*c_0101_6^4 + 296924361771727773229306785393911/26796\ 119006274795684940874736403*c_0101_6^3 - 400685267902855471783489654160603/26796119006274795684940874736403*\ c_0101_6^2 - 45336914144367910611795166902280/267961190062747956849\ 40874736403*c_0101_6 - 21010382853026733051399303085862/26796119006\ 274795684940874736403, c_0101_1 + 53811165632359749434930206427230/267961190062747956849408747\ 36403*c_0101_6^16 - 415672255572201323683634743982867/2679611900627\ 4795684940874736403*c_0101_6^15 - 139414571525261008858526844376789\ 8/26796119006274795684940874736403*c_0101_6^14 + 4116579190931311578898679234591420/26796119006274795684940874736403\ *c_0101_6^13 + 1167142801321735249505895559727001/26796119006274795\ 684940874736403*c_0101_6^12 - 5223559524065059223959376384128971/26\ 796119006274795684940874736403*c_0101_6^11 - 189702981933554483938473766070655/26796119006274795684940874736403*\ c_0101_6^10 + 1135748924055436529573858430726048/267961190062747956\ 84940874736403*c_0101_6^9 - 774880796174100437159644043111408/26796\ 119006274795684940874736403*c_0101_6^8 + 3106479992268490932531293043346800/26796119006274795684940874736403\ *c_0101_6^7 - 340594013456765194437967406462843/2679611900627479568\ 4940874736403*c_0101_6^6 - 2170799296560849060799216511870553/26796\ 119006274795684940874736403*c_0101_6^5 + 915058695838345459106704397652140/26796119006274795684940874736403*\ c_0101_6^4 - 100198747960370337521021028517711/26796119006274795684\ 940874736403*c_0101_6^3 + 91704204089528607119886978143134/26796119\ 006274795684940874736403*c_0101_6^2 - 20437067374850203147789409909696/26796119006274795684940874736403*c\ _0101_6 + 10178565814943389161734371964442/267961190062747956849408\ 74736403, c_0101_3 + 129921261875237246558108233306/79513706250073577700121290019\ *c_0101_6^16 - 747319107994256581561188007801/795137062500735777001\ 21290019*c_0101_6^15 - 4992543475628381538565507306592/795137062500\ 73577700121290019*c_0101_6^14 + 1071192392170761052257069996557/795\ 13706250073577700121290019*c_0101_6^13 + 10132653842404008618825870506418/79513706250073577700121290019*c_01\ 01_6^12 + 2524001539481399203021049174859/7951370625007357770012129\ 0019*c_0101_6^11 - 4556155819088045473336441725321/7951370625007357\ 7700121290019*c_0101_6^10 - 3256608935285072273018942750447/7951370\ 6250073577700121290019*c_0101_6^9 - 4154405108104405964723818345704/79513706250073577700121290019*c_010\ 1_6^8 + 961768300181906716010532335842/7951370625007357770012129001\ 9*c_0101_6^7 + 4411125042658971084778929769718/79513706250073577700\ 121290019*c_0101_6^6 - 319782584670304693261985089164/7951370625007\ 3577700121290019*c_0101_6^5 - 1111123589942067883625150528613/79513\ 706250073577700121290019*c_0101_6^4 - 194932850610790279533057740024/79513706250073577700121290019*c_0101\ _6^3 - 43280796905330129526026659481/79513706250073577700121290019*\ c_0101_6^2 + 163678160430013213307052054548/79513706250073577700121\ 290019*c_0101_6 + 4149347030149486557164644795/79513706250073577700\ 121290019, c_0101_6^17 - 199/31*c_0101_6^16 - 1070/31*c_0101_6^15 + 1029/31*c_0101_6^14 + 2211/31*c_0101_6^13 - 687/31*c_0101_6^12 - 47*c_0101_6^11 - 512/31*c_0101_6^10 - 601/31*c_0101_6^9 + 935/31*c_0101_6^8 + 988/31*c_0101_6^7 - 449/31*c_0101_6^6 - 243/31*c_0101_6^5 - 45/31*c_0101_6^4 + 42/31*c_0101_6^3 + 14/31*c_0101_6^2 + 5/31*c_0101_6 + 1/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB