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

Implement check for Lorentzian polynomials #28252 #35021

Merged
merged 24 commits into from
Mar 3, 2023

Conversation

fchapoton
Copy link
Contributor

Fixes #28252

πŸ“š Description

πŸ“ Checklist

  • I have linked an issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

βŒ› Dependencies

bgillesp and others added 17 commits July 25, 2019 19:14
Implements methods for univariate and multivariate polynomials to check
whether a polynomial is Lorentzian.  A helper function checks whether
a collection of integer lattice points is M-convex.  Additionally
extends the constructor for class QuadraticForm to accept as input a
homogeneous polynomial of degree two.
Added literature references to the doctests, and added a new flag to the
is_lorentzian_polynomial method, give_reason, which causes the method
to return a tuple containing the boolean output of the function, and if
this is false, a string explaining why the polynomial is not Lorentzian.
Ticket 28252 was created in July, 2019 at Sage Days 99 in Minneapolis,
and was left in completed form but never got reviewed for inclusion in
Sage.  The branch got out of sync after a few months, so this branch
rebases the work from the project on the most recent release of the
develop branch.

Only minor changes were needed in the merge, so the code should be ready
for review again.
@dimpase dimpase changed the title Ticket28252 Implement check for Lorentzian polynomials #28252 Feb 8, 2023
src/sage/quadratic_forms/quadratic_form.py Outdated Show resolved Hide resolved
src/sage/rings/polynomial/multi_polynomial.pyx Outdated Show resolved Hide resolved
src/sage/rings/polynomial/multi_polynomial.pyx Outdated Show resolved Hide resolved
src/sage/rings/polynomial/multi_polynomial.pyx Outdated Show resolved Hide resolved
src/sage/rings/polynomial/multi_polynomial.pyx Outdated Show resolved Hide resolved
src/sage/rings/polynomial/polynomial_element.pyx Outdated Show resolved Hide resolved
fchapoton and others added 2 commits February 11, 2023 09:12
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
@codecov-commenter
Copy link

codecov-commenter commented Feb 11, 2023

Codecov Report

Base: 88.59% // Head: 88.59% // Decreases project coverage by -0.01% ⚠️

Coverage data is based on head (2590c05) compared to base (104dde9).
Patch coverage: 95.65% of modified lines in pull request are covered.

Additional details and impacted files
@@             Coverage Diff             @@
##           develop   #35021      +/-   ##
===========================================
- Coverage    88.59%   88.59%   -0.01%     
===========================================
  Files         2136     2136              
  Lines       396142   396159      +17     
===========================================
+ Hits        350948   350960      +12     
- Misses       45194    45199       +5     
Impacted Files Coverage Ξ”
src/sage/quadratic_forms/quadratic_form.py 90.26% <95.65%> (+0.16%) ⬆️
src/sage/categories/super_modules_with_basis.py 96.29% <0.00%> (-3.71%) ⬇️
src/sage/rings/polynomial/pbori/parallel.py 59.82% <0.00%> (-1.79%) ⬇️
...rc/sage/categories/super_lie_conformal_algebras.py 95.00% <0.00%> (-1.67%) ⬇️
src/sage/modular/hecke/algebra.py 94.65% <0.00%> (-1.07%) ⬇️
src/sage/modular/arithgroup/congroup_gamma0.py 94.41% <0.00%> (-0.56%) ⬇️
src/sage/graphs/generic_graph.py 89.12% <0.00%> (-0.42%) ⬇️
src/sage/modular/overconvergent/hecke_series.py 98.76% <0.00%> (-0.31%) ⬇️
src/sage/geometry/cone.py 93.30% <0.00%> (-0.30%) ⬇️
src/sage/modules/free_module.py 87.93% <0.00%> (-0.07%) ⬇️
... and 17 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

β˜” View full report at Codecov.
πŸ“’ Do you have feedback about the report comment? Let us know in this issue.

fchapoton and others added 4 commits February 11, 2023 09:13
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
@tscrim tscrim self-requested a review February 11, 2023 12:18
@tscrim
Copy link
Collaborator

tscrim commented Feb 11, 2023

Sorry, GH has random buttons and doesn't explain what they do (with no mouse hover text...).

@vbraun vbraun merged commit 61e845c into sagemath:develop Mar 3, 2023
@mkoeppe mkoeppe added this to the sage-10.0 milestone Mar 3, 2023
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.

Implement check for Lorentzian polynomials
9 participants