Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1916005979] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0042 geometric_solution 3.61022514 oriented_manifold CS_known -0.0000000000000001 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.221073261502 0.068253934004 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 -1.839966701480 0.630594747181 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 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.096144498581 0.070045914242 4 2 4 2 0132 2310 2310 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 1 0 -1 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 -1.885902561330 3.606907072908 3 3 5 6 0132 3201 0132 0132 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 1 0 -1 -1 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 0.011349357611 0.507319801467 6 6 6 4 1230 3012 2031 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 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.003814481241 1.018863273130 5 5 4 5 1230 3012 0132 1302 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 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.003814481241 1.018863273130 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], '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' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], '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_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1055672328739515416980013/17098049850741944591153*c_0101_5^15 - 10080417246175202507836133/17098049850741944591153*c_0101_5^14 + 22841292030433219916811582/17098049850741944591153*c_0101_5^13 - 7073879888106727653901135/17098049850741944591153*c_0101_5^12 + 114722883624781044714978575/17098049850741944591153*c_0101_5^11 - 482808368190634038032611102/17098049850741944591153*c_0101_5^10 + 504222289544541384845260375/17098049850741944591153*c_0101_5^9 - 818268297261849178795142218/17098049850741944591153*c_0101_5^8 + 1341364246526506565738495250/17098049850741944591153*c_0101_5^7 + 698986071308082072398554707/17098049850741944591153*c_0101_5^6 - 1010250891039267290753428418/17098049850741944591153*c_0101_5^5 - 365371167026957115112803329/17098049850741944591153*c_0101_5^4 + 89634859147531849509334245/17098049850741944591153*c_0101_5^3 + 66223746365163074233751822/17098049850741944591153*c_0101_5^2 + 23162443676237909339394903/17098049850741944591153*c_0101_5 + 4427313368260674934412179/17098049850741944591153, c_0011_0 - 1, c_0011_3 + 948048061611384058225/17098049850741944591153*c_0101_5^15 - 8900340407664702901943/17098049850741944591153*c_0101_5^14 + 19326702218565779139440/17098049850741944591153*c_0101_5^13 - 5670924717963757232577/17098049850741944591153*c_0101_5^12 + 108365025585543131811334/17098049850741944591153*c_0101_5^11 - 420832622454450424447946/17098049850741944591153*c_0101_5^10 + 415193840483414332505157/17098049850741944591153*c_0101_5^9 - 791564645255126845002292/17098049850741944591153*c_0101_5^8 + 1248025989686553021451573/17098049850741944591153*c_0101_5^7 + 540623640216339257850915/17098049850741944591153*c_0101_5^6 - 365037418729955571000660/17098049850741944591153*c_0101_5^5 - 462099189804848884473007/17098049850741944591153*c_0101_5^4 - 93508459824797777380496/17098049850741944591153*c_0101_5^3 + 30292349326462191657495/17098049850741944591153*c_0101_5^2 + 3111057992461626970067/17098049850741944591153*c_0101_5 + 14889667157299197697157/17098049850741944591153, c_0011_5 + 1361417542400453372029/17098049850741944591153*c_0101_5^15 - 14183195055512520047754/17098049850741944591153*c_0101_5^14 + 41150858306446801387374/17098049850741944591153*c_0101_5^13 - 38694186274780301443803/17098049850741944591153*c_0101_5^12 + 166379742143366452293966/17098049850741944591153*c_0101_5^11 - 758987383044978329529306/17098049850741944591153*c_0101_5^10 + 1237845365135815958008097/17098049850741944591153*c_0101_5^9 - 1823499835952040516079289/17098049850741944591153*c_0101_5^8 + 2935708923491573210207093/17098049850741944591153*c_0101_5^7 - 1045473450928424161814333/17098049850741944591153*c_0101_5^6 - 1380110775652799991004201/17098049850741944591153*c_0101_5^5 + 583299048004836188745577/17098049850741944591153*c_0101_5^4 + 158752402098062473553924/17098049850741944591153*c_0101_5^3 + 48210577005901771581104/17098049850741944591153*c_0101_5^2 + 773160427770262972577/17098049850741944591153*c_0101_5 - 8917195398924192198291/17098049850741944591153, c_0101_0 + 1225175068463826114137/17098049850741944591153*c_0101_5^15 - 12966232777924729692246/17098049850741944591153*c_0101_5^14 + 38967983623438143942583/17098049850741944591153*c_0101_5^13 - 38975000950221551572664/17098049850741944591153*c_0101_5^12 + 148675875028087531017869/17098049850741944591153*c_0101_5^11 - 698878275766115567685391/17098049850741944591153*c_0101_5^10 + 1203077136565409210780647/17098049850741944591153*c_0101_5^9 - 1709883901865216460669170/17098049850741944591153*c_0101_5^8 + 2676545162814332686423693/17098049850741944591153*c_0101_5^7 - 1041200051877530504081751/17098049850741944591153*c_0101_5^6 - 1626818876177178950786708/17098049850741944591153*c_0101_5^5 + 1129780712851293488389872/17098049850741944591153*c_0101_5^4 + 229414856816461683181368/17098049850741944591153*c_0101_5^3 - 164343390890755374204596/17098049850741944591153*c_0101_5^2 - 35206395099403099203611/17098049850741944591153*c_0101_5 - 4882224865281277193143/17098049850741944591153, c_0101_1 - 3285584734291597060444/17098049850741944591153*c_0101_5^15 + 33046574873460599719624/17098049850741944591153*c_0101_5^14 - 87129977086424000126053/17098049850741944591153*c_0101_5^13 + 58777946649643652183039/17098049850741944591153*c_0101_5^12 - 369021170913517483464575/17098049850741944591153*c_0101_5^11 + 1682496222416146308512313/17098049850741944591153*c_0101_5^10 - 2338141885697753379629938/17098049850741944591153*c_0101_5^9 + 3368006790251468935049802/17098049850741944591153*c_0101_5^8 - 5462750307034816323699679/17098049850741944591153*c_0101_5^7 - 86485076326168048319438/17098049850741944591153*c_0101_5^6 + 4283321935276935941030849/17098049850741944591153*c_0101_5^5 - 701928357553955598571348/17098049850741944591153*c_0101_5^4 - 637675381881860199156968/17098049850741944591153*c_0101_5^3 + 46555258593788073426405/17098049850741944591153*c_0101_5^2 - 23809594114426998777600/17098049850741944591153*c_0101_5 + 9583359127747930391705/17098049850741944591153, c_0101_3 + 648371569256607233382/17098049850741944591153*c_0101_5^15 - 7076975318822819980458/17098049850741944591153*c_0101_5^14 + 22484393877969587181239/17098049850741944591153*c_0101_5^13 - 23466890545529814808018/17098049850741944591153*c_0101_5^12 + 76139425697122967495497/17098049850741944591153*c_0101_5^11 - 392175371616823058864179/17098049850741944591153*c_0101_5^10 + 713917689464395192776832/17098049850741944591153*c_0101_5^9 - 922140849467639356651619/17098049850741944591153*c_0101_5^8 + 1498470657452241017917356/17098049850741944591153*c_0101_5^7 - 675667252409523771139396/17098049850741944591153*c_0101_5^6 - 1237373826299573734618369/17098049850741944591153*c_0101_5^5 + 660916496727825396920830/17098049850741944591153*c_0101_5^4 + 349777948947002061950393/17098049850741944591153*c_0101_5^3 - 51173829798962868143914/17098049850741944591153*c_0101_5^2 - 10586306659757242354114/17098049850741944591153*c_0101_5 - 9251061122317331590021/17098049850741944591153, c_0101_5^16 - 10*c_0101_5^15 + 26*c_0101_5^14 - 17*c_0101_5^13 + 113*c_0101_5^12 - 507*c_0101_5^11 + 690*c_0101_5^10 - 1017*c_0101_5^9 + 1652*c_0101_5^8 + 41*c_0101_5^7 - 1178*c_0101_5^6 + 109*c_0101_5^5 + 177*c_0101_5^4 + 21*c_0101_5^3 + 2*c_0101_5^2 - 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB