Re: Solve system of equations over finite field?

(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.
>