On Sun, Jun 1, 2008 at 8:56 AM, John P. Burkett <[EMAIL PROTECTED]> wrote: > > A document at > http://modular.math.washington.edu/home/goreckc/sage/logic/bu/%3Cpropcalc.py%3E > describes how to use a module for propositional calculus. This involves > importing propcalc, boolformula, and logicparser. > > In SAGE 3.0.2, when I try importing any of these three, the response is > of the form "ImportError: No module named ...". From the terminal > command line, doing "sage -i propcalc" gets the response "Unable to > download propcalc", with analogous results for boolformula and > logicparser. I don't see any of the three in the lists of packages at > http://www.sagemath.org//packages. > > If anyone could tell me whether SAGE currently has capabilities in > propositional calculus and, if so, how to use them, I would be most > grateful. >
There is code up here http://trac.sagemath.org/sage_trac/ticket/545 but it is under review. We have a strict referee process for all code contributions to Sage. I've cc'd two students involved in this, who will hopefully tell you more. William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com 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 -~----------~----~----~----~------~----~------~--~---
