I don't follow... if you can reason about a+b, why can't you reason
about lambda(a),a+b or some other
variation? Unless the lambda().. is changed into binary code, it is
still symbolic-ish.
Reasoning about binary can, of course, be done, but people usually don't
like to do that.
RJF
On Sunday, July 20, 2014 11:20:28 AM UTC-7, Aaron Meurer wrote:
>
> On Sun, Jul 20, 2014 at 12:20 PM, Sergey B Kirpichev
> <skirp...@gmail.com <javascript:>> wrote:
> > On Sun, Jul 20, 2014 at 08:55:12AM -0700, F. B. wrote:
> >> On Sunday, July 20, 2014 12:28:08 AM UTC, Matthew wrote:
> >>
> >> > Hmm. What's wrong with x = Wild('x', integer=True, odd=True),
> like
> >> Symbol?
> >> +1
> >>
> >> OK, let's keep it that way.
> >>
> >> There is still need for an API to define attributes not related to
> >> assumptions. For example: default values, sequence matching,
> optionality.
> >
> > We should examine these cases one by one. It doesn't looks for me,
> > that this approach restricted to assumptions only.
>
> I agree. I think we should be careful to avoid things where you just
> pass in lambda functions, because you can't do any reasoning with
> them. They are just black boxes. Also, they are very ugly.
>
> Aaron Meurer
>
> >
> > --
> > 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+un...@googlegroups.com <javascript:>.
> > To post to this group, send email to sy...@googlegroups.com
> <javascript:>.
> > Visit this group at http://groups.google.com/group/sympy.
> > To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/20140720172014.GC30803%40darkstar.order.hcn-strela.ru.
>
>
> > For more options, visit https://groups.google.com/d/optout.
>
--
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.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/8b53aeba-c136-41e4-a159-e5a170371e49%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
