William Stein wrote: > 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 Thank you, William. The package looks very promising. I'll look forward learning more about it and following its progress. Best regards, John
> > > > -- John P. Burkett Department of Environmental and Natural Resource Economics and Department of Economics University of Rhode Island Kingston, RI 02881-0808 USA phone (401) 874-9195 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
