Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346Name | Size | Last Modified |
|---|---|---|
| CAP.gd | 9.6 KB | 1/15/2018, 1:02:36 PM |
| CAP.gi | 14.6 KB | 1/15/2018, 1:02:36 PM |
| CategoriesCategory.gd | 13.1 KB | 1/15/2018, 1:02:36 PM |
| CategoriesCategory.gi | 34.8 KB | 1/15/2018, 1:02:36 PM |
| CategoryMorphisms.gd | 42.1 KB | 1/15/2018, 1:02:36 PM |
| CategoryMorphisms.gi | 11.8 KB | 1/15/2018, 1:02:36 PM |
| CategoryObjects.gd | 20.2 KB | 1/15/2018, 1:02:36 PM |
| CategoryObjects.gi | 5.4 KB | 1/15/2018, 1:02:36 PM |
| CategoryTwoCells.gd | 8.7 KB | 1/15/2018, 1:02:36 PM |
| CategoryTwoCells.gi | 1.9 KB | 1/15/2018, 1:02:36 PM |
| ConstructiveCategoriesRecord.gd | 406 bytes | 1/15/2018, 1:02:36 PM |
| ConstructiveCategoriesRecord.gi | 2.5 KB | 1/15/2018, 1:02:36 PM |
| Derivations.gd | 16.2 KB | 1/15/2018, 1:02:36 PM |
| Derivations.gi | 34.4 KB | 1/15/2018, 1:02:36 PM |
| DerivedMethods.gi | 85 KB | 1/15/2018, 1:02:36 PM |
| Finalize.gd | 999 bytes | 1/15/2018, 1:02:36 PM |
| Finalize.gi | 7.3 KB | 1/15/2018, 1:02:36 PM |
| InstallAdds.gd | 453 bytes | 1/15/2018, 1:02:36 PM |
| InstallAdds.gi | 22.9 KB | 1/15/2018, 1:02:36 PM |
| LogicForCAP.gd | 1.6 KB | 1/15/2018, 1:02:36 PM |
| LogicForCAP.gi | 17.6 KB | 1/15/2018, 1:02:36 PM |
| MethodRecord.gd | 456 bytes | 1/15/2018, 1:02:36 PM |
| MethodRecord.gi | 86.1 KB | 1/15/2018, 1:02:36 PM |
| MonoidalCategories.gd | 75.8 KB | 1/15/2018, 1:02:36 PM |
| MonoidalCategories.gi | 39.8 KB | 1/15/2018, 1:02:36 PM |
| MonoidalCategoriesDerivedMethods.gi | 52.4 KB | 1/15/2018, 1:02:36 PM |
| OppositeCategory.gd | 1.4 KB | 1/15/2018, 1:02:36 PM |
| OppositeCategory.gi | 10.2 KB | 1/15/2018, 1:02:36 PM |
| PrintingFunctions.gd | 511 bytes | 1/15/2018, 1:02:36 PM |
| PrintingFunctions.gi | 4.6 KB | 1/15/2018, 1:02:36 PM |
| ProductCategory.gd | 1.7 KB | 1/15/2018, 1:02:36 PM |
| ProductCategory.gi | 15.7 KB | 1/15/2018, 1:02:36 PM |
| TerminalCategory.gd | 1.2 KB | 1/15/2018, 1:02:36 PM |
| TerminalCategory.gi | 5.6 KB | 1/15/2018, 1:02:36 PM |
| TheoremParser.gd | 1.5 KB | 1/15/2018, 1:02:36 PM |
| TheoremParser.gi | 40.2 KB | 1/15/2018, 1:02:36 PM |
| ToolsForCategories.gd | 4.8 KB | 1/15/2018, 1:02:36 PM |
| ToolsForCategories.gi | 20.8 KB | 1/15/2018, 1:02:36 PM |
| UniversalObjects.gd | 156.4 KB | 1/15/2018, 1:02:36 PM |
| UniversalObjects.gi | 19.9 KB | 1/15/2018, 1:02:36 PM |