Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 2378961323] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s107 geometric_solution 3.97164928 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0.666039670683 0.083742860746 2 0 2 0 0132 2310 1023 0132 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 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.855914206770 0.102095635165 1 3 1 3 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 -1 0 0 1 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.802485296014 0.293836244467 4 2 5 2 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 1 -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 1.442519317501 0.865380234642 3 5 5 5 0132 0213 2310 1230 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 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.485490179427 0.840975429467 4 4 4 3 3012 3201 0213 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 1 0 -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.485490179427 0.840975429467 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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' : negation(d['c_0011_1']), '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' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 54998397519699756526/874077260447234495*c_0101_4^16 - 267414890982563326953/874077260447234495*c_0101_4^15 + 75345186745380634516/874077260447234495*c_0101_4^14 + 2309045556560667005954/874077260447234495*c_0101_4^13 - 4130757294007926339148/874077260447234495*c_0101_4^12 - 8012811514360839614433/874077260447234495*c_0101_4^11 + 22300319416539577419023/874077260447234495*c_0101_4^10 + 25238604954381612677899/874077260447234495*c_0101_4^9 - 7997259998415540077476/174815452089446899*c_0101_4^8 - 45776903045373344646111/874077260447234495*c_0101_4^7 + 29226085418195786322678/874077260447234495*c_0101_4^6 + 34575424942943135399817/874077260447234495*c_0101_4^5 - 5978946069066848006011/874077260447234495*c_0101_4^4 - 9045956343232753119891/874077260447234495*c_0101_4^3 - 1315798481990954452613/874077260447234495*c_0101_4^2 + 586198597969832746658/874077260447234495*c_0101_4 + 225092842114735950843/874077260447234495, c_0011_0 - 1, c_0011_1 - 14683198240997130/174815452089446899*c_0101_4^16 + 61264303867316990/174815452089446899*c_0101_4^15 + 37034212357342623/174815452089446899*c_0101_4^14 - 667189015702250792/174815452089446899*c_0101_4^13 + 685927601232282419/174815452089446899*c_0101_4^12 + 3211185685088172787/174815452089446899*c_0101_4^11 - 5005903790113267224/174815452089446899*c_0101_4^10 - 11912338131779609413/174815452089446899*c_0101_4^9 + 8711568440868687431/174815452089446899*c_0101_4^8 + 23086097454074232203/174815452089446899*c_0101_4^7 - 2859972344039163904/174815452089446899*c_0101_4^6 - 19707160865557423037/174815452089446899*c_0101_4^5 - 3382591486299959954/174815452089446899*c_0101_4^4 + 5725761052327121752/174815452089446899*c_0101_4^3 + 2035729714382390205/174815452089446899*c_0101_4^2 + 8360892251257830/174815452089446899*c_0101_4 - 196347870643554071/174815452089446899, c_0011_5 - 302331665590934/174815452089446899*c_0101_4^16 + 8112108342548702/174815452089446899*c_0101_4^15 - 36507283213193057/174815452089446899*c_0101_4^14 + 16276960598523900/174815452089446899*c_0101_4^13 + 290494791064684052/174815452089446899*c_0101_4^12 - 616304606709358496/174815452089446899*c_0101_4^11 - 745453704590027012/174815452089446899*c_0101_4^10 + 3031863438317729246/174815452089446899*c_0101_4^9 + 1479334156414133549/174815452089446899*c_0101_4^8 - 5836426778695828538/174815452089446899*c_0101_4^7 - 2146072397108202013/174815452089446899*c_0101_4^6 + 5803437967460944214/174815452089446899*c_0101_4^5 + 1446216128366784962/174815452089446899*c_0101_4^4 - 2324233379663675741/174815452089446899*c_0101_4^3 - 428972770752991362/174815452089446899*c_0101_4^2 - 73423446605947643/174815452089446899*c_0101_4 + 30096585385205708/174815452089446899, c_0101_0 + 30736937614703250/174815452089446899*c_0101_4^16 - 148483366208717230/174815452089446899*c_0101_4^15 + 45980406039146085/174815452089446899*c_0101_4^14 + 1248058004163198404/174815452089446899*c_0101_4^13 - 2244645455062210797/174815452089446899*c_0101_4^12 - 4206375648423715935/174815452089446899*c_0101_4^11 + 11619817973512908786/174815452089446899*c_0101_4^10 + 13445093180731235799/174815452089446899*c_0101_4^9 - 18396743490453210195/174815452089446899*c_0101_4^8 - 23049669068520704286/174815452089446899*c_0101_4^7 + 9306392133392526717/174815452089446899*c_0101_4^6 + 13528970679726544071/174815452089446899*c_0101_4^5 + 1347888482869822487/174815452089446899*c_0101_4^4 - 708450231684708211/174815452089446899*c_0101_4^3 - 1217475229663152013/174815452089446899*c_0101_4^2 - 471231009975043662/174815452089446899*c_0101_4 + 13236083854151795/174815452089446899, c_0101_1 + 16221306200174276/174815452089446899*c_0101_4^16 - 97170375133005076/174815452089446899*c_0101_4^15 + 121121474432019055/174815452089446899*c_0101_4^14 + 607847592027522786/174815452089446899*c_0101_4^13 - 1968291077759943257/174815452089446899*c_0101_4^12 - 595430666196253470/174815452089446899*c_0101_4^11 + 8501357601187400016/174815452089446899*c_0101_4^10 - 1215841277091233476/174815452089446899*c_0101_4^9 - 16493727868606019433/174815452089446899*c_0101_4^8 + 3597564698889448372/174815452089446899*c_0101_4^7 + 18338245374932359265/174815452089446899*c_0101_4^6 - 5110129341077708922/174815452089446899*c_0101_4^5 - 9664798871961112520/174815452089446899*c_0101_4^4 + 2036714406831583680/174815452089446899*c_0101_4^3 + 1608343275831045284/174815452089446899*c_0101_4^2 + 222731775367541768/174815452089446899*c_0101_4 - 26711608386929366/174815452089446899, c_0101_4^17 - 5*c_0101_4^16 + 2*c_0101_4^15 + 42*c_0101_4^14 - 81*c_0101_4^13 - 137*c_0101_4^12 + 429*c_0101_4^11 + 408*c_0101_4^10 - 808*c_0101_4^9 - 746*c_0101_4^8 + 680*c_0101_4^7 + 581*c_0101_4^6 - 225*c_0101_4^5 - 169*c_0101_4^4 + 9*c_0101_4^3 + 19*c_0101_4^2 + 2*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB