Merge pull request #17 from mohamed-barakat/devel

updated TiltingEquivalence.ipynb
homalg-project · Oct 25, 2020 · a4dddb2 · a4dddb2
2 parents 7c13923 + ff46724
commit a4dddb2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/DerivedCategories/PackageInfo.g b/DerivedCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "DerivedCategories",
 Subtitle := "Derived categories of Abelian categories",
-Version := "2020.10-07",
+Version := "2020.10-08",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

diff --git a/DerivedCategories/examples/julia/notebooks/TiltingEquivalence.ipynb b/DerivedCategories/examples/julia/notebooks/TiltingEquivalence.ipynb
@@ -1638,7 +1638,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Equivalence functor from homotopy category into derived category"
+       "GAP: Equivalence functor from homotopy category onto derived category"
       ]
      },
      "execution_count": 69,
@@ -1661,7 +1661,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "Equivalence functor from homotopy category into derived category\u001b[1m\u001b[31m:\u001b[0m\n",
+      "Equivalence functor from homotopy category onto derived category\u001b[1m\u001b[31m:\u001b[0m\n",
       "\n",
       "\u001b[35mHomotopy category( \u001b[0m\u001b[34mQuiver rows( \u001b[0mEnd( 𝓞(0) ⊕ 𝓞(1) ⊕ 𝓞(2) )\u001b[34m )\u001b[0m\u001b[35m )\u001b[0m\n",
       "\u001b[1m\u001b[31m  |\n",
@@ -1682,7 +1682,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Equivalence functor from homotopy category into derived category"
+       "GAP: Equivalence functor from homotopy category onto derived category"
       ]
      },
      "execution_count": 71,
@@ -1703,7 +1703,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "Equivalence functor from homotopy category into derived category\u001b[1m\u001b[31m:\u001b[0m\n",
+      "Equivalence functor from homotopy category onto derived category\u001b[1m\u001b[31m:\u001b[0m\n",
       "\n",
       "\u001b[32mHomotopy category( \u001b[0m\u001b[35mQuiver rows(\u001b[0m End( Ω^0(0) ⊕ Ω^1(1) ⊕ Ω^2(2) ) \u001b[35m)\u001b[0m\u001b[32m )\u001b[0m\n",
       "\u001b[1m\u001b[31m  |\n",