Revision history [back]
 | 1 | initial version |
It's just a guess, but maybe a groebner basis over boolean algebra method would work. Look for documentation about the polybori interface.
| | 1 | initial version |
It's just a guess, but maybe a groebner basis over boolean algebra method would work. Look for documentation about the polybori interface.
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.