<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi Snappea-planners,<div><span class="Apple-tab-span" style="white-space:pre"> </span>I just received this message, which I'll let speak for itself. It looks to me like a promising project, which should probably at least be coordinated with the snappea project, perhaps merely to establish some standard file formats or exchange methods, but perhaps even to ultimately fold the projects together. I sent back a short note mentioning the snappea project, but Nathaniel and others doing actual coding should probably think of the desired relationship and be in touch with him.</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>Bill</div><div>Begin forwarded message:<div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>From: </b></span><span style="font-family:'Helvetica'; font-size:medium;">"Swenton, Frank" <<a href="mailto:fswenton@middlebury.edu">fswenton@middlebury.edu</a>><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>Date: </b></span><span style="font-family:'Helvetica'; font-size:medium;">September 7, 2009 6:38:28 AM EDT<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>To: </b></span><span style="font-family:'Helvetica'; font-size:medium;">"<a href="mailto:gompf@math.utexas.edu">gompf@math.utexas.edu</a>" <<a href="mailto:gompf@math.utexas.edu">gompf@math.utexas.edu</a>>, "<a href="mailto:stipsicz@renyi.hu">stipsicz@renyi.hu</a>" <<a href="mailto:stipsicz@renyi.hu">stipsicz@renyi.hu</a>>, "<a href="mailto:saveliev@math.miami.edu">saveliev@math.miami.edu</a>" <<a href="mailto:saveliev@math.miami.edu">saveliev@math.miami.edu</a>>, "<a href="mailto:akbulut@math.msu.edu">akbulut@math.msu.edu</a>" <<a href="mailto:akbulut@math.msu.edu">akbulut@math.msu.edu</a>>, "<a href="mailto:s.donaldson@imperial.ac.uk">s.donaldson@imperial.ac.uk</a>" <<a href="mailto:s.donaldson@imperial.ac.uk">s.donaldson@imperial.ac.uk</a>>, "<a href="mailto:kronheim@math.harvard.edu">kronheim@math.harvard.edu</a>" <<a href="mailto:kronheim@math.harvard.edu">kronheim@math.harvard.edu</a>>, "<a href="mailto:kirby@math.berkeley.edu">kirby@math.berkeley.edu</a>" <<a href="mailto:kirby@math.berkeley.edu">kirby@math.berkeley.edu</a>>, "<a href="mailto:dusa@math.columbia.edu">dusa@math.columbia.edu</a>" <<a href="mailto:dusa@math.columbia.edu">dusa@math.columbia.edu</a>>, "<a href="mailto:jm@math.columbia.edu">jm@math.columbia.edu</a>" <<a href="mailto:jm@math.columbia.edu">jm@math.columbia.edu</a>>, "<a href="mailto:mrowka@math.mit.edu">mrowka@math.mit.edu</a>" <<a href="mailto:mrowka@math.mit.edu">mrowka@math.mit.edu</a>>, "<a href="mailto:wpt@math.cornell.edu">wpt@math.cornell.edu</a>" <<a href="mailto:wpt@math.cornell.edu">wpt@math.cornell.edu</a>>, "<a href="mailto:szabo@math.princeton.edu">szabo@math.princeton.edu</a>" <<a href="mailto:szabo@math.princeton.edu">szabo@math.princeton.edu</a>>, "<a href="mailto:petero@columbia.edu">petero@columbia.edu</a>" <<a href="mailto:petero@columbia.edu">petero@columbia.edu</a>>, "<a href="mailto:eliash@math.stanford.edu">eliash@math.stanford.edu</a>" <<a href="mailto:eliash@math.stanford.edu">eliash@math.stanford.edu</a>>, "<a href="mailto:ronfint@math.msu.edu">ronfint@math.msu.edu</a>" <<a href="mailto:ronfint@math.msu.edu">ronfint@math.msu.edu</a>>, "<a href="mailto:rstern@uci.edu">rstern@uci.edu</a>" <<a href="mailto:rstern@uci.edu">rstern@uci.edu</a>><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1);"><b>Subject: </b></span><span style="font-family:'Helvetica'; font-size:medium;"><b>Kirby diagram software project</b><br></span></div><br><div>Dear Professors,<br><br>I'm in the early stages of writing a software package (to be freely available) for the manipulation of Kirby diagrams, and I'm trying to get in touch with as many low-dimensional topologists as possible in order to help determine the best direction for the work. <br><br>An early alpha-version of the program is up and running in order to give some sense of where the project is generally headed. Though currently only minimally functional, and with a fairly unpolished user interface, it does allow input and easy visual, error-free manipulation of Kirby diagrams, complete with undo/redo capabilities, Reidemeister and meta-Reidemeister moves, blow-ups (at clasps) and blow-downs (of unknotted $\pm1$ components with no crossings in their interior), handle-slides, etc.; you can see some examples at the following URL, which forwards to a page at Middlebury College:<br><br> <a href="http://www.kirbycalculator.net">http://www.kirbycalculator.net</a> <br><br>The software will eventually allow the user to save and load diagrams or sequences of manipulations, export the diagrams, and perform a wider variety of manipulations. In addition, while the current version uses a traditional circle-packing method for drawing the diagrams (which has its disadvantages), the intent is for the final version to be a bit more flexible and allow visual arrangement of the diagrams as the user sees fit; on this subject, it is important to note that all diagram manipulations are done in a purely combinatorial manner, with floating-point math used only for their visual presentation.<br><br>In the long run, the program will allow increasingly more complex manipulations and is planned to implement automated searches for manipulations that achieve some goal, etc. (depending on what direction the project is pushed by the target group of users). If there is demand for handling of related aspects, such as Legendrian diagrams or paired-ball representation of 1-handles (currently implemented via dotted components), I would be happy to hear wherein such interest lies.<br><br>This "Kirby Calculator" is the subject of an NSF grant proposal currently in preparation, and with NSF support it will become a multi-year project (with much work taking place during my sabbatical in the 2010-11 academic year). In addition to getting general feedback from the target group of users, I'm hoping to eventually gather some statements to include in the proposal, addressing the general or specific ways in which this tool could aid in current research in topology. This project has grown out of software that I've written and used as a tool for my joint work on knot classification with John Conway, and I believe that this Kirby Calculator would be a very useful direction to push the core knot code; but in order to make a strong proposal, some more direct statements as to such a tool's impact on research would be very useful (this is not directly my area of research, but I'm well-positioned to create what I hope will be a very useful tool for those whose area it is).<br><br>If you believe that such a project could potentially be useful in your research, I would very much like to hear your input, and if you know of others who might be interested, please do forward this message along!<br><br>Many thanks for your time,<br><br>Frank Swenton<br>Associate Professor of Mathematics<br>Middlebury College<br><a href="mailto:fswenton@middlebury.edu">fswenton@middlebury.edu</a><br>802-443-3421 (Office)<br>917-838-4761 (Cell)<br><br><br>P.S. In case the College's servers go down (today is the first day of classes), here are YouTube links to the four example videos from the webpage:<br><br>Example 1 (basic interface) http://www.youtube.com/watch?v=FugRe19xCzU<br>Example 2 (a bit more and a blow-up) http://www.youtube.com/watch?v=IbXxxYwXrC0<br>Example 3 (less talking, to show ease and speed) http://www.youtube.com/watch?v=Bij01ZZQYgU<br>Example 4 (involving an explicit handle-slide) http://www.youtube.com/watch?v=e3RphoXszzs </div></blockquote></div><br></div></body></html>