Commit 2019-12-03 18:35 866be5f6
View on Github →feat(data/polynomial): monic.as_sum (#1773)
From the perfectoid project.
It is often useful to write a monic polynomial f in the form
X^n + sum of lower degree terms.
feat(data/polynomial): monic.as_sum (#1773)
From the perfectoid project.
It is often useful to write a monic polynomial f in the form
X^n + sum of lower degree terms.