-
Notifications
You must be signed in to change notification settings - Fork 235
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
[Merged by Bors] - refactor(RingTheory.MvPolynomial.Homogeneous): refactor in terms of weightedHomogeneous #7609
Conversation
…eightedHomogeneous
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
…ver-community/mathlib4 into mariainesdff/homogeneous
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.
That is a nice refactor! Could you indeed replace ∑ i in d.support, d i
with degree d
throughout?
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.
Thanks!
bors d+
✌️ mariainesdff can now approve this pull request. To approve and merge a pull request, simply reply with |
bors r+ |
…eightedHomogeneous (#7609) We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial. Question: should all uses of `∑ i in d.support, d i` be replaced by `degree d`? Co-authored-by: Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr> Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>
Pull request successfully merged into master. Build succeeded: |
…eightedHomogeneous (#7609) We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial. Question: should all uses of `∑ i in d.support, d i` be replaced by `degree d`? Co-authored-by: Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr> Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>
…eightedHomogeneous (#7609) We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial. Question: should all uses of `∑ i in d.support, d i` be replaced by `degree d`? Co-authored-by: Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr> Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>
…eightedHomogeneous (#7609) We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial. Question: should all uses of `∑ i in d.support, d i` be replaced by `degree d`? Co-authored-by: Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr> Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>
…eightedHomogeneous (#7609) We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial. Question: should all uses of `∑ i in d.support, d i` be replaced by `degree d`? Co-authored-by: Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr> Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>
…eightedHomogeneous (#7609) We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial. Question: should all uses of `∑ i in d.support, d i` be replaced by `degree d`? Co-authored-by: Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr> Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>
…eightedHomogeneous (#7609) We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial. Question: should all uses of `∑ i in d.support, d i` be replaced by `degree d`? Co-authored-by: Antoine Chambert-Loir <antoine.chambert-loir@u-paris.fr> Co-authored-by: María Inés de Frutos-Fernández <88536493+mariainesdff@users.noreply.github.com>
We rewrite the definition of homogeneous polynomial as a special case of weighted homogeneous polynomial.
Question: should all uses of
∑ i in d.support, d i
be replaced bydegree d
?Co-authored-by: Antoine Chambert-Loir antoine.chambert-loir@u-paris.fr