Skip to content
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

Space Germs and Milnor Algebra/Number #2860

Merged
merged 40 commits into from
Sep 29, 2023
Merged
Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
506f140
Space Germs and Milnor Algebra added
Sep 27, 2023
bf3f0cf
tests for Milnor number and algebra
Sep 27, 2023
0bc1369
fix doctests
Sep 27, 2023
24afebb
union of SpaceGerms corrected
Sep 27, 2023
ba46ef4
repair of one return type
Sep 27, 2023
dd67d08
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 28, 2023
207fb2d
moved exports to src/exports.jl
Sep 28, 2023
fdb9c5e
Implement dim for localizations at prime ideals.
HechtiDerLachs Sep 28, 2023
39d85b7
Add tests.
HechtiDerLachs Sep 28, 2023
e9ccd69
added test for geometric points
Sep 28, 2023
2c63118
Merge branch 'Milnor_revised' of github.com:afkafkafk13/Oscar.jl into…
Sep 28, 2023
4bf6b2e
improve signature for AnySpaceGerm...Point
Sep 28, 2023
fb594ba
adressing further review comments
Sep 28, 2023
8ee13ac
typo
Sep 28, 2023
a7011f1
Fix tests.
HechtiDerLachs Sep 28, 2023
5ca71f7
generate type stability for defining_elemen
Sep 28, 2023
626228b
maybe this works..
Sep 29, 2023
3bdbb5a
test should reflect syntax changes from review
Sep 29, 2023
c5dc93f
Fix the type assertions.
HechtiDerLachs Sep 29, 2023
f0c6092
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
96d157d
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
6561862
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
80eb23c
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
fb13deb
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
2dbd651
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
b4be786
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
8424ea9
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
92424c8
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
c049662
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
ee4bd52
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
8e33626
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
95ee4f0
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
39e04ad
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
d322704
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
d33ee46
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
f03f615
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
c1392dd
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
cb812b3
Update experimental/Schemes/SpaceGerms.jl
afkafkafk13 Sep 29, 2023
7b9b3c1
remove s of Returns in docstring
Sep 29, 2023
469a5e6
Merge branch 'Milnor_revised' of github.com:afkafkafk13/Oscar.jl into…
Sep 29, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading