-
Notifications
You must be signed in to change notification settings - Fork 134
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
Conversation
tjurina algebra, tjurina number, determinancy bounds, contact equivalence for IHS
(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) |
Co-authored-by: Max Horn <[email protected]>
is_finitelydetermined -> is_finitely_determined w.r.t. -> with respect to vcat -> append! resp. push! and minor changes
@fingolfin Thank you for your suggestions. They have been quite helpful. |
Codecov Report
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
|
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
There was a problem hiding this 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
Concerning the tests: The structure of including a file in experimental has changed. You need to add your file in |
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)