On Thu, Jul 17, 2014 at 5:59 PM, Aaron Meurer wrote:
> On Wed, Jul 16, 2014 at 10:35 PM, James Crist wrote:
>> On Friday, July 11, 2014 11:13:28 PM UTC-5, Richard Fateman wrote:
>>>
>>> The obvious brute force method would be to use software floats in which
>>> case you could increase the precisi
On Thu, Jul 17, 2014 at 8:07 PM, Matthew Rocklin wrote:
> The benefit of pattern matching is that 1 complex if-then-else
> constructions are hard to write well.
Yes, the rules must be written using symbolic language, so that the
equations can be displayed, and manually or automatically checke
I should correct my previous e-mail and say that the popularity of *this
kind of rich pattern matching* has been dead since the 90s.
On Thu, Jul 17, 2014 at 7:07 PM, Matthew Rocklin wrote:
> The benefit of pattern matching is that 1 complex if-then-else
> constructions are hard to write wel
The benefit of pattern matching is that 1 complex if-then-else
constructions are hard to write well. Richard the popularity of pattern
matching has been pretty much dead since the 90s. That being said it isn't
a poor crutch, languages like Maude, Elan, and more recently Stratego/XT
demonstrat
On Thu, Jul 17, 2014 at 7:27 PM, Richard Fateman wrote:
> Rubi is apparently structured so that at any time at most one rule will be
> applicable,
> and it should be easy to figure out how to exclude everything else. I think
> that
> Albert Rich even expressed the notion that Rubi did not actuall
Rubi is apparently structured so that at any time at most one rule will be
applicable,
and it should be easy to figure out how to exclude everything else. I
think that
Albert Rich even expressed the notion that Rubi did not actually need to be
structured as rules..
--- just If/then/else
The po
On Thu, Sep 26, 2013 at 6:37 PM, Aaron Meurer wrote:
> My idea was to put assumptions on Wild expressions. I guess using the
> new assumptions system, the assumptions do not need to be, nor should
> they be, actually tied to the symbols. This will also make it easy to
> add assumptions about gener
The problem with a separate class is that you suddenly need make new
subclasses for lots of different situations (exprs, sets, matrices).
Although maybe Soumya is working in a simpler setting.
On Thu, Jul 17, 2014 at 4:52 PM, Aaron Meurer wrote:
> On Thu, Jul 17, 2014 at 6:50 PM, Matthew Rockl
On Wed, Jul 16, 2014 at 10:35 PM, James Crist wrote:
> On Friday, July 11, 2014 11:13:28 PM UTC-5, Richard Fateman wrote:
>>
>> The obvious brute force method would be to use software floats in which
>> case you could increase the precision and the range of the
>> numbers involved. I'm assuming
On Thu, Jul 17, 2014 at 6:50 PM, Matthew Rocklin wrote:
> What is the class of constants that you'd like to include in your
> expressions? Are they all valid sub-expressions? If so, and if you're ok
> with a hack, you could always differentiate between constant Symbols and
> wild-card Symbols by
What is the class of constants that you'd like to include in your
expressions? Are they all valid sub-expressions? If so, and if you're ok
with a hack, you could always differentiate between constant Symbols and
wild-card Symbols by using some odd convention, like the names start with
`~` or they
I think we need to do better historical benchmarking for SymPy. There
was a talk at SciPy about airspeed velocity, which is designed for
just that (see https://github.com/sympy/sympy/issues/7715). It would
be great if we could set up some system that could run that and keep
track of performance dif
Hi Madison,
On Thu, Jul 17, 2014 at 4:27 PM, Madison Stemm wrote:
> Hi, I'm not sure if this is well-known in the SymPy community, but my team
> uses SymPy for a program we're writing, and I've discovered a slowdown that
I would be interested to know more about your application.
> has been accu
Hi, I'm not sure if this is well-known in the SymPy community, but my team
uses SymPy for a program we're writing, and I've discovered a slowdown that
has been accumulating with SymPy versions since 0.7.1. Our program calls
solvers.Solve() 10,000 times, and that shows a 25-50 second increase in
We don't have a release timeline. We can really do one whenever. There
are some blocking issues on the milestone
https://github.com/sympy/sympy/issues?milestone=8&state=open, although
I'm guessing that most of those can be pushed.
Aaron Meurer
On Thu, Jul 17, 2014 at 7:20 AM, Denis Akhiyarov
wro
Jim,
You can use SymPy's arbitrary precision methods to evaluate the
expressions but they will be very slow which is only useful for tiny
toy problems. Lambdify and the codegen stuff simply write code that
evaluates the expressions to floating point precision. Ondrej
mentioned that this code be an
Hello Everyone,
I have been working on building the First Order Logic module for SymPy and
the (basic) architecture is almost complete. However I have run into a
problem that I can't seem to be able to solve.
As many of you would be aware of, FOL uses predicates, functions,
variables, constant
Hi Ondrej,
When can I expect sympy 0.7.6 or next release?
Thanks,
Denis
On Wednesday, July 16, 2014 2:01:06 PM UTC-5, Ondřej Čertík wrote:
>
> Hi Denis,
>
> On Wed, Jul 16, 2014 at 8:32 AM, Denis Akhiyarov
> > wrote:
> > I'm calling iteratively functions from embedded python. The functions
>
18 matches
Mail list logo
