What is the algorithm for the "Shorten" command in Maple? There is a package in Maple called "PolynomialTools". That has a command "Shorten".  Does anybody know on what algorithm this is based.  The maple manual does not explain much.
Example:
with(PolynomialTools):
Shorten(x^2+x+1,x);

Here is what the "shorten" command does to a polynomial $f(x)
$\bullet$ make a substitution to remove the $x^(n-1)$ term
$\bullet$  scale $x$ by some rational number,
$\bullet$  if $\mbox{deg } (f,x)=2$ then square-free factor the discriminant
I was hoping that through some substitutions in $x$ it would find a polynomial with a minimum height, but it doesn't do that.
