[sage-devel] Re: sequences in SageMath
Please study and contribute to what's already there. People have thought hard about this in: http://trac.sagemath.org/ticket/15673 http://trac.sagemath.org/ticket/16107 http://trac.sagemath.org/ticket/16137 If you're specifically talking about P-recursivity see http://trac.sagemath.org/ticket/15714 -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: sequences in SageMath
Am 2015-06-02 um 09:01 schrieb Ralf Stephan: > Please study and contribute to what's already there. > > People have thought hard about this in: > http://trac.sagemath.org/ticket/15673 > http://trac.sagemath.org/ticket/16107 > http://trac.sagemath.org/ticket/16137 I wasn't aware of these tickets. I'll have a look... > If you're specifically talking about P-recursivity see > http://trac.sagemath.org/ticket/15714 No. -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: sequences in SageMath
> > I wasn't aware of these tickets. I'll have a look... > In general you can find tickets for specific interest in symbolics and comm. algebra via the summary pages which are more or less up to date: http://trac.sagemath.org/wiki/symbolics http://trac.sagemath.org/wiki/algebra Regards, -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Full-time Sage developer position opening at Université Paris-Sud for Fall 2015
> > ... the first such position ever! :-) > I should apply, that's 40% more than what I earn. Nathann -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: dpkg: error processing package sagemath-upstream-binary (--configure):
Hi, On Fri, May 29, 2015 at 05:42:03PM +0200, Jan Groenewald wrote: > The sage installation tree has moved is *probably* unrelated. It always > says that on upgrade. I suspect two possibilities > 1) it is from Thierry's binary not a buildslave binary > 2) I changed the dpkg-source format from quilt to native to solve (1)'s > impact on dpkg, and at the same time removed .git (had to) and then much > more unneeded files. If there is something i can do to help finding the issue, please do not hesitate to ask. Note that the binaries i am producing are made with SAGE_FAT_BINARY='yes' SAGE_INSTALL_GCC='yes' in particular, libgfortran is not required since fortran is built as a part of Sage. Ptestlong did not report any reproducible error and i can use the produced Debian/jessie/32bit binary in Sage Debian Live without problem. Ciao, Thierry > 6.7ppa7 is uploading with all the build and config and other folders back > in the package (but not all the languages in docs). Should be there soon. I > can still try going back to 6.6 to test that. Since the PPA is now > broken:(, I might as well upload my tests there. > > If someone wants the working deb, it is at: > https://launchpad.net/~aims/+archive/ubuntu/sagemath/+build/7362961/+files/sagemath-upstream-binary_6.6ppa1_amd64.deb > You can download and dpkg -i that for a working installation (I think) > > Regards, > Jan > > On 29 May 2015 at 17:18, Adrian Lam wrote: > > > On Friday, May 29, 2015 at 2:50:02 PM UTC+1, Jan Groenewald wrote: > >> > >> Hi > >> > >> I'm working on this but compressing, building debs, and uploading takes > >> quite long. Any feedback on any new version working or not working is > >> useful. > >> > >> If I don't have it working by end of weekend I'll probably revert to 6.6 > >> with a version number like 6.7ppa14revertsage6.6 in the PPA and make a new > >> dev PPA. > >> > >> Apologies for the inconvenience. > >> > >> Regards, > >> Jan > >> > >> > >> > > Ubuntu 14.04.2, tried upgrading to 6.7ppa6 (from 6.7ppa4), still not > > working. > > > > By the way, since no one else has mentioned, upon FIRST attempt to > > upgrade, the log actually has 3 more lines: > > > > Setting up sagemath-upstream-binary (6.7ppa6) ... > > Running Sage once as root to set paths > > ┌┐ > > │ SageMath Version 6.7, Release Date: 2015-05-17 │ > > │ Type "notebook()" for the browser-based notebook interface.│ > > │ Type "help()" for help.│ > > └┘ > > The Sage installation tree has moved > > from /opt/sagemath_tmonteil-ubuntu-trusty-64/sage-6.7 > > to /usr/lib/sagemath > > Updating various hardcoded paths... > > (Please wait at most a few minutes.) > > DO NOT INTERRUPT THIS. > > Done updating paths. > > Traceback (most recent call last): > > File "/usr/lib/sagemath/local/bin/sage-ipython", line 7, in > > from sage.repl.interpreter import SageTerminalApp > > > > > > It has the "The Sage installation tree has moved..." line. Don't know > > whether it'll be useful though. > > > > Thanks. > > > > -- > > 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, send email to sage-devel@googlegroups.com. > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > > > > > -- > .~. > /V\ Jan Groenewald > /( )\www.aims.ac.za > ^^-^^ > > -- > 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, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: dpkg: error processing package sagemath-upstream-binary (--configure):
Hi Thierry, The binaries have not done anything wrong (except perhaps confuse dpkg-source because it comes from a different location). dpkg-source is the real culprit. Regards, Jan On 2 June 2015 at 12:08, Thierry wrote: > Hi, > > On Fri, May 29, 2015 at 05:42:03PM +0200, Jan Groenewald wrote: > > The sage installation tree has moved is *probably* unrelated. It always > > says that on upgrade. I suspect two possibilities > > 1) it is from Thierry's binary not a buildslave binary > > 2) I changed the dpkg-source format from quilt to native to solve (1)'s > > impact on dpkg, and at the same time removed .git (had to) and then much > > more unneeded files. > > If there is something i can do to help finding the issue, please do not > hesitate to ask. Note that the binaries i am producing are made with > SAGE_FAT_BINARY='yes' SAGE_INSTALL_GCC='yes' in particular, libgfortran is > not required since fortran is built as a part of Sage. Ptestlong did not > report any reproducible error and i can use the produced > Debian/jessie/32bit binary in Sage Debian Live without problem. > > Ciao, > Thierry > > > > > > 6.7ppa7 is uploading with all the build and config and other folders back > > in the package (but not all the languages in docs). Should be there > soon. I > > can still try going back to 6.6 to test that. Since the PPA is now > > broken:(, I might as well upload my tests there. > > > > If someone wants the working deb, it is at: > > > https://launchpad.net/~aims/+archive/ubuntu/sagemath/+build/7362961/+files/sagemath-upstream-binary_6.6ppa1_amd64.deb > > You can download and dpkg -i that for a working installation (I think) > > > > Regards, > > Jan > > > > On 29 May 2015 at 17:18, Adrian Lam wrote: > > > > > On Friday, May 29, 2015 at 2:50:02 PM UTC+1, Jan Groenewald wrote: > > >> > > >> Hi > > >> > > >> I'm working on this but compressing, building debs, and uploading > takes > > >> quite long. Any feedback on any new version working or not working is > > >> useful. > > >> > > >> If I don't have it working by end of weekend I'll probably revert to > 6.6 > > >> with a version number like 6.7ppa14revertsage6.6 in the PPA and make > a new > > >> dev PPA. > > >> > > >> Apologies for the inconvenience. > > >> > > >> Regards, > > >> Jan > > >> > > >> > > >> > > > Ubuntu 14.04.2, tried upgrading to 6.7ppa6 (from 6.7ppa4), still not > > > working. > > > > > > By the way, since no one else has mentioned, upon FIRST attempt to > > > upgrade, the log actually has 3 more lines: > > > > > > Setting up sagemath-upstream-binary (6.7ppa6) ... > > > Running Sage once as root to set paths > > > ┌┐ > > > │ SageMath Version 6.7, Release Date: 2015-05-17 │ > > > │ Type "notebook()" for the browser-based notebook interface.│ > > > │ Type "help()" for help.│ > > > └┘ > > > The Sage installation tree has moved > > > from /opt/sagemath_tmonteil-ubuntu-trusty-64/sage-6.7 > > > to /usr/lib/sagemath > > > Updating various hardcoded paths... > > > (Please wait at most a few minutes.) > > > DO NOT INTERRUPT THIS. > > > Done updating paths. > > > Traceback (most recent call last): > > > File "/usr/lib/sagemath/local/bin/sage-ipython", line 7, in > > > from sage.repl.interpreter import SageTerminalApp > > > > > > > > > It has the "The Sage installation tree has moved..." line. Don't know > > > whether it'll be useful though. > > > > > > Thanks. > > > > > > -- > > > 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, send email to sage-devel@googlegroups.com. > > > Visit this group at http://groups.google.com/group/sage-devel. > > > For more options, visit https://groups.google.com/d/optout. > > > > > > > > > > > -- > > .~. > > /V\ Jan Groenewald > > /( )\www.aims.ac.za > > ^^-^^ > > > > -- > > 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, send email to sage-devel@googlegroups.com. > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- > 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, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, vis
[sage-devel] Extremely broad bug in Sage Integral Computations
Hi everyone. I have found a bug in how Sage computes integrals, but it seems to be the case that it can come up in a broad set of situations. This bug caused me tremendous embarrassment while teaching Calculus II last semester. Consider the integral of sqrt( cot(x)^2 ). I think we can all agree that sqrt( cot(x)^2 ) = abs( cot (x) ) =/= cot(x) However, I think the interface between Sage and Maxima is causing the (incorrect) substitution of sqrt( cot(x)^2 ) = cot(x). Please click the following: http://sagecell.sagemath.org/?z=eJwrKMrMK1EA4tT0osQcDYXiwqISDYXk_BKNCs04IwVNHYUKHYWCTH0THQVjLRCtoMnLxctVANaWV5qbWpSZnJgTj88AXLr9NBRy8jSMNAmZmJhUDDMQn3HYtEJ0oesBAEw0SMA=&lang=sage As you can see there, print integral( sqrt( cot(x)^2 ), x, pi/4, 3*pi/4 ) produces an answer of zero. My pencil produces an answer of ln(2), after a bit of work. Numerical methods give us some confirmation. The output of the numerical_integral command is an ordered pair. The first number is the answer, and the second number is the uncertainty. The command print numerical_integral( sqrt( cot(x)^2 ), pi/4, 3*pi/4 ) gives an answer which is very close to N(ln(2)), which I believe is correct. Next, using the correct substitution sqrt( cot(x)^2 ) = abs( cot(x) ) manually, we ask print numerical_integral( abs( cot(x) ), pi/4, 3*pi/4 ) and get again an answer which is very close to N(ln(2)). However, if we use the (incorrect) substitution sqrt( cot(x)^2 ) = cot(x) and then type print numerical_integral( cot(x), pi/4, 3*pi/4 ) the result is zero, matching the symbolic integral command's incorrect answer. Interestingly, while I do not know Maxima, a colleague of mine does, and he says that Maxima will not make this illegal substitution. I'm not in a position to verify this claim, but that's what makes me imagine that it might be the case that the interface between Sage and Maxima is where the bug happens to reside. The reason I say "extremely broad" is that there are lots of applications where one takes the integral of a square root of either a square or a sum of squares. These come up via the distance formula. I was hoping to make a collection of "labs" or "mini-projects" for the integral calculus and multivariable calculus focused on engineering applications. The above bug came up in a problem about something relatively mundane... arc length of some parametric function. See below. http://sagecell.sagemath.org/?z=eJwrSyzSUCpR0uTl4uVK0yjRVLBVKC4sKtFQ0NAtzswDCWgrJBcnAxmacUYgdn4xkA1kgnUUFGXmlSgAcWp6UWKOhgLIBB2FEh2Fgkx9Ex0FYy0Qjaw0rzQ3tSgzOTEnHl0Tqg4AHaEp4g==&lang=sage It would be extremely useful if the bug could be fixed before the start of the Fall semester, because I'm teaching the same course again. :-P After the bug is fixed, I would propose that we create a bunch of doctests that ask integral to compute some definite integrals, where those same integrals are also computed numerically by numerical_integral. The symbolic answer to the definite integral as computed by integral should be tested to see if it lies inside of the interval given as output by the numerical_integral command. (Perhaps we can double the size of the uncertainty to prevent any false alarms.) Thoughts? ---Greg -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Web Interface
You might also want to consider SageMathCell, which has fewer buttons, and can look less intimidating at times. For example, http://sagecell.sagemath.org/?z=eJxLV7BVSMlPSU1OzEhNKcrP09Dk5eLlStcrzsgv19AEAJBZCOs=&lang=sage A fun example, for teaching math to younger folks, is to play with patterns. A super-easy pattern is 1 + 3 + 5 + 7 + 9 + ... + whatever = (whatever+1)^2 / 4 ...but that super-easy pattern leads to the Fermat factorization algorithm. One of my favorites was 1^3 + 2^3 + 3^3 + 4^3 + 5^3 + ... + (whatever)^3 = (1 + 2 + 3 + 4 + ... + whatever)^2 The Sage sum command is very useful for these. Enjoy! ---Greg p.s. The use of "whatever" is strategic. Many young people associate "x" with homework, math tests, stress, and so forth, which is a shame. On Monday, May 25, 2015 at 9:04:32 AM UTC-5, John Foster wrote: > > Is there any web based or even console based interface to all of Sage. > Just wondering if I missed it. I found this, it's not what I need just > an example: > > https://mathway.com/ > > I'm looking for a way for "newbies", non-programmers or students, to use > Sage. This includes myself as I'm not a mathematician. However my > youngest grandson (10) is fascinated by Sage & I feel this would help > him maintain that interest and grow. I also would like a process for > using Sage more easily myself for working in the areas of physics that > I'm interested in. Any thoughts on at least a symbolic entry keyboard. > Thanks > > -- > John Foster > JW Foster & Associates > > -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Full-time Sage developer position opening at Université Paris-Sud for Fall 2015
Bonjour Nicolas, Suis-je autorisé à diffuser cette annonce aux anciens éléves de l'ENSEEIHT ? Comme vous le savez sans doute c'est une école d"ingénieurs (ENSI) toulousaine avec plusieurs filières dont une en Mathématiques et Informatique (je suis promo 1984 de cette filière). L'annonce pourrait intéresser typiquement un élève sorti d'école (par exemple promo 2015) en la transformant en expérience premier emploiet il y a aussi surtout quelques deuxièmes emploi vu le nombre sortant des promo chaque année. Certes le profil demandé pourrait ne pas coller (il y a un peu trop de "fluency" en conditions)...mais la formation basique à l'Enseeiht (3 années à se spécialiser en maths et info + plusieurs stages en entreprise) est très bonne...et cela vous ferait quelques propositions intéressantes de profil à regarder. Après leur diplomes, les ingénieurs ENSEEIHT vont généralement soit poursuivre un cursus universaire plutot orienté recherche soit vers l'industrie...enfin ca c'était en 1984...depuis de l'eau a coulé sous les ponts,..et l'école est devenu spécialisation Polytechnique, relevant du même coup le niveau. Dominique -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Extremely broad bug in Sage Integral Computations
On Tuesday, June 2, 2015 at 7:26:50 PM UTC+2, Gregory Bard wrote: > > However, I think the interface between Sage and Maxima is causing the > (incorrect) substitution of sqrt( cot(x)^2 ) = cot(x). > Something is happening in the interface, yes, but Interestingly, while I do not know Maxima, a colleague of mine does, and he > says that Maxima will not make this illegal substitution. > Well, Maxima will not solve it at all. I just confirmed with the newest version 5.36.1. also using the abs_integrate package (which is not the culprit this time, surprise) > > It would be extremely useful if the bug could be fixed before the start of > the Fall semester, because I'm teaching the same course again. :-P > The fix in Sage will just change the result to integral( sqrt( cot(x)^2 ), x, pi/4, 3*pi/4 ) For a correct solution to be returned Maxima must be improved. Regards, -- 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, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
