Hello, I am trying to get the functionality of the logic module (conversion to cnf) where each symbol represents an atom in the first order logic sense. That means, each atom would contain arguments that can be used for pattern matching. Unfortunately, defining a class C(Function,Boolean) allows to do the conversion to cnf but somehow destroys the Function functionalities. What would be the proper way of getting such functionality in sympy?
Thanks for this great project! -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
