Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 37985835] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0048 geometric_solution 3.61479603 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.086224267389 1.846805559487 0 0 3 3 0132 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344291260492 0.239248358812 0 0 4 4 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.115171554221 0.028388086734 1 5 1 6 2310 0132 0132 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997550707449 0.512210249605 2 4 2 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9.090169926054 2.036801556326 6 3 6 6 3012 0132 2310 1230 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 -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.990362660263 0.985638255918 5 5 3 5 3012 3201 0132 1230 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 0 0 0 0 0 0 0 -1 0 0 1 -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.990362660263 0.985638255918 ==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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), '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_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 28493638226459664493692/1099955964624959345329*c_0101_5^16 + 57463593615162250270098/1099955964624959345329*c_0101_5^15 - 82003739699740900094084/1099955964624959345329*c_0101_5^14 - 650206169068410240658292/1099955964624959345329*c_0101_5^13 - 300087875523206271280980/1099955964624959345329*c_0101_5^12 + 47664175243439879825276/1099955964624959345329*c_0101_5^11 - 3278305406370625762610949/1099955964624959345329*c_0101_5^10 + 7796669886305744020099315/1099955964624959345329*c_0101_5^9 + 16707132523706301803667227/1099955964624959345329*c_0101_5^8 - 15809648828402248109469345/1099955964624959345329*c_0101_5^7 - 25355301581914239517980040/1099955964624959345329*c_0101_5^6 + 4518798978755347563993336/1099955964624959345329*c_0101_5^5 + 9693256770444952838607508/1099955964624959345329*c_0101_5^4 + 1221863310792856047195682/1099955964624959345329*c_0101_5^3 - 941804949721815876272937/1099955964624959345329*c_0101_5^2 - 261380846384615314680955/1099955964624959345329*c_0101_5 + 113894977849995739836419/1099955964624959345329, c_0011_0 - 1, c_0011_3 + 89959725994089342439/1099955964624959345329*c_0101_5^16 + 198808375071240931981/1099955964624959345329*c_0101_5^15 - 197988693834482839855/1099955964624959345329*c_0101_5^14 - 2053512084146574271971/1099955964624959345329*c_0101_5^13 - 1418296300698526042954/1099955964624959345329*c_0101_5^12 - 603177216895503531220/1099955964624959345329*c_0101_5^11 - 10546089284745557156763/1099955964624959345329*c_0101_5^10 + 22563900948372134722304/1099955964624959345329*c_0101_5^9 + 54477072262334508482153/1099955964624959345329*c_0101_5^8 - 32352873500509859361991/1099955964624959345329*c_0101_5^7 - 76081056938205510345262/1099955964624959345329*c_0101_5^6 - 15481443848339955763364/1099955964624959345329*c_0101_5^5 + 14729938588265153894453/1099955964624959345329*c_0101_5^4 + 12781527234448141986889/1099955964624959345329*c_0101_5^3 + 3554527666460959012746/1099955964624959345329*c_0101_5^2 - 166925807867140124788/1099955964624959345329*c_0101_5 - 540868163174419008944/1099955964624959345329, c_0011_4 + 186587014490550760989/1099955964624959345329*c_0101_5^16 + 392616036597971779033/1099955964624959345329*c_0101_5^15 - 502227439285001127114/1099955964624959345329*c_0101_5^14 - 4315190994361294486047/1099955964624959345329*c_0101_5^13 - 2376427992314570162992/1099955964624959345329*c_0101_5^12 + 129635640467690391829/1099955964624959345329*c_0101_5^11 - 21127824789458306313070/1099955964624959345329*c_0101_5^10 + 49434468415138530963138/1099955964624959345329*c_0101_5^9 + 113692107923466269579873/1099955964624959345329*c_0101_5^8 - 91712331208387544640444/1099955964624959345329*c_0101_5^7 - 177366608680853850527728/1099955964624959345329*c_0101_5^6 + 4332921357171755593910/1099955964624959345329*c_0101_5^5 + 70373966910826900674543/1099955964624959345329*c_0101_5^4 + 27011586811522798317612/1099955964624959345329*c_0101_5^3 - 3832340372811635086611/1099955964624959345329*c_0101_5^2 - 4201930324157313449913/1099955964624959345329*c_0101_5 - 861844927355209890974/1099955964624959345329, c_0101_0 - 219952679693317593677/1099955964624959345329*c_0101_5^16 - 431796001110547890475/1099955964624959345329*c_0101_5^15 + 638856222967525051065/1099955964624959345329*c_0101_5^14 + 4965812831996751913375/1099955964624959345329*c_0101_5^13 + 2125438281489030144159/1099955964624959345329*c_0101_5^12 - 146457272482001658658/1099955964624959345329*c_0101_5^11 + 25155600452579088512443/1099955964624959345329*c_0101_5^10 - 61580909242496688532113/1099955964624959345329*c_0101_5^9 - 123572991775942057979810/1099955964624959345329*c_0101_5^8 + 122097508606255292128510/1099955964624959345329*c_0101_5^7 + 184216620832407354967512/1099955964624959345329*c_0101_5^6 - 27673122230064900554132/1099955964624959345329*c_0101_5^5 - 70673337807855315041739/1099955964624959345329*c_0101_5^4 - 18197347505514897112203/1099955964624959345329*c_0101_5^3 + 9535719140867836607146/1099955964624959345329*c_0101_5^2 + 4713148381517467428070/1099955964624959345329*c_0101_5 - 452446897086276467404/1099955964624959345329, c_0101_1 - 126531286122939679274/1099955964624959345329*c_0101_5^16 - 230726308352598609974/1099955964624959345329*c_0101_5^15 + 430111471486421508259/1099955964624959345329*c_0101_5^14 + 2850756491707322608535/1099955964624959345329*c_0101_5^13 + 726527249160644220544/1099955964624959345329*c_0101_5^12 - 853159578106353692244/1099955964624959345329*c_0101_5^11 + 14416148739537328607077/1099955964624959345329*c_0101_5^10 - 37393741781973806646091/1099955964624959345329*c_0101_5^9 - 69359161894251657620219/1099955964624959345329*c_0101_5^8 + 89114082481050029261250/1099955964624959345329*c_0101_5^7 + 108987345272877474645744/1099955964624959345329*c_0101_5^6 - 50845724896939695969014/1099955964624959345329*c_0101_5^5 - 55028265184301614241014/1099955964624959345329*c_0101_5^4 + 4808327027555191757228/1099955964624959345329*c_0101_5^3 + 11050228319029417441105/1099955964624959345329*c_0101_5^2 + 2324623646525017143084/1099955964624959345329*c_0101_5 - 490465684202523965195/1099955964624959345329, c_0101_4 - 240989477111946857965/1099955964624959345329*c_0101_5^16 - 439758983680475658814/1099955964624959345329*c_0101_5^15 + 770799903637398190429/1099955964624959345329*c_0101_5^14 + 5373515536501410889113/1099955964624959345329*c_0101_5^13 + 1590810998147828868414/1099955964624959345329*c_0101_5^12 - 654217400115412386868/1099955964624959345329*c_0101_5^11 + 27141465168948088653447/1099955964624959345329*c_0101_5^10 - 71371442214578399391693/1099955964624959345329*c_0101_5^9 - 126951200441743121153009/1099955964624959345329*c_0101_5^8 + 151979162074325482293531/1099955964624959345329*c_0101_5^7 + 192145833056806051736370/1099955964624959345329*c_0101_5^6 - 54351753116039267726704/1099955964624959345329*c_0101_5^5 - 85323791246912449999243/1099955964624959345329*c_0101_5^4 - 17855790604407735939265/1099955964624959345329*c_0101_5^3 + 12652997941069628653773/1099955964624959345329*c_0101_5^2 + 6163353936217364711842/1099955964624959345329*c_0101_5 - 204285798079300158507/1099955964624959345329, c_0101_5^17 + 2*c_0101_5^16 - 3*c_0101_5^15 - 23*c_0101_5^14 - 10*c_0101_5^13 + 4*c_0101_5^12 - 113*c_0101_5^11 + 276*c_0101_5^10 + 592*c_0101_5^9 - 583*c_0101_5^8 - 946*c_0101_5^7 + 193*c_0101_5^6 + 441*c_0101_5^5 + 67*c_0101_5^4 - 66*c_0101_5^3 - 27*c_0101_5^2 + 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB