#545: [with patch, needs work] polish the new symbolic logic code.
------------------------------+---------------------------------------------
Reporter: was | Owner: chrisgorecki
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.2.1
Component: basic arithmetic | Resolution:
Keywords: editor_wstein |
------------------------------+---------------------------------------------
Changes (by was):
* summary: [with patch, needs review] polish the new symbolic logic
code. => [with patch, needs work] polish the
new symbolic logic code.
Comment:
Bizarrely this patch put *all* the new code in a bunch of files in
SAGE_ROOT/devel/sage/!? This code should go in
SAGE_ROOT/devel/sage/sage/logic and be properly imported. I'm really
confused about what happened here.
{{{
[EMAIL PROTECTED]:~/build/sage-3.2.rc1/devel/sage$ ls
booleval.py build c_lib install MANIFEST.in PKG-
INFO README.txt sage-push spkg-delauto
boolformula.py build.py clib.py logicparser.py module_list.py
propcalc.py sage setup.py spkg-dist
boolopt.py bundle export logictable.py module_list.pyc pull
sagebuild.py spkg-debian-maybe spkg-install
}}}
Note the boolformula.py, etc., above.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:30>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
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-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
