"Basic algorithms for rational function fields" - читать интересную книгу автора (Mueller-Quade, Steinwandt.)