[sage-support] Re: Logic minimization
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 nguyenmi...@gmail.com wrote: Hi Luis, On Wed, Sep 23, 2009 at 6:44 AM, lastras last...@gmail.com 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 --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-support] Re: Logic minimization
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 last...@gmail.com 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 nguyenmi...@gmail.com wrote:
Hi Luis,
On Wed, Sep 23, 2009 at 6:44 AM, lastras last...@gmail.com 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 sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support-unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~--~~~~--~~--~--~---
[sage-support] Re: Logic minimization
Hi Luis, On Wed, Sep 23, 2009 at 6:44 AM, lastras last...@gmail.com 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 --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
