Comments on: Fun with the new Logic module http://fseoane.net/blog/2009/fun-with-the-new-logic-module/ mostly about programming, machine learning and such Wed, 25 Apr 2012 21:29:59 +0000 hourly 1 http://wordpress.org/?v=3.1.2 By: fabian http://fseoane.net/blog/2009/fun-with-the-new-logic-module/#comment-26591 fabian Fri, 19 Jun 2009 10:20:31 +0000 http://fseoane.net/blog/?p=145#comment-26591 Yes, that is done now Yes, that is done now

]]> By: Zeroth http://fseoane.net/blog/2009/fun-with-the-new-logic-module/#comment-26520 Zeroth Wed, 17 Jun 2009 14:47:34 +0000 http://fseoane.net/blog/?p=145#comment-26520 Why don't you override the operators for and, or, etc, so you could use the python keywords? I believe they are here: http://docs.python.org/reference/datamodel.html#emulating-numeric-types Why don’t you override the operators for and, or, etc, so you could use the python keywords? I believe they are here: http://docs.python.org/reference/datamodel.html#emulating-numeric-types

]]> By: Ondrej Certik http://fseoane.net/blog/2009/fun-with-the-new-logic-module/#comment-26117 Ondrej Certik Sun, 31 May 2009 21:37:44 +0000 http://fseoane.net/blog/?p=145#comment-26117 As to overriding || and &&, I think we should and it should be overridden in the Basic class. As to overriding || and &&, I think we should and it should be overridden in the Basic class.

]]> By: Ondrej Certik http://fseoane.net/blog/2009/fun-with-the-new-logic-module/#comment-26116 Ondrej Certik Sun, 31 May 2009 21:31:51 +0000 http://fseoane.net/blog/?p=145#comment-26116 I got this warning: In [7]: to_cnf(Implies(A, And(B, C))) sympy/logic/boolalg.py:93: DeprecationWarning: object.__init__() takes no parameters return super(BooleanFunction, self).__init__(*args, **kwargs) Out[7]: And(Or(B, Not(A)), Or(C, Not(A))) otherwise it works fine, the following tests failed: _______________ sympy/logic/tests/test_boolalg.py:test_And_bool ________________ File "/home/ondrej/repos/sympy/sympy/logic/tests/test_boolalg.py", line 14, in test_And_bool assert And(True, True ) == True AssertionError ________________________________________________________________________________ ________________ sympy/logic/tests/test_boolalg.py:test_Or_bool ________________ File "/home/ondrej/repos/sympy/sympy/logic/tests/test_boolalg.py", line 19, in test_Or_bool assert Or(True, True ) == True AssertionError ________________________________________________________________________________ _______________ sympy/logic/tests/test_boolalg.py:test_Not_bool ________________ File "/home/ondrej/repos/sympy/sympy/logic/tests/test_boolalg.py", line 24, in test_Not_bool assert Not(True, True ) == [False, False] AssertionError tests finished: 1458 passed, 4 failed, 4 skipped, 28 xfailed, 1 xpassed in 100.06 seconds and 5 doctests failed, just run: $ bin/doctest [...] ====== tests finished: 209 passed, 4 failed, 1 exceptions in 2.48 seconds ====== DO *NOT* COMMIT! I got this warning:

In [7]: to_cnf(Implies(A, And(B, C)))
sympy/logic/boolalg.py:93: DeprecationWarning: object.__init__() takes no parameters
return super(BooleanFunction, self).__init__(*args, **kwargs)
Out[7]: And(Or(B, Not(A)), Or(C, Not(A)))

otherwise it works fine, the following tests failed:

_______________ sympy/logic/tests/test_boolalg.py:test_And_bool ________________
File “/home/ondrej/repos/sympy/sympy/logic/tests/test_boolalg.py”, line 14, in test_And_bool
assert And(True, True ) == True
AssertionError
________________________________________________________________________________
________________ sympy/logic/tests/test_boolalg.py:test_Or_bool ________________
File “/home/ondrej/repos/sympy/sympy/logic/tests/test_boolalg.py”, line 19, in test_Or_bool
assert Or(True, True ) == True
AssertionError
________________________________________________________________________________
_______________ sympy/logic/tests/test_boolalg.py:test_Not_bool ________________
File “/home/ondrej/repos/sympy/sympy/logic/tests/test_boolalg.py”, line 24, in test_Not_bool
assert Not(True, True ) == [False, False]
AssertionError

tests finished: 1458 passed, 4 failed, 4 skipped, 28 xfailed, 1 xpassed in 100.06 seconds

and 5 doctests failed, just run:

$ bin/doctest
[...]
====== tests finished: 209 passed, 4 failed, 1 exceptions in 2.48 seconds ======
DO *NOT* COMMIT!

]]>