Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 1831661901] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s257 geometric_solution 4.41786342 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 2 0132 2310 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.064755719676 4.086379365052 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090093757125 0.339569116857 2 0 2 0 2031 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.456505260983 0.286741272598 4 1 4 5 2310 0132 2103 0132 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255525612450 1.233242988498 3 5 3 1 2103 2310 3201 0132 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 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.255525612450 1.233242988498 5 5 3 4 1302 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587944969809 0.599751923737 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : negation(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_4']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : 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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 308934575469315327252522127/1700604594575479882787760*c_0110_5^20 - 13678227936674115310445301283/18706650540330278710665360*c_0110_5^1\ 9 - 3081327257121911144222157427/2078516726703364301185040*c_0110_5\ ^18 - 8999979072589281143716330163/6235550180110092903555120*c_0110\ _5^17 - 12987402476708117923351223279/9353325270165139355332680*c_0\ 110_5^16 - 999636057851810402718056089/850302297287739941393880*c_0\ 110_5^15 + 1302381124447147933334467715/623555018011009290355512*c_\ 0110_5^14 + 3685318703267647810929706615/1247110036022018580711024*\ c_0110_5^13 + 3415100512223230235231184157/623555018011009290355512\ 0*c_0110_5^12 + 7143071097573237208579980103/9353325270165139355332\ 680*c_0110_5^11 + 15058766341987306165533313193/6235550180110092903\ 555120*c_0110_5^10 + 63890495492255301210953191301/1870665054033027\ 8710665360*c_0110_5^9 + 4058028658426513162375006109/23383313175412\ 84838833170*c_0110_5^8 - 3202373626253009261644883191/6235550180110\ 092903555120*c_0110_5^7 - 1184493249236245856798600926/116916565877\ 0642419416585*c_0110_5^6 + 10389680274746025927485843/3117775090055\ 046451777560*c_0110_5^5 + 12495151142069967017730685607/18706650540\ 330278710665360*c_0110_5^4 + 226036449019440026710873709/1039258363\ 351682150592520*c_0110_5^3 - 2902201697710985928002263697/187066505\ 40330278710665360*c_0110_5^2 - 1293424543629225895529216735/3741330\ 108066055742133072*c_0110_5 - 3166941266343716191873401037/18706650\ 540330278710665360, c_0011_0 - 1, c_0011_2 - 221360401822812149101345/21257557432193498534847*c_0110_5^20 - 49942142674069021038459278/1169165658770642419416585*c_0110_5^19 - 2292310069454909357092295/25981459083792053764813*c_0110_5^18 - 34673683372949866739259121/389721886256880806472195*c_0110_5^17 - 98828970127256717422175702/1169165658770642419416585*c_0110_5^16 - 1499988421577617270254458/21257557432193498534847*c_0110_5^15 + 45553658505738509816554441/389721886256880806472195*c_0110_5^14 + 70242139852480475488831009/389721886256880806472195*c_0110_5^13 + 3602653958253511277194093/77944377251376161294439*c_0110_5^12 + 48509213456334032099888431/1169165658770642419416585*c_0110_5^11 + 52283596292311987714874128/389721886256880806472195*c_0110_5^10 + 242986591195348322675934571/1169165658770642419416585*c_0110_5^9 + 27363418718673849774373084/233833131754128483883317*c_0110_5^8 - 10973229825473014313205503/389721886256880806472195*c_0110_5^7 - 78795820603543894276568642/1169165658770642419416585*c_0110_5^6 - 1975933191601322896370218/389721886256880806472195*c_0110_5^5 + 49740502473242116526858149/1169165658770642419416585*c_0110_5^4 + 2222341071852900043536141/129907295418960268824065*c_0110_5^3 - 11324505779123946344077708/1169165658770642419416585*c_0110_5^2 - 25867031128341573788554616/1169165658770642419416585*c_0110_5 - 13787821354789326326415947/1169165658770642419416585, c_0011_4 - 88220153878253179117991/21257557432193498534847*c_0110_5^20 - 18670235442225994124310193/1169165658770642419416585*c_0110_5^19 - 821805038413332741918009/25981459083792053764813*c_0110_5^18 - 11447954815226829776794772/389721886256880806472195*c_0110_5^17 - 35142650285611320027061291/1169165658770642419416585*c_0110_5^16 - 2550072479525992316265323/106287787160967492674235*c_0110_5^15 + 19041222418834303643282161/389721886256880806472195*c_0110_5^14 + 22106077454966397202231738/389721886256880806472195*c_0110_5^13 + 1374213418653964170692911/129907295418960268824065*c_0110_5^12 + 23459255167061227541154092/1169165658770642419416585*c_0110_5^11 + 19586892012956284120029437/389721886256880806472195*c_0110_5^10 + 85997278929002951490024629/1169165658770642419416585*c_0110_5^9 + 7658634326875219045716947/233833131754128483883317*c_0110_5^8 - 889868704138409742757184/77944377251376161294439*c_0110_5^7 - 4464757965803957210693339/233833131754128483883317*c_0110_5^6 + 570570478057491539624669/389721886256880806472195*c_0110_5^5 + 15298297183649489063169932/1169165658770642419416585*c_0110_5^4 + 232861245157063078773358/77944377251376161294439*c_0110_5^3 - 3414742443238103819611208/1169165658770642419416585*c_0110_5^2 - 8229546482725730580014296/1169165658770642419416585*c_0110_5 - 737304338833662263021933/233833131754128483883317, c_0011_5 + 96569622074120627788408/21257557432193498534847*c_0110_5^20 + 21163840844877089786360843/1169165658770642419416585*c_0110_5^19 + 4744901273520872322898404/129907295418960268824065*c_0110_5^18 + 13652132119377926954528392/389721886256880806472195*c_0110_5^17 + 39418648460912002218800858/1169165658770642419416585*c_0110_5^16 + 583667806937054066894666/21257557432193498534847*c_0110_5^15 - 6950954165778818992461068/129907295418960268824065*c_0110_5^14 - 1886394182735326790755189/25981459083792053764813*c_0110_5^13 - 5449463990207602765121554/389721886256880806472195*c_0110_5^12 - 4129410582837885121336178/233833131754128483883317*c_0110_5^11 - 4531914950112779306154134/77944377251376161294439*c_0110_5^10 - 96773487342636074381871181/1169165658770642419416585*c_0110_5^9 - 48421078631635167148415258/1169165658770642419416585*c_0110_5^8 + 1116713686646587505589865/77944377251376161294439*c_0110_5^7 + 6682317675632157270762343/233833131754128483883317*c_0110_5^6 + 31251334232145788512097/129907295418960268824065*c_0110_5^5 - 18489385112116759712120716/1169165658770642419416585*c_0110_5^4 - 2384790893856016603267418/389721886256880806472195*c_0110_5^3 + 4641483048874748582023168/1169165658770642419416585*c_0110_5^2 + 10894312197823005576570107/1169165658770642419416585*c_0110_5 + 4334322637135908484429607/1169165658770642419416585, c_0101_0 - 596188181901448921703807/106287787160967492674235*c_0110_5^2\ 0 - 27494835018979721766317663/1169165658770642419416585*c_0110_5^1\ 9 - 6425757415372895178178887/129907295418960268824065*c_0110_5^18 - 4046136005589914189452493/77944377251376161294439*c_0110_5^17 - 58124518126396143419588621/1169165658770642419416585*c_0110_5^16 - 4551509223241254863101084/106287787160967492674235*c_0110_5^15 + 1538440160061285463973752/25981459083792053764813*c_0110_5^14 + 13325058795496366639968851/129907295418960268824065*c_0110_5^13 + 12050774606747008105784353/389721886256880806472195*c_0110_5^12 + 30807993575596940599449643/1169165658770642419416585*c_0110_5^11 + 30320356234085530384647001/389721886256880806472195*c_0110_5^10 + 135582151092372273450234412/1169165658770642419416585*c_0110_5^9 + 85554623696930614792500542/1169165658770642419416585*c_0110_5^8 - 775206351816259103178616/77944377251376161294439*c_0110_5^7 - 42835452454598344040917352/1169165658770642419416585*c_0110_5^6 - 90772050099583442132791/25981459083792053764813*c_0110_5^5 + 24097363579518466256105248/1169165658770642419416585*c_0110_5^4 + 3944571958103437479312713/389721886256880806472195*c_0110_5^3 - 4856444046793848985062247/1169165658770642419416585*c_0110_5^2 - 2681367618428085503022604/233833131754128483883317*c_0110_5 - 7596598655524633706199398/1169165658770642419416585, c_0110_5^21 + 53/11*c_0110_5^20 + 125/11*c_0110_5^19 + 159/11*c_0110_5^18 + 14*c_0110_5^17 + 138/11*c_0110_5^16 - 70/11*c_0110_5^15 - 279/11*c_0110_5^14 - 177/11*c_0110_5^13 - 74/11*c_0110_5^12 - 181/11*c_0110_5^11 - 323/11*c_0110_5^10 - 272/11*c_0110_5^9 - 53/11*c_0110_5^8 + 8*c_0110_5^7 + 50/11*c_0110_5^6 - 41/11*c_0110_5^5 - 46/11*c_0110_5^4 - 1/11*c_0110_5^3 + 29/11*c_0110_5^2 + 27/11*c_0110_5 + 8/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB