fact: Definition relocate (q : {poly R}) : {poly R}:= let s := size q in if (deg.+1 < s)%N then 0 else (recip deg ((q \shift (- 1)) \scale (b - a))) \shift - a.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat binomial seq choice order) mathcomp(fintype bigop ssralg poly ssrnum ssrint rat ssrnum) mathcomp(polyrcf qe_rcf_th realalg) pol poly_normal desc