-
Notifications
You must be signed in to change notification settings - Fork 137
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
RP2 #847
RP2 #847
Commits on Apr 6, 2022
-
The index and the groups were at the same level. The should be at different one, for instance if the index is Nat, and the group something else
Configuration menu - View commit details
-
Copy full SHA for 3f62a82 - Browse repository at this point
Copy the full SHA 3f62a82View commit details -
Configuration menu - View commit details
-
Copy full SHA for 620bfc5 - Browse repository at this point
Copy the full SHA 620bfc5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f12e1f - Browse repository at this point
Copy the full SHA 1f12e1fView commit details
Commits on Apr 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 3bee7f0 - Browse repository at this point
Copy the full SHA 3bee7f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for a075003 - Browse repository at this point
Copy the full SHA a075003View commit details -
-> Modify some notions in gradedCommutativity -> new lemme for the "good" -h^ -> proof
Configuration menu - View commit details
-
Copy full SHA for 0ee0210 - Browse repository at this point
Copy the full SHA 0ee0210View commit details -
Configuration menu - View commit details
-
Copy full SHA for 015710b - Browse repository at this point
Copy the full SHA 015710bView commit details
Commits on Apr 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for ecad958 - Browse repository at this point
Copy the full SHA ecad958View commit details
Commits on Apr 9, 2022
-
Proof in a more general setting :
-> Because this case is so degenerated, things compute. This new proof is forgetting some of the computation to have proof that will rise better to non-degenerated case
Configuration menu - View commit details
-
Copy full SHA for d4adcc7 - Browse repository at this point
Copy the full SHA d4adcc7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 37342d4 - Browse repository at this point
Copy the full SHA 37342d4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 22f07e7 - Browse repository at this point
Copy the full SHA 22f07e7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4e45548 - Browse repository at this point
Copy the full SHA 4e45548View commit details -
-> changing gradedComm by gradedCom' to account the previuous change
Configuration menu - View commit details
-
Copy full SHA for 67d21cf - Browse repository at this point
Copy the full SHA 67d21cfView commit details -
Configuration menu - View commit details
-
Copy full SHA for d38d370 - Browse repository at this point
Copy the full SHA d38d370View commit details -
Configuration menu - View commit details
-
Copy full SHA for 53d1962 - Browse repository at this point
Copy the full SHA 53d1962View commit details -
Configuration menu - View commit details
-
Copy full SHA for c3ea1cb - Browse repository at this point
Copy the full SHA c3ea1cbView commit details -
Configuration menu - View commit details
-
Copy full SHA for cb88096 - Browse repository at this point
Copy the full SHA cb88096View commit details -
Configuration menu - View commit details
-
Copy full SHA for b21dc11 - Browse repository at this point
Copy the full SHA b21dc11View commit details -
Configuration menu - View commit details
-
Copy full SHA for 39ccad1 - Browse repository at this point
Copy the full SHA 39ccad1View commit details -
Add a special recursor for polynomes :
-> There is a need of the special as on the left we need the CommRing to take A / < a, ..., b > and we nedd a ring on the right as H*(X) is not a CommRing but a gradedComm Ring
Configuration menu - View commit details
-
Copy full SHA for 7721b8b - Browse repository at this point
Copy the full SHA 7721b8bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3b1e38c - Browse repository at this point
Copy the full SHA 3b1e38cView commit details
Commits on Apr 10, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b4b3685 - Browse repository at this point
Copy the full SHA b4b3685View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1167e9c - Browse repository at this point
Copy the full SHA 1167e9cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4df89fa - Browse repository at this point
Copy the full SHA 4df89faView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6c385a4 - Browse repository at this point
Copy the full SHA 6c385a4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5696cae - Browse repository at this point
Copy the full SHA 5696caeView commit details -
Configuration menu - View commit details
-
Copy full SHA for c24276c - Browse repository at this point
Copy the full SHA c24276cView commit details
Commits on Apr 12, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 86af319 - Browse repository at this point
Copy the full SHA 86af319View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1861b2 - Browse repository at this point
Copy the full SHA a1861b2View commit details
Commits on Apr 13, 2022
-
-> A cleaner way to deal with the cup product -> Finish all the structure except some cases of the cup-product -> Prove the retraction property
Configuration menu - View commit details
-
Copy full SHA for f3d2c17 - Browse repository at this point
Copy the full SHA f3d2c17View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1938cb6 - Browse repository at this point
Copy the full SHA 1938cb6View commit details
Commits on Apr 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5b5d11f - Browse repository at this point
Copy the full SHA 5b5d11fView commit details -
Configuration menu - View commit details
-
Copy full SHA for a17e98f - Browse repository at this point
Copy the full SHA a17e98fView commit details
Commits on Apr 15, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e4815fc - Browse repository at this point
Copy the full SHA e4815fcView commit details -
Configuration menu - View commit details
-
Copy full SHA for c3419d7 - Browse repository at this point
Copy the full SHA c3419d7View commit details
Commits on Apr 18, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 49ed72d - Browse repository at this point
Copy the full SHA 49ed72dView commit details -
Configuration menu - View commit details
-
Copy full SHA for d7c30ea - Browse repository at this point
Copy the full SHA d7c30eaView commit details
Commits on Apr 20, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d6d6104 - Browse repository at this point
Copy the full SHA d6d6104View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6dcf4b0 - Browse repository at this point
Copy the full SHA 6dcf4b0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 11c9cce - Browse repository at this point
Copy the full SHA 11c9cceView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7d4284f - Browse repository at this point
Copy the full SHA 7d4284fView commit details -
Coproduct : Add H*(X coprod Y) equiv H*(X) x H*(Y)
-> add the morphism -> add the equivalence of ring
Configuration menu - View commit details
-
Copy full SHA for efc74ed - Browse repository at this point
Copy the full SHA efc74edView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2ad2efb - Browse repository at this point
Copy the full SHA 2ad2efbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 05ae65d - Browse repository at this point
Copy the full SHA 05ae65dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 514a50f - Browse repository at this point
Copy the full SHA 514a50fView commit details
Commits on Apr 21, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d763231 - Browse repository at this point
Copy the full SHA d763231View commit details -
Clean up but still fails computing :
-> Add some lemma for computing better
Configuration menu - View commit details
-
Copy full SHA for dc1dd58 - Browse repository at this point
Copy the full SHA dc1dd58View commit details
Commits on Apr 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fc7902c - Browse repository at this point
Copy the full SHA fc7902cView commit details -
-> rename smething ill named and fix dependencies -> Add a packaging for Hn-Sn -> Used it to clean H*-S1
Configuration menu - View commit details
-
Copy full SHA for 8e41dad - Browse repository at this point
Copy the full SHA 8e41dadView commit details -
Configuration menu - View commit details
-
Copy full SHA for fb60c60 - Browse repository at this point
Copy the full SHA fb60c60View commit details -
Configuration menu - View commit details
-
Copy full SHA for 67ce7d3 - Browse repository at this point
Copy the full SHA 67ce7d3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 78d5668 - Browse repository at this point
Copy the full SHA 78d5668View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4e4c217 - Browse repository at this point
Copy the full SHA 4e4c217View commit details
Commits on Apr 23, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 2e0cea6 - Browse repository at this point
Copy the full SHA 2e0cea6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ee3cd1 - Browse repository at this point
Copy the full SHA 9ee3cd1View commit details
Commits on Apr 24, 2022
-
Sn : Fix the wronfull traduction + Add / Miss :
Add : -> add the framework for the cup product -> do the proof up to the missing lemma (Things that used to hold by computation) Miss : -> map1 -> computation of T0 on Z -> cancel X²
Configuration menu - View commit details
-
Copy full SHA for 6e2aa4b - Browse repository at this point
Copy the full SHA 6e2aa4bView commit details
Commits on Apr 25, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 72941a6 - Browse repository at this point
Copy the full SHA 72941a6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0e1dadd - Browse repository at this point
Copy the full SHA 0e1daddView commit details -
Configuration menu - View commit details
-
Copy full SHA for 774f49a - Browse repository at this point
Copy the full SHA 774f49aView commit details -
Configuration menu - View commit details
-
Copy full SHA for e4a40da - Browse repository at this point
Copy the full SHA e4a40daView commit details
Commits on Apr 26, 2022
-
Configuration menu - View commit details
-
Copy full SHA for afed64c - Browse repository at this point
Copy the full SHA afed64cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 516c5ae - Browse repository at this point
Copy the full SHA 516c5aeView commit details
Commits on Apr 27, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 1cf0b2b - Browse repository at this point
Copy the full SHA 1cf0b2bView commit details
Commits on Apr 28, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 28c243d - Browse repository at this point
Copy the full SHA 28c243dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4a95228 - Browse repository at this point
Copy the full SHA 4a95228View commit details
Commits on Apr 29, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 42b6e63 - Browse repository at this point
Copy the full SHA 42b6e63View commit details
Commits on Apr 30, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b306cc7 - Browse repository at this point
Copy the full SHA b306cc7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 559a91a - Browse repository at this point
Copy the full SHA 559a91aView commit details
Commits on May 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 4e3b821 - Browse repository at this point
Copy the full SHA 4e3b821View commit details
Commits on May 3, 2022
-
Configuration menu - View commit details
-
Copy full SHA for eaaceda - Browse repository at this point
Copy the full SHA eaacedaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 574ce6d - Browse repository at this point
Copy the full SHA 574ce6dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b14401 - Browse repository at this point
Copy the full SHA 7b14401View commit details -
Configuration menu - View commit details
-
Copy full SHA for 99c9d7a - Browse repository at this point
Copy the full SHA 99c9d7aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8a0291a - Browse repository at this point
Copy the full SHA 8a0291aView commit details
Commits on May 4, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5678778 - Browse repository at this point
Copy the full SHA 5678778View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3283566 - Browse repository at this point
Copy the full SHA 3283566View commit details
Commits on May 5, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 64efe74 - Browse repository at this point
Copy the full SHA 64efe74View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1a5e86 - Browse repository at this point
Copy the full SHA a1a5e86View commit details -
Configuration menu - View commit details
-
Copy full SHA for f53b681 - Browse repository at this point
Copy the full SHA f53b681View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1eb2d11 - Browse repository at this point
Copy the full SHA 1eb2d11View commit details -
Configuration menu - View commit details
-
Copy full SHA for b52322f - Browse repository at this point
Copy the full SHA b52322fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 41fe5b1 - Browse repository at this point
Copy the full SHA 41fe5b1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0802720 - Browse repository at this point
Copy the full SHA 0802720View commit details -
Configuration menu - View commit details
-
Copy full SHA for e182ade - Browse repository at this point
Copy the full SHA e182adeView commit details -
Configuration menu - View commit details
-
Copy full SHA for f8cd307 - Browse repository at this point
Copy the full SHA f8cd307View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9cbb571 - Browse repository at this point
Copy the full SHA 9cbb571View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0b29d54 - Browse repository at this point
Copy the full SHA 0b29d54View commit details
Commits on May 6, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 06fe36e - Browse repository at this point
Copy the full SHA 06fe36eView commit details -
Configuration menu - View commit details
-
Copy full SHA for fc4d006 - Browse repository at this point
Copy the full SHA fc4d006View commit details
Commits on May 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a4fa9af - Browse repository at this point
Copy the full SHA a4fa9afView commit details -
Configuration menu - View commit details
-
Copy full SHA for e833b03 - Browse repository at this point
Copy the full SHA e833b03View commit details -
Configuration menu - View commit details
-
Copy full SHA for e711dde - Browse repository at this point
Copy the full SHA e711ddeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 48480fc - Browse repository at this point
Copy the full SHA 48480fcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 30e5f5e - Browse repository at this point
Copy the full SHA 30e5f5eView commit details
Commits on May 9, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fdf9af8 - Browse repository at this point
Copy the full SHA fdf9af8View commit details
Commits on May 13, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 39c4855 - Browse repository at this point
Copy the full SHA 39c4855View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1c66581 - Browse repository at this point
Copy the full SHA 1c66581View commit details -
Configuration menu - View commit details
-
Copy full SHA for 99f978c - Browse repository at this point
Copy the full SHA 99f978cView commit details
Commits on May 29, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 79538ca - Browse repository at this point
Copy the full SHA 79538caView commit details -
Configuration menu - View commit details
-
Copy full SHA for 737cef0 - Browse repository at this point
Copy the full SHA 737cef0View commit details
Commits on May 30, 2022
-
Configuration menu - View commit details
-
Copy full SHA for db9a22b - Browse repository at this point
Copy the full SHA db9a22bView commit details
Commits on May 31, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 271992c - Browse repository at this point
Copy the full SHA 271992cView commit details -
Configuration menu - View commit details
-
Copy full SHA for aff3c90 - Browse repository at this point
Copy the full SHA aff3c90View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4b7bc8d - Browse repository at this point
Copy the full SHA 4b7bc8dView commit details
Commits on Jun 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5a11c79 - Browse repository at this point
Copy the full SHA 5a11c79View commit details -
Configuration menu - View commit details
-
Copy full SHA for 71204a1 - Browse repository at this point
Copy the full SHA 71204a1View commit details
Commits on Jun 3, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 4bb13ca - Browse repository at this point
Copy the full SHA 4bb13caView commit details
Commits on Jun 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 53d8b56 - Browse repository at this point
Copy the full SHA 53d8b56View commit details
Commits on Jun 13, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b02cd00 - Browse repository at this point
Copy the full SHA b02cd00View commit details
Commits on Jun 16, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 58c0b83 - Browse repository at this point
Copy the full SHA 58c0b83View commit details
Commits on Jun 17, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 9c0b869 - Browse repository at this point
Copy the full SHA 9c0b869View commit details
Commits on Jun 19, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 11a976f - Browse repository at this point
Copy the full SHA 11a976fView commit details -
Configuration menu - View commit details
-
Copy full SHA for d7fbba6 - Browse repository at this point
Copy the full SHA d7fbba6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 250ad2b - Browse repository at this point
Copy the full SHA 250ad2bView commit details -
Configuration menu - View commit details
-
Copy full SHA for e7b9a9e - Browse repository at this point
Copy the full SHA e7b9a9eView commit details -
Configuration menu - View commit details
-
Copy full SHA for c2112bc - Browse repository at this point
Copy the full SHA c2112bcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 13514c9 - Browse repository at this point
Copy the full SHA 13514c9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5f2ff89 - Browse repository at this point
Copy the full SHA 5f2ff89View commit details -
Configuration menu - View commit details
-
Copy full SHA for 660f800 - Browse repository at this point
Copy the full SHA 660f800View commit details
Commits on Jun 20, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fd05e11 - Browse repository at this point
Copy the full SHA fd05e11View commit details
Commits on Jun 25, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 98f7956 - Browse repository at this point
Copy the full SHA 98f7956View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5c5aba6 - Browse repository at this point
Copy the full SHA 5c5aba6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e32b23 - Browse repository at this point
Copy the full SHA 7e32b23View commit details -
Configuration menu - View commit details
-
Copy full SHA for ff64514 - Browse repository at this point
Copy the full SHA ff64514View commit details
Commits on Jun 26, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 904e88e - Browse repository at this point
Copy the full SHA 904e88eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 357800c - Browse repository at this point
Copy the full SHA 357800cView commit details
Commits on Jul 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 8d4ffb8 - Browse repository at this point
Copy the full SHA 8d4ffb8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8b8c11c - Browse repository at this point
Copy the full SHA 8b8c11cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 06c69c5 - Browse repository at this point
Copy the full SHA 06c69c5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6b37ce3 - Browse repository at this point
Copy the full SHA 6b37ce3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d3189e - Browse repository at this point
Copy the full SHA 2d3189eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 19ef23d - Browse repository at this point
Copy the full SHA 19ef23dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8c047fe - Browse repository at this point
Copy the full SHA 8c047feView commit details
Commits on Aug 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for dd12df1 - Browse repository at this point
Copy the full SHA dd12df1View commit details
Commits on Aug 16, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a8c066a - Browse repository at this point
Copy the full SHA a8c066aView commit details
Commits on Aug 17, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 1385232 - Browse repository at this point
Copy the full SHA 1385232View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8106284 - Browse repository at this point
Copy the full SHA 8106284View commit details -
Configuration menu - View commit details
-
Copy full SHA for a3729ba - Browse repository at this point
Copy the full SHA a3729baView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4a52f82 - Browse repository at this point
Copy the full SHA 4a52f82View commit details