Date: Sat Aug 29 05:07:12 2009
Log: Edited wiki page through web user interface. http://code.google.com/p/sympy/source/detail?r=3274
--- /wiki/AssumptionsReport.wiki Sat Aug 29 05:06:44 2009
+++ /wiki/AssumptionsReport.wiki Sat Aug 29 05:07:12 2009
@@ -5,8 +5,11 @@
The main goals in my project are to build a new assumption system. By an
assumption system I mean a module that can extract conclusions from
assumptions and known facts. My module should have the following qualities:
- It should be out of the core, and the core should not have any
dependencies on this.
- It should be easily extensible.
- It should have a nice user interface.
- It should be fast.