Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 2614757307] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s240 geometric_solution 4.40150941 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.518999904159 0.188249310378 0 2 2 0 3201 0132 1023 0132 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 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 1.225613122406 0.312616359375 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 -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.686923072012 0.610081524748 2 5 4 4 0132 0132 1302 2031 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 0 0 0 0 0 0 0 -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.404964371428 0.431542273556 3 3 2 5 2031 1302 0132 0132 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 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.404964371428 0.431542273556 5 3 4 5 3201 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 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.329306246846 1.128268666213 ==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' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 39715950760665392/14302852451453*c_0101_5^18 + 29041874510372110/14302852451453*c_0101_5^17 + 694097116223387898/14302852451453*c_0101_5^16 - 1143236030723872590/14302852451453*c_0101_5^15 - 2269686484730244929/14302852451453*c_0101_5^14 + 4292057550007161389/14302852451453*c_0101_5^13 + 1456197375925315385/14302852451453*c_0101_5^12 - 10320116586633374221/14302852451453*c_0101_5^11 + 8793421798194261276/14302852451453*c_0101_5^10 + 22629917812373589599/14302852451453*c_0101_5^9 - 12730983774377290761/14302852451453*c_0101_5^8 - 25109584398527766595/14302852451453*c_0101_5^7 + 3901375396258598430/14302852451453*c_0101_5^6 + 9506042723949722906/14302852451453*c_0101_5^5 - 2511592946053039243/14302852451453*c_0101_5^4 - 2459827906032688202/14302852451453*c_0101_5^3 + 572055192523114076/14302852451453*c_0101_5^2 + 242177963884129557/14302852451453*c_0101_5 - 56844117460973217/14302852451453, c_0011_0 - 1, c_0011_1 - 4946930797472074/14302852451453*c_0101_5^18 + 3519345872134281/14302852451453*c_0101_5^17 + 86550661811818201/14302852451453*c_0101_5^16 - 140729334079295819/14302852451453*c_0101_5^15 - 285912666776952106/14302852451453*c_0101_5^14 + 530135867218616038/14302852451453*c_0101_5^13 + 192359299637582761/14302852451453*c_0101_5^12 - 1285432393228035663/14302852451453*c_0101_5^11 + 1072224535806576693/14302852451453*c_0101_5^10 + 2845884500677870169/14302852451453*c_0101_5^9 - 1541417796455252193/14302852451453*c_0101_5^8 - 3163623450264956666/14302852451453*c_0101_5^7 + 441784970314973009/14302852451453*c_0101_5^6 + 1195883173465643754/14302852451453*c_0101_5^5 - 301079691826608615/14302852451453*c_0101_5^4 - 312073010974500122/14302852451453*c_0101_5^3 + 68817588074932972/14302852451453*c_0101_5^2 + 30718129316491728/14302852451453*c_0101_5 - 7007696122984184/14302852451453, c_0011_4 - 1862838378091962/14302852451453*c_0101_5^18 + 1276425218022993/14302852451453*c_0101_5^17 + 32663901596875710/14302852451453*c_0101_5^16 - 52193091304692797/14302852451453*c_0101_5^15 - 109665925919946044/14302852451453*c_0101_5^14 + 198316474495428747/14302852451453*c_0101_5^13 + 78712458317269235/14302852451453*c_0101_5^12 - 486898923714537339/14302852451453*c_0101_5^11 + 393109517718895565/14302852451453*c_0101_5^10 + 1090410535753125160/14302852451453*c_0101_5^9 - 566400080779322241/14302852451453*c_0101_5^8 - 1217624535864202064/14302852451453*c_0101_5^7 + 154815710090508502/14302852451453*c_0101_5^6 + 464049352376637230/14302852451453*c_0101_5^5 - 111709400268875484/14302852451453*c_0101_5^4 - 122034282792588878/14302852451453*c_0101_5^3 + 26238668818337859/14302852451453*c_0101_5^2 + 12110039859595129/14302852451453*c_0101_5 - 2749122769493393/14302852451453, c_0101_0 - 3844587785647442/14302852451453*c_0101_5^18 + 2697762078087920/14302852451453*c_0101_5^17 + 67319500983102755/14302852451453*c_0101_5^16 - 108761267566231503/14302852451453*c_0101_5^15 - 223728297365563634/14302852451453*c_0101_5^14 + 411054729017810149/14302852451453*c_0101_5^13 + 154133059029955791/14302852451453*c_0101_5^12 - 1001168270823047011/14302852451453*c_0101_5^11 + 825551699470168890/14302852451453*c_0101_5^10 + 2225648641868516311/14302852451453*c_0101_5^9 - 1187641558742590790/14302852451453*c_0101_5^8 - 2477353591820188269/14302852451453*c_0101_5^7 + 334512125334076157/14302852451453*c_0101_5^6 + 938321255235851475/14302852451453*c_0101_5^5 - 232464292126471680/14302852451453*c_0101_5^4 - 245379291873334044/14302852451453*c_0101_5^3 + 53497642334131619/14302852451453*c_0101_5^2 + 24196808638575625/14302852451453*c_0101_5 - 5479410150352813/14302852451453, c_0101_2 - 712593762300404/14302852451453*c_0101_5^18 + 510321743584350/14302852451453*c_0101_5^17 + 12460931589876628/14302852451453*c_0101_5^16 - 20327996591354977/14302852451453*c_0101_5^15 - 41015039753419845/14302852451453*c_0101_5^14 + 76442192454219801/14302852451453*c_0101_5^13 + 27068556683501145/14302852451453*c_0101_5^12 - 184747012865854296/14302852451453*c_0101_5^11 + 155488464161577724/14302852451453*c_0101_5^10 + 407878907666291933/14302852451453*c_0101_5^9 - 222818601312584321/14302852451453*c_0101_5^8 - 451993675189282316/14302852451453*c_0101_5^7 + 63584804715747848/14302852451453*c_0101_5^6 + 169354000309600116/14302852451453*c_0101_5^5 - 42863074554681771/14302852451453*c_0101_5^4 - 43947788489809002/14302852451453*c_0101_5^3 + 9568137212204562/14302852451453*c_0101_5^2 + 4282486682409609/14302852451453*c_0101_5 - 951186001217678/14302852451453, c_0101_5^19 - 18*c_0101_5^17 + 16*c_0101_5^16 + 78*c_0101_5^15 - 66*c_0101_5^14 - 115*c_0101_5^13 + 232*c_0101_5^12 - 32*c_0101_5^11 - 729*c_0101_5^10 - 98*c_0101_5^9 + 860*c_0101_5^8 + 366*c_0101_5^7 - 304*c_0101_5^6 - 111*c_0101_5^5 + 106*c_0101_5^4 + 31*c_0101_5^3 - 16*c_0101_5^2 - 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB