Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 1595851708] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0630 geometric_solution 4.62481694 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 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 -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 1.240704561214 0.108206226937 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 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 1.334934547772 0.300094415471 3 1 1 4 0132 0132 1023 0132 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 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.540929187505 0.790969943947 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 1 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 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.176122082938 0.586539663067 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 0 0 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 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.176122082938 0.586539663067 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 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 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 1.835956503199 1.605216428419 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 1 -1 0 0 1 -1 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.194803098489 0.403778503533 ==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' : negation(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' : negation(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_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 561222624281962627616254186685426958582529470962089028/478819717325\ 338543307576119751543854243954729260369*c_0110_6^21 - 1435755938466219648621002125256393292980165042603028044/15960657244\ 1779514435858706583847951414651576420123*c_0110_6^20 + 2180582771191608445181065952713221837424701497198076195/15960657244\ 1779514435858706583847951414651576420123*c_0110_6^19 + 19522285734396440563896076937222676278344482506044501093/9576394346\ 50677086615152239503087708487909458520738*c_0110_6^18 - 160685807979114062147427524041663941732077317010058038777/191527886\ 9301354173230304479006175416975818917041476*c_0110_6^17 + 676333953170412968937947982372817716123796506166360486337/957639434\ 650677086615152239503087708487909458520738*c_0110_6^16 - 797023145604754267641545221768650658665326280437308788343/191527886\ 9301354173230304479006175416975818917041476*c_0110_6^15 - 7201893981532927336123019873314200290122233780388838312341/19152788\ 69301354173230304479006175416975818917041476*c_0110_6^14 + 6681980193457660843674750093344275025979691363165464550207/95763943\ 4650677086615152239503087708487909458520738*c_0110_6^13 + 269740826001372338919649915740750984918544806499810808339/319213144\ 883559028871717413167695902829303152840246*c_0110_6^12 - 3250934341616220343135700066929637249952257008284932897850/15960657\ 2441779514435858706583847951414651576420123*c_0110_6^11 + 14789666351349268332106602784090685103855880655561604651051/6384262\ 89767118057743434826335391805658606305680492*c_0110_6^10 - 195165426456997890635446310200421066525989643765735919725/478819717\ 325338543307576119751543854243954729260369*c_0110_6^9 - 7173782936300226333834566934697822696880579718073362333911/27361126\ 7043050596175757782715167916710831273863068*c_0110_6^8 + 10058990151218626398478849406332264633853400502655162145667/3192131\ 44883559028871717413167695902829303152840246*c_0110_6^7 - 13874303930715177114046427854942483924423300753723718881337/6384262\ 89767118057743434826335391805658606305680492*c_0110_6^6 + 6451509388772873683331025598254455979241313225368206588227/63842628\ 9767118057743434826335391805658606305680492*c_0110_6^5 - 6328916335757952812578507787934127199192041900828451484325/19152788\ 69301354173230304479006175416975818917041476*c_0110_6^4 + 71110618332778803402964672548930141358689174086470791455/9120375568\ 1016865391919260905055972236943757954356*c_0110_6^3 - 80890146159994072087074368040670024276150380659795804765/6384262897\ 67118057743434826335391805658606305680492*c_0110_6^2 + 308063971493494580889965062845012606562769916319290412/228009389202\ 54216347979815226263993059235939488589*c_0110_6 - 1387927584389186918487358147992944727990818398408250857/19152788693\ 01354173230304479006175416975818917041476, c_0011_0 - 1, c_0011_4 - 34439692499669186724153616366383625894160095741856/228009389\ 20254216347979815226263993059235939488589*c_0110_6^21 - 252918094031120287564896715863800276765295194481776/228009389202542\ 16347979815226263993059235939488589*c_0110_6^20 + 491138628279247339357959309935969778871018073106368/228009389202542\ 16347979815226263993059235939488589*c_0110_6^19 + 483526615385711792373621144722932849357383876207852/228009389202542\ 16347979815226263993059235939488589*c_0110_6^18 - 2685929244885973441535027956482021521933281883705908/22800938920254\ 216347979815226263993059235939488589*c_0110_6^17 + 21524592226689535900831479946980224568532416515146208/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^16 - 18945804487390913739851868790816172353929308326061578/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^15 - 107743407233790174256962783531075728219940434345302756/228009389202\ 54216347979815226263993059235939488589*c_0110_6^14 + 242127386062432943706458671611169757368571116304898834/228009389202\ 54216347979815226263993059235939488589*c_0110_6^13 - 35807242728896471804289697999280311981332044234041729/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^12 - 618497289062114906275726562279816671078623168537992224/228009389202\ 54216347979815226263993059235939488589*c_0110_6^11 + 874799930526400534059892334202097808861871786132624345/228009389202\ 54216347979815226263993059235939488589*c_0110_6^10 - 199433797018761411688454760006776431287461737193039372/228009389202\ 54216347979815226263993059235939488589*c_0110_6^9 - 802803696100300280977431132375892444640500357449905014/228009389202\ 54216347979815226263993059235939488589*c_0110_6^8 + 1174103820388335074752391427522908261467187053104006392/22800938920\ 254216347979815226263993059235939488589*c_0110_6^7 - 896457295581954601417384608479342068844148554577262770/228009389202\ 54216347979815226263993059235939488589*c_0110_6^6 + 458323205402805320612397732240408936771335916760048152/228009389202\ 54216347979815226263993059235939488589*c_0110_6^5 - 164677876654635201441557889481799303739275848126953142/228009389202\ 54216347979815226263993059235939488589*c_0110_6^4 + 42427980856880608282617422946113852653105007276061902/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^3 - 7773299563244810461100606800028262111621559932309687/22800938920254\ 216347979815226263993059235939488589*c_0110_6^2 + 864674360205173483768618070415237917278944082079898/228009389202542\ 16347979815226263993059235939488589*c_0110_6 - 54256955221317752670125914435469338099937392505943/2280093892025421\ 6347979815226263993059235939488589, c_0101_0 - 1042825956074537733799309543036571416799297112958040/2280093\ 8920254216347979815226263993059235939488589*c_0110_6^21 - 7936814863183401267857338778393240812985473528336564/22800938920254\ 216347979815226263993059235939488589*c_0110_6^20 + 12657846489397753369323288805060959585289142129054416/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^19 + 17286517483473035275613682726355381454199813220949645/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^18 - 75723142859487904659864759737969489719809482717463479/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^17 + 633330809432038394071255582512956653132501410202568569/228009389202\ 54216347979815226263993059235939488589*c_0110_6^16 - 411004228874830165861450000509890144351324848704979192/228009389202\ 54216347979815226263993059235939488589*c_0110_6^15 - 3316570095223204362084407735451476445428731824551011751/22800938920\ 254216347979815226263993059235939488589*c_0110_6^14 + 6420698866782086492569847202281548316025067832316528562/22800938920\ 254216347979815226263993059235939488589*c_0110_6^13 + 324323230933426609547983562634897498046406257641383206/228009389202\ 54216347979815226263993059235939488589*c_0110_6^12 - 18126729212498755567888394444449938277420502050113471175/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^11 + 21796672145432529188774254382781080691084960155536091895/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^10 - 1836501805038263159369900406848697833783228266226670297/22800938920\ 254216347979815226263993059235939488589*c_0110_6^9 - 23184278476752766433296936450842929879133148186689012008/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^8 + 29592828974772875443633817235650749390431461533326053258/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^7 - 21330677231461949308875963479533342519243574276606564683/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^6 + 10392339294153345416874649641160814284770441763113570357/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^5 - 3591727831579170077952708459621180949451778518136640451/22800938920\ 254216347979815226263993059235939488589*c_0110_6^4 + 900388799577914802724145470419960568173613657503476181/228009389202\ 54216347979815226263993059235939488589*c_0110_6^3 - 157334543530049940366060260076318076621024839181385509/228009389202\ 54216347979815226263993059235939488589*c_0110_6^2 + 18085409296770722047280967252967300193516036597357073/2280093892025\ 4216347979815226263993059235939488589*c_0110_6 - 1064442770830121005506277958039371448011690724989843/22800938920254\ 216347979815226263993059235939488589, c_0101_1 - 542438497039416752369771464515455784171946638015896/22800938\ 920254216347979815226263993059235939488589*c_0110_6^21 - 4105226495655053954833849950351717292423681935163716/22800938920254\ 216347979815226263993059235939488589*c_0110_6^20 + 6768737149095837717185773829529914148301922994483152/22800938920254\ 216347979815226263993059235939488589*c_0110_6^19 + 8773184328488881660000581707631430668492199833787041/22800938920254\ 216347979815226263993059235939488589*c_0110_6^18 - 39853978657942235872370958482550953509521067101131237/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^17 + 330962732635919768072879796414472838399768868686096076/228009389202\ 54216347979815226263993059235939488589*c_0110_6^16 - 227336597717647923492943761825133234673536171949316347/228009389202\ 54216347979815226263993059235939488589*c_0110_6^15 - 1720721701613099576398729036590569893268143055192220631/22800938920\ 254216347979815226263993059235939488589*c_0110_6^14 + 3415495061825842327497277146805860530634624681358130083/22800938920\ 254216347979815226263993059235939488589*c_0110_6^13 + 52011844847873270868111374462296244458022008735938375/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^12 - 9478585976938865994762712063411749067401516678267718567/22800938920\ 254216347979815226263993059235939488589*c_0110_6^11 + 11726281229725500916538752178818548322734466716945885223/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^10 - 1302992592455765875731966983173396252179514080618086857/22800938920\ 254216347979815226263993059235939488589*c_0110_6^9 - 12149323284534525799175988614974152199200367883210046339/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^8 + 15882305967842817260485177715962589661033225899991429065/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^7 - 11576834081488693830216895972194918986356572701300501412/2280093892\ 0254216347979815226263993059235939488589*c_0110_6^6 + 5701403191887925411974212393044818129009542526375551929/22800938920\ 254216347979815226263993059235939488589*c_0110_6^5 - 1991323789272160236726237941867669903237870660062200282/22800938920\ 254216347979815226263993059235939488589*c_0110_6^4 + 504812236536826476282316772808247231853384748931903646/228009389202\ 54216347979815226263993059235939488589*c_0110_6^3 - 89748041678014074430548515757588426526367696298440267/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^2 + 10493122761157040775143907187665791631113886802451619/2280093892025\ 4216347979815226263993059235939488589*c_0110_6 - 635771835014769151306478768031121707751057326141487/228009389202542\ 16347979815226263993059235939488589, c_0101_2 - 82913204741162356762525585362508444827041235082656/228009389\ 20254216347979815226263993059235939488589*c_0110_6^21 - 603544041489380546546664546855076494587528738543072/228009389202542\ 16347979815226263993059235939488589*c_0110_6^20 + 1222695155011984032781842536426409322494855973868200/22800938920254\ 216347979815226263993059235939488589*c_0110_6^19 + 1095240580581011848424813317987547403473992756956668/22800938920254\ 216347979815226263993059235939488589*c_0110_6^18 - 6552235452511955825353909996037473576152204783501278/22800938920254\ 216347979815226263993059235939488589*c_0110_6^17 + 52219859500966564156026357215726490941993953833540388/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^16 - 48889630770370846071108005889274904546943633282896789/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^15 - 257022978374535648851964680900914463926426968334572992/228009389202\ 54216347979815226263993059235939488589*c_0110_6^14 + 599964521337468295069840420964788899690552068536386110/228009389202\ 54216347979815226263993059235939488589*c_0110_6^13 - 120699836949275379232223594328735125303356348937415593/228009389202\ 54216347979815226263993059235939488589*c_0110_6^12 - 1488981613925718446250382530608740499006470903642449102/22800938920\ 254216347979815226263993059235939488589*c_0110_6^11 + 2200977707638801820529232217324934945370271847862151102/22800938920\ 254216347979815226263993059235939488589*c_0110_6^10 - 599261352681675861375339875951312348975732942706953580/228009389202\ 54216347979815226263993059235939488589*c_0110_6^9 - 1919406541556827127683899094072594468900098411728994424/22800938920\ 254216347979815226263993059235939488589*c_0110_6^8 + 2949878622099731780263530628240194527191446360494599155/22800938920\ 254216347979815226263993059235939488589*c_0110_6^7 - 2318908926272194897151252980094635718423936964071498468/22800938920\ 254216347979815226263993059235939488589*c_0110_6^6 + 1218871013361894988859052787598856284495460986644010077/22800938920\ 254216347979815226263993059235939488589*c_0110_6^5 - 452141068296996290707346278255706738662357185087010875/228009389202\ 54216347979815226263993059235939488589*c_0110_6^4 + 120939954152085377615649416731796237243359706894463268/228009389202\ 54216347979815226263993059235939488589*c_0110_6^3 - 23228635782704705903926264176460443563793792475255777/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^2 + 2911154857147535003834538387952052665002264443506648/22800938920254\ 216347979815226263993059235939488589*c_0110_6 - 196860439708351565858079590578270361652884355102202/228009389202542\ 16347979815226263993059235939488589, c_0101_3 + 46145316371153110606797277834838681487365100971968/228009389\ 20254216347979815226263993059235939488589*c_0110_6^21 + 362630457535815292718241010553252610468455765698448/228009389202542\ 16347979815226263993059235939488589*c_0110_6^20 - 472182156728076346587000799291835705012812663817664/228009389202542\ 16347979815226263993059235939488589*c_0110_6^19 - 896716238281457787790506622485602276742946318143076/228009389202542\ 16347979815226263993059235939488589*c_0110_6^18 + 3144658758356014418707322761042787350454814980347662/22800938920254\ 216347979815226263993059235939488589*c_0110_6^17 - 27207679397191789411688640619538957788108552590462367/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^16 + 11333094016324688875139809869453508402965598456375037/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^15 + 150630773626889526105408812165461164289423760906751072/228009389202\ 54216347979815226263993059235939488589*c_0110_6^14 - 247066986394401934361654703594094105447960422098894354/228009389202\ 54216347979815226263993059235939488589*c_0110_6^13 - 81581890967535706594737395096050292966266270374659686/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^12 + 790597358860168033661180036639697886173881599367540183/228009389202\ 54216347979815226263993059235939488589*c_0110_6^11 - 763856556068796312581407227862984599827190096460802380/228009389202\ 54216347979815226263993059235939488589*c_0110_6^10 - 138440261751582092483933821260693418343189046826548826/228009389202\ 54216347979815226263993059235939488589*c_0110_6^9 + 1016216987933672317399503833423779798916622919917822490/22800938920\ 254216347979815226263993059235939488589*c_0110_6^8 - 1047782568950569110586103882412224363371052416328550209/22800938920\ 254216347979815226263993059235939488589*c_0110_6^7 + 645911448870784460724378570002596419688201916571957621/228009389202\ 54216347979815226263993059235939488589*c_0110_6^6 - 265482521916442536503193861115793090829860905099223912/228009389202\ 54216347979815226263993059235939488589*c_0110_6^5 + 73920442962588007413890989008826324331969857993456302/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^4 - 14616741132729468053279123870432132106193771866885663/2280093892025\ 4216347979815226263993059235939488589*c_0110_6^3 + 1670725095376905295983848303285746943438249045475384/22800938920254\ 216347979815226263993059235939488589*c_0110_6^2 - 68072330802538691324264012520328317854720449103753/2280093892025421\ 6347979815226263993059235939488589*c_0110_6 - 8984637162583452691080439464223965842289052849953/22800938920254216\ 347979815226263993059235939488589, c_0110_6^22 + 15/2*c_0110_6^21 - 13*c_0110_6^20 - 123/8*c_0110_6^19 + 597/8*c_0110_6^18 - 615*c_0110_6^17 + 1841/4*c_0110_6^16 + 12589/4*c_0110_6^15 - 52105/8*c_0110_6^14 + 1247/4*c_0110_6^13 + 140071/8*c_0110_6^12 - 182293/8*c_0110_6^11 + 3768*c_0110_6^10 + 178471/8*c_0110_6^9 - 61507/2*c_0110_6^8 + 92797/4*c_0110_6^7 - 94877/8*c_0110_6^6 + 34737/8*c_0110_6^5 - 9377/8*c_0110_6^4 + 923/4*c_0110_6^3 - 32*c_0110_6^2 + 23/8*c_0110_6 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB