Floris van Doorn
2913de520d
finish proving that the gysin sequence consists of the correct groups
2018-11-13 19:22:07 -05:00
Floris van Doorn
ea402f56ea
finish first part of constructing gysin sequence
...
We have a long exact sequence, we still need to show that it consists of the correct groups
2018-11-12 18:07:05 -05:00
Floris van Doorn
b251465e72
continue on gysin sequence
2018-11-12 13:02:20 -05:00
Floris van Doorn
94066a6ba8
some more algebra
2018-11-12 13:02:20 -05:00
Floris van Doorn
179575794a
Prove basic properties of spectral sequences
...
Also separate exact_couple and spectral_sequence in separate files
2018-10-02 13:09:18 -04:00
Floris van Doorn
68345f75ce
move more and update after changes
2018-09-11 19:24:51 +02:00
Floris van Doorn
12a9345df1
Restructure spectral sequences, compute cohomology of projective space
...
This is still work in progress. Spectral sequences should be more usable, and probably the degrees of graded maps should be group homomorphisms so that we can reindex spectral sequences.
2017-11-22 16:14:07 -05:00
Jeremy Avigad
6e2d8807f4
get everything to compile
2017-08-21 17:05:59 -04:00
Floris van Doorn
da95ea0acb
remove uses of homomorphism_comp_compute
...
making group_fun an abbreviation makes this obsolete
2017-06-14 22:56:03 -04:00
Floris van Doorn
798a57e546
construct the derived couple for graded modules
2017-05-22 21:27:34 -04:00
Floris van Doorn
cea1250ca6
Work on the construction of exact couples
2017-05-21 00:39:53 -04:00
Floris van Doorn
a5a174ef0c
prove convergence theorem, assuming we can derive an exact couple
2017-05-03 23:41:25 -04:00
Floris van Doorn
daedc1dc48
continue convergence theorem
2017-05-03 23:41:24 -04:00
Floris van Doorn
1b4c40413e
work on graded modules
2017-05-03 23:40:54 -04:00
Floris van Doorn
bb209af2e8
continue with derived couple of graded R-modules, almost finish defining the maps
2017-04-20 22:58:33 -04:00
Floris van Doorn
aefc8eccc1
define submodules, quotient modules and homology of module morphisms
2017-04-13 20:39:04 -04:00
