I have created the first draft of my proposal for "Optimising
floating-point expressions",
https://docs.google.com/document/d/12eBRsCbZkBfh4pj2MAaurdMWx6nd1MTYxXTmlRKriJ8/edit?usp=sharing
Mentors, please suggest changes.
--
You received this message because you are subscribed to the Google Gro
Herbie also uses heuristic search estimates and localize error using
sampled points.
Same as in Fu et al, Herbie applies a database of rules and follows an
algorithm that recursively rewrites candidate programs.
I have attached a pdf that includes the rules that have to there in the
database.
The paper about Herbie is very interesting. Since SymPy is primarily
symbolic it would work well at producing expressions via Herbie that would
perform well -- an optimized expression for evaluation. It reminds me a
little of the Fu-heuristics that are used for trigonometric simplifications.
/c
The current evalf() is used to evaluate a numerical expression into a
floating-point number using an arbitrary precision library mpmath.
What I want to do is to get the best answer for different ranges that
varies from (-inf, inf) without increasing precision.
for example:
expr1 = (x + 1)**0.5 -
It's not clear to me what problem your proposal is intending to solve.
In what way is it different from the current evalf algorithm/results?
--
Oscar
On Wed, 11 Mar 2020 at 22:48, Shubham thorat wrote:
>
> This is how I have divided the tasks:
> The algorithm is defined in this paper:
> https:/
This is how I have divided the tasks:
The algorithm is defined in this paper:
https://herbie.uwplse.org/pldi15-paper.pdf
1. Error Calculation on sampling points
- Find the best-accepted level of precision so we calculate the actual
correctly up to 64 bits by increasing the precis
I am referring the given links for optimizing floating-point expressions
https://herbie.uwplse.org/
https://ece.uwaterloo.ca/~dwharder/NumericalAnalysis/02Numerics/Double/paper.pdf
*T**o Do*
-
*1]* *databases of rules **to find rearrangements*(the database can be
updated by u
Welcome!
On Mar 29, 6:32 pm, Nishant Jain wrote:
> Hi,
> I am a student at the Indian Institute of Technology, Kharagpur. I'm a third
> year undergraduate student studying mathematics and computing.
> I have gone through the Ideas page and I am interested on working on
> 'Efficient Groebner bases
Hi,
I am looking at Issue 834 http://code.google.com/p/sympy/issues/detail?id=834.
I feel I understand the problem and how I would fix it. But would I be
able to get feedback on what fix would be best so I can practice
submitting a patch? I've added a comment to the issue with my
questions about
On Mon, Mar 28, 2011 at 2:07 PM, weralwolf wrote:
> Can some one help me and tell what I should do next... I create some
> kind of application:
> https://github.com/sympy/sympy/wiki/GSoC-2011-Application-Anatolii-Koval
> (will appreciative to hear critic and amendments)
> I have send pull request
Some general comments:
* It would be useful if you have a patch that changed sympy itself.
While your example is nice, it doesn't show that you have dived into
the sympy code base.
* You need to have a very specific and concrete proposal for what you
will do. This needs to include, background and
Can some one help me and tell what I should do next... I create some
kind of application:
https://github.com/sympy/sympy/wiki/GSoC-2011-Application-Anatolii-Koval
(will appreciative to hear critic and amendments)
I have send pull request: https://github.com/sympy/sympy/pull/159 and
waiting for app
Yes, the present use case is only for integers. We do not really use floating
point numbers (our numerical library, mpmath, has its own arbitrary precision
floating point implementation).
This can be expanded, though, to cover other C types, like arrays for
lists/tuples.
Aaron Meurer
On Mar
Hey,
I’m learning about SymPy’s use of Cython at the moment so I can write
my proposal. I've been looking at past discussions and the code.
The ‘cythonized’ decorator seems to cast all given variables to local
C int types ('cython.int'). Why only ints and no decimals? Is this
because SymPy has it
Hi. I'm continuing to look at Cython. I've added a wiki page.
https://github.com/sympy/sympy/wiki/Optimising-SymPy-using-CythonGSoC-Proposal,-Ben-McDonald
Ben M
On Mar 24, 1:10 pm, "Aaron S. Meurer" wrote:
> Yes, maybe you could look at cythonizing the logic code (ilke the SAT
> solver). A
On Mar 25, 7:50 pm, Ondrej Certik wrote:
> On Fri, Mar 25, 2011 at 8:35 AM, weralwolf wrote:
> > On Mar 25, 2:41 pm, Vinzent Steinberg
> > wrote:
> >> On 24 Mrz., 17:54, weralwolf wrote:
>
> >> > On Mar 24, 6:53 pm, Vinzent Steinberg
>
> >> > wrote:
> >> > > Hi,
>
> >> > > On Mar 23, 6:04 pm,
On Fri, Mar 25, 2011 at 8:35 AM, weralwolf wrote:
> On Mar 25, 2:41 pm, Vinzent Steinberg
> wrote:
>> On 24 Mrz., 17:54, weralwolf wrote:
>>
>>
>>
>>
>>
>> > On Mar 24, 6:53 pm, Vinzent Steinberg
>>
>> > wrote:
>> > > Hi,
>>
>> > > On Mar 23, 6:04 pm, weralwolf wrote:
>>
>> > > > Hello, where
On Mar 25, 2:41 pm, Vinzent Steinberg
wrote:
> On 24 Mrz., 17:54, weralwolf wrote:
>
>
>
>
>
> > On Mar 24, 6:53 pm, Vinzent Steinberg
>
> > wrote:
> > > Hi,
>
> > > On Mar 23, 6:04 pm, weralwolf wrote:
>
> > > > Hello, where my simple example of calculations corrections due to
> > > > perturba
On 24 Mrz., 17:54, weralwolf wrote:
> On Mar 24, 6:53 pm, Vinzent Steinberg
>
> wrote:
> > Hi,
>
> > On Mar 23, 6:04 pm, weralwolf wrote:
>
> > > Hello, where my simple example of calculations corrections due to
> > > perturbation theory for hole with infinite walls. I thinks I didn't
> > > use
On Thu, Mar 24, 2011 at 2:54 PM, weralwolf wrote:
>
>
> On Mar 24, 6:53 pm, Vinzent Steinberg
> wrote:
>> Hi,
>>
>> On Mar 23, 6:04 pm, weralwolf wrote:
>>
>> > Hello, where my simple example of calculations corrections due to
>> > perturbation theory for hole with infinite walls. I thinks I did
On Mar 24, 6:53 pm, Vinzent Steinberg
wrote:
> Hi,
>
> On Mar 23, 6:04 pm, weralwolf wrote:
>
> > Hello, where my simple example of calculations corrections due to
> > perturbation theory for hole with infinite walls. I thinks I didn't
> > use all SymPy features, so if it possible guide me.
> >
On Thu, Mar 24, 2011 at 1:12 PM, Ondrej Certik wrote:
> On Thu, Mar 24, 2011 at 11:06 AM, Ondrej Certik wrote:
>> On Thu, Mar 24, 2011 at 9:59 AM, weralwolf wrote:
>>>
>>>
>>> On Mar 24, 6:53 pm, Vinzent Steinberg
>>> wrote:
Hi,
On Mar 23, 6:04 pm, weralwolf wrote:
> H
On Thu, Mar 24, 2011 at 11:06 AM, Ondrej Certik wrote:
> On Thu, Mar 24, 2011 at 9:59 AM, weralwolf wrote:
>>
>>
>> On Mar 24, 6:53 pm, Vinzent Steinberg
>> wrote:
>>> Hi,
>>>
>>> On Mar 23, 6:04 pm, weralwolf wrote:
>>>
>>> > Hello, where my simple example of calculations corrections due to
>>
On Thu, Mar 24, 2011 at 9:59 AM, weralwolf wrote:
>
>
> On Mar 24, 6:53 pm, Vinzent Steinberg
> wrote:
>> Hi,
>>
>> On Mar 23, 6:04 pm, weralwolf wrote:
>>
>> > Hello, where my simple example of calculations corrections due to
>> > perturbation theory for hole with infinite walls. I thinks I did
On Mar 24, 6:53 pm, Vinzent Steinberg
wrote:
> Hi,
>
> On Mar 23, 6:04 pm, weralwolf wrote:
>
> > Hello, where my simple example of calculations corrections due to
> > perturbation theory for hole with infinite walls. I thinks I didn't
> > use all SymPy features, so if it possible guide me.
> >
Hi,
On Mar 23, 6:04 pm, weralwolf wrote:
> Hello, where my simple example of calculations corrections due to
> perturbation theory for hole with infinite walls. I thinks I didn't
> use all SymPy features, so if it possible guide me.
> Source:http://pygments.org/demo/16998/
Nice, do you think thi
2011/3/24 Alexey U. Gudchenko
>
> 24.03.2011 19:22, weralwolf пишет:
>
> Hi,
>
> It's very hopeful title, but I just notice that :
>
> Yes, let's use this convention. Title the page like "GSoC 2011
>> Application Your Name". Someone go ahead and rename all existing pages to
>> this format.
>>
24.03.2011 19:22, weralwolf пишет:
Hi,
It's very hopeful title, but I just notice that :
Yes, let's use this convention. Title the page like "GSoC 2011 Application Your
Name". Someone go ahead and rename all existing pages to this format.
Aaron Meurer
http://groups.google.com/group/sym
Sorry, but due to unexpected error what happens to my yesterday I
think it will be more useful to continue this topic there:
http://groups.google.com/group/sympy/browse_thread/thread/ade9df0af84bd17c
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To p
On Mar 24, 12:22 am, Ondrej Certik wrote:
> On Wed, Mar 23, 2011 at 1:42 PM, weralwolf wrote:
>
> > On 23 Бер, 21:48, Ondrej Certik wrote:
> >> On Wed, Mar 23, 2011 at 10:04 AM, weralwolf wrote:
> >> > Hello, where my simple example of calculations corrections due to
> >> > perturbation theor
On 24 Бер, 00:22, Ondrej Certik wrote:
> On Wed, Mar 23, 2011 at 1:42 PM, weralwolf wrote:
>
> > On 23 Бер, 21:48, Ondrej Certik wrote:
> >> On Wed, Mar 23, 2011 at 10:04 AM, weralwolf wrote:
> >> > Hello, where my simple example of calculations corrections due to
> >> > perturbation theory f
Yes, maybe you could look at cythonizing the logic code (ilke the SAT solver).
Another idea that comes to mind is the matrices. The other really big main
part aside from the core is the polys, but Mateusz has already been working on
cythonizing the core of that. Maybe you could see what he ha
Le mercredi 23 mars 2011 à 16:09 -0700, Friedman a écrit :
> Thanks for the link Aaron.
>
> What other parts of SymPy could be optimised without working on
> deprecated code? I could try to produce a dependence graph to find the
> most referenced modules.
>
> I read in that thread that removing t
Thanks for the link Aaron.
What other parts of SymPy could be optimised without working on
deprecated code? I could try to produce a dependence graph to find the
most referenced modules.
I read in that thread that removing the old assumptions could be a
challenging project. What skills does it re
On Wed, Mar 23, 2011 at 1:42 PM, weralwolf wrote:
>
>
> On 23 Бер, 21:48, Ondrej Certik wrote:
>> On Wed, Mar 23, 2011 at 10:04 AM, weralwolf wrote:
>> > Hello, where my simple example of calculations corrections due to
>> > perturbation theory for hole with infinite walls. I thinks I didn't
>>
On 23 Бер, 21:48, Ondrej Certik wrote:
> On Wed, Mar 23, 2011 at 10:04 AM, weralwolf wrote:
> > Hello, where my simple example of calculations corrections due to
> > perturbation theory for hole with infinite walls. I thinks I didn't
> > use all SymPy features, so if it possible guide me.
> > S
Problem was solved when I reconnect from other network. Because before
I haven't see any discussions after 22.03.11
On 23 Бер, 20:52, "Aaron S. Meurer" wrote:
> I don't think it's possible to delete a discussion on a public mailing list.
> But I think Google Groups has a bug where sometimes it
2011/3/23 Julien Rioux
> On Mar 23, 12:57 pm, weralwolf wrote:
> > Hello, where my simple example of calculations corrections due to
> > perturbation theory for hole with infinite walls. I thinks I didn't
> > use all sympy features, so if it possible guide me.
> > Source:http://pygments.org/demo
On Mar 23, 12:57 pm, weralwolf wrote:
> Hello, where my simple example of calculations corrections due to
> perturbation theory for hole with infinite walls. I thinks I didn't
> use all sympy features, so if it possible guide me.
> Source:http://pygments.org/demo/16998/
I think you forgot to put
39 matches
Mail list logo