PR #1773 feat(data/polynomial): monic.as_sum

feat(data/polynomial): monic.as_sum #1773

mergify merged 2 commits into master from monic-as-sum

feat(data/polynomial): monic.as_sum

d74046a6

sgouezel added ready-to-merge

sgouezel approved these changes on 2019-12-03

Merge branch 'master' into monic-as-sum

c9d1405a

mergify merged 866be5f6 into master 6 years ago

mergify deleted the monic-as-sum branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone