mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Use USE-PACKAGE instead of IN-PACKAGE.

Browse Source
This commit is contained in:
gheber 2016-03-02 07:43:42 -06:00
parent d1d370a56e
commit 94e9513abf
7 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/Chapter1.ipynb
View File

@ -9,7 +9,7 @@
},
"outputs": [],
"source": [
"(ql:quickload 'kenzo)"
"(ql:quickload \"kenzo\")"
]
},
{
@ -21,7 +21,7 @@
},
"outputs": [],
"source": [
"(in-package \"CAT\")"
"(use-package \"CAT\")"
]
},
{

6
examples/Chapter2.ipynb
View File

@ -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",

6
examples/Chapter3.ipynb
View File

@ -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\")"
]
},
{

4
examples/Chapter4.ipynb
View File

@ -8,7 +8,7 @@
},
"outputs": [],
"source": [
"(ql:quickload :kenzo)"
"(ql:quickload \"kenzo\")"
]
},
{
@ -19,7 +19,7 @@
},
"outputs": [],
"source": [
"(in-package \"CAT\")"
"(use-package \"CAT\")"
]
},
{

6
examples/Chapter5.ipynb
View File

@ -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",

4
examples/Chapter6.ipynb
View File

@ -8,7 +8,7 @@
},
"outputs": [],
"source": [
"(ql:quickload :kenzo)"
"(ql:quickload \"kenzo\")"
]
},
{
@ -19,7 +19,7 @@
},
"outputs": [],
"source": [
"(in-package \"CAT\")"
"(use-package \"CAT\")"
]
},
{

2
examples/Overview.ipynb
View File

@ -48,7 +48,7 @@
},
"outputs": [],
"source": [
"(in-package \"CAT\")"
"(use-package \"CAT\")"
]
},
{