Opened 3 years ago

Last modified 3 years ago

#21264 new enhancement

Factoring and Irreducibility Related Methods in Skew Polynomials

Reported by: arpitdm Owned by:
Priority: major Milestone: sage-7.4
Component: algebra Keywords:
Cc: tscrim, caruso, jsrn, dlucas Merged in:
Authors: Xavier Caruso Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #13215, #21088, #21259, #21262 Stopgaps:


We propose the addition of the following methods and classes to skew polynomials:

  1. def random_irreducible in class SkewPolynomialRing_general in
  1. Following functions to the class SkewPolynomial_finite_field_dense:
  • def is_irreducible
  • def bound
  • def type
  • cdef SkewPolynomial_finite_field_dense _rdivisor_c
  • def irreducible_divisor
  • def irreducible_divisor_with_norm
  • def irreducible_divisors
  • def _irreducible_divisors
  • def count_irreducible_divisors
  • cdef _factor_c
  • cdef _factor_uniform_c
  • def factor(self,distribution=None):
  • def count_factorizations(self):
  • def count_factorisations(self):
  • def factorizations
  • def factorisations

Note: The original ticket #13215 first introduced this functionality. That was subsequently modified to support the basic implementation of skew polynomials and the factoring and irreducibility related methods from that ticket that were removed are being reintroduced here.

Change History (3)

comment:1 Changed 3 years ago by arpitdm

  • Branch set to u/arpitdm/irreducibility_factoring_skew_polynomials

comment:2 Changed 3 years ago by arpitdm

  • Branch u/arpitdm/irreducibility_factoring_skew_polynomials deleted

Please also note that the current code is more or less just what was in the original patch for #13215 related to Factoring and Irreducibility methods. No effort has been made yet to accommodate for changes in #13215 since this addition was factored out.

comment:3 Changed 3 years ago by arpitdm

  • Authors set to Xavier Caruso
Note: See TracTickets for help on using tickets.