Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Jeroen Demeyer
On 2014-11-12 21:33, Ursula Whitcher wrote: On 11/11/2014 4:46 AM, Jeroen Demeyer wrote: * The sentence A recent tweak of another part of Sage’s matrix code had changed the definition of “small n” to n = 63. is wrong: what had changed is the bound on p to compute the determinant over GF(p)

Re: [sage-devel] Re: Posets: interval/closed_interval

2014-11-13 Thread Jori Mantysalo
On Wed, 12 Nov 2014, Travis Scrimshaw wrote: That's exactly what I'm saying. With this change, that may not occur if someone had overwritten interval() with some slightly different behavior in a subclass and was calling closed_interval(), they would experience an unexpected change (or, perhaps

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Jeroen Demeyer
On 2014-11-12 23:09, William Stein wrote: There's also maybe 5000+ (??) lines of examples in other documentation You also forgot Cython files. I get a total of 239600 doctests (not counting the non-English documentation since those are translated files): $ find src/sage src/doc/en -type f

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread mmarco
IS that individual lines of doctests or doctest units themselves? -- 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

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Jeroen Demeyer
On 2014-11-13 10:29, mmarco wrote: IS that individual lines of doctests or doctest units themselves? I don't know what a doctest unit is, but the answer is: lines matching /^ *sage: / Note that this count *excludes* the Sage notebook, since that's a separate project (at least on paper). --

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Jeroen Demeyer
where Sage tried to find det(A) “modulo a few additional primes”. When a prime p is large, Sage computes determinants (mod p) by lifting to Z. Sage defines “large p” by reference to the size n of the matrix in question. A re- cent tweak to another part of Sage’s matrix code had changed the

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Jeroen Demeyer
On 2014-11-12 21:35, Ursula Whitcher wrote: Future releases of Sage will use FLINT, the Fast Library for Number The- ory, to compute the determinants of integer matrices. Today's future version will very likely be the current version when this article is published. -- You received this

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Samuel Lelievre
2014-11-12 21:18:56 UTC+1, Ursula Whitcher wrote: All I can see from trac is that everything happened 22 months ago. How do I find how long it took to go from positive review to stable release? Once logged into sage's trac, follow the top-right link to Preferences then go to the Date and

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Dr. David Kirkby (Kirkby Microwave Ltd)
On 12 November 2014 20:35, Ursula Whitcher whitc...@uwec.edu wrote: Article at http://people.uwec.edu/whitchua/notes/sagebugprocess.pdf has been updated based on feedback. UAW A bit more feedback - from a non-mathematician. 1) It would be better if rather than over-writing an old

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Dr. David Kirkby (Kirkby Microwave Ltd)
On 13 November 2014 11:19, Dr. David Kirkby (Kirkby Microwave Ltd) drkir...@kirkbymicrowave.co.uk wrote: You need to be a particularly confident use to report a bug in a trac ticket. I have reported bugs in software I know very little about, but enough to know there is a bug. Of course I mean

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Dr. David Kirkby (Kirkby Microwave Ltd)
On 12 November 2014 20:18, Ursula Whitcher whitc...@uwec.edu wrote: On 11/11/2014 3:41 AM, Dr. David Kirkby (Kirkby Microwave Ltd) wrote: If I am honest, I am not that convinced it is a good follow up comment, OK, I won't put your name on it ;) You can if I ultimately feel the submitted

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Volker Braun
On Thursday, November 13, 2014 11:19:37 AM UTC, Dr. David Kirkby (Kirkby Microwave Ltd) wrote: The mere fact they are black boxes means you don't have a clue Which patches did Wolfram apply to ATLASGMP, and which versions did they use? I know we apply patches, so its extremely unlikely that

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Jeroen Demeyer
On 2014-11-13 12:19, Dr. David Kirkby (Kirkby Microwave Ltd) wrote: di erent(sic) con dent(sic) I think these are font issues with your PDF reader. You are missing the glyphs for the ligatures ff and fi. I don't have this problem (qpdfview on Gentoo Linux) -- You received this message

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Dr. David Kirkby (Kirkby Microwave Ltd)
LOn 13 Nov 2014 11:19, Dr. David Kirkby (Kirkby Microwave Ltd) drkir...@kirkbymicrowave.co.uk wrote: 4) It might be worth briefly stating that if (hypothetically) such a bug was found in Sage, rather than just report the bug, the trio could have inspected Sage, determined the code used to

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Dr. David Kirkby (Kirkby Microwave Ltd)
On 13 Nov 2014 11:27, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2014-11-13 12:19, Dr. David Kirkby (Kirkby Microwave Ltd) wrote: di erent(sic) con dent(sic) I think these are font issues with your PDF reader. You are missing the glyphs for the ligatures ff and fi. I don't have this

[sage-devel] Problems with building Sage because of package ecm-6.4.4.

2014-11-13 Thread Florian Mussner
So I tried to reinstall Sage 6.3. on my Lenovo Edge E540 with Ubuntu 12.04 in different ways, but make always fails because of the following error message: Error building Sage. The following package(s) may have failed to build: package: ecm-6.4.4 Here is the part of the log file that I

Re: [sage-devel] Problems with building Sage because of package ecm-6.4.4.

2014-11-13 Thread Jeroen Demeyer
On 2014-11-13 15:58, Florian Mussner wrote: So what can I do to make it work? Upgrade your compiler toolchain or build Sage with SAGE_INSTALL_GCC=yes. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop

Re: [sage-devel] Problems with building Sage because of package ecm-6.4.4.

2014-11-13 Thread Florian Mussner
Thank you, I will try that Am Donnerstag, 13. November 2014 16:04:48 UTC+1 schrieb Jeroen Demeyer: On 2014-11-13 15:58, Florian Mussner wrote: So what can I do to make it work? Upgrade your compiler toolchain or build Sage with SAGE_INSTALL_GCC=yes. -- You received this message

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Ondřej Čertík
Yes. Note also here: http://mathworld.wolfram.com/AbsoluteValue.html which says that complex derivative of d|z|/dz does not exist, as Cauchy-Riemann equations do not hold for Abs(z). And: As a result of the fact that computer algebra programs such as Mathematica generically deal with complex

Re: [sage-devel] Re: Posets: interval/closed_interval

2014-11-13 Thread Travis Scrimshaw
In those cases, those are functions (or classes), not methods, and so they are safe. There are cases where methods get aliased, and there the user my experience something unexpected when first trying to subclass, but they won't experience a sudden change when upgrading Sage. However I'm not

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread mmarco
What i mean is that, for example: sage: R.x,y = PolynomialRing(QQ) sage: I = R.ideal([x^2 - y ^2, x + y +1]) sage: I.groebner_basis() [x + 1/2, y + 1/2] Is just one doctest unit (since it is really one test going on, we only check that the groebner basis coincides with the expected one). But it

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread William Stein
On Thu, Nov 13, 2014 at 8:00 AM, mmarco mma...@unizar.es wrote: What i mean is that, for example: sage: R.x,y = PolynomialRing(QQ) sage: I = R.ideal([x^2 - y ^2, x + y +1]) sage: I.groebner_basis() [x + 1/2, y + 1/2] Is just one doctest unit (since it is really one test going on, we only

Re: [sage-devel] Re: Posets: interval/closed_interval

2014-11-13 Thread TB
Is there some Python idiom to alias class methods that respects subclassing? Usually the docstring of aliases in Sage containes less examples, and when the original method is updated (e.g. warn about an edge case), there is a risk of not updating the alias' docstring. What I would like to see

Re: [sage-devel] Re: Posets: interval/closed_interval

2014-11-13 Thread Nathann Cohen
I would like to see is, assuming we have something like class C(object): def foo(): The full docstring of foo alias(foo, bar) +1 to that ! Nathann -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread kcrisman
All I can see from trac is that everything happened 22 months ago. How do I find how long it took to go from positive review to stable release? ... a search of sage-release would show the dates when the release manager made a particular release. I think times (in days) are far

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Jeroen Demeyer
On 2014-11-13 17:07, William Stein wrote: It would be nice if somebody wrote a more sophisticated scanner to compute the number of doctest units, as you suggest above. I'm sure this could be added easily to the doctest framework. I don't really see the point though... a single doctest unit can

Re: [sage-devel] Re: Future NTL versions and exception handling

2014-11-13 Thread Robert Bradshaw
Sage's wrapping of NTL should be just fine as long as it's declared in the Cython declarations, but there's a question of all the libraries that use NTL indirectly which may have more difficulty adapting to exceptions being thrown though their call stacks. On Tue, Nov 11, 2014 at 3:48 PM,

[sage-devel] review tutorial en español

2014-11-13 Thread kcrisman
Spanish speakers: After some neglect, #7192, #10165, and #10180 are ready for review, hopefully just minor edits needed? (And for those great at tracking down subtle Sphinx errors, #10180 has one of those...) -- You received this message because you are subscribed to the Google Groups

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread William Stein
On Thu, Nov 13, 2014 at 8:53 AM, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2014-11-13 17:07, William Stein wrote: It would be nice if somebody wrote a more sophisticated scanner to compute the number of doctest units, as you suggest above. I'm sure this could be added easily to the

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Bill Page
It has always seemed very inconvenient to me that computer algebra programs such as Mathematica choose to define derivative as complex-derivative. I believe a reasonable alternative is what is known as a Wirtinger derivative. Wirtinger derivatives exist for all continuous complex-valued

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Bill Page
On 13 November 2014 12:16, Bill Page bill.p...@newsynthesis.org wrote: The Wirtinger derivative of abs(x) is 1/2 x/abs(x). Its total Wirtinger derivative is x/abs(x). Sorry, I should have written that the Wirtinger derivative of abs(x) is 1/2 conjugate(x)/abs(x) Bill. -- You received

[sage-devel] Code of Conduct

2014-11-13 Thread Volker Braun
Can we create an environment... where character matters, hard work is respected, humility is valued, and support for one another is unconditional? I admittedly stole that quote, but only because I wholeheartedly agree it is good to always aspire to better ourselves. Some of the Sage

Re: [sage-devel] Code of Conduct

2014-11-13 Thread William Stein
On Thu, Nov 13, 2014 at 10:48 AM, Volker Braun vbraun.n...@gmail.com wrote: Can we create an environment... where character matters, hard work is respected, humility is valued, and support for one another is unconditional? I admittedly stole that quote, but only because I wholeheartedly agree

Re: [sage-devel] Code of Conduct

2014-11-13 Thread Jan Groenewald
Hi Great to have in place to refer to as an educational guideline (not to be abused as strict rules). It could also mention core values of Libre Software, with additional emphasis on scientific transparency. Regards, Jan On 13 November 2014 21:00, William Stein wst...@gmail.com wrote: On

Re: [sage-devel] Code of Conduct

2014-11-13 Thread kcrisman
good to always aspire to better ourselves. Some of the Sage developers who are better with words than me went ahead and stole a lot more, mostly from Fedora (http://fedoraproject.org/code-of-conduct) and Django (https://www.djangoproject.com/conduct), to formulate a Code of

[sage-devel] Re: Bug in abs(I*x).diff(x)

2014-11-13 Thread maldun
We had a similar problem with the complex derivative of logarithms in combination with the complex conjugate, where I also the use of Wirtinger Operators would solve the problem: https://groups.google.com/forum/?hl=en#!topic/sage-support/bEMPMEYeZKU Having them in Sage would be a great

[sage-devel] Re: Bug in abs(I*x).diff(x)

2014-11-13 Thread maldun
This is in some sense good, since we don't have to care about the derivative at zero, but in an other sense it is not so good, since the subdifferential ∂abs(0) = [0,1] is a bounded and with this definition one could come to the false conclusion that abs(x) has a pole, althoug by

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Ondřej Čertík
Hi Bill, On Thu, Nov 13, 2014 at 10:16 AM, Bill Page bill.p...@newsynthesis.org wrote: It has always seemed very inconvenient to me that computer algebra programs such as Mathematica choose to define derivative as complex-derivative. I believe a reasonable alternative is what is known as a

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Ursula Whitcher
On 11/13/2014 3:05 AM, Jeroen Demeyer wrote: On 2014-11-12 21:33, Ursula Whitcher wrote: On 11/11/2014 4:46 AM, Jeroen Demeyer wrote: * The sentence A recent tweak of another part of Sage’s matrix code had changed the definition of “small n” to n = 63. is wrong: what had changed is the bound

Re: [sage-devel] Problems with building Sage because of package ecm-6.4.4.

2014-11-13 Thread Florian Mussner
It worked, thank you very much! Am Donnerstag, 13. November 2014 16:04:48 UTC+1 schrieb Jeroen Demeyer: On 2014-11-13 15:58, Florian Mussner wrote: So what can I do to make it work? Upgrade your compiler toolchain or build Sage with SAGE_INSTALL_GCC=yes. -- You received this message

[sage-devel] Re: Code of Conduct

2014-11-13 Thread Robert Dodier
On 2014-11-13, Volker Braun vbraun.n...@gmail.com wrote: Can we create an environment... where character matters, hard work is respected, humility is valued, and support for one another is unconditional? Yes, I think you can, although I think formulating a code of conduct is mostly a

Re: [sage-devel] Re: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems

2014-11-13 Thread Andrew
The answer to your original question IS that individual lines of doctests or doctest units themselves? is clear since Jereon posted the (very nice) code he used to compute the total: $ find src/sage src/doc/en -type f |xargs cat | grep -c '^ *sage: ' 239600 Using ag I find: sage:

[sage-devel] Re: Code of Conduct

2014-11-13 Thread Simon King
Hi! On 2014-11-13, William Stein wst...@gmail.com wrote: For concreteness: [ ] Yes, this is a great idea. About time! [ ] This looks good, but it would be better if... (insert suggestions). [ ] No, I greatly value the freedom to spout offensive profanity, and will fork Sage in

[sage-devel] Re: Code of Conduct

2014-11-13 Thread Simon King
Hi Robert, On 2014-11-13, Robert Dodier robert.dod...@gmail.com wrote: Can we create an environment... where character matters, hard work is respected, humility is valued, and support for one another is unconditional? Yes, I think you can, although I think formulating a code of conduct

[sage-devel] Re: tab completion for list of associated objects

2014-11-13 Thread Andrew
On Wednesday, 12 November 2014 21:27:50 UTC+11, Volker Braun wrote: The Sage code style is that methods are preferred over properties if in doubt. And even in plain Python I would really recommend to only use properties for static accessors. If you need to make a computation, use a method.

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Ondřej Čertík
On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík ondrej.cer...@gmail.com wrote: Hi Bill, On Thu, Nov 13, 2014 at 10:16 AM, Bill Page bill.p...@newsynthesis.org wrote: It has always seemed very inconvenient to me that computer algebra programs such as Mathematica choose to define derivative as

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Bill Page
On 13 November 2014 19:24, Ondřej Čertík ondrej.cer...@gmail.com wrote: On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík ondrej.cer...@gmail.com wrote: As you said, the function is analytic if it doesn't functionally depend on conjugate(z), as can be shown easily. So |z| or Re z are not

Fwd: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Bill Page
Sorry, I hit send before I was quite ready. To continue ... On 13 November 2014 19:24, Ondřej Čertík ondrej.cer...@gmail.com wrote: On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík ondrej.cer...@gmail.com wrote: ... For example, for |z| we get: |z|' = \partial |z| / \partial x = d |z| / d z

Re: [sage-devel] Code of Conduct

2014-11-13 Thread Travis Scrimshaw
I believe we need to have such a code-of-conduct posted stating the manner in which we should act. Like Jan and Simon, this should not be some strict set of rules that gets referenced every time someone feels another developer is out of line. By publishing such a code, we give explicit

Re: [sage-devel] Re: Posets: interval/closed_interval

2014-11-13 Thread Darij Grinberg
Hi, I have used method aliasing (such as frobenius = frobenius_endomorphism) a lot. What should I be doing instead, and what is the problem? (I have to admit this thread was TL;DR to me.) Best regards, Darij -- You received this message because you are subscribed to the Google Groups

Re: [sage-devel] Re: Posets: interval/closed_interval

2014-11-13 Thread Nathann Cohen
Yo ! I have used method aliasing (such as frobenius = frobenius_endomorphism) a lot. What should I be doing instead, and what is the problem? (I have to admit this thread was TL;DR to me.) 1) Build a class with a method named A, aliased by B 2) Extend this class and redefine A B still points

Re: [sage-devel] Re: Posets: interval/closed_interval

2014-11-13 Thread Darij Grinberg
Hi Nathan, On Thu, Nov 13, 2014 at 11:07 PM, Nathann Cohen nathann.co...@gmail.com wrote: 1) Build a class with a method named A, aliased by B 2) Extend this class and redefine A B still points toward the old A. OK, I see. Well, good enough that the classes I am talking about are not usually

Re: [sage-devel] Code of Conduct

2014-11-13 Thread Anne Schilling
I agree with Travis that it is good to have guidelines that one can point people to if discussions escalate. I agree that it is best to try to work things out mutually, but this does not always seem possible. So ... [X ] Yes, this is a great idea. About time! Best, Anne -- You received

[sage-devel] Re: Bug in abs(I*x).diff(x)

2014-11-13 Thread maldun
The only clean solution for this behaviour would be a warning e.g: Warning: This Identity holds only almost everywhere! But I don't know if it's worth the effort ... -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group

[sage-devel] Re: Code of Conduct

2014-11-13 Thread Simon King
Hi Travis, On 2014-11-14, Travis Scrimshaw tsc...@ucdavis.edu wrote: To give a counterpoint to Simon's analogy, we agree that bullying is bad, but by the rules, we can tell bullies explicitly what their doing is wrong, why we can't push the bullies down, and explain what will happen if

Re: [sage-devel] Code of Conduct

2014-11-13 Thread john_perry_usm
On Friday, November 14, 2014 3:55:34 AM UTC+1, Travis Scrimshaw wrote: Bullying can get so bad that the teachers need to step in and enact the correct punishment. ...yet, in my experience, they usually don't, and often because the bullies are likable, or socially influential (e.g., son of

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Ondřej Čertík
On Thu, Nov 13, 2014 at 6:56 PM, Bill Page bill.p...@newsynthesis.org wrote: Sorry, I hit send before I was quite ready. To continue ... On 13 November 2014 19:24, Ondřej Čertík ondrej.cer...@gmail.com wrote: On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík ondrej.cer...@gmail.com wrote: ...

Re: [sage-devel] Bug in abs(I*x).diff(x)

2014-11-13 Thread Ondřej Čertík
On Fri, Nov 14, 2014 at 12:14 AM, Ondřej Čertík ondrej.cer...@gmail.com wrote: On Thu, Nov 13, 2014 at 6:56 PM, Bill Page bill.p...@newsynthesis.org wrote: Sorry, I hit send before I was quite ready. To continue ... On 13 November 2014 19:24, Ondřej Čertík ondrej.cer...@gmail.com wrote: On