On Dec 29, 2008, at 9:13 PM, root wrote:
I think there might be a bit of overconfidence in assuming that any
one of the top 10 Sage developers is going to reproduce even a
fraction of that complexity in the near term.
That's not what is being discussed. The question is about the
Writing a common lisp system in python would solve your problem and be
more feasible, in my opinion.
If you want to write a program to do 80-90 percent of freshman
calculus problems, copy the program
in Norvig's book which implements the derivative-divides method (and
is based on a program I
Hi William,
I do not see sympy at all as the future for symbolic integration. I
would instead imagine looking more broadly for a way to get symbolic
integration capabilities into Sage. This could include:
* writing something from scratch
* porting what is in GIAC
* porting what
On Mon, 29 Dec 2008 16:32:06 -0800
William Stein wst...@gmail.com wrote:
snip
I do not see sympy at all as the future for symbolic integration. I
would instead imagine looking more broadly for a way to get symbolic
integration capabilities into Sage. This could include:
* writing
On Dec 30, 2008, at 1:54 PM, Burcin Erocal wrote:
A longer term project (1-2 months), is to implement the transcendental
Risch algorithm from scratch. This can be done by going through the
pseudo code in Bronstein's book
On Mon, 29 Dec 2008 16:44:48 -0800
William Stein wst...@gmail.com wrote:
snip
I noticed Burcin said the following in IRC, which is related to the
above distinction:
12:58 burcin I thought this was the goal all along, I don't see
why we needed a new discussion about this
One reason we
On Tue, Dec 30, 2008 at 11:34 AM, Burcin Erocal bur...@erocal.org wrote:
On Mon, 29 Dec 2008 16:44:48 -0800
William Stein wst...@gmail.com wrote:
snip
I noticed Burcin said the following in IRC, which is related to the
above distinction:
12:58 burcin I thought this was the goal all
Could you please elaborate (in technical terms) what is wrong in
principle with our Risch algorithm implementation, apart that it needs
fixing for integrals that it cannot yet do? Or is the approach we took
with sympy not the right one to get the symbolic integration done.
If Sage developers are
On Dec 30, 2008, at 1:21 PM, root wrote:
Ondrej,
As an objective measure of sympy, what results do you get for the
Schaums test suite:
http://axiom-developer.org/axiom-website/CATS
Tim,
I'm planning on supporting SymPy at some point with my version of
the test suite, but differences
On Tue, Dec 30, 2008 at 1:16 PM, Tim Lahey tim.la...@gmail.com wrote:
On Dec 30, 2008, at 1:21 PM, root wrote:
Ondrej,
As an objective measure of sympy, what results do you get for the
Schaums test suite:
http://axiom-developer.org/axiom-website/CATS
Tim,
I'm planning on supporting
On Dec 30, 2008, at 4:23 PM, Ondrej Certik wrote:
Thanks for doing it. I'll try to fix any remaining problems with the
conversion if there are some.
No problem. Sympy is the main reason I've decided to release the
test suite as BSD. That way, once it's complete you'll be able to
include it
On Tue, Dec 30, 2008 at 1:31 PM, Tim Lahey tim.la...@gmail.com wrote:
On Dec 30, 2008, at 4:23 PM, Ondrej Certik wrote:
Thanks for doing it. I'll try to fix any remaining problems with the
conversion if there are some.
No problem. Sympy is the main reason I've decided to release the
Could you please elaborate (in technical terms) what is wrong in
principle with our Risch algorithm implementation, apart that it needs
fixing for integrals that it cannot yet do? Or is the approach we took
with sympy not the right one to get the symbolic integration done.
If Sage developers are
On Dec 29, 12:39 pm, root d...@axiom-developer.org wrote:
Hi,
The possibility to dump lisp and maxima entirely from Sage keeps
popping into my head.
If you only wish to eliminate Maxima then Fricas would suffice.
If you wish to dump lisp then this implies dumping the Fricas
package also
On Dec 29, 2008, at 3:17 PM, William Stein wrote:
Hi,
The possibility to dump lisp and maxima entirely from Sage keeps
popping into my head. I would like this thread to be entirely 100%
about the technical *feasibility* of removing maxima as a standard
component of Sage. Whether or
Hi,
On Mon, 29 Dec 2008 12:28:52 -0800 (PST)
mabshoff mabsh...@googlemail.com wrote:
On Dec 29, 12:17 pm, William Stein wst...@gmail.com wrote:
The possibility to dump lisp and maxima entirely from Sage keeps
popping into my head. I would like this thread to be entirely 100%
about
basically, +1
On Dec 29, 10:28 pm, Burcin Erocal bur...@erocal.org wrote:
It would be good to start a wiki page to make a list of what needs to
be replaced/rewritten to be able to drop the maxima dependency without
losing functionality.
good idea, there could also be a separate trac
On Mon, Dec 29, 2008 at 12:28 PM, mabshoff mabsh...@googlemail.com wrote:
On Dec 29, 12:17 pm, William Stein wst...@gmail.com wrote:
Hi,
Hi,
The possibility to dump lisp and maxima entirely from Sage keeps
popping into my head. I would like this thread to be entirely 100%
about the
On Mon, Dec 29, 2008 at 1:22 PM, Tim Lahey tim.la...@gmail.com wrote:
On Dec 29, 2008, at 3:17 PM, William Stein wrote:
Hi,
The possibility to dump lisp and maxima entirely from Sage keeps
popping into my head. I would like this thread to be entirely 100%
about the technical
On Mon, Dec 29, 2008 at 2:04 PM, Harald Schilly
harald.schi...@gmail.com wrote:
basically, +1
On Dec 29, 10:28 pm, Burcin Erocal bur...@erocal.org wrote:
It would be good to start a wiki page to make a list of what needs to
be replaced/rewritten to be able to drop the maxima dependency
William suggests...
I don't mean to suggest this could be trivially done by anybody right
now. I'm talking about feasibility in the sense of several very hard
weeks work by one of the top 10 Sage developers.
...
1. Consider lines of code. How many correct LOC/day does a top 10
Sage
I don't mean to suggest this could be trivially done by anybody right
now. I'm talking about feasibility in the sense of several very hard
weeks work by one of the top 10 Sage developers.
...
1. Consider lines of code. How many correct LOC/day does a top 10
Sage developer write? On
I think there might be a bit of overconfidence in assuming that any
one of the top 10 Sage developers is going to reproduce even a
fraction of that complexity in the near term.
That's not what is being discussed. The question is about the
technical feasibility of removing lisp/maxima from
23 matches
Mail list logo