Help regarding symbolic linear equation solve over GF(2).

[Subrata Nandi]

I need to solve a symbolic linear equation : x*A=b , where x is a 500 dimension unknown variable, A is a matrix of size 500 x 500 of symbolic variables over finite field, b is vector of length 500 like (0,......,1). I have defined the Boolean polynomial ring over finite field of 500 variables. I used solve_right() function in this case. It is taking infinite amount of time to solve the equation. Please help me to solve this problem. Thanks in advance.

[David Joyner]

On Sat, Nov 2, 2019 at 5:33 AM Subrata Nandi <subrat...@iitg.ernet.in> wrote:

I need to solve a symbolic linear equation : x*A=b , where x is a 500 dimension unknown variable, A is a matrix of size 500 x 500 of symbolic variables over finite field, b is vector of length 500 like (0,......,1). I have defined the Boolean polynomial ring over

What do you mean that A has symbolic entries?

Is each entry a polynomial in one variable? Two variables? 500^2 variables? Is it sparse?

 

finite field of 500 variables. I used solve_right() function in this case. It is taking infinite amount of time to solve the equation. Please help me to solve this problem. Thanks in advance.

--
You received this message because you are subscribed to the Google Groups "sage-edu" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-edu+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-edu/8451578b-ada6-4c34-9993-2ff92c3ad88b%40googlegroups.com.

[Subrata Nandi]

Each entry of the A matrix is either boolean function of 256 variables or element in GF(2).

[David Joyner]

On Sat, Nov 2, 2019 at 9:56 AM Subrata Nandi <subrat...@iitg.ernet.in> wrote:

Each entry of the A matrix is either boolean function of 256 variables or element in GF(2).

To start, I would try to find the inverse with a much smaller example

(small number of variables, small dimensions) using gauss elimination.

 

On Saturday, November 2, 2019 at 3:03:37 PM UTC+5:30, Subrata Nandi wrote:

I need to solve a symbolic linear equation : x*A=b , where x is a 500 dimension unknown variable, A is a matrix of size 500 x 500 of symbolic variables over finite field, b is vector of length 500 like (0,......,1). I have defined the Boolean polynomial ring over finite field of 500 variables. I used solve_right() function in this case. It is taking infinite amount of time to solve the equation. Please help me to solve this problem. Thanks in advance.

--
You received this message because you are subscribed to the Google Groups "sage-edu" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-edu+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-edu/e6018f61-a652-461b-829a-744727a8ba4c%40googlegroups.com.

[Subrata Nandi]

I have tried for small matrix. It worked. But not getting for dimension 256.

On Saturday, November 2, 2019 at 11:43:48 PM UTC+5:30, David Joyner wrote:

On Sat, Nov 2, 2019 at 9:56 AM Subrata Nandi <subrat...@iitg.ernet.in> wrote:

Each entry of the A matrix is either boolean function of 256 variables or element in GF(2).

To start, I would try to find the inverse with a much smaller example

(small number of variables, small dimensions) using gauss elimination.

 

On Saturday, November 2, 2019 at 3:03:37 PM UTC+5:30, Subrata Nandi wrote:

I need to solve a symbolic linear equation : x*A=b , where x is a 500 dimension unknown variable, A is a matrix of size 500 x 500 of symbolic variables over finite field, b is vector of length 500 like (0,......,1). I have defined the Boolean polynomial ring over finite field of 500 variables. I used solve_right() function in this case. It is taking infinite amount of time to solve the equation. Please help me to solve this problem. Thanks in advance.

--
You received this message because you are subscribed to the Google Groups "sage-edu" group.

To unsubscribe from this group and stop receiving emails from it, send an email to sage...@googlegroups.com.