Hi!
If there is bigger interest in monomial ideals,
they can represented very efficiently in the case of Boolean
polynomials, by a single decision diagram.
Operations between monomial ideals can be implemented by single, very
efficient ZDD operations.
If you don't have degree bound one per variable, you would need an
alternative diagram type.
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
