Well, if you want an degree ordering, which is descending for the
variables, we have
degree lexicographical ordering in PolyBoRi fully supported.
Michael
--~--~-~--~~~---~--~~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from
On Tuesday 04 August 2009, Nick Alexander wrote:
> On 4-Aug-09, at 7:44 AM, Michael Brickenstein wrote:
> > Maintaining these lookup tables and other tricks is a lot of work,
> > which could be invested elsewhere, e.g. your PHD.
> > Even for me, the difference between these orderings is pure subti
On 4-Aug-09, at 7:44 AM, Michael Brickenstein wrote:
> Maintaining these lookup tables and other tricks is a lot of work,
> which could be invested elsewhere, e.g. your PHD.
> Even for me, the difference between these orderings is pure subtility
> from a users perspective.
I disagree. When yo
Hi!
Maintaining these lookup tables and other tricks is a lot of work,
which could be invested elsewhere, e.g. your PHD.
Even for me, the difference between these orderings is pure subtility
from a users perspective.
However the ascending variant is far more efficient with ZDDs.
Michael
On 4 Au
