Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 3204391551] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0485 geometric_solution 4.50702246 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 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 1 0 -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.075405863432 0.343342464743 0 3 4 3 0132 2310 0132 0321 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 1 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.288724263751 1.133860031763 5 0 0 5 0132 0132 1023 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 -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 1.487206081401 0.580320750547 4 1 0 1 2310 0321 0132 3201 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 0 1 -1 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.288724263751 1.133860031763 4 4 3 1 1230 3012 3201 0132 0 0 0 0 0 -1 0 1 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 0 -1 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.789098461385 0.828239449520 2 2 6 6 0132 2310 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.279042015956 0.431184870242 6 5 6 5 2310 2310 3201 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 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.653739231907 0.061298591520 ==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' : negation(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' : negation(d['1']), 's_1_4' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0011_6, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 13876997462301858757441258481591976032587150451703808/1701538751255\ 803192335556030730456359479299440029*c_0101_5^36 + 397702760266809632474100786935675602239827820159415040/170153875125\ 5803192335556030730456359479299440029*c_0101_5^34 - 694256620797043960299110019189806947785620349348140992/243076964465\ 114741762222290104350908497042777147*c_0101_5^32 + 35183966326960694281072397672802292381380043747095904304/1701538751\ 255803192335556030730456359479299440029*c_0101_5^30 - 25974612070989609526160618084609240705487721330327392596/2430769644\ 65114741762222290104350908497042777147*c_0101_5^28 + 759482983222055386786185709709486431607728292003602906300/170153875\ 1255803192335556030730456359479299440029*c_0101_5^26 - 2597307369012550534545406072169795873496514926157721779399/17015387\ 51255803192335556030730456359479299440029*c_0101_5^24 + 6785515050176578679980469289886650947986501445390637931892/17015387\ 51255803192335556030730456359479299440029*c_0101_5^22 - 12761181061961431274528108674833941472636374644872321202595/1701538\ 751255803192335556030730456359479299440029*c_0101_5^20 + 16886238216866213520065445382618007731484000533191643072019/1701538\ 751255803192335556030730456359479299440029*c_0101_5^18 - 15656453434653661236219576637207869640104610550072062069640/1701538\ 751255803192335556030730456359479299440029*c_0101_5^16 + 10158265970294534008276710556193276542360037476206203502455/1701538\ 751255803192335556030730456359479299440029*c_0101_5^14 - 4585363630846033358715173357827535829196109879866809757336/17015387\ 51255803192335556030730456359479299440029*c_0101_5^12 + 1419694642796835977476080467566233365410179677498775697609/17015387\ 51255803192335556030730456359479299440029*c_0101_5^10 - 293686461652287342862042183111356934285860984007424568539/170153875\ 1255803192335556030730456359479299440029*c_0101_5^8 + 38837896462888674120812107432956175681537123138161961087/1701538751\ 255803192335556030730456359479299440029*c_0101_5^6 - 3063969787386876235274022089982886126559595275368412510/17015387512\ 55803192335556030730456359479299440029*c_0101_5^4 + 129536543437615593002896073808715107274657748028371659/170153875125\ 5803192335556030730456359479299440029*c_0101_5^2 - 2240660569718827302565022789661630657993773735274551/17015387512558\ 03192335556030730456359479299440029, c_0011_0 - 1, c_0011_3 + 41688748957396923499233811260940281864653284895744/729230893\ 395344225286666870313052725491128331441*c_0101_5^37 - 398373496183490716444257544277507793438786857490496/243076964465114\ 741762222290104350908497042777147*c_0101_5^35 + 14612158142534614497957079167450356032770510444057296/7292308933953\ 44225286666870313052725491128331441*c_0101_5^33 - 105887913182400559964792180579382348096580166584913068/729230893395\ 344225286666870313052725491128331441*c_0101_5^31 + 547890912522883026357157728117081960259628627872037263/729230893395\ 344225286666870313052725491128331441*c_0101_5^29 - 763862837721220994293073988472789678920121018698728963/243076964465\ 114741762222290104350908497042777147*c_0101_5^27 + 7848661824782744154892904795827272746105807736061998752/72923089339\ 5344225286666870313052725491128331441*c_0101_5^25 - 20558713244467848718706308328100683381609614682871886646/7292308933\ 95344225286666870313052725491128331441*c_0101_5^23 + 38865097240306124978359124065070636246176403649084346891/7292308933\ 95344225286666870313052725491128331441*c_0101_5^21 - 51927236497796174361664562065135232804285491672115905312/7292308933\ 95344225286666870313052725491128331441*c_0101_5^19 + 16318100301602688708624278473957372630175599653982905664/2430769644\ 65114741762222290104350908497042777147*c_0101_5^17 - 32638790183697449528195578608868403025664592496019409362/7292308933\ 95344225286666870313052725491128331441*c_0101_5^15 + 15377797833950447967436864440791782161696801422937979411/7292308933\ 95344225286666870313052725491128331441*c_0101_5^13 - 5085882562151301052364385834168361479426478772242780847/72923089339\ 5344225286666870313052725491128331441*c_0101_5^11 + 1163585787975198479612118180239717337812204960758792369/72923089339\ 5344225286666870313052725491128331441*c_0101_5^9 - 179582984182737103905357053396803273298642374377712766/729230893395\ 344225286666870313052725491128331441*c_0101_5^7 + 5993992834067593797086458589690847592251812158164479/24307696446511\ 4741762222290104350908497042777147*c_0101_5^5 - 1096699357880035348434286667189854766837689966110362/72923089339534\ 4225286666870313052725491128331441*c_0101_5^3 + 33539777013109769050145111658341701124043650939782/7292308933953442\ 25286666870313052725491128331441*c_0101_5, c_0011_4 + 354057508765671258258798281890788203232075238199296/72923089\ 3395344225286666870313052725491128331441*c_0101_5^37 - 10175250681790458355324800675418603087880592164774528/7292308933953\ 44225286666870313052725491128331441*c_0101_5^35 + 124801840572967711509588803160166079482682572493197472/729230893395\ 344225286666870313052725491128331441*c_0101_5^33 - 302517548951772982460905492820716760195919054166425416/243076964465\ 114741762222290104350908497042777147*c_0101_5^31 + 4710322751862945236016399255388629161553452244041113358/72923089339\ 5344225286666870313052725491128331441*c_0101_5^29 - 19745288522892370545582185594770330096717490638006801819/7292308933\ 95344225286666870313052725491128331441*c_0101_5^27 + 7533558950595585679669374725295725695191636783606395869/81025654821\ 704913920740763368116969499014259049*c_0101_5^25 - 178364203735146967810631083039775272345134718336283003680/729230893\ 395344225286666870313052725491128331441*c_0101_5^23 + 339236697276420541961427979293802459334395713784607592253/729230893\ 395344225286666870313052725491128331441*c_0101_5^21 - 456392959876188228186705046043979707904313637728910490637/729230893\ 395344225286666870313052725491128331441*c_0101_5^19 + 433081889394182096999861771126069133352429404684261254882/729230893\ 395344225286666870313052725491128331441*c_0101_5^17 - 32235442942350493495978704938805731767201349104212731719/8102565482\ 1704913920740763368116969499014259049*c_0101_5^15 + 136869018587043576687302607565475045624007833657771872196/729230893\ 395344225286666870313052725491128331441*c_0101_5^13 - 45072454919874024926775467358633712279896720430035104468/7292308933\ 95344225286666870313052725491128331441*c_0101_5^11 + 3392268706264652674077162821026697060912575491134626006/24307696446\ 5114741762222290104350908497042777147*c_0101_5^9 - 1527024639835298543818331721100366433823023411869697956/72923089339\ 5344225286666870313052725491128331441*c_0101_5^7 + 144577619042713754100784744333126153986865164610049936/729230893395\ 344225286666870313052725491128331441*c_0101_5^5 - 7849305283125769498074996350946198866783441198113493/72923089339534\ 4225286666870313052725491128331441*c_0101_5^3 + 20798539898114682388585866928778735583397106407601/8102565482170491\ 3920740763368116969499014259049*c_0101_5, c_0011_6 + 3431043974689401270199440919509723292421368281152/7292308933\ 95344225286666870313052725491128331441*c_0101_5^36 - 96153598996987574116349868050137162602476633222384/7292308933953442\ 25286666870313052725491128331441*c_0101_5^34 + 380261503996329507754733007257117159990551700522732/243076964465114\ 741762222290104350908497042777147*c_0101_5^32 - 7981654981427876966188507009888140588425191267201265/72923089339534\ 4225286666870313052725491128331441*c_0101_5^30 + 39966159404880508720403444689179051335979022193877127/7292308933953\ 44225286666870313052725491128331441*c_0101_5^28 - 162949066962494900496195244526836375494816972856477984/729230893395\ 344225286666870313052725491128331441*c_0101_5^26 + 541422360470945615905326409983627132148579803043079290/729230893395\ 344225286666870313052725491128331441*c_0101_5^24 - 1344899029249030438875560192651716693193394279593917253/72923089339\ 5344225286666870313052725491128331441*c_0101_5^22 + 779136939950990229218841885945599108128249915898830432/243076964465\ 114741762222290104350908497042777147*c_0101_5^20 - 926657194209228303470494696601976807971842503943349168/243076964465\ 114741762222290104350908497042777147*c_0101_5^18 + 2258669409462289631568790516815926026624952403972826718/72923089339\ 5344225286666870313052725491128331441*c_0101_5^16 - 1255942650287058901449021295266887465574212648045615021/72923089339\ 5344225286666870313052725491128331441*c_0101_5^14 + 477411939222857699953820672604218203069663765091147377/729230893395\ 344225286666870313052725491128331441*c_0101_5^12 - 41072740181987506910337723279507511245477147762610565/2430769644651\ 14741762222290104350908497042777147*c_0101_5^10 + 21288390188157838033333986409328905139052262024241234/7292308933953\ 44225286666870313052725491128331441*c_0101_5^8 - 2416196085311041411529792975245346701238588783478803/72923089339534\ 4225286666870313052725491128331441*c_0101_5^6 + 178715805535326779870397746074536981459046468668806/729230893395344\ 225286666870313052725491128331441*c_0101_5^4 - 3341762620243039314168048645364765210553111976835/24307696446511474\ 1762222290104350908497042777147*c_0101_5^2 - 77844190936017295611138569360860821355920754945/7292308933953442252\ 86666870313052725491128331441, c_0101_2 - 1363302000207934142100720945184940699535038257088/7292308933\ 95344225286666870313052725491128331441*c_0101_5^37 + 37456737482728918125830065760484608780240608539920/7292308933953442\ 25286666870313052725491128331441*c_0101_5^35 - 144061085540293551299180513375295020787705806431060/243076964465114\ 741762222290104350908497042777147*c_0101_5^33 + 2919556146019582072953522440273655356602112350031903/72923089339534\ 4225286666870313052725491128331441*c_0101_5^31 - 14105612150816256957631109525064385330124946735033205/7292308933953\ 44225286666870313052725491128331441*c_0101_5^29 + 55807885608505026265522801300429020760075951939551769/7292308933953\ 44225286666870313052725491128331441*c_0101_5^27 - 178533964969331988224906695568864382536896535469815530/729230893395\ 344225286666870313052725491128331441*c_0101_5^25 + 412154970805507702607919719049966505938278257129518887/729230893395\ 344225286666870313052725491128331441*c_0101_5^23 - 207440109188329802594080290245492969844187729130749571/243076964465\ 114741762222290104350908497042777147*c_0101_5^21 + 62770430254179320125508762688861425474610591340039000/8102565482170\ 4913920740763368116969499014259049*c_0101_5^19 - 245690942863231063324268055823870846212102181821801347/729230893395\ 344225286666870313052725491128331441*c_0101_5^17 - 38761007908504531955000091835798418683791510690013738/7292308933953\ 44225286666870313052725491128331441*c_0101_5^15 + 113591458371902351623027781519230738683424064976046052/729230893395\ 344225286666870313052725491128331441*c_0101_5^13 - 22571192467762801924045067161657103457776137770451994/2430769644651\ 14741762222290104350908497042777147*c_0101_5^11 + 21950567613365120271143409549454987325039133770431180/7292308933953\ 44225286666870313052725491128331441*c_0101_5^9 - 4337525416180120083354672693603093949666214073803632/72923089339534\ 4225286666870313052725491128331441*c_0101_5^7 + 536147259203478537326146734798089451650136447571081/729230893395344\ 225286666870313052725491128331441*c_0101_5^5 - 4708799453757065255972423027227053357281190663936/81025654821704913\ 920740763368116969499014259049*c_0101_5^3 + 3524105920164264394565109057664888218925861927840/72923089339534422\ 5286666870313052725491128331441*c_0101_5, c_0101_4 - 501199291382764340541116068552830419309493871810816/24307696\ 4465114741762222290104350908497042777147*c_0101_5^36 + 43112667290583202909013556876716873636136411546742784/7292308933953\ 44225286666870313052725491128331441*c_0101_5^34 - 527170707106559810756516502559582330116600305411008384/729230893395\ 344225286666870313052725491128331441*c_0101_5^32 + 3819698069784125529337736548037128603454962170003872440/72923089339\ 5344225286666870313052725491128331441*c_0101_5^30 - 2195043354565897738963569913978532988800419997672153439/81025654821\ 704913920740763368116969499014259049*c_0101_5^28 + 82576619160227937122479413032725942007067133723778437267/7292308933\ 95344225286666870313052725491128331441*c_0101_5^26 - 282623668605433402053894044241866256177185929103046541145/729230893\ 395344225286666870313052725491128331441*c_0101_5^24 + 246455150070646015420847422268258514945145304687040676418/243076964\ 465114741762222290104350908497042777147*c_0101_5^22 - 1393678848107435966950811062207514807105632802767844567732/72923089\ 3395344225286666870313052725491128331441*c_0101_5^20 + 1850730849253755798170787923186891931532475936099629132304/72923089\ 3395344225286666870313052725491128331441*c_0101_5^18 - 1724936169308265109877976453844525578308528965331867694002/72923089\ 3395344225286666870313052725491128331441*c_0101_5^16 + 1127685978428404353260217739740753300533743964069576990560/72923089\ 3395344225286666870313052725491128331441*c_0101_5^14 - 171543107750758347856723356604368294737550780464295643075/243076964\ 465114741762222290104350908497042777147*c_0101_5^12 + 161882779766678074310651876723605621853869015000871388886/729230893\ 395344225286666870313052725491128331441*c_0101_5^10 - 34268637187699886812660676603921476755045600157239472567/7292308933\ 95344225286666870313052725491128331441*c_0101_5^8 + 520616353881294448942549463731098678799880646059922986/810256548217\ 04913920740763368116969499014259049*c_0101_5^6 - 387198885667812268583186763688197522081223735809075902/729230893395\ 344225286666870313052725491128331441*c_0101_5^4 + 17300189035114283635262025929085569809496209671892492/7292308933953\ 44225286666870313052725491128331441*c_0101_5^2 - 318525388206140871184903299378739277684095235133598/729230893395344\ 225286666870313052725491128331441, c_0101_5^38 - 115/4*c_0101_5^36 + 5645/16*c_0101_5^34 - 164309/64*c_0101_5^32 + 106671/8*c_0101_5^30 - 3579371/64*c_0101_5^28 + 3074829/16*c_0101_5^26 - 32392641/64*c_0101_5^24 + 61729839/64*c_0101_5^22 - 20826587/16*c_0101_5^20 + 79421751/64*c_0101_5^18 - 53574105/64*c_0101_5^16 + 6383973/16*c_0101_5^14 - 4270347/32*c_0101_5^12 + 493871/16*c_0101_5^10 - 308375/64*c_0101_5^8 + 31315/64*c_0101_5^6 - 979/32*c_0101_5^4 + 17/16*c_0101_5^2 - 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB