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

Tjurina Algebra/Number and finite determinancy for Hypersurfaces #3495

Merged
merged 10 commits into from
Mar 22, 2024

Conversation

Syz-MS
Copy link
Contributor

@Syz-MS Syz-MS commented Mar 6, 2024

Adds
-Tjurina algebra and number for Hypersurfaces
-upper determinancy bounds w.r.t. right resp. contact equivalence for IHS
-contact equivalence via Mather-Yau for IHS

(developed at the request of @afkafkafk13)

Syz-MS added 3 commits March 6, 2024 16:30
tjurina algebra, tjurina number, determinancy bounds, contact equivalence  for IHS
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Outdated Show resolved Hide resolved
@fingolfin
Copy link
Member

(Just to be clear, overall this PR is fine, the things I pointed out are all minor details and should hopefully to be easy to resolve)

Syz-MS and others added 3 commits March 11, 2024 11:23
is_finitelydetermined -> is_finitely_determined
w.r.t. -> with respect to
vcat -> append! resp. push!
and minor changes
@Syz-MS
Copy link
Contributor Author

Syz-MS commented Mar 11, 2024

@fingolfin Thank you for your suggestions. They have been quite helpful.

Copy link

codecov bot commented Mar 11, 2024

Codecov Report

Merging #3495 (12fd1f3) into master (68e863a) will increase coverage by 0.05%.
The diff coverage is 98.55%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #3495      +/-   ##
==========================================
+ Coverage   82.18%   82.23%   +0.05%     
==========================================
  Files         563      564       +1     
  Lines       75850    76057     +207     
==========================================
+ Hits        62334    62548     +214     
+ Misses      13516    13509       -7     
Files Coverage Δ
experimental/Experimental.jl 81.81% <ø> (ø)
experimental/Schemes/Tjurina.jl 98.55% <98.55%> (ø)

... and 3 files with indirect coverage changes

tjurina number now returns infinity instead of -1
added more test
using smaller k-th tjurina algebra for Mather-Yau in pos. char. to reduce computing effort
Copy link
Collaborator

@afkafkafk13 afkafkafk13 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

add the two small remarks to the documentation, then this is good to go

experimental/Schemes/Tjurina.jl Show resolved Hide resolved
experimental/Schemes/Tjurina.jl Show resolved Hide resolved
@afkafkafk13
Copy link
Collaborator

Concerning the tests: The structure of including a file in experimental has changed. You need to add your file in experimental/Schemes/Schemes.jl

@afkafkafk13 afkafkafk13 enabled auto-merge (squash) March 22, 2024 12:25
@afkafkafk13 afkafkafk13 merged commit d367722 into oscar-system:master Mar 22, 2024
26 of 27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants