Re: [sage-devel] Re: More SageMath tutorials: a repository for sharing and collective authoring

2017-05-03 Thread Nicolas M. Thiery
Dear Dominique, On Wed, May 03, 2017 at 01:47:05PM -0700, Dominique Laurain wrote: >Yes I can try to write a first draft of "START HERE WITH >SAGEMATH" in french and in english For english text, a native >speaker checking is suggested :-) .. (kind of rewriting what I >can p

[sage-devel] Re: More SageMath tutorials: a repository for sharing and collective authoring

2017-05-03 Thread Dominique Laurain
Hello Nicolas, Yes I can try to write a first draft of "START HERE WITH SAGEMATH" in french and in english For english text, a native speaker checking is suggested :-) .. (kind of rewriting what I can produce). I used myself only the old website (regularly), the CD live (a little), the sagec

[sage-devel] Re: vars() gives me an error message

2017-05-03 Thread John H Palmieri
See #22941 for a separate approach (independent of #22933, each ticket fixes a different problem). John On Tuesday, May 2, 2017 at 2:33:27 PM UTC-7, Dima Pasechnik wrote: > > this is now #22933, ready for review. > > Note that it's not a complete fix; > > sage: vars() > > still fails > > sag

Re: [sage-devel] not receiving trac mail notification anymore

2017-05-03 Thread Jori Mäntysalo
Not directly related, but I got notifications with one exception: closing tickets. Would be nice to have those too. -- Jori Mäntysalo

Re: [sage-devel] not receiving trac mail notification anymore

2017-05-03 Thread Daniel Krenn
On 2017-05-03 18:09, Vincent Delecroix wrote: > I did not receive the notifications from trac for ticket #18303 I am > working on. Somebody knows what may have happend? FWIW, I just received one from a ticket I participated. However, for some time now (one week or so), I've sometimes experienced

[sage-devel] not receiving trac mail notification anymore

2017-05-03 Thread Vincent Delecroix
Hello, I did not receive the notifications from trac for ticket #18303 I am working on. Somebody knows what may have happend? Vincent -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from

[sage-devel] Re: Inconsistencies in comparing

2017-05-03 Thread Marc Mezzarobba
Ralf Stephan wrote: > Do I understand it right that then I can coerce a real to a complex > ball and always back to a real without raising an exception? Coerce, no; convert, yes, I think (assuming that by "a real" you mean "an element of a RealField"), but that's an implementation detail, not so

[sage-devel] Re: Create a "distribute" method (useful for SR, possibly for other cases).

2017-05-03 Thread Emmanuel Charpentier
(Sorry, a typo sent this message incomplete...) Idea : a mechanism allowing to obtain the right-hand expressin of equalities such as : sum(X(j)+Y(j),j,1,p)==sum(X(j),j,1,p)+sum(Y(j),j,1,p) prod(X(j)*Y(j),j,1,p)==prod(X(j),j,1,p)*prod(Y(j),j,1,p) integrate(f(x)+g(x),x,a,b)==integrate(f(x),x,a,b)+

[sage-devel] Re: Inconsistencies in comparing

2017-05-03 Thread Ralf Stephan
On Wednesday, May 3, 2017 at 2:45:00 PM UTC+2, Marc Mezzarobba wrote: > > (Subsequent *operations* on those elements will be done with a precision > of p, though.) This is convenient in combination with automatic > coercion. Do I understand it right that then I can coerce a real to a complex

[sage-devel] Create a "distribute" method (useful for SR, possibly for other cases).

2017-05-03 Thread Emmanuel Charpentier
Idea : a mechanism allowing to obtain the right-hand expressin of equalities such as : sum(X(j)+Y(j),j,1,p)==sum(X(j),j,1,p)+sum(Y(j),j,1,p) prod(X(j)*Y(j),j,1,p)==prod(X(j),j,1,p)*prod(Y(j),j,1,p) integrate(f(x)+g(x),x,a,b)==integrate(f(x),x,a,b)+integrate(g(x),x,a,b) starting from their left-h

[sage-devel] knowing our basic floating point arithmetic actually works -- do you care?

2017-05-03 Thread William Stein
Request from Paul Zimmerman: "Dear William, I am preparing a project on the formal proof of some of the MPFR routines. To help me convince the people that will approve this project, I'd like to get feedback from MPFR users that a formal proof is important for them. Sage is one of the main users

[sage-devel] Re: Inconsistencies in comparing

2017-05-03 Thread Frédéric Chapoton
You may have noticed that somebody is painfully trying to make comparison compatible with python3. The semantics of comparison for RealInterval is "every element of A has the given relation to every element of B". This will not change, as many people are saying this is exactly what they want. I

[sage-devel] Re: Inconsistencies in comparing

2017-05-03 Thread Marc Mezzarobba
Hi, Ralf Stephan wrote: > This though seems buggy: > sage: BF = RealBallField(precision=2) > sage: BF(1.002)>BF(1.001) > True > sage: BF(1.002)-BF(1.001) > [+/- 1.20e-7] I don't think there is a bug here. The difference prints as an interval containing zero, but this is a correct

[sage-devel] Re: trac unresponsive

2017-05-03 Thread Ralf Stephan
It's ok as well now. I don't know what that was. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, se

[sage-devel] Inconsistencies in comparing

2017-05-03 Thread Ralf Stephan
Hello, I understand that balls in general cannot be compared. However, integer balls have zero size and actually real integer/rational balls can be compared: sage: RBF(2)>RBF(1) True This though seems buggy: sage: BF = RealBallField(precision=2) sage: BF(1.002)>BF(1.001) True sage: BF(1.