Численные методы в алгебраической геометрии

[DLL]

Есть система полиномиальных уравнений. При чем известно, что в заданном параллепипеде решение единственное.
Интересуют софт/численные методы для его нахождения.

P.S: идеал порожденный системой уравнений нульмерен, и приведением к базису Гребенра в целом это задача решается, но там много параметров которые перемены и меняются в широких пределах - в определенном диапазоне начинает серьезно сказываться численная погрешность (поскольку весь базис Гребнера весит порядка 300КБ);

[Алексей К.]

(Оффтоп)

DLL в сообщении #866487 писал(а):

в определенном диапазоне начинает серьезно сказываться численная погрешность (поскольку весь базис Гребнера весит порядка 300КБ);

Вот никак не могу поверить, что численная погрешность как-то связана с весом базиса. Если вдруг убедят, то...

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Околонаучный софт»
Причина переноса: софт - это здесь

[DLL]

Алексей К. в сообщении #866688 писал(а):

(Оффтоп)

DLL в сообщении #866487 писал(а):

в определенном диапазоне начинает серьезно сказываться численная погрешность (поскольку весь базис Гребнера весит порядка 300КБ);

Вот никак не могу поверить, что численная погрешность как-то связана с весом базиса. Если вдруг убедят, то...

В базисе присутствуют параметры в символьном виде.
Поэтому размер базиса довольно внушительный.
Когда же подставляются числа, в некотором диапазоне оказывается, что есть очень маленькие величины и очень большие - в результате решение находится с достаточно ощутимой погрешностью.