* Work on rational/canonical form