Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 964208095] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0768 geometric_solution 4.71130314 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730747131211 0.120520755409 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 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.605680267392 0.365714685849 3 1 4 1 0132 0132 0132 1023 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 0 0 0 -1 0 0 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 2.090226742773 1.627135642464 2 4 4 5 0132 3201 2310 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 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.145009236720 0.705695065787 5 3 3 2 1023 3201 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.145009236720 0.705695065787 6 4 3 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.577776270729 0.851553168367 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.830071126426 0.484377030144 ==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_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1241906010032286247456829219819428/7738150559266116903697462293355*\ c_0101_6^20 - 20328582479246681720891873565833832/77381505592661169\ 03697462293355*c_0101_6^19 + 1529084424679620215584161888276324/119\ 048470142555644672268650667*c_0101_6^18 - 17887437744444825192502307495838936/7738150559266116903697462293355\ *c_0101_6^17 - 813758706837583615022044204680800348/773815055926611\ 6903697462293355*c_0101_6^16 + 281597720864243285571987507141037324\ /7738150559266116903697462293355*c_0101_6^15 + 3539476701498029642229034516118862573/77381505592661169036974622933\ 55*c_0101_6^14 - 466199229748814089192519625662121034/7738150559266\ 116903697462293355*c_0101_6^13 - 7334530542451087430547309628867950\ 284/7738150559266116903697462293355*c_0101_6^12 - 2618102248741945109440536138871036554/77381505592661169036974622933\ 55*c_0101_6^11 + 6946047691579608584024646605808702258/773815055926\ 6116903697462293355*c_0101_6^10 + 525217186198514401007170341202549\ 954/595242350712778223361343253335*c_0101_6^9 - 873101446871700684474328986858450978/773815055926611690369746229335\ 5*c_0101_6^8 - 4487945163246949623188405723335180023/77381505592661\ 16903697462293355*c_0101_6^7 - 236063901162366853760175922099924614\ 1/7738150559266116903697462293355*c_0101_6^6 + 202758775074545934823788592613507396/773815055926611690369746229335\ 5*c_0101_6^5 + 689337845426463650667274071173085646/773815055926611\ 6903697462293355*c_0101_6^4 + 226891592638091241356512492567922511/\ 7738150559266116903697462293355*c_0101_6^3 - 5768411425638738496345887327695272/7738150559266116903697462293355*\ c_0101_6^2 - 19235146800906792673143673745977992/773815055926611690\ 3697462293355*c_0101_6 - 3653247876533045738246173069067979/7738150\ 559266116903697462293355, c_0011_0 - 1, c_0011_4 - 2132846211011240667033192568507/5952423507127782233613432533\ 35*c_0101_6^20 + 6943454421234774888064393549108/119048470142555644\ 672268650667*c_0101_6^19 - 167435946259204660564019800566746/595242\ 350712778223361343253335*c_0101_6^18 + 14020255955690018139011540045883/595242350712778223361343253335*c_0\ 101_6^17 + 1406002649574397354772630634357292/595242350712778223361\ 343253335*c_0101_6^16 - 358909032037085038308666449629043/595242350\ 712778223361343253335*c_0101_6^15 - 6164797697764013275166347089838963/595242350712778223361343253335*c\ _0101_6^14 + 276019755190193691995901249463417/59524235071277822336\ 1343253335*c_0101_6^13 + 12845288317127223598252449329103751/595242\ 350712778223361343253335*c_0101_6^12 + 1110875880223649216930864068843317/119048470142555644672268650667*c\ _0101_6^11 - 11873719179320132471951755854168809/595242350712778223\ 361343253335*c_0101_6^10 - 12813262452521623498470513654320843/5952\ 42350712778223361343253335*c_0101_6^9 + 160261992014762371578551218316621/119048470142555644672268650667*c_\ 0101_6^8 + 8060492407918646365658161555490523/595242350712778223361\ 343253335*c_0101_6^7 + 4618616925948569258288479932913523/595242350\ 712778223361343253335*c_0101_6^6 - 170280462081037920462153178353024/595242350712778223361343253335*c_\ 0101_6^5 - 252095006131002953882669343244524/1190484701425556446722\ 68650667*c_0101_6^4 - 460679574595446764936388531144011/59524235071\ 2778223361343253335*c_0101_6^3 - 66426393803186903276827571138/1190\ 48470142555644672268650667*c_0101_6^2 + 34637496426277377616637543527647/595242350712778223361343253335*c_0\ 101_6 + 6795795555580857922082997262762/595242350712778223361343253\ 335, c_0101_0 + 3917286655071508349704679931797/5952423507127782233613432533\ 35*c_0101_6^20 - 64411094187477858051902016215352/59524235071277822\ 3361343253335*c_0101_6^19 + 318350112157697090635774954381382/59524\ 2350712778223361343253335*c_0101_6^18 - 81383070686626196195663078349307/595242350712778223361343253335*c_0\ 101_6^17 - 2553508351161795993839678691561742/595242350712778223361\ 343253335*c_0101_6^16 + 214713404021919792251465192057978/119048470\ 142555644672268650667*c_0101_6^15 + 11030381172361280727313327055244724/595242350712778223361343253335*\ c_0101_6^14 - 2251277212989678655346159706854173/595242350712778223\ 361343253335*c_0101_6^13 - 22737048962581236922086051086303601/5952\ 42350712778223361343253335*c_0101_6^12 - 6671357058257511466736985849165504/595242350712778223361343253335*c\ _0101_6^11 + 21933738689164092084786536281469571/595242350712778223\ 361343253335*c_0101_6^10 + 19851086268801814874764339743121363/5952\ 42350712778223361343253335*c_0101_6^9 - 3740874524263716686600856623213278/595242350712778223361343253335*c\ _0101_6^8 - 13523176541867341066829753992430929/5952423507127782233\ 61343253335*c_0101_6^7 - 6584571474901197853278706801151182/5952423\ 50712778223361343253335*c_0101_6^6 + 849953595117545001172203908741949/595242350712778223361343253335*c_\ 0101_6^5 + 2007269019607920446517329264001776/595242350712778223361\ 343253335*c_0101_6^4 + 603273405618090627773967115588113/5952423507\ 12778223361343253335*c_0101_6^3 - 22757244369264416395196225669852/\ 595242350712778223361343253335*c_0101_6^2 - 50563178183487621497173820801131/595242350712778223361343253335*c_0\ 101_6 - 8969385744152920017704329036313/595242350712778223361343253\ 335, c_0101_1 - 15364253730155042940177005254718/595242350712778223361343253\ 335*c_0101_6^20 + 251382665215390326686315671764514/595242350712778\ 223361343253335*c_0101_6^19 - 1227867032736792279124699002563326/59\ 5242350712778223361343253335*c_0101_6^18 + 42791939409140674202158643658896/119048470142555644672268650667*c_0\ 101_6^17 + 10060326016049503993747541923110598/59524235071277822336\ 1343253335*c_0101_6^16 - 3404630403603244279946605500650841/5952423\ 50712778223361343253335*c_0101_6^15 - 43752212589124866025201704017159054/595242350712778223361343253335*\ c_0101_6^14 + 1079667930336709018324182552179238/119048470142555644\ 672268650667*c_0101_6^13 + 90526047607657443028653237652605504/5952\ 42350712778223361343253335*c_0101_6^12 + 33194297544181950457485136037623878/595242350712778223361343253335*\ c_0101_6^11 - 17040503239668002020076902948368854/11904847014255564\ 4672268650667*c_0101_6^10 - 85079985431970332201129432830596437/595\ 242350712778223361343253335*c_0101_6^9 + 9694672020582659914218085857183626/595242350712778223361343253335*c\ _0101_6^8 + 55265368879592120233089776244731879/5952423507127782233\ 61343253335*c_0101_6^7 + 5946875128760151450388922026999536/1190484\ 70142555644672268650667*c_0101_6^6 - 2049365343898447036742565925177801/595242350712778223361343253335*c\ _0101_6^5 - 8428665986781440123902255984136962/59524235071277822336\ 1343253335*c_0101_6^4 - 2874886248665051123910740613146153/59524235\ 0712778223361343253335*c_0101_6^3 + 20464865096470540647865948087949/595242350712778223361343253335*c_0\ 101_6^2 + 222499146077859930067532033926741/59524235071277822336134\ 3253335*c_0101_6 + 8470679985241575469852395769733/1190484701425556\ 44672268650667, c_0101_2 + 2558112697675142700897876121303/5952423507127782233613432533\ 35*c_0101_6^20 - 8333518829764381108627500526364/119048470142555644\ 672268650667*c_0101_6^19 + 201288540903454177674038693245979/595242\ 350712778223361343253335*c_0101_6^18 - 19194552714600248052062986801107/595242350712778223361343253335*c_0\ 101_6^17 - 1685314752349202083466347376673233/595242350712778223361\ 343253335*c_0101_6^16 + 448947480203510628564835595033157/595242350\ 712778223361343253335*c_0101_6^15 + 7381759543093997437269878971837222/595242350712778223361343253335*c\ _0101_6^14 - 409590938738215654103185153650248/59524235071277822336\ 1343253335*c_0101_6^13 - 15369261378569946631022539287676944/595242\ 350712778223361343253335*c_0101_6^12 - 1299872698942704031557563892929572/119048470142555644672268650667*c\ _0101_6^11 + 14239535803187887647013541333987136/595242350712778223\ 361343253335*c_0101_6^10 + 15199376544067503812120584606944542/5952\ 42350712778223361343253335*c_0101_6^9 - 210201569226390309542524936238283/119048470142555644672268650667*c_\ 0101_6^8 - 9606359041973076853091938450984372/595242350712778223361\ 343253335*c_0101_6^7 - 5459803033268188053908960888438187/595242350\ 712778223361343253335*c_0101_6^6 + 222399398821053926446646662812811/595242350712778223361343253335*c_\ 0101_6^5 + 299852153931793373944035500458495/1190484701425556446722\ 68650667*c_0101_6^4 + 542438949951232586035365483533404/59524235071\ 2778223361343253335*c_0101_6^3 + 69276639678824688612697595048/1190\ 48470142555644672268650667*c_0101_6^2 - 40479133846557513540211375745723/595242350712778223361343253335*c_0\ 101_6 - 7830486379752239673527212086853/595242350712778223361343253\ 335, c_0101_3 + 286737187576961123745440791258/59524235071277822336134325333\ 5*c_0101_6^20 - 4671386754215166953706403135222/5952423507127782233\ 61343253335*c_0101_6^19 + 4511394857876734176545850876961/119048470\ 142555644672268650667*c_0101_6^18 - 1881253440761613256261127797266/595242350712778223361343253335*c_01\ 01_6^17 - 190744434171753946351961798673498/59524235071277822336134\ 3253335*c_0101_6^16 + 52515596882996822485749072537299/595242350712\ 778223361343253335*c_0101_6^15 + 839511055638994363839941984367008/\ 595242350712778223361343253335*c_0101_6^14 - 62506499299550250324373050595254/595242350712778223361343253335*c_0\ 101_6^13 - 1772063752125330320484777660139549/595242350712778223361\ 343253335*c_0101_6^12 - 676053931370083285071373706076654/595242350\ 712778223361343253335*c_0101_6^11 + 1694761538085765967668186471810843/595242350712778223361343253335*c\ _0101_6^10 + 1661966665742817706477955012760807/5952423507127782233\ 61343253335*c_0101_6^9 - 236218468874888461440602303002108/59524235\ 0712778223361343253335*c_0101_6^8 - 1102586349180873017014637072944588/595242350712778223361343253335*c\ _0101_6^7 - 545684365810377736991697030386706/595242350712778223361\ 343253335*c_0101_6^6 + 66799508005566544073775990918986/59524235071\ 2778223361343253335*c_0101_6^5 + 166836783491395583510583289228656/\ 595242350712778223361343253335*c_0101_6^4 + 48243077450632225204957685753161/595242350712778223361343253335*c_0\ 101_6^3 - 4321838262240552768991336118692/5952423507127782233613432\ 53335*c_0101_6^2 - 3983434623959773335210988530737/5952423507127782\ 23361343253335*c_0101_6 - 898562240387918690966104501779/5952423507\ 12778223361343253335, c_0101_6^21 - 16*c_0101_6^20 + 74*c_0101_6^19 + 15*c_0101_6^18 - 660*c_0101_6^17 - 15*c_0101_6^16 + 2929*c_0101_6^15 + 677*c_0101_6^14 - 6024*c_0101_6^13 - 4287*c_0101_6^12 + 4774*c_0101_6^11 + 7541*c_0101_6^10 + 1361*c_0101_6^9 - 3830*c_0101_6^8 - 3232*c_0101_6^7 - 562*c_0101_6^6 + 598*c_0101_6^5 + 385*c_0101_6^4 + 66*c_0101_6^3 - 15*c_0101_6^2 - 8*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB