[sage-devel] SymbolicVariable._has_been_simplified()

2008-09-30 Thread Paisa Seeluangsawat
Hi, These commands probably should return True. sage: x._has_been_simplified() False sage: y = simplify(x) sage: y._has_been_simplified() False Paisa --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe

[sage-devel] SymbolicExpression.__call__() is slow

2008-09-30 Thread Paisa Seeluangsawat
Hi, This command is surprisingly slow, sage: f = sum([x]*100) sage: f 100*x sage: time f(1) CPU times: user 3.26 s, sys: 0.71 s, total: 3.97 s Wall time: 12.20 s 100 This stems from the quirk I mentioned in an earlier email today. The problem is that f.variables() relies on the

[sage-devel] always print parent

2008-09-30 Thread Martin Rubey
Dear all, is it possible to have Sage always print the parent of the object, when it's printed, as FriCAS does it? (1) - 3/2 3 (1) - 2 Type: Fraction(Integer) (2) - x^2+1 2 (2) x + 1

[sage-devel] Re: Proposal for Inclusion into Sage: Sphinx, Docutils, Pygments, and Jinja

2008-09-30 Thread Martin Albrecht
VOTE: [X] Yes, include these in Sage Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _www: http://www.informatik.uni-bremen.de/~malb _jab: [EMAIL PROTECTED] --~--~-~--~~~---~--~~ To post to this

[sage-devel] SymbolicConstant-ness propagation

2008-09-30 Thread Paisa Seeluangsawat
Hi, From sage/calculus/calculus.py::SymbolicArithmetic._recursive_sub(self, kwds): #Check to see if all of the new_ops are symbolic constants #If so, then we should return a symbolic constant. is_constant = all(map(lambda x: isinstance(x, SymbolicConstant), new_ops)) if

[sage-devel] Re: always print parent

2008-09-30 Thread Mike Hansen
Hello, On Tue, Sep 30, 2008 at 1:18 AM, Martin Rubey [EMAIL PROTECTED] wrote: Dear all, is it possible to have Sage always print the parent of the object, when it's printed, as FriCAS does it? Sure, you just have to add a hook into IPython. For example, you can add the following to your

[sage-devel] Re: Sage 3.1.3.alpha1 released

2008-09-30 Thread John Cremona
2008/9/26 mabshoff [EMAIL PROTECTED]: On Sep 25, 4:20 pm, mabshoff [EMAIL PROTECTED] wrote: SNIP The only file directly touching that file is alpha1/trac_4175-no- impl.patch. It looks harmless, i.e. turning a bunch of cdef into cpdef functions. So this must be somewhat deeper. Check

[sage-devel] Re: Sage 3.1.3.alpha1 released

2008-09-30 Thread mabshoff
On Sep 30, 2:06 am, John Cremona [EMAIL PROTECTED] wrote: 2008/9/26 mabshoff [EMAIL PROTECTED]: On Sep 25, 4:20 pm, mabshoff [EMAIL PROTECTED] wrote: SNIP The only file directly touching that file is alpha1/trac_4175-no- impl.patch. It looks harmless, i.e. turning a bunch of cdef

[sage-devel] Re: Proposal for Inclusion into Sage: Sphinx, Docutils, Pygments, and Jinja

2008-09-30 Thread didier deshommes
On Mon, Sep 29, 2008 at 7:16 PM, Mike Hansen [EMAIL PROTECTED] wrote: VOTE: [ ] Yes, include these in Sage [ ] No, do not (please explain) [ ] Hmm, I have questions (please ask). +1, and a question. As far as I know, pygments doesn't have syntax-highlighting for pyrex files. If you wrote

[sage-devel] Re: Inconsistency in interpreting the arguments of some functions

2008-09-30 Thread John Cremona
I think the only reason I has caused this discussion at all is that it exists already in the Symbolic Ring. To a number theorist (which from his emails Georg appears to be!) there is no reason to make sqrt(-1) more special than sqrt(2) or any other sqrt(integer). So I don't much like the idea

[sage-devel] Re: SymbolicConstant-ness propagation

2008-09-30 Thread Paisa Seeluangsawat
There was a typo in my last email. +def _recursive_sub(self, kwds): +ops = self._operands +arg = ops[1]._recursive_sub(kwds) +if isinstance(arg, SymbolicConstant): +return SymbolicConstant(ops[0](arg._obj))typo on this line +return ops[0](arg)

[sage-devel] Re: Proposal for Inclusion into Sage: Sphinx, Docutils, Pygments, and Jinja

2008-09-30 Thread David Joyner
On Mon, Sep 29, 2008 at 7:16 PM, Mike Hansen [EMAIL PROTECTED] wrote: Hello all, As part of the conversion of the Sage documentation to Sphinx, I propose that Sphinx and its dependencies (Docutils, Pygments, and Jinja) be added to Sage. Here are brief descriptions for what each of the

[sage-devel] Re: Sciface Software GmbH (makers of MuPAD) bought by Mathworks (i.e. the MATLAB people)

2008-09-30 Thread parisse
So the core concern is the pricing policy: will they strive, as MuPAD did before, to provide affordable quality computer algebra system? Or not. There is probably another concern for MuPAD users: I guess that the current employees of sciface will work for matlab. How many of them will

[sage-devel] Re: Proposal for Inclusion into Sage: Sphinx, Docutils, Pygments, and Jinja

2008-09-30 Thread Dag Sverre Seljebotn
didier deshommes wrote: On Mon, Sep 29, 2008 at 7:16 PM, Mike Hansen [EMAIL PROTECTED] wrote: VOTE: [ ] Yes, include these in Sage [ ] No, do not (please explain) [ ] Hmm, I have questions (please ask). +1, and a question. As far as I know, pygments doesn't have syntax-highlighting for

[sage-devel] Re: [sage-combinat-devel] Re: [sage-devel] Re: Sciface Software GmbH (makers of MuPAD) bought by Mathworks (i.e. the MATLAB people)

2008-09-30 Thread William Stein
On Tue, Sep 30, 2008 at 4:12 AM, Nicolas M. Thiery [EMAIL PROTECTED] wrote: Hi! it is September 30th, so any news yet? They have updated their web page: http://www.mathworks.com/support/faq/mupad.html In short: MuPAD is now incorporated into Symbolic Math Toolbox by

[sage-devel] Re: SymbolicConstant-ness propagation

2008-09-30 Thread William Stein
Dear Paisa, Thanks for your numerous erudite remarks about issues with the maxima-based symbolic manipulation in Sage. We're actually right now changing Sage to use Ginac (a superb C++ library) for the underlying symbolic manipulation engine (instead of maxima). Preliminary code that lays the

[sage-devel] Sage/Mercurial Merge Question

2008-09-30 Thread Jonathan Hanke
Hi, I have a question about how to merge patches when they misbehave. I have some development code in a sage 2.8.14 branch which I want to merge to the newest version of sage on another machine (both Macs). To do this I installed mercurial, compiled the new sage, and cloned a new branch from it

[sage-devel] Re: Sage/Mercurial Merge Question

2008-09-30 Thread William Stein
On Tue, Sep 30, 2008 at 8:52 AM, Jonathan Hanke [EMAIL PROTECTED] wrote: Hi, I have a question about how to merge patches when they misbehave. I have some development code in a sage 2.8.14 branch which I want to merge to the newest version of sage on another machine (both Macs). To do this

[sage-devel] Re: Sage/Mercurial Merge Question

2008-09-30 Thread [EMAIL PROTECTED]
Great That's much simpler. =) This clears up the patch forcing, but I still get merge conflict errors when I run 'hg merge'. Is there a nice way resolving these conflicts? Thanks, -Jon =) On Sep 30, 11:58 am, William Stein [EMAIL PROTECTED] wrote: On Tue, Sep 30, 2008 at 8:52 AM,

[sage-devel] Italian translation of SAGE tutorial

2008-09-30 Thread CristianCantoro
Hi, I'm starting to translate the Sage tutorial in italian (tut.tex). Everybody interested in is invited to give a hand and write here to coordinate ourselves and discuss (if you have questions, ask!). If there are many many people (this will be great) we can start something separate from this

[sage-devel] Proposal for a simple patch to improve SAGE's factoring in Z[x]

2008-09-30 Thread AndyNovo
Hi all, My name is Andy Novocin and I was a student of Mark van Hoeij's, and now I'm a post-doc at LIRMM in Montpellier, France. I'm interested in polynomial factoring over the rationals in one variable. I've also recently become a SAGE-user and I'll be attending SAGE Days 10. I decided I

[sage-devel] Re: Proposal for a simple patch to improve SAGE's factoring in Z[x]

2008-09-30 Thread mabshoff
On Sep 30, 9:22 am, AndyNovo [EMAIL PROTECTED] wrote: Hi all, Hi Andy,  My name is Andy Novocin and I was a student of Mark van Hoeij's, and now I'm a post-doc at LIRMM in Montpellier, France. I'm interested in polynomial factoring over the rationals in one variable.   I've also

[sage-devel] Re: Sage/Mercurial Merge Question

2008-09-30 Thread William Stein
On Tue, Sep 30, 2008 at 9:11 AM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Great That's much simpler. =) This clears up the patch forcing, but I still get merge conflict errors when I run 'hg merge'. Is there a nice way resolving these conflicts? Thanks, You just have to resolve them.

[sage-devel] Re: Proposal for Inclusion into Sage: Sphinx, Docutils, Pygments, and Jinja

2008-09-30 Thread Robert Miller
[X] Yes, include these in Sage --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel

[sage-devel] Re: Italian translation of SAGE tutorial

2008-09-30 Thread Mike Hansen
Hello, On Tue, Sep 30, 2008 at 9:12 AM, CristianCantoro [EMAIL PROTECTED] wrote: Hi, I'm starting to translate the Sage tutorial in italian (tut.tex). You'll want to translate the .rst files here http://sage.math.washington.edu/home/mhansen/doc-sphinx/tutorial/ rather than the tut.tex file.

[sage-devel] Re: Proposal for Inclusion into Sage: Sphinx, Docutils, Pygments, and Jinja

2008-09-30 Thread William Stein
Hi Mike (Hansen), Just out of curiosity, if one wanted to write a *math* paper using Sphinx, what would happen? How would it feel? How contorted would the experience be? William On Tue, Sep 30, 2008 at 9:52 AM, Robert Miller [EMAIL PROTECTED] wrote: [X] Yes, include these in Sage --

[sage-devel] Re: Proposal for Inclusion into Sage: Sphinx, Docutils, Pygments, and Jinja

2008-09-30 Thread Mike Hansen
Hello, On Tue, Sep 30, 2008 at 10:27 AM, William Stein [EMAIL PROTECTED] wrote: Just out of curiosity, if one wanted to write a *math* paper using Sphinx, what would happen? How would it feel? How contorted would the experience be? One would run the sphinx-quickstart script to create a new

[sage-devel] Re: Proposal for a simple patch to improve SAGE's factoring in Z[x]

2008-09-30 Thread William Stein
On Tue, Sep 30, 2008 at 9:22 AM, AndyNovo [EMAIL PROTECTED] wrote: Hi all, My name is Andy Novocin and I was a student of Mark van Hoeij's, and now I'm a post-doc at LIRMM in Montpellier, France. I'm interested in polynomial factoring over the rationals in one variable. I've also

[sage-devel] Re: Proposal for a simple patch to improve SAGE's factoring in Z[x]

2008-09-30 Thread mabshoff
I am talking to Andy in IRC: the code currently calls fplll via shell, i.e. 'system(./fplll testmat rsltmat)', so we can make this likely more efficient. He is also using the latest fplll 3.0 which has been out for a couple weeks. I had planned to upgrade to it during SD 10. The modifications

[sage-devel] Re: Proposal for a simple patch to improve SAGE's factoring in Z[x]

2008-09-30 Thread AndyNovo
By the way, do you want an account on sage.math.washington.edu, the sage development machine? No I don't. That would be nice, maybe we can set it up in Nancy? -Andy --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To

[sage-devel] Re: Proposal for a simple patch to improve SAGE's factoring in Z[x]

2008-09-30 Thread AndyNovo
--- ZZXFactoring.c.safe 2008-09-29 13:33:01.0 +0200 +++ ZZXFactoring.c 2008-09-29 13:37:54.0 +0200 @@ -4,7 +4,7 @@ #include NTL/vec_vec_long.h #include NTL/vec_vec_ulong.h #include NTL/vec_double.h - +#include fstream #include NTL/LLL.h #include NTL/new.h @@ -3286,7

[sage-devel] Re: Proposal for a simple patch to improve SAGE's factoring in Z[x]

2008-09-30 Thread AndyNovo
Oops I misread that... I mean yes I would! On Sep 30, 7:59 pm, AndyNovo [EMAIL PROTECTED] wrote: By the way, do you want an account on sage.math.washington.edu, the sage development machine? No I don't. That would be nice, maybe we can set it up in Nancy? -Andy

[sage-devel] Re: Inconsistency in interpreting the arguments of some functions

2008-09-30 Thread Georg S. Weber
Sure. Ultimately, for all algebraic numbers the listed rings should have special ways of dealing with. (As a beginning: For those algebraic numbers contained in the maximal abelian extension of QQ.) And everything being autmoatically and intelligently. :-) But the example of Robert with sqrt(2)

[sage-devel] Re: Inconsistency in interpreting the arguments of some functions

2008-09-30 Thread Robert Bradshaw
On Sep 30, 2008, at 2:52 AM, John Cremona wrote: I think the only reason I has caused this discussion at all is that it exists already in the Symbolic Ring. To a number theorist (which from his emails Georg appears to be!) there is no reason to make sqrt(-1) more special than sqrt(2) or any

[sage-devel] Re: read some calculus?

2008-09-30 Thread Elliott
Thanks Minh. You're right about the transformation--it should read 'b' rather than 'a'. I'll fix that in a moment here. I have always been taught never to use 'and' when describing large numbers, though, so I think I will leave 'two hundred seventy' as it is. Elliott On Sep 29, 8:23 pm, Minh

[sage-devel] Re: SymbolicConstant-ness propagation

2008-09-30 Thread Paisa Seeluangsawat
Dear William, Thank you for pointing out the migration to Ginac. I haven't used Sage this past 2 years so I haven't been following the mailing list. A few days ago, Robert Bradshaw mentioned that Sage is weaning from Maxima symbolics. I thought it was a long term idea, and I didn't know that

[sage-devel] Re: SymbolicConstant-ness propagation

2008-09-30 Thread William Stein
On Tue, Sep 30, 2008 at 2:35 PM, Paisa Seeluangsawat [EMAIL PROTECTED] wrote: Dear William, Thank you for pointing out the migration to Ginac. I haven't used Sage this past 2 years so I haven't been following the mailing list. A few days ago, Robert Bradshaw mentioned that Sage is

[sage-devel] Re: Sage/Mercurial Merge Question

2008-09-30 Thread William Stein
On Tue, Sep 30, 2008 at 3:21 PM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Hi William, No diff program appears, thought I know what you mean. I'm running SAGE 3.1.2 on OS 10.5.5, which I compiled from source. What is the standard program that should be called? Diff is installed on my

[sage-devel] Re: [MPFR] Re: mpfr_sinh_cosh

2008-09-30 Thread Alex Ghitza
Dear Paul and Andreas, Thanks for your help. I noticed the mpc webpage shortly after I wrote the initial email. It looks very promising, and since Sage already uses mpfr for its real numbers, it would make perfect sense to start using mpc for arbitrary-precision complex numbers. I will have to

[sage-devel] Re: Italian translation of SAGE tutorial

2008-09-30 Thread CristianCantoro
On Sep 30, 7:07 pm, Mike Hansen [EMAIL PROTECTED] wrote: You'll want to translate the .rst files herehttp://sage.math.washington.edu/home/mhansen/doc-sphinx/tutorial/ rather than the tut.tex file.  I think the tut.tex file will be removed in a release or two. Uh! Thanks for the advice!

[sage-devel] Re: gphone

2008-09-30 Thread Ondrej Certik
On Mon, Sep 29, 2008 at 4:26 PM, Jason Grout [EMAIL PROTECTED] wrote: Alfredo Portes wrote: On Sun, Sep 28, 2008 at 9:25 PM, William Stein [EMAIL PROTECTED] wrote: http://www.jython.org/Project/ This is impossible and makes no sense, since Jython can only run Java/Python programs, but Sage

[sage-devel] Sage 3.1.3.alpha2 released

2008-09-30 Thread mabshoff
Hello folks, alpha2 is out. It took a little longer and we ended up fixing some hard to track down bugs while waiting to merge some more spkgs. The highlight is likely the pynac.spkg - note that the actual library integration code is not merged yet, but will be in 3.1.3 unless something goes

[sage-devel] OT: Anouncement: MACIS 2008 (Third International Conference on Mathematical Aspects of Computer and Information Sciences)

2008-09-30 Thread Pablo De Napoli
I know this is off topic, but I think that this conference that it is been organized here in Buenos Aires (by a collegue at my university) might be of interest to some Sage developers. bests regards Pablo MACIS 2008 - Third International

[sage-devel] Re: Sage 3.1.3.alpha2 released

2008-09-30 Thread John H Palmieri
Please test and report issues as usual. This probably is not specific to this build. I just used Software Update on my Intel Mac to install Java for Mac OS X 10.5 update 2, version 1.0. When I try to make 3.1.3.alpha2, in particular r-2.6.1.p20.spkg, it hangs on checking whether Java compiler

[sage-devel] update documentation on sagemath.org?

2008-09-30 Thread John H Palmieri
The documentation on sagemath.org is now about 1 1/2 months old, and there have been several changes (including a major revision to the programming/developer's guide) made to the docs since then. Can it be updated? (Why isn't this automatically done with each build? Will this be easier after the

[sage-devel] Re: Sage 3.1.3.alpha2 released

2008-09-30 Thread Justin C. Walker
On Sep 30, 2008, at 21:08 , John H Palmieri wrote: Please test and report issues as usual. This probably is not specific to this build. I just used Software Update on my Intel Mac to install Java for Mac OS X 10.5 update 2, version 1.0. When I try to make 3.1.3.alpha2, in particular

[sage-devel] Re: Sage 3.1.3.alpha2 released

2008-09-30 Thread Alex Ghitza
Built fine on 32-bit dell laptop running ubuntu. There are however four doctest failures: interfaces/magma.py calculus/all.py rings/number_field/order.py rings/number_field/number_field_element.pyx I've put a log with these up at http://www.ms.unimelb.edu.au/~aghitza/sage/failures The calculus