id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
13215,Skew polynomials,caruso,tbd,"If R is a ring equipped with an endomorphism sigma, the ring of skew polynomials over (R,sigma) is the ring of usual polynomials over R with the modified multiplication given by the rule X*a = sigma(a)*X.
Skew polynomials play an important role in several domains like coding theory or Galois representations theory in positive characteristic.
The attached patch provides:
1. a basic implementation of skew polynomials over any commutative ring (including addition, multiplication, euclidean division, gcd...)
1. a more complete implementation of skew polynomials over finite fields (including factoring)
NB: This ticket depends on ticket #13214 which implements Frobenius endomorphisms over finite fields. For convenience, I reattach the corresponding patch here.",enhancement,needs_review,major,sage-5.11,experimental package,,skew polynomials,,,,,N/A,,,,#13214,