Status: New
Owner: ----
Labels: Type-Defect Priority-Medium

New issue 3165 by [email protected]: latex() shows incorrect answer for logic expressions: parenthesis omitted
http://code.google.com/p/sympy/issues/detail?id=3165

In [11]: A,B=symbols('A B')

In [12]: ~(A>>~B)
Out[12]: ¬ (A → ¬ B)

In [13]: latex(~(A>>~B))
Out[13]: \neg A \Rightarrow \neg B

Correct answer for Out[13] should be

Out[13]: \neg (A \Rightarrow \neg B)

So the answer provided by the latex() printer is not correct in this case.

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" 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/sympy-issues?hl=en.

Reply via email to