AdditiveClosuresForCAP

Last updated:
Downloads last 30 days
26
Downloads last week
0
Downloads last day
0
Total Downloads
View Total Downloads data table
DateDownloads
14
6
6
Downloads by Region
Dependencies

13 packages (4 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
224
MonoidalCategories
Direct
165
MatricesForHomalg
Direct
85
LinearAlgebraForCAP
Direct
77
AbstractAlgebra
Depth 2
29,706
Nemo
Depth 2
23,045
Preferences
Depth 3
573,762
PrecompileTools
Depth 3
480,457
MacroTools
Depth 3
378,909
RandomExtensions
Depth 3
28,641
FLINT_jll
Depth 3
24,444
SHA
Depth 3
193
TOML
Depth 4
4,829
Dependents

3 packages (3 direct) · 48 downloads (last 30 days)

PackageDepthDownloads
FreydCategoriesForCAP
Direct
23
LinearClosuresForCAP
Direct
19
FpLinearCategories
Direct
6