Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 3819077436] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1140 geometric_solution 5.00808278 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 -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 2.011513154448 0.233567465250 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 1 0 -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 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 0 0 0 0 0 0 -0.671690389429 0.483888087490 1 1 3 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 1 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.187024414287 0.302720292745 5 4 6 2 0132 3012 0132 0132 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 0 0 0 0 1 0 0 -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.489150933869 0.863177907617 3 5 2 6 1230 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489150933869 0.863177907617 3 4 5 5 0132 0132 1230 3012 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 -1 1 -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.988387573804 1.689633534551 6 4 6 3 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.011612426196 1.689633534551 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_6']), '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_6']), 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 99663656745338985584919743959/12108055784787753379450699100*c_0101_\ 3^26 + 54294335765999650702460923025399/968644462783020270356055928\ 00*c_0101_3^24 - 22470872323983285158296109582411/38745778511320810\ 81424223712*c_0101_3^22 + 629505018522938341386626220577683/1937288\ 9255660405407121118560*c_0101_3^20 - 8313541483407444940113689093298581/48432223139151013517802796400*c_\ 0101_3^18 + 3242486561270328714183119743990431/60540278923938766897\ 25349550*c_0101_3^16 - 9060459236114513887028212061443087/605402789\ 2393876689725349550*c_0101_3^14 + 171344778281737116965014523493160\ 8/605402789239387668972534955*c_0101_3^12 - 18808709022501336185927053118459591/6054027892393876689725349550*c_\ 0101_3^10 + 11809842981606652717147522103495083/6054027892393876689\ 725349550*c_0101_3^8 - 4147583130152929991055197311302077/605402789\ 2393876689725349550*c_0101_3^6 + 749365713803220120443456809290299/\ 6054027892393876689725349550*c_0101_3^4 - 28827150975847172765909516377643/3027013946196938344862674775*c_010\ 1_3^2 + 912555123021338248612570463241/3027013946196938344862674775\ , c_0011_0 - 1, c_0011_3 + 20713897387154927175806398217/24216111569575506758901398200*\ c_0101_3^27 - 11230225980050977731043196548697/19372889255660405407\ 1211185600*c_0101_3^25 + 22622046628585163653217597747623/387457785\ 11320810814242237120*c_0101_3^23 - 3094621821995135693134686167319/968644462783020270356055928*c_0101_\ 3^21 + 1635131794056069455741633757500933/9686444627830202703560559\ 2800*c_0101_3^19 - 612670346189172729519547051266183/12108055784787\ 753379450699100*c_0101_3^17 + 90124753422303084633468746059909/6372\ 66093936197546286878900*c_0101_3^15 - 64941387102933373046147805121983/254906437574479018514751560*c_0101\ _3^13 + 6267842817377889987089030688473551/242161115695755067589013\ 98200*c_0101_3^11 - 23898940203377375977863435970019/15931652348404\ 9386571719725*c_0101_3^9 + 601968648310228576215602065378821/121080\ 55784787753379450699100*c_0101_3^7 - 27459764561570307775839895235753/3027013946196938344862674775*c_010\ 1_3^5 + 5011208621938285624484107579519/605402789239387668972534955\ 0*c_0101_3^3 - 90371594983971497974173008359/3027013946196938344862\ 674775*c_0101_3, c_0011_6 + 438781114974553868806297427/2421611156957550675890139820*c_0\ 101_3^26 - 238227002812225242621734547171/1937288925566040540712111\ 8560*c_0101_3^24 + 2418588052308418544546751369221/1937288925566040\ 5407121118560*c_0101_3^22 - 6660050469477877776616633546931/9686444\ 627830202703560559280*c_0101_3^20 + 7033730193997704716221584776269/1937288925566040540712111856*c_0101\ _3^18 - 21330017017114882139572732547783/19372889255660405407121118\ 56*c_0101_3^16 + 18592247228512421936375496761036/60540278923938766\ 8972534955*c_0101_3^14 - 271769900736939393367981720087429/48432223\ 13915101351780279640*c_0101_3^12 + 369160433327097573889250328266/6372660939361975462868789*c_0101_3^1\ 0 - 4105714369953819287123558134441/121080557847877533794506991*c_0\ 101_3^8 + 13604226426317072837615771764779/121080557847877533794506\ 9910*c_0101_3^6 - 2443047689711604997600647351597/12108055784787753\ 37945069910*c_0101_3^4 + 107860053845187418609869048688/60540278923\ 9387668972534955*c_0101_3^2 - 3569160769365610436387187022/60540278\ 9239387668972534955, c_0101_0 - 4701841646214968051993748287/12108055784787753379450699100*c\ _0101_3^26 + 2538450060985354884802306752527/9686444627830202703560\ 5592800*c_0101_3^24 - 4990930091362314573584571480821/1937288925566\ 0405407121118560*c_0101_3^22 + 6675024998260372139733365632389/4843\ 222313915101351780279640*c_0101_3^20 - 176338176549703741409817659952609/24216111569575506758901398200*c_0\ 101_3^18 + 1014820492990679492627562553986769/484322231391510135178\ 02796400*c_0101_3^16 - 177154191071093398153915963062048/3027013946\ 196938344862674775*c_0101_3^14 + 483089960417060156207186270100571/\ 4843222313915101351780279640*c_0101_3^12 - 1104381058886901024233534188616671/12108055784787753379450699100*c_\ 0101_3^10 + 547516300262261212139094230821173/121080557847877533794\ 50699100*c_0101_3^8 - 35964404218174681253762299759988/302701394619\ 6938344862674775*c_0101_3^6 + 9214880810054519083560192091507/60540\ 27892393876689725349550*c_0101_3^4 - 274894964336598916814460026919/3027013946196938344862674775*c_0101_\ 3^2 + 10291160364243335334059345358/3027013946196938344862674775, c_0101_1 + 140586395070804206664711103/2421611156957550675890139820*c_0\ 101_3^26 - 73658538266435083956981428791/19372889255660405407121118\ 560*c_0101_3^24 + 15680777542725940719409964589/5098128751489580370\ 29503120*c_0101_3^22 - 2572043474954919659546023383039/193728892556\ 60405407121118560*c_0101_3^20 + 6884396925484805873185466204901/968\ 6444627830202703560559280*c_0101_3^18 - 10952602198348451865053981642543/9686444627830202703560559280*c_010\ 1_3^16 + 16449621628376985588258894386159/4843222313915101351780279\ 640*c_0101_3^14 + 210419068002657079371127109583/121080557847877533\ 7945069910*c_0101_3^12 - 22862788237552201280018313410683/242161115\ 6957550675890139820*c_0101_3^10 + 25296627098699246533738365270429/\ 2421611156957550675890139820*c_0101_3^8 - 553149706969224207497916779056/121080557847877533794506991*c_0101_3\ ^6 + 530960289182844145224723835461/605402789239387668972534955*c_0\ 101_3^4 - 42502392019549296913071494491/605402789239387668972534955\ *c_0101_3^2 + 332013156231729270617611960/1210805578478775337945069\ 91, c_0101_2 - 1662137027831976470290976713/12108055784787753379450699100*c\ _0101_3^26 + 896329968455832021717380182873/96864446278302027035605\ 592800*c_0101_3^24 - 92151612558745085462414756261/1019625750297916\ 074059006240*c_0101_3^22 + 4666661173142757355500055515927/96864446\ 27830202703560559280*c_0101_3^20 - 123570024665172258948427872966807/48432223139151013517802796400*c_0\ 101_3^18 + 352744097021038537524572708925531/4843222313915101351780\ 2796400*c_0101_3^16 - 496834021608113331930263102418091/24216111569\ 575506758901398200*c_0101_3^14 + 167973487924727208115951729402269/\ 4843222313915101351780279640*c_0101_3^12 - 98181726985975163798787797912901/3027013946196938344862674775*c_010\ 1_3^10 + 53352423102488527877136215035413/3027013946196938344862674\ 775*c_0101_3^8 - 17018357537335165508300172867712/30270139461969383\ 44862674775*c_0101_3^6 + 5939464744402471335144559568393/6054027892\ 393876689725349550*c_0101_3^4 - 231838321545889489838199408606/3027\ 013946196938344862674775*c_0101_3^2 + 5623985488541214622592616042/3027013946196938344862674775, c_0101_3^28 - 545/8*c_0101_3^26 + 5653/8*c_0101_3^24 - 15905/4*c_0101_3^22 + 84199/4*c_0101_3^20 - 66101*c_0101_3^18 + 372025/2*c_0101_3^16 - 355543*c_0101_3^14 + 405568*c_0101_3^12 - 277678*c_0101_3^10 + 115208*c_0101_3^8 - 28460*c_0101_3^6 + 3964*c_0101_3^4 - 280*c_0101_3^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB