I notice that both Predicate and AppliedPredicate subclass Boolean. Should Predicate be a Boolean or some sort of BooleanFunction?
On Mon, Oct 22, 2012 at 12:43 PM, Matthew Rocklin <mrock...@gmail.com>wrote: > It looks like there is some code in ask.py that is specific to > expressions. Should I put matrix assumptions here too or separate this into > different files. In particular there is code like this > > known_facts = And( > Implies(Q.real, Q.complex), > Implies(Q.real, Q.hermitian), > .... > ) > > Should I just add to this in the same file? > > There is also known_facts_cnf which mentions that it might be generated. > Is there a process to update this code? > > On Mon, Oct 22, 2012 at 8:36 AM, Matthew Rocklin <mrock...@gmail.com>wrote: > >> I'm on this topic again. Does anyone have any thoughts? >> >> >> On Fri, Mar 30, 2012 at 10:48 AM, Matthew Rocklin <mrock...@gmail.com>wrote: >> >>> I'm interested in developing an assumptions system for matrices. This >>> would have predicates like symmetric, singular, orthogonal, etc.... >>> >>> I've looked through the current assumptions system (and a little bit >>> through pull 1162). From this I'm able to create matrix assumptions by >>> adding to the files in sympy/assumptions. I create a new directory for >>> matrix handlers (a la sets, ntheory, calculus) and I add new predicates to >>> Q in ask.py. >>> >>> This doesn't feel right though, I'm mixing two different assumption >>> systems into one set of files. For example Q now has two disjoint sets of >>> predicates. What is the right way to do things? Is there a clean way to >>> instantiate a new module specific assumptions system? >>> >>> -Matt >>> >> >> > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
