| .. | | 03-May-2022 | - |
| doc/ | H | 03-May-2022 | - | 91 | 77 |
| BC.g | H A D | 03-May-2022 | 496 | 24 | 12 |
| BCt.g | H A D | 03-May-2022 | 496 | 24 | 12 |
| ChernPolynomial.g | H A D | 03-May-2022 | 449 | 20 | 12 |
| ExtExt.g | H A D | 03-May-2022 | 2.9 KiB | 101 | 92 |
| FittingIdeals.g | H A D | 03-May-2022 | 213 | 15 | 9 |
| Grothendieck-SpectralCosequence.g | H A D | 03-May-2022 | 860 | 27 | 24 |
| Grothendieck.g | H A D | 03-May-2022 | 215 | 11 | 5 |
| H0H1.g | H A D | 03-May-2022 | 669 | 36 | 25 |
| Hom(Hom(-,Z128),Z16)_On_Seq.g | H A D | 03-May-2022 | 7.6 KiB | 260 | 253 |
| Ideals.g | H A D | 03-May-2022 | 307 | 13 | 7 |
| LTensorProduct_Z.g | H A D | 03-May-2022 | 4 KiB | 135 | 133 |
| PrimaryDecomposition.g | H A D | 03-May-2022 | 221 | 13 | 7 |
| ProjectiveRank0.g | H A D | 03-May-2022 | 474 | 36 | 18 |
| Purity.g | H A D | 03-May-2022 | 2.5 KiB | 105 | 100 |
| RHom_Z.g | H A D | 03-May-2022 | 4 KiB | 135 | 133 |
| Saturate.g | H A D | 03-May-2022 | 1.4 KiB | 55 | 47 |
| SpectralCosequence.g | H A D | 03-May-2022 | 549 | 21 | 18 |
| SpectralSequence.g | H A D | 03-May-2022 | 866 | 27 | 24 |
| Submodules.g | H A D | 03-May-2022 | 169 | 9 | 4 |
| TorExt.g | H A D | 03-May-2022 | 3.5 KiB | 121 | 112 |
| TorExt_Grothendieck.g | H A D | 03-May-2022 | 2.9 KiB | 101 | 93 |
| TorExt_via_Hom(P,P).g | H A D | 03-May-2022 | 661 | 24 | 16 |
| Triangle.g | H A D | 03-May-2022 | 531 | 23 | 18 |
| WhySpectral.g | H A D | 03-May-2022 | 1.1 KiB | 61 | 38 |
| homalg.g | H A D | 03-May-2022 | 719 | 20 | 19 |
| qiCounterExample.g | H A D | 03-May-2022 | 545 | 20 | 19 |