Well, yes. Although you may run into bugs, since it is untested. It may not
even work.
To apaply a patch:
sage: hg_sage.apply('
On Thu, Sep 24, 2009 at 6:31 PM, lastras wrote:
>
> ok thanks. I am not familiar with the process of using patches. Is it
> the case
> that if I apply the patch then
ok thanks. I am not familiar with the process of using patches. Is it
the case
that if I apply the patch then I will be able to use the tool and that
your request for "polishing" has
more to do with including it as a standard feature in all sage
downloads?
On Sep 22, 5:49 pm, Minh Nguyen wrote:
Hi Luis,
On Wed, Sep 23, 2009 at 6:44 AM, lastras wrote:
>
>
> I am looking for a boolean logic minimization toolset for sage. It
> does not seem to be part of the standard package, is there anything
> you might know about this?
Sage modules under sage/logic deal with symbolic logic. AFAIK bool
