One can check that Sage's built-in methods can invert such a GF(2) maytrix 
in reasonable time:

sage: MS=MatrixSpace(GF(2),512,512)
sage: while True:
....:     M=MS.an_element()
....:     if M.is_unit(): break
....:     
sage: %time IM=M^-1
CPU times: user 2.99 ms, sys: 243 µs, total: 3.23 ms
Wall time: 113 ms
sage: bool(IM*M==diagonal_matrix(GF(2),[GF(2)(1)]*512))
True

But, being totally ignorant of your domain, I have trouble seeing how to 
use this result for boolean logic. A glimpse at the relevant documentation 
<http://doc.sagemath.org/html/en/reference/logic/index.html> hints that I 
should refrain from commenting further...

HTH, nevertheless,


Le jeudi 31 octobre 2019 10:51:27 UTC+1, Subrata Nandi a écrit :
>
> My research area is symmetric key cryptology. I need an efficient 
> algorithm for solving inverse of symbolic matrix of size 512 x 512 in 
> GF(2). Can anyone share 
> Idea regarding that? 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/10aa0288-ee56-4254-b60e-e2268338adda%40googlegroups.com.

Reply via email to