Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 1393741724] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0374 geometric_solution 4.43047662 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.416442391335 0.158185233299 0 2 2 0 0132 0132 3201 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 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.843221466193 0.385070890826 1 1 3 3 2310 0132 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 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 0.337763236083 0.341841420151 4 2 5 2 0132 2310 0132 0132 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 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.219505051666 0.524918605573 3 5 5 6 0132 1230 3012 0132 0 0 0 0 0 0 -1 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 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.174690793285 0.800715241602 6 4 4 3 3201 1230 3012 0132 0 0 0 0 0 0 0 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 0 0 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 1.174690793285 0.800715241602 6 6 4 5 1302 2031 0132 2310 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 -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.624156072357 0.605556409900 ==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' : negation(d['1']), 's_3_4' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0011_6']), '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' : negation(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' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], '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' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 86430829037114958561201896258633529/7168121878839379581824471632304\ 2048*c_0101_5^21 - 7256299645548449792383368490807791341/3584060939\ 4196897909122358161521024*c_0101_5^19 + 666892254817946966910453043933054941511/716812187883937958182447163\ 23042048*c_0101_5^17 - 5991257607695792121950016438569014279647/358\ 40609394196897909122358161521024*c_0101_5^15 + 1876846203621368838651374556135675767255/11200190435686530596600736\ 92547532*c_0101_5^13 - 220047599560373957408899752219928250774065/7\ 1681218788393795818244716323042048*c_0101_5^11 + 168142064696365142410538375232572003816191/716812187883937958182447\ 16323042048*c_0101_5^9 - 66325733911466464233930353608788647863889/\ 71681218788393795818244716323042048*c_0101_5^7 + 3982970750541265934896333136793183918957/17920304697098448954561179\ 080760512*c_0101_5^5 - 85186131275794703423793066165216351513/22400\ 38087137306119320147385095064*c_0101_5^3 + 3983819458731394928114690610451625989/11200190435686530596600736925\ 47532*c_0101_5, c_0011_0 - 1, c_0011_3 - 24354969694867782893805706012495/896015234854922447728058954\ 0380256*c_0101_5^20 + 509807751943744946152235508674299/11200190435\ 68653059660073692547532*c_0101_5^18 - 186082071361331552955454509346222941/896015234854922447728058954038\ 0256*c_0101_5^16 + 102894886555240369809856394326261658/28000476089\ 2163264915018423136883*c_0101_5^14 - 8091129599748911830696351552988592281/22400380871373061193201473850\ 95064*c_0101_5^12 + 47440493614097984906744468602378071687/89601523\ 48549224477280589540380256*c_0101_5^10 - 26250912907901298989496405274741292459/8960152348549224477280589540\ 380256*c_0101_5^8 + 7314376955372067144185892312376636477/896015234\ 8549224477280589540380256*c_0101_5^6 - 743318186955176014218040986781219971/448007617427461223864029477019\ 0128*c_0101_5^4 + 6054510639478426151377370794937048/28000476089216\ 3264915018423136883*c_0101_5^2 - 274590457280873317097936676587630/\ 280004760892163264915018423136883, c_0011_6 - 172945739104499109786579575579/89601523485492244772805895403\ 80256*c_0101_5^20 + 3146506204253290323487929002373/112001904356865\ 3059660073692547532*c_0101_5^18 - 687937319025143913653520348916993\ /8960152348549224477280589540380256*c_0101_5^16 - 336551900080944734056841541212591/560009521784326529830036846273766\ *c_0101_5^14 + 68509956485117327274736283628653499/2240038087137306\ 119320147385095064*c_0101_5^12 - 4551378704343734413437949529858397\ 581/8960152348549224477280589540380256*c_0101_5^10 + 5771120685151567887867732932884640393/89601523485492244772805895403\ 80256*c_0101_5^8 - 2384940534838408372650496551498275599/8960152348\ 549224477280589540380256*c_0101_5^6 + 229895519972548954497890498843478873/448007617427461223864029477019\ 0128*c_0101_5^4 - 2474871078394788978460185186501206/28000476089216\ 3264915018423136883*c_0101_5^2 + 105270708670331208710257128511638/\ 280004760892163264915018423136883, c_0101_0 - 12575025763896247143098670625363/179203046970984489545611790\ 80760512*c_0101_5^21 + 535017911382378701876886086227251/4480076174\ 274612238640294770190128*c_0101_5^19 - 101815389551149172531461105015229353/179203046970984489545611790807\ 60512*c_0101_5^17 + 490403976462411870463959281481767903/4480076174\ 274612238640294770190128*c_0101_5^15 - 5332738028247821540107063957922841173/44800761742746122386402947701\ 90128*c_0101_5^13 + 69813454987609647665860652610539324987/17920304\ 697098448954561179080760512*c_0101_5^11 - 78162713873208595692258424843546270931/1792030469709844895456117908\ 0760512*c_0101_5^9 + 37908139184187481484779247927150130669/1792030\ 4697098448954561179080760512*c_0101_5^7 - 4781866688733508384882277631827452757/89601523485492244772805895403\ 80256*c_0101_5^5 + 209212226872902858465115375131004969/22400380871\ 37306119320147385095064*c_0101_5^3 - 4812365607130341689810678936062685/56000952178432652983003684627376\ 6*c_0101_5, c_0101_1 - 4571597795048715840511998921031/2240038087137306119320147385\ 095064*c_0101_5^20 + 764458494531071646030153703455307/224003808713\ 7306119320147385095064*c_0101_5^18 - 34745404317881018387851265812654373/2240038087137306119320147385095\ 064*c_0101_5^16 + 609709231024071567298357876813060593/224003808713\ 7306119320147385095064*c_0101_5^14 - 1482153673004481061821222373754338571/56000952178432652983003684627\ 3766*c_0101_5^12 + 7480337120977208503733997945302098827/2240038087\ 137306119320147385095064*c_0101_5^10 - 1558115194623506673945295139779116895/11200190435686530596600736925\ 47532*c_0101_5^8 + 148671712950627298031434654861624455/56000952178\ 4326529830036846273766*c_0101_5^6 - 121726791426991631779124623560524007/224003808713730611932014738509\ 5064*c_0101_5^4 + 822396615626561335634519419012023/112001904356865\ 3059660073692547532*c_0101_5^2 + 214492736589375365467589519508059/\ 280004760892163264915018423136883, c_0101_2 - 8307880498106481079852430199591/4480076174274612238640294770\ 190128*c_0101_5^21 + 1391677567077545825963872541535471/44800761742\ 74612238640294770190128*c_0101_5^19 - 63549863311235086210933007541755025/4480076174274612238640294770190\ 128*c_0101_5^17 + 1126477171999243582927685649870652245/44800761742\ 74612238640294770190128*c_0101_5^15 - 693465398486897190132091457608536021/280004760892163264915018423136\ 883*c_0101_5^13 + 16687732378087214604300730241003429763/4480076174\ 274612238640294770190128*c_0101_5^11 - 4478170540461625000046841225241773537/22400380871373061193201473850\ 95064*c_0101_5^9 + 460297302070806744930911553446700103/11200190435\ 68653059660073692547532*c_0101_5^7 - 156032692698136652433239929721222175/448007617427461223864029477019\ 0128*c_0101_5^5 + 6093933506240429210538486381770513/22400380871373\ 06119320147385095064*c_0101_5^3 + 116063953828185860806153967420063\ 3/560009521784326529830036846273766*c_0101_5, c_0101_5^22 - 168*c_0101_5^20 + 7731*c_0101_5^18 - 139328*c_0101_5^16 + 1402076*c_0101_5^14 - 2668137*c_0101_5^12 + 2146053*c_0101_5^10 - 900531*c_0101_5^8 + 230042*c_0101_5^6 - 41728*c_0101_5^4 + 4576*c_0101_5^2 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB