Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 21011817] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s834 geometric_solution 5.40776160 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 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 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.487271652012 0.229404954963 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 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 -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.832830553052 0.561482174216 1 4 5 3 0132 0132 0132 2310 0 0 0 0 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 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420961209286 1.010918604958 2 5 4 1 3201 1023 1023 0132 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 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.420961209286 1.010918604958 5 2 3 5 1230 0132 1023 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 0 0 0 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 0.808749970111 0.751764856381 3 4 4 2 1023 3012 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.153038778290 1.078709661291 ==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' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : negation(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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 224587382791947779021779269/1865601388272016224288294400*c_0101_4^1\ 8 - 13024223310258688326992999/18656013882720162242882944*c_0101_4^\ 17 - 485263736315018254504198523/466400347068004056072073600*c_0101\ _4^16 + 2606542831032505353693676423/373120277654403244857658880*c_\ 0101_4^15 + 3295760363442870252451518047/37312027765440324485765888\ 0*c_0101_4^14 - 1365963870889197858219937707/4664003470680040560720\ 7360*c_0101_4^13 - 9340806988986379418532231301/3731202776544032448\ 57658880*c_0101_4^12 + 75016218840701189081615517423/18656013882720\ 16224288294400*c_0101_4^11 + 84008077041007961196965422141/93280069\ 4136008112144147200*c_0101_4^10 + 15261555356582138536277798371/466\ 400347068004056072073600*c_0101_4^9 - 787778967362287323911752570773/1865601388272016224288294400*c_0101_\ 4^8 + 47434032765884387338875169363/932800694136008112144147200*c_0\ 101_4^7 + 175418868100822489815628817069/23320017353400202803603680\ 0*c_0101_4^6 - 97031793370020980541978299367/2332001735340020280360\ 36800*c_0101_4^5 - 2246884305306100657422035099/4664003470680040560\ 720736*c_0101_4^4 + 1861505871763265339041999127/291500216917502535\ 04504600*c_0101_4^3 - 82231815025095250094299809/364375271146878168\ 8063075*c_0101_4^2 - 452046627270783719453975406/364375271146878168\ 8063075*c_0101_4 - 410986352496126467008602433/72875054229375633761\ 26150, c_0011_0 - 1, c_0011_1 - 52403985753725759408251/116600086767001014018018400*c_0101_4\ ^18 + 33163638345432154770781/11660008676700101401801840*c_0101_4^1\ 7 + 17210420266895768193373/7287505422937563376126150*c_0101_4^16 - 637647874911375465217757/23320017353400202803603680*c_0101_4^15 - 83781406134515491272007/4664003470680040560720736*c_0101_4^14 + 1407070798862719902596369/11660008676700101401801840*c_0101_4^13 + 101406346280193254515523/4664003470680040560720736*c_0101_4^12 - 20960949144553254971258267/116600086767001014018018400*c_0101_4^11 - 6248823519219622246017417/29150021691750253504504600*c_0101_4^10 + 1960948892662945913125441/29150021691750253504504600*c_0101_4^9 + 172981454202256519206687367/116600086767001014018018400*c_0101_4^8 - 31815425969599767060803351/29150021691750253504504600*c_0101_4^7 - 69615643818429727212619577/29150021691750253504504600*c_0101_4^6 + 24408745592695759583965169/7287505422937563376126150*c_0101_4^5 + 86341585570519551860342/145750108458751267522523*c_0101_4^4 - 7949191829632877987246291/3643752711468781688063075*c_0101_4^3 + 16158179119091100242853769/14575010845875126752252300*c_0101_4^2 + 2102621935598304235210674/3643752711468781688063075*c_0101_4 + 418707250641777617175571/3643752711468781688063075, c_0011_3 + 12772145455017981259429/18656013882720162242882944*c_0101_4^\ 18 - 476191011874414505356841/93280069413600811214414720*c_0101_4^1\ 7 + 58104704123000058714697/46640034706800405607207360*c_0101_4^16 + 4300598169897571717362867/93280069413600811214414720*c_0101_4^15 - 466143910410097827385487/23320017353400202803603680*c_0101_4^14 - 20330792122438955933572653/93280069413600811214414720*c_0101_4^13 + 16190559541551969433335897/93280069413600811214414720*c_0101_4^12 + 7873858079843734567893023/23320017353400202803603680*c_0101_4^11 + 457240966780826961981869/18656013882720162242882944*c_0101_4^10 - 6281889256954100417643731/11660008676700101401801840*c_0101_4^9 - 210022733121394732812587969/93280069413600811214414720*c_0101_4^8 + 416806608305396793510730323/93280069413600811214414720*c_0101_4^7 + 11257391268993404382994239/5830004338350050700900920*c_0101_4^6 - 214445910859937609317072381/23320017353400202803603680*c_0101_4^5 + 8935530580701843580291531/2332001735340020280360368*c_0101_4^4 + 4466135708074537136738705/1166000867670010140180184*c_0101_4^3 - 3461089478307289102472613/1457501084587512675225230*c_0101_4^2 - 97207529872277780170804/145750108458751267522523*c_0101_4 + 487297970782515021496101/728750542293756337612615, c_0101_0 + 1268467623102103677855749/466400347068004056072073600*c_0101\ _4^18 - 104220517968318797087637/5830004338350050700900920*c_0101_4\ ^17 - 38912067332208191324609/3643752711468781688063075*c_0101_4^16 + 16092878711018984941979031/93280069413600811214414720*c_0101_4^15 + 6637129298817021368787563/93280069413600811214414720*c_0101_4^14 - 9092807943139115512819713/11660008676700101401801840*c_0101_4^13 + 150817600284249553398823/93280069413600811214414720*c_0101_4^12 + 555315447752910449140769123/466400347068004056072073600*c_0101_4^11 + 269032793502282567577497141/233200173534002028036036800*c_0101_4^\ 10 - 4391431738203187904192889/7287505422937563376126150*c_0101_4^9 - 4458404442546197636484640813/466400347068004056072073600*c_0101_4\ ^8 + 2026503111764808855674078553/233200173534002028036036800*c_010\ 1_4^7 + 1613570781217357043819870043/116600086767001014018018400*c_\ 0101_4^6 - 1330487417322536904778574647/58300043383500507009009200*\ c_0101_4^5 + 1257173622839231837760699/1166000867670010140180184*c_\ 0101_4^4 + 60185850299336661293174917/7287505422937563376126150*c_0\ 101_4^3 - 43653572105300361359834617/7287505422937563376126150*c_01\ 01_4^2 - 5162436895362545057153863/7287505422937563376126150*c_0101\ _4 + 5126207854836168955724344/3643752711468781688063075, c_0101_1 + 79934716297798442967033/116600086767001014018018400*c_0101_4\ ^18 - 25166869412749849380227/5830004338350050700900920*c_0101_4^17 - 113928248746169789583501/29150021691750253504504600*c_0101_4^16 + 199466100797054365785363/4664003470680040560720736*c_0101_4^15 + 669605660543740009758029/23320017353400202803603680*c_0101_4^14 - 112027074608789538543527/583000433835005070090092*c_0101_4^13 - 953441065788568380475681/23320017353400202803603680*c_0101_4^12 + 36130994501865911572805281/116600086767001014018018400*c_0101_4^11 + 9353895507492284864395561/29150021691750253504504600*c_0101_4^10 - 781510723470260083807537/7287505422937563376126150*c_0101_4^9 - 272401368377126843303159651/116600086767001014018018400*c_0101_4^8 + 12232456218189740682177007/7287505422937563376126150*c_0101_4^7 + 117846464454823075406554601/29150021691750253504504600*c_0101_4^6 - 40802104923958594293746317/7287505422937563376126150*c_0101_4^5 - 2861481648369195957994387/2332001735340020280360368*c_0101_4^4 + 13642687417793753044536928/3643752711468781688063075*c_0101_4^3 - 28998192313127313555208667/14575010845875126752252300*c_0101_4^2 - 3923590782982105640211342/3643752711468781688063075*c_0101_4 + 3492419811224972882490797/3643752711468781688063075, c_0101_4^19 - 6*c_0101_4^18 - 8*c_0101_4^17 + 63*c_0101_4^16 + 65*c_0101_4^15 - 290*c_0101_4^14 - 185*c_0101_4^13 + 517*c_0101_4^12 + 736*c_0101_4^11 - 92*c_0101_4^10 - 3873*c_0101_4^9 + 1136*c_0101_4^8 + 8024*c_0101_4^7 - 5672*c_0101_4^6 - 6416*c_0101_4^5 + 4512*c_0101_4^4 + 896*c_0101_4^3 - 2176*c_0101_4^2 + 256*c_0101_4 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB