[sage-devel] Re: progress on Maxima + ECL

2008-05-22 Thread mabshoff
On May 23, 6:47 am, "Robert Dodier" <[EMAIL PROTECTED]> wrote: > Hello, Hi Robert, > I have committed some more patches for ECL on the Maxima CVS > branch patches-for-ecl-branch. With the stuff currently at the end of > the branch, I find that (require 'asdf) (asdf:operate 'asdf:load-source-op

[sage-devel] progress on Maxima + ECL

2008-05-22 Thread Robert Dodier
Hello, I have committed some more patches for ECL on the Maxima CVS branch patches-for-ecl-branch. With the stuff currently at the end of the branch, I find that (require 'asdf) (asdf:operate 'asdf:load-source-op :maxima) (run) run_testsuite(); runs happily and reports no unexpected errors. The h

[sage-devel] Review & Merge Party Math 24th, 2008

2008-05-22 Thread mabshoff
Hello folks, it is probably too late for a formal Bug Day this Saturday, but I would suggest the usual Saturday review and merge session in #sage- devel. Hopefully 3.0.2 will be out by then, so we can be aggressive about merging code. Thoughts? Cheers, Michael --~--~-~--~~-

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Tim Lahey
On Thu, May 22, 2008 at 2:33 PM, Gary Furnish <[EMAIL PROTECTED]> wrote: > > Support for substitution of vectors/matrixes > Support for noncommutative multiplication (with simplification in some > cases). I'm excited about the possibility of these two. One of the things I need to do for finite el

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Drew Whitehouse
Hi Gary, On Fri, May 23, 2008 at 4:33 AM, Gary Furnish <[EMAIL PROTECTED]> wrote: > > Better support for Multivariable calculus and differential geometry. Not sure what's been done for these two but I thought I would point you at this material, it would be great if one could build a similar (th

[sage-devel] Cubic to Weierstrass

2008-05-22 Thread Bobby Moretti
Andrey, The bundle probably would not be of much use to you, since the function takes as input a Sage multivariate polynomial ring element and outputs a Sage elliptic curve over some field, when all you want is symbolic expression in Weierstrass normal form. Do you have a copy of the implementa

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Nick Alexander
On 22-May-08, at 11:33 AM, Gary Furnish wrote: > > So after a discussion on irc about how log2(8) should evaluate to 3 by > default, I thought I'd start taking feature requests for the symbolics > rewrite I'm currently working on. I would like to be able to set how some things print a little e

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Robert Bradshaw
It is possible to create a polynomial over the symbolic ring, i.e. SR ['x,y']. I don't know if this'd be faster though. On May 22, 2008, at 1:08 PM, Andrey Novoseltsev wrote: > > Maybe, but the coefficients are symbolic non-polynomial (and non- > rational) expressions. Can it be done anyway? I

[sage-devel] Re: Cubic to Weierstrass

2008-05-22 Thread William Stein
Andrey, Check out the hg bundle attached to this ticket: http://trac.sagemath.org/sage_trac/ticket/1136 Bobby Moretti was implementing code for doing this transformation, but never finished due to a subtle bug in the transformation maps (he gets the right cubic but not the right maps). It's

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Andrey Novoseltsev
Maybe, but the coefficients are symbolic non-polynomial (and non- rational) expressions. Can it be done anyway? I also had problems with subtracting 1 from an expression, which I got by substituting rational functions into a polynomial, so I switched to symbolic representation. On May 22, 12:54 p

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Gary Furnish
There is definitely going to be some form of pattern matching, as it is pretty much required by simplification. The exact syntax isn't decided yet. 1) Everything has been converted to Cython and all of the internals are pure Cython with no or very few python function calls. The code is essential

[sage-devel] Cubic to Weierstrass

2008-05-22 Thread Andrey Novoseltsev
I tried to convert 2*x*y^2 + 2*a5*t*x*y - x^2 + (2*a4 - 8*t^3)*x - 1, where a4, a5, and t are some complex parameters (which I would like to keep as undetermined parameters), to Weierstrass normal form using Nagell's algorithm and was not quite successful since some steps near the end do not finis

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Robert Bradshaw
It almost sounds to me like you'd rather be working in a multivariate polynomial ring (which will be much, much faster). - Robert On May 22, 2008, at 12:48 PM, Andrey Novoseltsev wrote: > Actually, yesterday was the first time I really tried to use Sage for > symbolic computations and it was

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Andrey Novoseltsev
Actually, yesterday was the first time I really tried to use Sage for symbolic computations and it was quite frustrating for me. 1) It would be really nice if it was faster. 2) It seems to me that ((x+y)*y).coeff(y^2) and ((x+y)*y).expand().coeff(y^2) should return the same coefficient 1 (while

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Harald Schilly
On May 22, 8:33 pm, Gary Furnish <[EMAIL PROTECTED]> wrote: > I thought I'd start taking feature requests ... wow, pretty impressive list!! There is actually one thing that could be interesting: rule based manipulations and substitutions. I don't know if this is in the scope of your work, but bei

[sage-devel] Re: QEPCADB and Saclib released with BSD license

2008-05-22 Thread didier deshommes
On Thu, May 22, 2008 at 2:45 PM, Jason Grout <[EMAIL PROTECTED]> wrote: > I've had someone send me a Mac OSX on x86 port, but I need access to > such a machine to try it out and make it part of the saclib distro. I > have access to solaris-on-x86 boxes, so I may get that port going > eventual

[sage-devel] Re: QEPCADB and Saclib released with BSD license

2008-05-22 Thread Jason Grout
Jason Grout wrote: > I just received the following from Chris Brown. I was so happy I did a > little jig :). I should add that many thanks go to Chris Brown for not only much development work on these packages, but also for all the work to get these relicensed. Thanks, Chris! -Jason --~-

[sage-devel] QEPCADB and Saclib released with BSD license

2008-05-22 Thread Jason Grout
I just received the following from Chris Brown. I was so happy I did a little jig :). Of course, if anyone wants to try cwitty's wonderful interface, see trac ticket http://trac.sagemath.org/sage_trac/ticket/772 . That ticket will probably be updated soon with this new release. Jason, To

[sage-devel] The "Symbolics" Feature Request thread

2008-05-22 Thread Gary Furnish
So after a discussion on irc about how log2(8) should evaluate to 3 by default, I thought I'd start taking feature requests for the symbolics rewrite I'm currently working on. The current list is (with many of these already done) Symbolics must not rely on maxima for most operations. Symbolics mu

[sage-devel] Re: 4-color theorem

2008-05-22 Thread Chris Swierczewski
William and Sara, A couple nights ago, since I couldn't fall asleep, I wrote up some Sage code that supposedly generates an n-coloring of a graph, assuming that one exists. I say "supposedly" since I haven't tested it extensively. However, it did work with a couple of examples. How might I go ab

[sage-devel] Re: SSE2 not so useless after all

2008-05-22 Thread Clement Pernet
Hi, > > Bill, I suppose that also means that now we actually beat (or are close to > beating) Magma on the C2D "for real". My M4RI times are quite similar on the > C2D as your times on your Opteron. But my version of Magma (on the C2D) is > much worse than your version of Magma (on the Optero

[sage-devel] Re: Sage+Java+MathML HELP

2008-05-22 Thread massutt
Tanks a lot Mike!! There is another api to communicate with java?? Somebody knows a CAS opensource accept as input data mathml?? Thank you for your attention! On 22 mayo, 04:01, "Mike Hansen" <[EMAIL PROTECTED]> wrote: > > There is some sage api to communicate with java? > > You can talk to a S

[sage-devel] Re: SSE2 not so useless after all

2008-05-22 Thread Bill Hart
The asymptotics really only kick in when we are using Strassen. The starting point is thus not 0, but the crossover point between M4RM and Strassen. So I don't think you can read too much into the asymptotic statement. But once the asymptotics do kick in, we aren't too far off. The only thing thro

[sage-devel] Re: SSE2 not so useless after all

2008-05-22 Thread Martin Albrecht
On Thursday 22 May 2008, Bill Hart wrote: > Hi Martin, > > This version works great. Here are the times on my unburdened 2.8Ghz > Opteron. First the Magma times, then the times for an older version of > m4ri and now, for the first time ever, the new Magma beating times: > > 1x1: 2.940s 3.1

[sage-devel] Re: Sage+Java+MathML HELP

2008-05-22 Thread Mike Hansen
> There is some sage api to communicate with java? You can talk to a Sage server over HTTP and can find examples of how to use it in this thread. http://groups.google.com/group/sage-edu/browse_thread/thread/f2935bb4ddb72dc5 > With sage is possible to interpret a document MathML? Sage cannot rea

[sage-devel] Sage+Java+MathML HELP

2008-05-22 Thread massutt
Hi! I need a little help! I want to make a web application, using MathML as data entry and sage who can interpret this xml and return the result of the mathematical expression written in MathML. There is some sage api to communicate with java? With sage is possible to interpret a document MathM