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