Wayne Eberly Mark Giesbrecht Efficient decomposition of separable algebras. 35-81 2004 37 J. Symb. Comput. 1 http://dx.doi.org/10.1016/S0747-7171(03)00071-3 db/journals/jsc/jsc37.html#EberlyG04