From 94e9513abfdcb5904054652492502c6dff2e9d4e Mon Sep 17 00:00:00 2001 From: gheber Date: Wed, 2 Mar 2016 07:43:42 -0600 Subject: [PATCH] Use USE-PACKAGE instead of IN-PACKAGE. --- examples/Chapter1.ipynb | 4 ++-- examples/Chapter2.ipynb | 6 +++--- examples/Chapter3.ipynb | 6 +++--- examples/Chapter4.ipynb | 4 ++-- examples/Chapter5.ipynb | 6 +++--- examples/Chapter6.ipynb | 4 ++-- examples/Overview.ipynb | 2 +- 7 files changed, 16 insertions(+), 16 deletions(-) diff --git a/examples/Chapter1.ipynb b/examples/Chapter1.ipynb index 25185ee..ca77ff2 100644 --- a/examples/Chapter1.ipynb +++ b/examples/Chapter1.ipynb @@ -9,7 +9,7 @@ }, "outputs": [], "source": [ - "(ql:quickload 'kenzo)" + "(ql:quickload \"kenzo\")" ] }, { @@ -21,7 +21,7 @@ }, "outputs": [], "source": [ - "(in-package \"CAT\")" + "(use-package \"CAT\")" ] }, { diff --git a/examples/Chapter2.ipynb b/examples/Chapter2.ipynb index 287ea8a..b2b9eab 100644 --- a/examples/Chapter2.ipynb +++ b/examples/Chapter2.ipynb @@ -8,7 +8,7 @@ }, "outputs": [], "source": [ - "(ql:quickload :kenzo)" + "(ql:quickload \"kenzo\")" ] }, { @@ -19,7 +19,7 @@ }, "outputs": [], "source": [ - "(in-package \"CAT\")" + "(use-package \"CAT\")" ] }, { @@ -42,7 +42,7 @@ "## Introduction\n", "\n", "The present chapter describes the set of programming tools for handling *objects with effective homology*. The theoretical material may be found in the paper *Constructive Algebraic Topology* by Julio Rubio Garcia and Francis Sergeraert (Available at the web site\n", - "[**https://www-fourier.ujf.grenoble.fr/~sergerar/**](https://www-fourier.ujf-grenoble.fr/~sergerar/)). The terminology used in this chapter is compatible with this reference.). The terminology used in this chapter is compatible with this reference.\n", + "[**https://www-fourier.ujf-grenoble.fr/~sergerar/**](https://www-fourier.ujf-grenoble.fr/~sergerar/)). The terminology used in this chapter is compatible with this reference.). The terminology used in this chapter is compatible with this reference.\n", "\n", "## Reduction\n", "\n", diff --git a/examples/Chapter3.ipynb b/examples/Chapter3.ipynb index 5002abb..50fd8ff 100644 --- a/examples/Chapter3.ipynb +++ b/examples/Chapter3.ipynb @@ -4,11 +4,11 @@ "cell_type": "code", "execution_count": null, "metadata": { - "collapsed": true + "collapsed": false }, "outputs": [], "source": [ - "(ql:quickload :kenzo)" + "(ql:quickload \"kenzo\")" ] }, { @@ -19,7 +19,7 @@ }, "outputs": [], "source": [ - "(in-package \"CAT\")" + "(use-package \"CAT\")" ] }, { diff --git a/examples/Chapter4.ipynb b/examples/Chapter4.ipynb index ab59f3e..9272bf8 100644 --- a/examples/Chapter4.ipynb +++ b/examples/Chapter4.ipynb @@ -8,7 +8,7 @@ }, "outputs": [], "source": [ - "(ql:quickload :kenzo)" + "(ql:quickload \"kenzo\")" ] }, { @@ -19,7 +19,7 @@ }, "outputs": [], "source": [ - "(in-package \"CAT\")" + "(use-package \"CAT\")" ] }, { diff --git a/examples/Chapter5.ipynb b/examples/Chapter5.ipynb index 61efc1a..64dbf01 100644 --- a/examples/Chapter5.ipynb +++ b/examples/Chapter5.ipynb @@ -8,7 +8,7 @@ }, "outputs": [], "source": [ - "(ql:quickload :kenzo)" + "(ql:quickload \"kenzo\")" ] }, { @@ -19,7 +19,7 @@ }, "outputs": [], "source": [ - "(in-package \"CAT\")" + "(use-package \"CAT\")" ] }, { @@ -43,7 +43,7 @@ "\n", "The implementation of coalgebras and cobars follows closely the section 6 of the paper\n", "*Effective Homology: a survey* (Available\n", - "at the web site at the web site at the web site at the web site [**https://www-fourier.ujf.grenoble.fr/~sergerar/**](https://www-fourier.ujf.grenoble.fr/~sergerar/)).\n", + "at the web site at the web site at the web site at the web site [**https://www-fourier.ujf-grenoble.fr/~sergerar/**](https://www-fourier.ujf-grenoble.fr/~sergerar/)).\n", "\n", "## Coalgebras\n", "\n", diff --git a/examples/Chapter6.ipynb b/examples/Chapter6.ipynb index a812644..c95a7cd 100644 --- a/examples/Chapter6.ipynb +++ b/examples/Chapter6.ipynb @@ -8,7 +8,7 @@ }, "outputs": [], "source": [ - "(ql:quickload :kenzo)" + "(ql:quickload \"kenzo\")" ] }, { @@ -19,7 +19,7 @@ }, "outputs": [], "source": [ - "(in-package \"CAT\")" + "(use-package \"CAT\")" ] }, { diff --git a/examples/Overview.ipynb b/examples/Overview.ipynb index 6cd22df..c487670 100644 --- a/examples/Overview.ipynb +++ b/examples/Overview.ipynb @@ -48,7 +48,7 @@ }, "outputs": [], "source": [ - "(in-package \"CAT\")" + "(use-package \"CAT\")" ] }, {