Commit 2021-02-26 07:13 cca22d7b
View on Github →feat(data/polynomial/degree/trailing_degree): Trailing degree of multiplication by X^n (#6425) A lemma about the trailing degree of a shifted polynomial. (this PR is part of the irreducibility saga)
feat(data/polynomial/degree/trailing_degree): Trailing degree of multiplication by X^n (#6425) A lemma about the trailing degree of a shifted polynomial. (this PR is part of the irreducibility saga)