Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 3802365442] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0643 geometric_solution 4.63126730 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 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 0 -1 0 1 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 1.292493782519 0.095017889694 0 2 2 0 0132 0132 1023 1023 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 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 1.499413163484 0.357878481693 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 -1 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 -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.079333489024 0.737169179687 2 4 4 5 0132 2310 1302 0132 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 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.134438178820 0.661599582588 3 5 2 3 2031 1023 0132 3201 0 0 0 0 0 1 -1 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 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.134438178820 0.661599582588 4 6 3 6 1023 0132 0132 2310 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 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 1.501617508610 0.552351288236 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551906599161 0.322992315820 ==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' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_6'], '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_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 37559224452176302953597271682/17588221796966158320236931*c_0110_6^2\ 0 - 359297783547310940133298839130/17588221796966158320236931*c_011\ 0_6^19 + 473015716458726450393288798233/17588221796966158320236931*\ c_0110_6^18 + 779084293340914307465826365270/5862740598988719440078\ 977*c_0110_6^17 + 1516665485129388031398718984727/58627405989887194\ 40078977*c_0110_6^16 - 19533066835095925299052406465074/17588221796\ 966158320236931*c_0110_6^15 - 1572598244463982434981075774866/17588\ 221796966158320236931*c_0110_6^14 + 27415615328664395074769368780090/17588221796966158320236931*c_0110_\ 6^13 - 35219302282258366781370829980344/17588221796966158320236931*\ c_0110_6^12 + 90391265435309861100834142360429/17588221796966158320\ 236931*c_0110_6^11 - 110852436166873224568865721225356/175882217969\ 66158320236931*c_0110_6^10 + 23386432866870566741260297079462/17588\ 221796966158320236931*c_0110_6^9 + 22688516564380193458067159796342/5862740598988719440078977*c_0110_6\ ^8 - 39958526965829261327547012729314/5862740598988719440078977*c_0\ 110_6^7 + 48321142403629432315475603597868/586274059898871944007897\ 7*c_0110_6^6 - 121703410662790961220479687555464/175882217969661583\ 20236931*c_0110_6^5 + 66711631972155835171581428644991/175882217969\ 66158320236931*c_0110_6^4 - 23944898820997577401867184182402/175882\ 21796966158320236931*c_0110_6^3 + 77724660507831353240247005191/240\ 934545163919976989547*c_0110_6^2 - 849615466025811693271723954940/17588221796966158320236931*c_0110_6 + 63165745575477257082350168189/17588221796966158320236931, c_0011_0 - 1, c_0011_4 + 346011687268450427142028299/5862740598988719440078977*c_0110\ _6^20 + 3248057611962329259860697543/5862740598988719440078977*c_01\ 10_6^19 - 4975793471922241451309237397/5862740598988719440078977*c_\ 0110_6^18 - 21007293288907381960577971885/5862740598988719440078977\ *c_0110_6^17 - 37850732774851575665531430396/5862740598988719440078\ 977*c_0110_6^16 + 189131877179894530342461599969/586274059898871944\ 0078977*c_0110_6^15 - 13901909823391640725048269071/586274059898871\ 9440078977*c_0110_6^14 - 266781022830204035177802435863/58627405989\ 88719440078977*c_0110_6^13 + 363595572763013895710993332691/5862740\ 598988719440078977*c_0110_6^12 - 874863453264029985275682497313/586\ 2740598988719440078977*c_0110_6^11 + 1153171390950039225805230715051/5862740598988719440078977*c_0110_6^\ 10 - 344081109237714380386260465363/5862740598988719440078977*c_011\ 0_6^9 - 640524692652139575436858264699/5862740598988719440078977*c_\ 0110_6^8 + 1210333421787282548768029637068/586274059898871944007897\ 7*c_0110_6^7 - 1489833805870848048391997361155/58627405989887194400\ 78977*c_0110_6^6 + 1297321487279340963864342349764/5862740598988719\ 440078977*c_0110_6^5 - 743641793540904628083434111151/5862740598988\ 719440078977*c_0110_6^4 + 278487552933628412268091088243/5862740598\ 988719440078977*c_0110_6^3 - 939021114286817595085057381/8031151505\ 4639992329849*c_0110_6^2 + 10707234455326357714405881845/5862740598\ 988719440078977*c_0110_6 - 853132583368536480983483314/586274059898\ 8719440078977, c_0101_0 - 98273918903697426061627102/5862740598988719440078977*c_0110_\ 6^20 - 924345711726032820112195902/5862740598988719440078977*c_0110\ _6^19 + 1387821519507407628780511006/5862740598988719440078977*c_01\ 10_6^18 + 5906906925898589790111538417/5862740598988719440078977*c_\ 0110_6^17 + 10884366329019237955073328286/5862740598988719440078977\ *c_0110_6^16 - 52966690494994353748618749036/5862740598988719440078\ 977*c_0110_6^15 + 4455221467944876859237600489/58627405989887194400\ 78977*c_0110_6^14 + 72913311907426344518349591141/58627405989887194\ 40078977*c_0110_6^13 - 105342295592963001352086677027/5862740598988\ 719440078977*c_0110_6^12 + 249841904449141414280231729565/586274059\ 8988719440078977*c_0110_6^11 - 326582210520050497182400302382/58627\ 40598988719440078977*c_0110_6^10 + 106984772426415219061944868575/5862740598988719440078977*c_0110_6^9 + 175139792790076758364281807495/5862740598988719440078977*c_0110_6\ ^8 - 346967661632053417353961656465/5862740598988719440078977*c_011\ 0_6^7 + 427092283411991046811888887559/5862740598988719440078977*c_\ 0110_6^6 - 375113645967175712161002399995/5862740598988719440078977\ *c_0110_6^5 + 219582847093335083686828184215/5862740598988719440078\ 977*c_0110_6^4 - 83809552224254049293860470385/58627405989887194400\ 78977*c_0110_6^3 + 285802996047844104765647444/80311515054639992329\ 849*c_0110_6^2 - 3298098792528445042260549263/586274059898871944007\ 8977*c_0110_6 + 270246602970608640347791851/58627405989887194400789\ 77, c_0101_1 - 166201919417448172558370520/5862740598988719440078977*c_0110\ _6^20 - 1545934450365103957888381258/5862740598988719440078977*c_01\ 10_6^19 + 2523433843092259304662835442/5862740598988719440078977*c_\ 0110_6^18 + 9880223628034409378714265954/5862740598988719440078977*\ c_0110_6^17 + 17274102042028285395476339373/58627405989887194400789\ 77*c_0110_6^16 - 92378568261206410253788643744/58627405989887194400\ 78977*c_0110_6^15 + 14763748656674020773883064327/58627405989887194\ 40078977*c_0110_6^14 + 128276800674214311855945884865/5862740598988\ 719440078977*c_0110_6^13 - 187234673452342370493716477456/586274059\ 8988719440078977*c_0110_6^12 + 433493470929579660907851937372/58627\ 40598988719440078977*c_0110_6^11 - 588130833490961314241988096165/5862740598988719440078977*c_0110_6^1\ 0 + 211076569177424993555845407579/5862740598988719440078977*c_0110\ _6^9 + 301344079102230484566677250497/5862740598988719440078977*c_0\ 110_6^8 - 612560767747880150228164947852/5862740598988719440078977*\ c_0110_6^7 + 762170212234513367535347924713/58627405989887194400789\ 77*c_0110_6^6 - 679182251690524313102676248662/58627405989887194400\ 78977*c_0110_6^5 + 403171277590433161798057987810/58627405989887194\ 40078977*c_0110_6^4 - 156420621398388390373273162801/58627405989887\ 19440078977*c_0110_6^3 + 545249496203545025486129951/80311515054639\ 992329849*c_0110_6^2 - 6433193729421139964733342131/586274059898871\ 9440078977*c_0110_6 + 533672607682712554259243978/58627405989887194\ 40078977, c_0101_2 - 180525086793537608435436625/5862740598988719440078977*c_0110\ _6^20 - 1671298441389100668771923398/5862740598988719440078977*c_01\ 10_6^19 + 2830570019804442520313207837/5862740598988719440078977*c_\ 0110_6^18 + 10782799304306402516495806772/5862740598988719440078977\ *c_0110_6^17 + 18214229098785797910626359840/5862740598988719440078\ 977*c_0110_6^16 - 102257516869768636666461415503/586274059898871944\ 0078977*c_0110_6^15 + 17580913918584683645166406122/586274059898871\ 9440078977*c_0110_6^14 + 145175934860809687114885198335/58627405989\ 88719440078977*c_0110_6^13 - 203632747682046229310431511146/5862740\ 598988719440078977*c_0110_6^12 + 471628061892416562153942727797/586\ 2740598988719440078977*c_0110_6^11 - 650365947879394513771052493756/5862740598988719440078977*c_0110_6^1\ 0 + 224485574836393408204518339941/5862740598988719440078977*c_0110\ _6^9 + 341120763285392627928054635954/5862740598988719440078977*c_0\ 110_6^8 - 670004464694852345405240241334/5862740598988719440078977*\ c_0110_6^7 + 832996753202639600425073025527/58627405989887194400789\ 77*c_0110_6^6 - 739833714929916217643345925433/58627405989887194400\ 78977*c_0110_6^5 + 433118349114815603775192286776/58627405989887194\ 40078977*c_0110_6^4 - 165077826764766063193195723441/58627405989887\ 19440078977*c_0110_6^3 + 564737369214438451192216138/80311515054639\ 992329849*c_0110_6^2 - 6512519512900307297660946645/586274059898871\ 9440078977*c_0110_6 + 526536774061988035577464924/58627405989887194\ 40078977, c_0101_6 - 533693241584774344812929334/5862740598988719440078977*c_0110\ _6^20 - 5100909312249980014262095911/5862740598988719440078977*c_01\ 10_6^19 + 6764944340721854827174532295/5862740598988719440078977*c_\ 0110_6^18 + 33161878786656917556354173897/5862740598988719440078977\ *c_0110_6^17 + 64368266150821564373527499637/5862740598988719440078\ 977*c_0110_6^16 - 278141500249547600755319881425/586274059898871944\ 0078977*c_0110_6^15 - 20125813038498932823021088876/586274059898871\ 9440078977*c_0110_6^14 + 390047694088511027168944795113/58627405989\ 88719440078977*c_0110_6^13 - 503600192579426869228556079278/5862740\ 598988719440078977*c_0110_6^12 + 1288264822908192702085425411874/58\ 62740598988719440078977*c_0110_6^11 - 1585277086418323125954389877925/5862740598988719440078977*c_0110_6^\ 10 + 343980541900325781866108217186/5862740598988719440078977*c_011\ 0_6^9 + 965911590489303939489042057107/5862740598988719440078977*c_\ 0110_6^8 - 1711836966033111081621337018511/586274059898871944007897\ 7*c_0110_6^7 + 2073019204971342843334673142115/58627405989887194400\ 78977*c_0110_6^6 - 1744613352958916402830658562226/5862740598988719\ 440078977*c_0110_6^5 + 960220072111198433068151440576/5862740598988\ 719440078977*c_0110_6^4 - 346335430910311558953160074564/5862740598\ 988719440078977*c_0110_6^3 + 1129744502298248770144062972/803115150\ 54639992329849*c_0110_6^2 - 12413042937976338071469172268/586274059\ 8988719440078977*c_0110_6 + 927907481455134083421899649/58627405989\ 88719440078977, c_0110_6^21 + 9*c_0110_6^20 - 18*c_0110_6^19 - 55*c_0110_6^18 - 86*c_0110_6^17 + 588*c_0110_6^16 - 254*c_0110_6^15 - 749*c_0110_6^14 + 1353*c_0110_6^13 - 2944*c_0110_6^12 + 4321*c_0110_6^11 - 2315*c_0110_6^10 - 1438*c_0110_6^9 + 4219*c_0110_6^8 - 5684*c_0110_6^7 + 5451*c_0110_6^6 - 3640*c_0110_6^5 + 1665*c_0110_6^4 - 522*c_0110_6^3 + 111*c_0110_6^2 - 15*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB