Накапливается ошибка при вычислении базиса Грёбнера

[Abraziv]

Здравствуйте. Скажите пожалуйста, есть ли способы уменьшения погрешности при вычислении базиса Грёбнера. Я реализовал алгоритм Бухбергера, но накапливается большая погрешность введу недостаточности разрядной сетки double. По этой причине я использую библиотеку GMP, всё работает, единственное, что меня раздражает, это скорость вычисления.
У меня появилась идея, а что если использовать тип double, но каждый раз после редукции каким то образом корректировать коэффициенты, и тогда накопление ошибки можно будет значительно уменьшить, скажите пожалуйста, есть у кого нибудь опыт в подобных вещах, может наработки или идеи?