Rational canonical forms and efficient representations of hypergeometric terms

We propose four multiplicative canonical forms that exhibit the shift structure of a given rational function. These forms in particular allow one to represent a hypergeometric term efficiently. Each of these representations is optimal in some sense.