Added the new function R_to_axis_angle().
Authored by: bugman 2009-07-02
Parent: [r9176]
Child: [r9178]