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 -~----------~----~----~----~------~----~------~--~---
