Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 105355810] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s284 geometric_solution 4.45363666 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 2 0132 0132 0132 3120 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 0 0 0 0 0 1 -1 0 1 0 -1 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.620276148982 0.576692094072 0 1 2 1 0132 1302 0321 2031 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 -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.414500197425 0.633775562999 0 0 1 3 3120 0132 0321 3012 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 -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.796460872485 1.209596624412 4 4 2 0 0132 2310 1230 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 0 1 -1 0 0 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.735907114082 1.653393538230 3 5 5 3 0132 0132 1023 3201 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 0 0 0 0 0 1 0 -1 1 0 -1 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.195202036244 0.211429398299 5 4 4 5 3201 0132 1023 2310 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 -1 1 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 2.503355055156 0.637256778011 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 20706831325591620983368532/1380228547053387962359671*c_0101_5^19 - 24815022881164614202731289/460076182351129320786557*c_0101_5^18 + 449072141771583772619420224/1380228547053387962359671*c_0101_5^17 + 1477397265202657494346816696/1380228547053387962359671*c_0101_5^16 - 3078305761741390254262854302/1380228547053387962359671*c_0101_5^15 - 2953193698298323613842310291/460076182351129320786557*c_0101_5^14 + 2777338935937244123791284891/460076182351129320786557*c_0101_5^13 + 5893556119381765627061497133/460076182351129320786557*c_0101_5^12 - 3589478554675445093769053565/460076182351129320786557*c_0101_5^11 - 26793825849884728619373155227/1380228547053387962359671*c_0101_5^10 + 33809121275505683195417033/3358220309132330808661*c_0101_5^9 + 8655138161525618964900662210/460076182351129320786557*c_0101_5^8 - 3911937516999602397474383798/460076182351129320786557*c_0101_5^7 - 5663308266169764017765730988/460076182351129320786557*c_0101_5^6 + 2224954788412668238631040175/460076182351129320786557*c_0101_5^5 + 2509588469265622413300048051/460076182351129320786557*c_0101_5^4 - 825770984184013482414451959/460076182351129320786557*c_0101_5^3 - 672853732722268856743865515/460076182351129320786557*c_0101_5^2 + 128016890827173294383178553/460076182351129320786557*c_0101_5 + 239152199456581824316716106/1380228547053387962359671, c_0011_0 - 1, c_0011_3 - 30351847372405887366842/41825107486466301889687*c_0101_5^19 - 103842207603124648291467/41825107486466301889687*c_0101_5^18 + 671730090163119558352515/41825107486466301889687*c_0101_5^17 + 2030886302082150523471984/41825107486466301889687*c_0101_5^16 - 4771355592757059851708830/41825107486466301889687*c_0101_5^15 - 11800881069614496997624484/41825107486466301889687*c_0101_5^14 + 13687958152451856135204831/41825107486466301889687*c_0101_5^13 + 21394107924996456806022022/41825107486466301889687*c_0101_5^12 - 18268239180267762248645944/41825107486466301889687*c_0101_5^11 - 31788394374255813214859211/41825107486466301889687*c_0101_5^10 + 180048159178956952141814/305292755375666437151*c_0101_5^9 + 27540272095160705661265344/41825107486466301889687*c_0101_5^8 - 20660680059669087293858744/41825107486466301889687*c_0101_5^7 - 15225180078937712123766346/41825107486466301889687*c_0101_5^6 + 11393691348522334689258366/41825107486466301889687*c_0101_5^5 + 5309964388739170691351891/41825107486466301889687*c_0101_5^4 - 4097361022832335029148150/41825107486466301889687*c_0101_5^3 - 664017601039782413583621/41825107486466301889687*c_0101_5^2 + 541124286331375559715257/41825107486466301889687*c_0101_5 - 39997211844148817832547/41825107486466301889687, c_0101_0 + 6908547272660295576283/41825107486466301889687*c_0101_5^19 + 34793948256666758866292/41825107486466301889687*c_0101_5^18 - 109969699577915801615269/41825107486466301889687*c_0101_5^17 - 687539929236012558906697/41825107486466301889687*c_0101_5^16 + 256121562846100535360005/41825107486466301889687*c_0101_5^15 + 4017986218560240484354568/41825107486466301889687*c_0101_5^14 + 1550207077945292152406577/41825107486466301889687*c_0101_5^13 - 7502203498568704600089707/41825107486466301889687*c_0101_5^12 - 3537740168556040133359178/41825107486466301889687*c_0101_5^11 + 9814776412197888630296952/41825107486466301889687*c_0101_5^10 + 39089097949578193226443/305292755375666437151*c_0101_5^9 - 9721575232238145122959543/41825107486466301889687*c_0101_5^8 - 4290142495495905430239326/41825107486466301889687*c_0101_5^7 + 5820177404742126821946811/41825107486466301889687*c_0101_5^6 + 2182657653130479061373252/41825107486466301889687*c_0101_5^5 - 2432268670102787172211854/41825107486466301889687*c_0101_5^4 - 722108687710012962470844/41825107486466301889687*c_0101_5^3 + 481462355160885114232614/41825107486466301889687*c_0101_5^2 + 4402617812437076227901/41825107486466301889687*c_0101_5 - 21048640466804603874241/41825107486466301889687, c_0101_1 - 19013305564603782670413/41825107486466301889687*c_0101_5^19 - 83604189241806592038922/41825107486466301889687*c_0101_5^18 + 342545165306015160585148/41825107486466301889687*c_0101_5^17 + 1622200636391374430573061/41825107486466301889687*c_0101_5^16 - 1464737340678379647839825/41825107486466301889687*c_0101_5^15 - 9138084135872002032952947/41825107486466301889687*c_0101_5^14 - 109591172500045872350488/41825107486466301889687*c_0101_5^13 + 15226039292946691905169650/41825107486466301889687*c_0101_5^12 + 3565423978401644413274142/41825107486466301889687*c_0101_5^11 - 20483086353096376856821720/41825107486466301889687*c_0101_5^10 - 38948566091414602603614/305292755375666437151*c_0101_5^9 + 17682132684270141009013325/41825107486466301889687*c_0101_5^8 + 5723872025176000224505273/41825107486466301889687*c_0101_5^7 - 9795504142295143427767626/41825107486466301889687*c_0101_5^6 - 3484611551527352250474183/41825107486466301889687*c_0101_5^5 + 3757108620184058787906692/41825107486466301889687*c_0101_5^4 + 1536326289370532973548733/41825107486466301889687*c_0101_5^3 - 501045774862405335465140/41825107486466301889687*c_0101_5^2 - 264881237510415822379802/41825107486466301889687*c_0101_5 - 45761766361598187559/41825107486466301889687, c_0101_3 + 34870798447444408125845/41825107486466301889687*c_0101_5^19 + 151336740188355838612633/41825107486466301889687*c_0101_5^18 - 642013025582371680388369/41825107486466301889687*c_0101_5^17 - 2955573547958274194146563/41825107486466301889687*c_0101_5^16 + 2968081904294670663513782/41825107486466301889687*c_0101_5^15 + 16915926227686931088676905/41825107486466301889687*c_0101_5^14 - 1561799654776220230219662/41825107486466301889687*c_0101_5^13 - 29613602365544540526155853/41825107486466301889687*c_0101_5^12 - 2538622411687721661044440/41825107486466301889687*c_0101_5^11 + 40348038205455115917365514/41825107486466301889687*c_0101_5^10 + 30523294564501693538989/305292755375666437151*c_0101_5^9 - 36832418597608096318388315/41825107486466301889687*c_0101_5^8 - 3991637401750677245795199/41825107486466301889687*c_0101_5^7 + 21294516306084170063420524/41825107486466301889687*c_0101_5^6 + 1721958742629901144394326/41825107486466301889687*c_0101_5^5 - 8371656014645669243441739/41825107486466301889687*c_0101_5^4 - 653577226428077714414552/41825107486466301889687*c_0101_5^3 + 1491676395957377023197405/41825107486466301889687*c_0101_5^2 + 37116115895178116701390/41825107486466301889687*c_0101_5 - 48304887783617203362981/41825107486466301889687, c_0101_5^20 + 4*c_0101_5^19 - 20*c_0101_5^18 - 79*c_0101_5^17 + 116*c_0101_5^16 + 466*c_0101_5^15 - 219*c_0101_5^14 - 891*c_0101_5^13 + 219*c_0101_5^12 + 1286*c_0101_5^11 - 262*c_0101_5^10 - 1242*c_0101_5^9 + 225*c_0101_5^8 + 786*c_0101_5^7 - 141*c_0101_5^6 - 342*c_0101_5^5 + 57*c_0101_5^4 + 84*c_0101_5^3 - 12*c_0101_5^2 - 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB