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('<path/url to patch')
sage: quit
$ sage -br
sage: <do your stuff>
On Thu, Sep 24, 2009 at 6:31 PM, lastras <[email protected]> wrote:
>
> 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 <[email protected]> wrote:
> > Hi Luis,
> >
> > On Wed, Sep 23, 2009 at 6:44 AM, lastras <[email protected]> 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 boolean
> > logic minimization is not yet in Sage. However, ticket #5910 [1] has a
> > patch that implements the Quine-McCluskey algorithm for minimizing
> > logic expressions. The patch is more or less self-contained and nobody
> > has touched it in 5 months. It needs some polishing before getting
> > into Sage. Any volunteers? :-)
> >
> > [1]http://trac.sagemath.org/sage_trac/ticket/5910
> >
> > --
> > Regards
> > Minh Van Nguyen
> >
>
--
Tim Joseph Dumol <tim (at) timdumol (dot) com>
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
