fact: Definition Mobius (R:ringType) (deg : nat) (a b : R) (p: {poly R}) : {poly R} := recip deg ((p \shift a) \scale (b - a)) \shift 1.
imports: mathcomp(all_ssreflect) mathcomp(ssralg poly ssrnum ssrint rat polyrcf) mathcomp(polyorder polydiv)