From 1de51d8ce7db1b0dbb3d1e44f5d6411e354ee7e0 Mon Sep 17 00:00:00 2001 From: mvr Date: Mon, 3 Oct 2022 08:47:26 +0400 Subject: [PATCH] Check off some TODOs --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index c6b90d1..191b530 100644 --- a/README.md +++ b/README.md @@ -106,7 +106,7 @@ Plan - [x] 'Bicone' (specialised pushout for surjections) - [x] Bar - [x] Commutative algebra structure - - [ ] Functoriality + - [x] Functoriality - [ ] Cobar - [ ] Of 1-reduced - [ ] Of 0-reduced @@ -128,7 +128,7 @@ Plan - [x] Spheres - [ ] Treat `S¹` separately (not 1-reduced) - [x] Moore Spaces - - [ ] Projective Spaces + - [x] Projective Spaces - [ ] Lens Spaces - Eilenberg-MacLane Spaces - [x] [`K(ℤ,1)`](#ref-kendoc) @@ -159,7 +159,7 @@ Plan #### Effective Homology - Classifying Spaces - [x] Direct Reduction of `K(ℤ,1)` to `S¹` - - [ ] [Of 0-reduced Abelian sGrps](#ref-sergeraert%3Advf-slides) + - [x] [Of 0-reduced Abelian sGrps](#ref-sergeraert%3Advf-slides) - [ ] Of General sGrps - Products - [x] Eilenberg-Zilber reduction @@ -193,7 +193,7 @@ Plan #### Misc TODOs - [ ] Fix space leaks, jeez -- [ ] Pretty-printing for everything (unicode sub/superscripts in output?) +- [x] Pretty-printing for everything (unicode sub/superscripts in output?) - [ ] Docs for everything - [ ] Move this list to Github issues - [ ] Consolidate some files? Eg. Sum, Shift into ChainComplex @@ -210,7 +210,7 @@ Plan appear to be [LinBox](https://linalg.org/) or [FLINT](http://flintlib.org/). The former appears to support sparse matrices better -- [ ] Check homology of `K(G,n)` calculations against known results +- [x] Check homology of `K(G,n)` calculations against known results - [ ] Add methods to produce representatives of homology classes - [ ] Rewrite `Bar` to be a perturbed `TensorCoalgebra`?