Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 3583265025] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1396 geometric_solution 5.24405375 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.618213432812 0.770572648663 3 2 4 0 0132 3012 0132 0132 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 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.989034912474 0.865142741672 1 3 0 4 1230 3201 0132 2310 0 0 0 0 0 -1 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 0 0 0 0 0 -1 1 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.989034912474 0.865142741672 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 -1 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 1.404394951087 0.424429534482 2 4 4 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114484409632 0.550470000549 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 0 -1 0 0 1 -1 -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.758842234546 0.313513149093 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 -1 1 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 0 -1 1 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.619744601855 0.110075434243 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 113436154369547303579455198827829/58704969187047119216774390044225*\ c_0101_6^17 - 580081320230576068935283100386771/5870496918704711921\ 6774390044225*c_0101_6^16 + 5588647507239685292242865849683398/5870\ 4969187047119216774390044225*c_0101_6^15 - 12974674493229452621455717970345361/5870496918704711921677439004422\ 5*c_0101_6^14 + 11031659372835640532070713338387668/587049691870471\ 19216774390044225*c_0101_6^13 + 46964758884263693401181867599259334\ /58704969187047119216774390044225*c_0101_6^12 - 180812925102368298028963227789352409/587049691870471192167743900442\ 25*c_0101_6^11 + 69107698616888134579180815953271319/11740993837409\ 423843354878008845*c_0101_6^10 - 4061902019390414982895329960946868\ 66/58704969187047119216774390044225*c_0101_6^9 + 37744048336733045309951630030319012/8386424169578159888110627149175\ *c_0101_6^8 - 119591787379487287203535853652569239/5870496918704711\ 9216774390044225*c_0101_6^7 + 15676755778343783191997144324439993/8\ 386424169578159888110627149175*c_0101_6^6 - 115245467294442617044128274661515023/587049691870471192167743900442\ 25*c_0101_6^5 + 58642166066098052162131616408272637/587049691870471\ 19216774390044225*c_0101_6^4 - 16649776217435234289034256452976961/\ 58704969187047119216774390044225*c_0101_6^3 + 1913694125327548235349516796826886/8386424169578159888110627149175*\ c_0101_6^2 - 7490176052618557856491648431722947/5870496918704711921\ 6774390044225*c_0101_6 + 815421668400196185745539233417578/58704969\ 187047119216774390044225, c_0011_0 - 1, c_0011_1 - 859409585069485608607293801/6886213394375028647128960709*c_0\ 101_6^17 - 5181393483195841918310119787/688621339437502864712896070\ 9*c_0101_6^16 + 37602250591257273144677490744/688621339437502864712\ 8960709*c_0101_6^15 - 63670360097751600010498685465/688621339437502\ 8647128960709*c_0101_6^14 + 26192669993127344654871461940/688621339\ 4375028647128960709*c_0101_6^13 + 371743882161002606390834557953/68\ 86213394375028647128960709*c_0101_6^12 - 1014772336021364103922066856180/6886213394375028647128960709*c_0101\ _6^11 + 1681273035908121490541761653712/688621339437502864712896070\ 9*c_0101_6^10 - 1616931726507138258503465276129/6886213394375028647\ 128960709*c_0101_6^9 + 107122631591529174931627682086/9837447706250\ 04092446994387*c_0101_6^8 - 593242724166553407775116536667/68862133\ 94375028647128960709*c_0101_6^7 + 90436064697136089923733208997/983\ 744770625004092446994387*c_0101_6^6 - 398671213281672319952139938868/6886213394375028647128960709*c_0101_\ 6^5 + 111136242079462756537008572731/6886213394375028647128960709*c\ _0101_6^4 - 124523927875946597828311758505/688621339437502864712896\ 0709*c_0101_6^3 + 10919711264464892122739403281/9837447706250040924\ 46994387*c_0101_6^2 + 215169392154663042493871947/68862133943750286\ 47128960709*c_0101_6 + 11513674423656215838851903311/68862133943750\ 28647128960709, c_0011_4 - 2793148253461470822387834801/6886213394375028647128960709*c_\ 0101_6^17 - 17244428239817707353755111283/6886213394375028647128960\ 709*c_0101_6^16 + 120120236542667589864758664418/688621339437502864\ 7128960709*c_0101_6^15 - 187308331154344633296752295493/68862133943\ 75028647128960709*c_0101_6^14 + 38680029171356344046785439726/68862\ 13394375028647128960709*c_0101_6^13 + 1253036102706946476952986678718/6886213394375028647128960709*c_0101\ _6^12 - 3139101177928849122566051537962/688621339437502864712896070\ 9*c_0101_6^11 + 4827146823200203235061621314982/6886213394375028647\ 128960709*c_0101_6^10 - 3969171546810344493773581580749/68862133943\ 75028647128960709*c_0101_6^9 + 122898464901504397084671445731/98374\ 4770625004092446994387*c_0101_6^8 - 792931734965049878103659146643/6886213394375028647128960709*c_0101_\ 6^7 + 216203029255312701997105902153/983744770625004092446994387*c_\ 0101_6^6 - 975739159195422212275537864874/6886213394375028647128960\ 709*c_0101_6^5 - 25632544489762409596497181250/68862133943750286471\ 28960709*c_0101_6^4 - 153501473634672169508030436036/68862133943750\ 28647128960709*c_0101_6^3 + 23300821846246843391477951807/983744770\ 625004092446994387*c_0101_6^2 + 33564686815642217235876833574/68862\ 13394375028647128960709*c_0101_6 + 12656400996056176182783139357/6886213394375028647128960709, c_0101_0 - 522329409107693908349719372/6886213394375028647128960709*c_0\ 101_6^17 - 3193124758132006752465945591/688621339437502864712896070\ 9*c_0101_6^16 + 22501575739754267975660524521/688621339437502864712\ 8960709*c_0101_6^15 - 37252188789677611097579202042/688621339437502\ 8647128960709*c_0101_6^14 + 16740109906560225358376567312/688621339\ 4375028647128960709*c_0101_6^13 + 218892492561534801654013951677/68\ 86213394375028647128960709*c_0101_6^12 - 592053520824014279710354648930/6886213394375028647128960709*c_0101_\ 6^11 + 1007249811941718929503741200014/6886213394375028647128960709\ *c_0101_6^10 - 1020280717816793726847594156329/68862133943750286471\ 28960709*c_0101_6^9 + 84892730239828155924526073078/983744770625004\ 092446994387*c_0101_6^8 - 560685131292411750129804213874/6886213394\ 375028647128960709*c_0101_6^7 + 68963000220632235845297302685/98374\ 4770625004092446994387*c_0101_6^6 - 267885772654950693784540933618/6886213394375028647128960709*c_0101_\ 6^5 + 106066177111661930943692649216/6886213394375028647128960709*c\ _0101_6^4 - 132615776484996145140047758428/688621339437502864712896\ 0709*c_0101_6^3 + 8742301292187518394835135485/98374477062500409244\ 6994387*c_0101_6^2 + 6959637520561480010059118752/68862133943750286\ 47128960709*c_0101_6 + 11788117683169984992008073018/68862133943750\ 28647128960709, c_0101_1 - 1425423375514900880914565383/6886213394375028647128960709*c_\ 0101_6^17 - 8999946750352436466850164636/68862133943750286471289607\ 09*c_0101_6^16 + 59966308269584693365709476850/68862133943750286471\ 28960709*c_0101_6^15 - 87632326152127513568692643811/68862133943750\ 28647128960709*c_0101_6^14 + 10710997581915469658687163201/68862133\ 94375028647128960709*c_0101_6^13 + 635047269778542557218202260833/6886213394375028647128960709*c_0101_\ 6^12 - 1509195117269364219415546364744/6886213394375028647128960709\ *c_0101_6^11 + 2282614389302319978049388499221/68862133943750286471\ 28960709*c_0101_6^10 - 1796577778062721330885358411230/688621339437\ 5028647128960709*c_0101_6^9 + 50361589082159098198182314000/9837447\ 70625004092446994387*c_0101_6^8 - 531953756307035839141516244043/68\ 86213394375028647128960709*c_0101_6^7 + 114811860115110375246157671250/983744770625004092446994387*c_0101_6\ ^6 - 450045549691501154337537867935/6886213394375028647128960709*c_\ 0101_6^5 - 40286606351683317067209572480/68862133943750286471289607\ 09*c_0101_6^4 - 119856209974929741485501451918/68862133943750286471\ 28960709*c_0101_6^3 + 13676683706340243787371940609/983744770625004\ 092446994387*c_0101_6^2 + 18719003532414087412730282087/68862133943\ 75028647128960709*c_0101_6 + 7990985988983652186502616136/688621339\ 4375028647128960709, c_0101_5 + 1775639290564724737069868737/6886213394375028647128960709*c_\ 0101_6^17 + 10973705857072995954968871357/6886213394375028647128960\ 709*c_0101_6^16 - 76098031475680606180637074641/6886213394375028647\ 128960709*c_0101_6^15 + 119799431994105010787131514902/688621339437\ 5028647128960709*c_0101_6^14 - 32147353087547537233442348488/688621\ 3394375028647128960709*c_0101_6^13 - 783661515727713636525515905712/6886213394375028647128960709*c_0101_\ 6^12 + 1986835109280275372147473025530/6886213394375028647128960709\ *c_0101_6^11 - 3142031015980906800685330324735/68862133943750286471\ 28960709*c_0101_6^10 + 2721394736338880385383781269817/688621339437\ 5028647128960709*c_0101_6^9 - 125328692885151449523447690100/983744\ 770625004092446994387*c_0101_6^8 + 798955246598138448547323885029/6886213394375028647128960709*c_0101_\ 6^7 - 149644774464466998109775116651/983744770625004092446994387*c_\ 0101_6^6 + 680823949946549080692122484608/6886213394375028647128960\ 709*c_0101_6^5 - 60270621923182363269561273589/68862133943750286471\ 28960709*c_0101_6^4 + 161986750668949382345896401188/68862133943750\ 28647128960709*c_0101_6^3 - 15983924675267523594293133387/983744770\ 625004092446994387*c_0101_6^2 - 11321633968164193542039145731/68862\ 13394375028647128960709*c_0101_6 - 9831178918825172899764997316/6886213394375028647128960709, c_0101_6^18 + 6*c_0101_6^17 - 44*c_0101_6^16 + 75*c_0101_6^15 - 29*c_0101_6^14 - 440*c_0101_6^13 + 1199*c_0101_6^12 - 1958*c_0101_6^11 + 1819*c_0101_6^10 - 718*c_0101_6^9 + 494*c_0101_6^8 - 657*c_0101_6^7 + 479*c_0101_6^6 - 94*c_0101_6^5 + 88*c_0101_6^4 - 75*c_0101_6^3 + 2*c_0101_6^2 - 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB