[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Solve system of equations over finite field?
From: |
Ralf Hemmecke |
Subject: |
Re: Solve system of equations over finite field? |
Date: |
Fri, 2 Dec 2022 15:13:36 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.2 |
(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.