Merge pull request #31 from mohamed-barakat/devel

Version 1.2.1

Author: mohamed-barakat

Project.toml

@@ -1,7 +1,7 @@
 name = "CapAndHomalg"
 uuid = "c4774649-1891-41ea-a883-87141804c57c"
 authors = ["Mohamed Barakat <[email protected]>"]
-version = "1.2.0"
+version = "1.2.1"
 
 [deps]
 GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"

deps/homalg-project.jl

@@ -132,20 +132,22 @@ global PACKAGES_BASED_ON_CAP = [
     "CategoryConstructor",
     "CategoriesWithAmbientObjects",
     "CatReps",
+    "ExteriorPowersCategories",
     "FinSetsForCAP",
     "FinGSetsForCAP",
     "FunctorCategories",
     "GradedCategories",
     "HigherHomologicalAlgebra",
+    "InternalModules",
     "IntrinsicCategories",
+    "IntrinsicGradedModules",
     "IntrinsicModules",
-    "InternalModules",
-    "WrapperCategories",
     "LazyCategories",
     "Locales",
     "QPA2",
     "SubcategoriesForCAP",
     "Toposes",
+    "WrapperCategories",
     "ZariskiFrames",
 ]
 

docs/src/examples.md

@@ -238,7 +238,7 @@ julia> Sgrmod = GradedLeftPresentations( S )
 GAP: The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ])
 
 julia> InfoOfInstalledOperationsOfCategory( Sgrmod )
-40 primitive operations were used to derive 185 operations for this category which
+40 primitive operations were used to derive 186 operations for this category which
 * IsAbCategory
 * IsMonoidalCategory
 * IsAbelianCategoryWithEnoughProjectives
@@ -306,7 +306,7 @@ julia> CohP1 = Sgrmod / C
 GAP: The Serre quotient category of The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ]) by test function with name: is_artinian
 
 julia> InfoOfInstalledOperationsOfCategory( CohP1 )
-21 primitive operations were used to derive 144 operations for this category which
+21 primitive operations were used to derive 145 operations for this category which
 * IsAbCategory
 * IsAbelianCategory