Testing a Binder connection

Author: mapio

Dockerfile

@@ -0,0 +1,3 @@
+FROM andrewosh/binder-base
+MAINTAINER Massimo Santini <massimo.santini@gmail.com>
+RUN apt-get -y update && apt-get install -y graphviz

README.md

@@ -39,6 +39,11 @@ finally, you can generate an [Erdős–Rényi](https://en.wikipedia.org/wiki/Erd
 	gcc -o er er.c
 	./er | python -m gvanim er
 
+## With Jupyter
+
+[![Binder](http://mybinder.org/badge.svg)](http://mybinder.org/repo/mapio/GraphvizAnim)
+
+
 ## Todo
 
 Any help will be appreciated. Things to do to make this more usable are:

gvanim/animation.py

@@ -131,8 +131,8 @@ def graphs( self ):
 		graphs = []
 		for n, s in enumerate( steps ):
 			graph = [ 'digraph G {' ]
-			for v in V: graph.append( '"{}" {};'.format( quote( v ), s.node_format( v ) ) )
-			for e in E: graph.append( '"{}" -> "{}" {};'.format( quote( e[ 0 ] ), quote( e[ 1 ] ), s.edge_format( e ) ) )
+			for v in V: graph.append( '"{}" {};'.format( quote( str( v ) ), s.node_format( v ) ) )
+			for e in E: graph.append( '"{}" -> "{}" {};'.format( quote( str( e[ 0 ] ) ), quote( str( e[ 1 ] ) ), s.edge_format( e ) ) )
 			graph.append( '}' )
 			graphs.append( '\n'.join( graph ) )
 		return graphs

gvanim/jupyter.py

@@ -0,0 +1,33 @@
+# Copyright 2016, Massimo Santini <santini@di.unimi.it>
+#
+# This file is part of "GraphvizAnim".
+#
+# "GraphvizAnim" is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by the Free
+# Software Foundation, either version 3 of the License, or (at your option) any
+# later version.
+#
+# "GraphvizAnim" is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
+# details.
+#
+# You should have received a copy of the GNU General Public License along with
+# "GraphvizAnim". If not, see <http://www.gnu.org/licenses/>.
+
+from os.path import join
+from tempfile import mkdtemp
+from shutil import rmtree
+
+from IPython.display import SVG
+import ipywidgets as widgets
+
+from render import render
+
+def interactive( animation ):
+	basedir = mkdtemp()
+	basename = join( basedir, 'graph' )
+	steps = [ SVG( path ) for path in render( animation.graphs(), basename, 'svg' ) ]
+	rmtree( basedir )
+	slider = widgets.IntSlider( min = 0, max = len( steps ) - 1, step = 1, value = 0 )
+	return widgets.interactive( lambda n: steps[ n ], n = slider )

gvanim/render.py

@@ -17,7 +17,7 @@
 
 from subprocess import Popen, PIPE, STDOUT, call
 
-def render( graphs, basename, fmt ):
+def render( graphs, basename, fmt = 'png' ):
 	paths = []
 	for n, graph in enumerate( graphs ):
 		path = '{}_{:03}.{}'.format( basename, n, fmt )

index.ipynb

@@ -0,0 +1,79 @@
+{
+ "cells": [
+  {
+   "cell_type": "code",
+   "execution_count": 51,
+   "metadata": {
+    "collapsed": false
+   },
+   "outputs": [
+    {
+     "data": {
+      "image/svg+xml": [
+       "<svg height=\"188pt\" viewBox=\"0.00 0.00 89.00 188.00\" width=\"89pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g class=\"graph\" id=\"graph0\" transform=\"scale(1 1) rotate(0) translate(4 184)\">\n",
+       "<title>G</title>\n",
+       "<polygon fill=\"white\" points=\"-4,4 -4,-184 85,-184 85,4 -4,4\" stroke=\"none\"/>\n",
+       "<!-- 1 -->\n",
+       "<g class=\"node\" id=\"node1\"><title>1</title>\n",
+       "<ellipse cx=\"54\" cy=\"-162\" fill=\"none\" rx=\"27\" ry=\"18\" stroke=\"black\"/>\n",
+       "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"54\" y=\"-158.3\">1</text>\n",
+       "</g>\n",
+       "<!-- 2 -->\n",
+       "<g class=\"node\" id=\"node2\"><title>2</title>\n",
+       "<ellipse cx=\"27\" cy=\"-90\" fill=\"none\" rx=\"27\" ry=\"18\" stroke=\"black\"/>\n",
+       "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"27\" y=\"-86.3\">2</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;2 -->\n",
+       "<g class=\"edge\" id=\"edge1\"><title>1-&gt;2</title>\n",
+       "<path d=\"M47.6014,-144.411C44.4864,-136.335 40.6663,-126.431 37.1654,-117.355\" fill=\"none\" stroke=\"black\"/>\n",
+       "<polygon fill=\"black\" points=\"40.4045,-116.027 33.5403,-107.956 33.8735,-118.546 40.4045,-116.027\" stroke=\"black\"/>\n",
+       "</g>\n",
+       "<!-- 3 -->\n",
+       "<!-- 2&#45;&gt;3 -->\n",
+       "<!-- 3&#45;&gt;1 -->\n",
+       "</g>\n",
+       "</svg>"
+      ],
+      "text/plain": [
+       "<IPython.core.display.SVG object>"
+      ]
+     },
+     "metadata": {},
+     "output_type": "display_data"
+    }
+   ],
+   "source": [
+    "import gvanim\n",
+    "ga = gvanim.Animation()\n",
+    "ga.add_edge(1,2)\n",
+    "ga.next_step()\n",
+    "ga.add_edge(2,3)\n",
+    "ga.next_step()\n",
+    "ga.add_edge(3,1)\n",
+    "interactive( ga )"
+   ]
+  }
+ ],
+ "metadata": {
+  "kernelspec": {
+   "display_name": "Python 2",
+   "language": "python2",
+   "name": "python2"
+  },
+  "language_info": {
+   "codemirror_mode": {
+    "name": "ipython",
+    "version": 2
+   },
+   "file_extension": ".py",
+   "mimetype": "text/x-python",
+   "name": "python",
+   "nbconvert_exporter": "python",
+   "pygments_lexer": "ipython2",
+   "version": "2.7.11"
+  }
+ },
+ "nbformat": 4,
+ "nbformat_minor": 0
+}

requirements.txt

@@ -0,0 +1 @@
+https://github.com/mapio/GraphvizAnim/archive/master.zip