unit_trinomial): Irreducibility of X^n-X-1 (#15318)

Commit

3 years ago

feat(data/polynomial/unit_trinomial): Irreducibility of X^n-X-1 (#15318) This PR adds a proves irreducibility of X^n-X-1, superseding #6421.

Author

tb65536

Parents