Factoring and Irreducibility Related Methods in Skew Polynomials

[5b3bd7e6-c3f3-4830-a555-991f5e6beec0]

This ticket implements the following methods (all related to factorization and irreducible divisors) for skew polynomials over finite fields

• is_irreducible
• right_irreducible_divisor, left_irreducible_divisor (return a divisor)
• right_irreducible_divisors, left_irreducible_divisors (return an iterator over all divisors)
• count_irreducible_divisors
• factor (return a factorization)
• factorizations (return an iterator over all factorizations)
• count_factorizations

CC: @tscrim @xcaruso @johanrosenkilde @sagetrac-dlucas @vbraun

Component: algebra

Author: Xavier Caruso

Branch/Commit: d107cce

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/21264

[vbraun]

Changed branch from u/caruso/skew_polynomial_finite_field_rebased to d107cce