Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 2118115927] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0040 geometric_solution 3.60819374 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.275943689540 0.066351643893 0 2 2 0 3201 0132 1023 0132 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 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 1.075613266178 0.042431635943 3 1 1 3 0132 0132 1023 1023 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 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 1.102738358209 0.082671642462 2 4 4 2 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 0 1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.117023175228 0.215956513815 5 3 3 6 0132 0132 1023 0132 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 0 0 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802325845660 0.411017738868 4 6 6 6 0132 1302 3201 2031 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 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.509237736027 0.496592155359 5 5 4 5 2310 1302 0132 2031 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 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.509237736027 0.496592155359 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_0101_0, c_0101_2, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1319336884541162049792835571/92854073126274109140330320*c_0101_5^16 + 3523550664187694730227911619/46427036563137054570165160*c_0101_5^\ 15 - 1826133121556805595248469151/4642703656313705457016516*c_0101_\ 5^14 + 888708374305288324541682373/1428524201942678602158928*c_0101\ _5^13 - 141763096213246864372014965441/92854073126274109140330320*c\ _0101_5^12 - 13058624165331250784313935013/580337957039213182127064\ 5*c_0101_5^11 + 102520688685966486030273699907/23213518281568527285\ 082580*c_0101_5^10 + 423377797541992149519527248123/928540731262741\ 09140330320*c_0101_5^9 + 941086930333237094978568623169/92854073126\ 274109140330320*c_0101_5^8 - 22457869759559792305759589286/58033795\ 70392131821270645*c_0101_5^7 - 31881755394968705296834843830/116067\ 5914078426364254129*c_0101_5^6 - 19207862644987385556215095087/7142\ 621009713393010794640*c_0101_5^5 + 1237544895317753436979645146197/92854073126274109140330320*c_0101_5\ ^4 + 30195411784853752967336545247/23213518281568527285082580*c_010\ 1_5^3 - 7262401967536758206323299971/9285407312627410914033032*c_01\ 01_5^2 - 13645096501292443751935691211/92854073126274109140330320*c\ _0101_5 - 15681288162738759931776262047/92854073126274109140330320, c_0011_0 - 1, c_0011_1 - 5389503989270406495512/89282762621417412634933*c_0101_5^16 + 26951284355714467637635/89282762621417412634933*c_0101_5^15 - 141109154805000770908544/89282762621417412634933*c_0101_5^14 + 193614930724189467174400/89282762621417412634933*c_0101_5^13 - 543166087444594330207780/89282762621417412634933*c_0101_5^12 - 992426681484294491131006/89282762621417412634933*c_0101_5^11 + 1214736152874271512132318/89282762621417412634933*c_0101_5^10 + 1967163092811438424100107/89282762621417412634933*c_0101_5^9 + 4791218709485775648391879/89282762621417412634933*c_0101_5^8 + 467964773681424838458844/89282762621417412634933*c_0101_5^7 - 9385514792856323391328843/89282762621417412634933*c_0101_5^6 - 4283754138350822549168064/89282762621417412634933*c_0101_5^5 + 1804040113954781141034478/89282762621417412634933*c_0101_5^4 + 845651582481653243678861/89282762621417412634933*c_0101_5^3 + 382418827165352800802944/89282762621417412634933*c_0101_5^2 + 42562221969232263172677/89282762621417412634933*c_0101_5 - 22765673601152311602221/89282762621417412634933, c_0101_0 - 9861788837760914798153/89282762621417412634933*c_0101_5^16 + 48889049658778636147669/89282762621417412634933*c_0101_5^15 - 250099947607839348894033/89282762621417412634933*c_0101_5^14 + 310437985513946780958913/89282762621417412634933*c_0101_5^13 - 805703915528621379350111/89282762621417412634933*c_0101_5^12 - 2161697463811892377734877/89282762621417412634933*c_0101_5^11 + 2925563157512193021893418/89282762621417412634933*c_0101_5^10 + 4348858312707567371786767/89282762621417412634933*c_0101_5^9 + 7479245315498682683833573/89282762621417412634933*c_0101_5^8 - 257001395282117764104607/89282762621417412634933*c_0101_5^7 - 21863595900776347369376734/89282762621417412634933*c_0101_5^6 - 6949655828713406161044191/89282762621417412634933*c_0101_5^5 + 11696001066014259106966592/89282762621417412634933*c_0101_5^4 + 2779923166000518871000599/89282762621417412634933*c_0101_5^3 - 1165015455484755839902301/89282762621417412634933*c_0101_5^2 - 215019242380921327541215/89282762621417412634933*c_0101_5 - 108031718184592351260967/89282762621417412634933, c_0101_2 - 6113231567650026544430/89282762621417412634933*c_0101_5^16 + 34869259867976032173353/89282762621417412634933*c_0101_5^15 - 180405618179889152791049/89282762621417412634933*c_0101_5^14 + 328284715730947110904511/89282762621417412634933*c_0101_5^13 - 751637051604184183145969/89282762621417412634933*c_0101_5^12 - 672717284577662078647504/89282762621417412634933*c_0101_5^11 + 2153037112537355241878853/89282762621417412634933*c_0101_5^10 + 1818015211469153840356729/89282762621417412634933*c_0101_5^9 + 3583478941597578233986155/89282762621417412634933*c_0101_5^8 - 4000035464786731504467773/89282762621417412634933*c_0101_5^7 - 12206058100026388618935897/89282762621417412634933*c_0101_5^6 + 1105178592199127551380793/89282762621417412634933*c_0101_5^5 + 8586220027396797316639875/89282762621417412634933*c_0101_5^4 + 1612749361602734987068426/89282762621417412634933*c_0101_5^3 - 1120784786555512901089795/89282762621417412634933*c_0101_5^2 - 255156110279197743588408/89282762621417412634933*c_0101_5 - 87411436987562636340768/89282762621417412634933, c_0101_3 + 3156019293605167365227/89282762621417412634933*c_0101_5^16 - 13032880522062554624310/89282762621417412634933*c_0101_5^15 + 68864021505279867044512/89282762621417412634933*c_0101_5^14 - 41727733308054949962046/89282762621417412634933*c_0101_5^13 + 221264776435873455865205/89282762621417412634933*c_0101_5^12 + 844622671840643238374740/89282762621417412634933*c_0101_5^11 - 175335193145365764916742/89282762621417412634933*c_0101_5^10 - 1874537033378613974554851/89282762621417412634933*c_0101_5^9 - 3770974198396767662862843/89282762621417412634933*c_0101_5^8 - 2811997870876905011686147/89282762621417412634933*c_0101_5^7 + 5261765383555939811690280/89282762621417412634933*c_0101_5^6 + 7540334734881732125928100/89282762621417412634933*c_0101_5^5 + 1007791456802527459889666/89282762621417412634933*c_0101_5^4 - 1060798677563549026923026/89282762621417412634933*c_0101_5^3 - 408186124228936745361868/89282762621417412634933*c_0101_5^2 - 194342310225350781731143/89282762621417412634933*c_0101_5 + 36898351024670115803887/89282762621417412634933, c_0101_4 - 7448421599606209571667/89282762621417412634933*c_0101_5^16 + 34607750910254014316433/89282762621417412634933*c_0101_5^15 - 180411721276548876188570/89282762621417412634933*c_0101_5^14 + 191435468575262891702679/89282762621417412634933*c_0101_5^13 - 618702553121362238351310/89282762621417412634933*c_0101_5^12 - 1689120019569141550058200/89282762621417412634933*c_0101_5^11 + 1339967658633725805736149/89282762621417412634933*c_0101_5^10 + 3576635280462573894550091/89282762621417412634933*c_0101_5^9 + 7287966246015512621392215/89282762621417412634933*c_0101_5^8 + 2619361606776926785481804/89282762621417412634933*c_0101_5^7 - 13857864888912940231396036/89282762621417412634933*c_0101_5^6 - 10561410692866644078190588/89282762621417412634933*c_0101_5^5 + 2526739146361453893782057/89282762621417412634933*c_0101_5^4 + 2475309462006384495219297/89282762621417412634933*c_0101_5^3 + 140239500641511950333294/89282762621417412634933*c_0101_5^2 + 69924610442597028407522/89282762621417412634933*c_0101_5 - 24332576675510225911208/89282762621417412634933, c_0101_5^17 - 5*c_0101_5^16 + 26*c_0101_5^15 - 35*c_0101_5^14 + 96*c_0101_5^13 + 191*c_0101_5^12 - 244*c_0101_5^11 - 397*c_0101_5^10 - 848*c_0101_5^9 - 31*c_0101_5^8 + 1888*c_0101_5^7 + 801*c_0101_5^6 - 634*c_0101_5^5 - 239*c_0101_5^4 + 6*c_0101_5^3 + 11*c_0101_5^2 + 10*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB