fact: Definition recip (R : ringType) (deg : nat) (q : {poly R}) : {poly R} := 'X ^+ (deg.+1 - size q) * reciprocal_pol q.
imports: mathcomp(all_ssreflect) mathcomp(ssralg poly ssrnum ssrint rat polyrcf) mathcomp(polyorder polydiv)