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: |
Description
We propose the addition of the following methods and classes to skew polynomials:
- def random_irreducible in
class SkewPolynomialRing_general
inskew_polynomial_ring.py
- 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
- Branch set to u/arpitdm/irreducibility_factoring_skew_polynomials
comment:2 Changed 3 years ago by
- Branch u/arpitdm/irreducibility_factoring_skew_polynomials deleted
comment:3 Changed 3 years ago by
Note: See
TracTickets for help on using
tickets.
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.