Hi,
On Wed, 25 Feb 2009 10:53:48 -0800
William Stein <wst...@gmail.com> wrote:
>
> I received this question from a potential Sage developer. Any
> thoughts?
>
> "Hi William. I notice that the package Polybori is included with SAGE
> now. I know that Polybori (at least for the moment) uses the package
> CUDD (for binary decision diagrams), and includes it in the package.
> Do you know if there's a direct SAGE interface to parts of CUDD
> already there, or, if not, is someone thinking about it? If not, I
> might be interested in working on that."
>
There is no direct interface to CUDD, at least not in the PolyBoRi
wrappers. You can see the code for the wrappers in the files:
c_lib/include/pb_wrap.h
sage/libs/polybori/decl.pxi
sage/rings/polynomial/pbori.p{yx,xd}
The last one (.pyx) is the most interesting.
Cheers,
Burcin
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
