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) u

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 m

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 definit

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 messa

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 an

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 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 version of your

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) 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 you do NOT have to be a part

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 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 version is go

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 ATLAS&GMP, and which versions did they use? I know we apply patches, so its extremely unlikely t

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 bec

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

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" 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 problem (

[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 thi

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 receiv

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 va

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. = 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 in

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 wrote: > What i mean is that, for example: > > sage: R. = 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

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 f

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

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" c

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, Francesc

[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 "sage-

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 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 doctest framewo

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 functio

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

2014-11-13 Thread Bill Page
On 13 November 2014 12:16, Bill Page 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 this message because you

[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 developers

Re: [sage-devel] Code of Conduct

2014-11-13 Thread William Stein
On Thu, Nov 13, 2014 at 10:48 AM, Volker Braun 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 it is > good to al

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 wrote: > On Thu, Nov 13, 2014 a

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 "Cod

[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 achieveme

[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

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 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 Wirtinger derivative.

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 boun

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 mes

[sage-devel] Re: Code of Conduct

2014-11-13 Thread Robert Dodier
On 2014-11-13, Volker Braun 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 distraction. People take

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-devel] Re: Code of Conduct

2014-11-13 Thread Simon King
Hi! On 2014-11-13, William Stein 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 frustration if ther

[sage-devel] Re: Code of Conduct

2014-11-13 Thread Simon King
Hi Robert, On 2014-11-13, Robert Dodier 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 dist

[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 > met

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 wrote: > Hi Bill, > > On Thu, Nov 13, 2014 at 10:16 AM, Bill Page > 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 rea

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 wrote: > On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík > 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 analytic, while z^2 is. If the function is

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 wrote: > On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík > wrote: > ... > For example, for |z| we get: > > |z|' = \partial |z| / \partial x = d |z| / d z + d |z| / d > conjugate(z) = conjugate(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 guide

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 po

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 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 extended. Best r

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 thi

[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 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 > the behavior es

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 o

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 wrote: > Sorry, I hit send before I was quite ready. To continue ... > > On 13 November 2014 19:24, Ondřej Čertík wrote: >> On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík >> wrote: >> ... >> For example, for |z| we get: >> >> |z|' = \partial |z| / \pa

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 wrote: > On Thu, Nov 13, 2014 at 6:56 PM, Bill Page wrote: >> Sorry, I hit send before I was quite ready. To continue ... >> >> On 13 November 2014 19:24, Ondřej Čertík wrote: >>> On Thu, Nov 13, 2014 at 2:00 PM, Ondřej Čertík >>> wrote: >>> ...