feat(data/polynomial/trinomial): Operations on bundled trinomials

[tb65536]

This PR defines two basic operations on bundled trinomials: multiply by a unit and reverse the coefficients. It is much easier to perform these operations on bundled trinomials than on the corresponding polynomials.

(this PR is part of the irreducibility saga)

---

• depends on: [Merged by Bors] - feat(data/polynomial/coeff): Alternate form of coeff_mul_X_pow #6424
• depends on: [Merged by Bors] - feat(data/polynomial/degree/trailing_degree): Trailing degree of multiplication by X^n #6425
• depends on: [Merged by Bors] - feat(data/polynomial/mirror): new file #6426
• depends on: feat(data/polynomial/mirror): define norm2 #6427
• depends on: feat(data/polynomial/trinomial): Bundled trinomials #6428

[github-actions]

This PR/issue depends on:

• [Merged by Bors] - feat(data/polynomial/coeff): Alternate form of coeff_mul_X_pow #6424
• [Merged by Bors] - feat(data/polynomial/degree/trailing_degree): Trailing degree of multiplication by X^n #6425
• [Merged by Bors] - feat(data/polynomial/mirror): new file #6426
• feat(data/polynomial/mirror): define norm2 #6427
• feat(data/polynomial/trinomial): Bundled trinomials #6428
  By Dependent Issues (🤖). Happy coding!