bump, since there was no answer so far and despite i don't know the answer it should be rather simple ... ?
On Jul 27, 7:01 pm, lesshaste <[email protected]> wrote: > I am new to sage and am attempting to solve systems of multivariate > polys over GF(2). My first attempt with a small example is > > R.<a111,a112,a121,a122,b111,b112,b211,b212,c111,c112>=GF(2)[] > I=(a111 * b111 * c111 + a112 * b112 * c112 - 1 , a111 * b211 * c111 + > a112 * b212 * c112 - 0 , a121 * b111 * c111 + a122 * b112 * c112 , > a121 * b211 * c111 + a122 * b212 * c112 - 1)*R > B= I.groebner_basis(); > > That works fine but how do I now solve B in sage to actually an > answer? In my case I only need one answer rather than the full list > of possible solutions. > > Also, I read back in April that there was a plan to implement > Faugere's F4 algorithm. As the systems I want to solve are very large, > I would be particularly interested in that or any related tools that > are in development. (Anyone working on an XL variant?) > > Raphael --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
