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.
This ticket provides:
1. a basic implementation of skew polynomials over any commutative ring (including addition, multiplication, euclidean division, gcd...)
2. construction of skew polynomial rings
" enhancement needs_review major sage-7.3 algebra skew polynomials tfeulner caruso burcin darij jsrn dlucas tscrim Xavier Caruso Burcin Erocal N/A see comment #25 u/arpitdm/skew_polynomials e189fec13d005a7fba39a429876c501fe95c05da #13214, #13303, #13640, #13641, #13642