You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
38 primitive operations were used to derive 329 operations for this category which algorithmically
241
+
38 primitive operations were used to derive 331 operations for this category which algorithmically
242
242
* IsMonoidalCategory
243
243
* IsAbelianCategoryWithEnoughProjectives
244
244
and not yet algorithmically
@@ -307,7 +307,7 @@ julia> CohP1 = Sgrmod / C
307
307
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
0 commit comments