(12) -> solve((x^3+x-1)::Polynomial(FiniteField(3,2)))
(12) [x = 2, x = 2 %A + 2, x = %A + 2]
Type: List(Equation(Fraction(Polynomial(FiniteField(3,2)))))
(13) -> PF ==> Polynomial(FiniteField(3,2))
Type: Void
(15) -> solve([(x^3+y^2-1)::PF, (x^2+y^2-1)::PF])
(15) [[y = 0, x = 1], [y = 2, x = 0], [y = 1, x = 0]]
Type: List(List(Equation(Fraction(Polynomial(FiniteField(3,2))))))
Ralf
On 02.12.22 14:28, Savva Voloshin wrote:
Hello, axiom mailng-list users.
Is there a way to solve a system of equations over finite field?
I try to use "solveInField()", but no luck, also hyperDoc is stalled.
Any guidance appreciated.
Thanks in advance.
Voloshin Savva.
