Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 3684320932] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2958 geometric_solution 6.14433634 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 -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.635602894189 0.499250368571 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.632044502019 0.530087256865 4 5 3 0 0132 1023 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 1 0 0 -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.632044502019 0.530087256865 3 1 3 2 2310 0132 3201 0132 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 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.306632447509 1.138624226016 2 6 1 6 0132 0132 0132 1023 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 -1 0 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 1.718889143271 0.680645640678 2 5 5 1 1023 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723247055206 0.618390706453 6 4 6 4 2310 0132 3201 1023 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 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.615495842269 0.536753729103 ==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_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 63604230507279203844817758923/215650898994097848897390264*c_0101_6^\ 18 + 65571696175787986651009859839/215650898994097848897390264*c_01\ 01_6^17 - 113974130455521439698053462281/30807271284871121271055752\ *c_0101_6^16 + 23652585761304895876036616699/2695636237426223111217\ 3783*c_0101_6^15 - 63599779807248855373077550567/107825449497048924\ 448695132*c_0101_6^14 - 178319353423699861924766162425/107825449497\ 048924448695132*c_0101_6^13 + 805347885084735856880861987929/718836\ 32998032616299130088*c_0101_6^12 - 799234631139207913496080058219/35941816499016308149565044*c_0101_6^\ 11 + 1362707678425587983868786917353/107825449497048924448695132*c_\ 0101_6^10 - 773688372378753956624245458017/107825449497048924448695\ 132*c_0101_6^9 + 955571990510802742935357104699/2156508989940978488\ 97390264*c_0101_6^8 + 260142945807870237743994461375/30807271284871\ 121271055752*c_0101_6^7 - 394319858344727895144185761145/2156508989\ 94097848897390264*c_0101_6^6 - 199150257415862238939471329713/10782\ 5449497048924448695132*c_0101_6^5 - 224502778509667225063376847409/215650898994097848897390264*c_0101_6\ ^4 - 16053784243421994690721446128/26956362374262231112173783*c_010\ 1_6^3 + 12580972397006258689545612887/107825449497048924448695132*c\ _0101_6^2 + 4429108110310706133902084351/30807271284871121271055752\ *c_0101_6 + 2149978940136533086196976245/71883632998032616299130088\ , c_0011_0 - 1, c_0011_2 + 24391014252149256906029935/107825449497048924448695132*c_010\ 1_6^18 + 226490507421092877115279771/107825449497048924448695132*c_\ 0101_6^17 - 19507972855951063758576001/15403635642435560635527876*c\ _0101_6^16 - 613862917548183913041689966/26956362374262231112173783\ *c_0101_6^15 + 181414458075246214204023005/179709082495081540747825\ 22*c_0101_6^14 - 181896315718963495422426985/1797090824950815407478\ 2522*c_0101_6^13 - 272772061106277192331151477/10782544949704892444\ 8695132*c_0101_6^12 + 998049612565669929157122011/17970908249508154\ 074782522*c_0101_6^11 - 7960345740919493936662626799/53912724748524\ 462224347566*c_0101_6^10 + 2032440662747717804397126853/17970908249\ 508154074782522*c_0101_6^9 - 2729946475289911442346227303/359418164\ 99016308149565044*c_0101_6^8 + 222837278584679062581430093/51345452\ 14145186878509292*c_0101_6^7 + 5092568717415912604315043599/1078254\ 49497048924448695132*c_0101_6^6 - 479389049208019597828311539/17970\ 908249508154074782522*c_0101_6^5 + 492095616748710006128637227/107825449497048924448695132*c_0101_6^4 - 27215296489349348443347562/8985454124754077037391261*c_0101_6^3 - 190637782704954750628898329/53912724748524462224347566*c_0101_6^2 + 4239115774936496180693171/15403635642435560635527876*c_0101_6 - 18165394284009503165758297/107825449497048924448695132, c_0101_0 + 43241930584403901973310237/17970908249508154074782522*c_0101\ _6^18 - 195792916371060681414302823/17970908249508154074782522*c_01\ 01_6^17 - 106702835086750904215250963/2567272607072593439254646*c_0\ 101_6^16 + 1587264428743123586232939062/8985454124754077037391261*c\ _0101_6^15 - 676761256205488271312096351/8985454124754077037391261*\ c_0101_6^14 + 275239289310878910708046318/8985454124754077037391261\ *c_0101_6^13 + 2802460620108248020483404965/17970908249508154074782\ 522*c_0101_6^12 - 6317640642905013086173978164/89854541247540770373\ 91261*c_0101_6^11 + 10832384086930131435722145426/89854541247540770\ 37391261*c_0101_6^10 - 7600376596869307183280962704/898545412475407\ 7037391261*c_0101_6^9 + 9555158606648646225428858735/17970908249508\ 154074782522*c_0101_6^8 - 616124683713398984583536463/2567272607072\ 593439254646*c_0101_6^7 - 6153104687286773787832193195/179709082495\ 08154074782522*c_0101_6^6 + 1068669211573510797271743868/8985454124\ 754077037391261*c_0101_6^5 + 658744084127393337526556583/1797090824\ 9508154074782522*c_0101_6^4 + 353510272788729670557581686/898545412\ 4754077037391261*c_0101_6^3 + 238499806774175068472745035/898545412\ 4754077037391261*c_0101_6^2 - 16121635596821595834567379/2567272607\ 072593439254646*c_0101_6 - 61475849558194166795630843/1797090824950\ 8154074782522, c_0101_1 - 387020941673134537448071403/17970908249508154074782522*c_010\ 1_6^18 - 1106776045944329390752365503/35941816499016308149565044*c_\ 0101_6^17 + 676293308938879720342619715/2567272607072593439254646*c\ _0101_6^16 + 1688918720068205123085730997/3594181649901630814956504\ 4*c_0101_6^15 - 260615166230624981385478445/35941816499016308149565\ 044*c_0101_6^14 + 4775120584191921708354006815/35941816499016308149\ 565044*c_0101_6^13 - 28138021675330990623678281775/3594181649901630\ 8149565044*c_0101_6^12 + 11471855456322067753346647355/898545412475\ 4077037391261*c_0101_6^11 - 3750625903202559203064813597/1797090824\ 9508154074782522*c_0101_6^10 + 188766575418567121948745170/89854541\ 24754077037391261*c_0101_6^9 - 658031418586672888318467813/89854541\ 24754077037391261*c_0101_6^8 - 4158731021184655459564495355/5134545\ 214145186878509292*c_0101_6^7 - 1844549329394015786630193115/179709\ 08249508154074782522*c_0101_6^6 + 8349209500181111559908739343/3594\ 1816499016308149565044*c_0101_6^5 + 5039630111291963075644197525/35941816499016308149565044*c_0101_6^4 + 703914329541155418803741800/8985454124754077037391261*c_0101_6^3 + 82932261364572263641681771/8985454124754077037391261*c_0101_6^2 - 15924724379966693922539576/1283636303536296719627323*c_0101_6 - 176456904481378398278729511/35941816499016308149565044, c_0101_2 - 66083331233415708878162057/53912724748524462224347566*c_0101\ _6^18 + 25651978967696217293280409/53912724748524462224347566*c_010\ 1_6^17 + 124165534172640961044313415/7701817821217780317763938*c_01\ 01_6^16 - 697474778237771778202301731/26956362374262231112173783*c_\ 0101_6^15 + 192236802335016703132000093/8985454124754077037391261*c\ _0101_6^14 - 71441401636338801872828119/8985454124754077037391261*c\ _0101_6^13 - 2757884236073310678936587201/5391272474852446222434756\ 6*c_0101_6^12 + 1439215675662147988231110500/8985454124754077037391\ 261*c_0101_6^11 - 6146970823558653655773153736/26956362374262231112\ 173783*c_0101_6^10 + 1866402810896338301441293443/89854541247540770\ 37391261*c_0101_6^9 - 2887310330741580529077145605/1797090824950815\ 4074782522*c_0101_6^8 + 145639519639090841222076297/256727260707259\ 3439254646*c_0101_6^7 + 519496936989950255162876953/539127247485244\ 62224347566*c_0101_6^6 - 175486043216149448986855551/89854541247540\ 77037391261*c_0101_6^5 + 720220229819690847245723171/53912724748524\ 462224347566*c_0101_6^4 - 29270355544867178345795699/89854541247540\ 77037391261*c_0101_6^3 + 76676504715434824242943529/269563623742622\ 31112173783*c_0101_6^2 + 15281073300618418672206401/770181782121778\ 0317763938*c_0101_6 - 15923922825525992683602295/539127247485244622\ 24347566, c_0101_5 + 20056748998393861986590270/1283636303536296719627323*c_0101_\ 6^18 + 58563942140053919083131041/2567272607072593439254646*c_0101_\ 6^17 - 245471919217119702704045797/1283636303536296719627323*c_0101\ _6^16 - 103503607007818493642101457/2567272607072593439254646*c_010\ 1_6^15 + 37549487058335205507058323/2567272607072593439254646*c_010\ 1_6^14 - 263004623730996193613819733/2567272607072593439254646*c_01\ 01_6^13 + 1448484399300749040499172017/2567272607072593439254646*c_\ 0101_6^12 - 1160442808247571366245755686/1283636303536296719627323*\ c_0101_6^11 + 115860165196522864962567321/1283636303536296719627323\ *c_0101_6^10 + 75347840563908687630381626/1283636303536296719627323\ *c_0101_6^9 + 5754812330162815584707235/1283636303536296719627323*c\ _0101_6^8 + 1538771365216651208417442691/2567272607072593439254646*\ c_0101_6^7 + 115882279877506228117372468/1283636303536296719627323*\ c_0101_6^6 - 509174054686166057316260201/2567272607072593439254646*\ c_0101_6^5 - 220136181761869038929183351/2567272607072593439254646*\ c_0101_6^4 - 69099246591623455001332152/1283636303536296719627323*c\ _0101_6^3 - 10482888330618025220689439/1283636303536296719627323*c_\ 0101_6^2 + 12898173433800353499275160/1283636303536296719627323*c_0\ 101_6 + 7654910726781273810002585/2567272607072593439254646, c_0101_6^19 + 3/11*c_0101_6^18 - 148/11*c_0101_6^17 + 136/11*c_0101_6^16 - 29/11*c_0101_6^15 - 51/11*c_0101_6^14 + 470/11*c_0101_6^13 - 1139/11*c_0101_6^12 + 1046/11*c_0101_6^11 - 512/11*c_0101_6^10 + 291/11*c_0101_6^9 + 243/11*c_0101_6^8 - 340/11*c_0101_6^7 - 50/11*c_0101_6^6 + 2*c_0101_6^5 + c_0101_6^4 + 26/11*c_0101_6^3 + 5/11*c_0101_6^2 - 3/11*c_0101_6 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB