Mam zapytania:
konwertowałem układ
Kod: Zaznacz cały
x + y + z + s + w + l
x*y*z*s*w*l - 1
x*y + y*z + z*s + s*w + w*l + l*x
x*y*z + y*z*s + z*s*w + s*w*l + w*l*x + l*x*y
x*y*z*s + y*z*s*w + z*s*w*l + s*w*l*x + w*l*x*y + l*x*y*z
x*y*z*s*w + y*z*s*w*l + z*s*w*l*x + s*w*l*x*y + w*l*x*y*z + l*x*y*z*s
Kod: Zaznacz cały
(1)*x + (1)*y + (1)*z + (1)*s + (1)*w + (1)*l
(1)*x*y + (1)*y*z + (1)*z*s + (1)*s*w + (1)*x*l + (1)*w*l
(1)*x*y*z + (1)*y*z*s + (1)*z*s*w + (1)*x*y*l + (1)*x*w*l + (1)*s*w*l
(1)*x*y*z*s + (1)*y*z*s*w + (1)*x*y*z*l + (1)*x*y*w*l + (1)*x*s*w*l + (1)*z*s*w*l
(1)*x*y*z*s*w + (1)*x*y*z*s*l + (1)*x*y*z*w*l + (1)*x*y*s*w*l + (1)*x*z*s*w*l + (1)*y*z*s*w*l
(1)*x*y*z*s*w*l + (-1)
Oczekiwałem , że pierwszy wektor wyniku będzie miał tylko jedną zmienną, aby można go było rozwiązać, drugi dwie, w tym tę poprzednią itd.
Dla znacznie prostszego układu
Kod: Zaznacz cały
x+xy+y^2
x+y-xy
Poza tym , biblioteka wymaga całkowitoliczbowych współczynników, czy to ograniczenie tylko tej biblioteki czy algorytmu L4?
Można by współczynniki pomnożyć przez 1e8, i zaokrąglając otrzymać całkowitoliczbowe, jednak co z pośrednimi obliczeniami? czy nie przekroczy któreś zakresu int czy nawet int64?