[sage-combinat-devel] problem installing sage-combinat from sage 4.1.1 on Mac OS 10.4
I followed the instructions from http://wiki.sagemath.org/combinat/Installation and ran into a problem (see below for the dump) when installing the patches on top of a mint 4.1.1. The folder that is looked after doesn't exist (actually, not even /Users/Shared/sage , my install folder is /Applications/sage , as per the instructions online) . I fixed it by adding a symbolic link, but this is not the right solution. I don't really see what this has to do with combinat, but since I got the error in installing the combinat patches, I guess it should be reported here. Paul PS: in case that changes anything, I am running prompt:~ user$ gcc -v Using built-in specs. Target: i686-apple-darwin8 Configured with: /var/tmp/gcc/gcc-5370~2/src/configure --disable- checking -enable-werror --prefix=/usr --mandir=/share/man --enable- languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/ $/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/ lib --build=powerpc-apple-darwin8 --with-arch=nocona --with- tune=generic --program-prefix= --host=i686-apple-darwin8 --target=i686- apple-darwin8 Thread model: posix gcc version 4.0.1 (Apple Computer, Inc. build 5370) prompt:~ user$ building 'sage.plot.plot3d.parametric_surface' extension gcc -fno-strict-aliasing -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict- prototypes -I/Applications/sage/local//include -I/Applications/sage/ local//include/csage -I/Applications/sage/devel//sage/sage/ext -I/ Applications/sage/local/include/python2.6 -c sage/plot/plot3d/ parametric_surface.c -o build/temp.macosx-10.3-i386-2.6/sage/plot/ plot3d/parametric_surface.o -w gcc -L/Users/Shared/sage/sage-4.1.1/local/lib -bundle -undefined dynamic_lookup build/temp.macosx-10.3-i386-2.6/sage/plot/plot3d/ parametric_surface.o -L/Applications/sage/local//lib -lcsage -lstdc++ - lntl -o build/lib.macosx-10.3-i386-2.6/sage/plot/plot3d/ parametric_surface.so /usr/libexec/gcc/i686-apple-darwin8/4.0.1/ld: warning -L: directory name (/Users/Shared/sage/sage-4.1.1/local/lib) does not exist /usr/libexec/gcc/i686-apple-darwin8/4.0.1/ld: warning can't open dynamic library: /Users/Shared/sage/sage-4.1.1/local/lib/libgmp. 3.dylib referenced from: /Applications/sage/local//lib/libcsage.dylib (checking for undefined symbols may be affected) (No such file or directory, errno = 2) /usr/libexec/gcc/i686-apple-darwin8/4.0.1/ld: warning can't open dynamic library: libpari-gmp.dylib referenced from: /Applications/sage/ local//lib/libcsage.dylib (checking for undefined symbols may be affected) (No such file or directory, errno = 2) building 'sage.ext.interpreters.wrapper_rdf' extension gcc -fno-strict-aliasing -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict- prototypes -I/Applications/sage/local//include -I/Applications/sage/ local//include/csage -I/Applications/sage/devel//sage/sage/ext -I/ Applications/sage/local/include/python2.6 -c sage/ext/interpreters/ wrapper_rdf.c -o build/temp.macosx-10.3-i386-2.6/sage/ext/interpreters/ wrapper_rdf.o -w gcc -fno-strict-aliasing -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict- prototypes -I/Applications/sage/local//include -I/Applications/sage/ local//include/csage -I/Applications/sage/devel//sage/sage/ext -I/ Applications/sage/local/include/python2.6 -c sage/ext/interpreters/ interp_rdf.c -o build/temp.macosx-10.3-i386-2.6/sage/ext/interpreters/ interp_rdf.o -w gcc -L/Users/Shared/sage/sage-4.1.1/local/lib -bundle -undefined dynamic_lookup build/temp.macosx-10.3-i386-2.6/sage/ext/interpreters/ wrapper_rdf.o build/temp.macosx-10.3-i386-2.6/sage/ext/interpreters/ interp_rdf.o -L/Applications/sage/local//lib -lcsage -lgsl -lstdc++ - lntl -o build/lib.macosx-10.3-i386-2.6/sage/ext/interpreters/ wrapper_rdf.so /usr/libexec/gcc/i686-apple-darwin8/4.0.1/ld: warning -L: directory name (/Users/Shared/sage/sage-4.1.1/local/lib) does not exist /usr/libexec/gcc/i686-apple-darwin8/4.0.1/ld: warning can't open dynamic library: /Users/Shared/sage/sage-4.1.1/local/lib/libgmp. 3.dylib referenced from: /Applications/sage/local//lib/libcsage.dylib (checking for undefined symbols may be affected) (No such file or directory, errno = 2) /usr/libexec/gcc/i686-apple-darwin8/4.0.1/ld: warning can't open dynamic library: libpari-gmp.dylib referenced from: /Applications/sage/ local//lib/libcsage.dylib (checking for undefined symbols may be affected) (No such file or directory, errno = 2) building 'sage.ext.interpreters.wrapper_cdf' extension gcc -fno-strict-aliasing -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict- prototypes -I/Applications/sage/local//include -I/Applications/sage/ local//include/csage -I/Applications/sage/devel//sage/sage/ext -I/ Applications/sage/local/include/python2.6 -c sage/ext/interpreters/ wrapper_cdf.c -o build/temp.macosx-10.3-i386-2.6/sage/ext/interpreters/ wrapper_cdf.o -w gcc -fno-strict-aliasing -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict- prototypes -I/Applications/sage/local//include -I/Applications/sage/ local//include/csage -I/Applications/sage/devel//sage/sage/ext -I/
[sage-combinat-devel] Re: problem installing sage-combinat from sage 4.1.1 on Mac OS 10.4
On Wed, Sep 02, 2009 at 08:56:02AM -0700, Paul-Olivier Dehaye wrote: I followed the instructions from http://wiki.sagemath.org/combinat/Installation and ran into a problem (see below for the dump) when installing the patches on top of a mint 4.1.1. The folder that is looked after doesn't exist (actually, not even /Users/Shared/sage , my install folder is /Applications/sage , as per the instructions online) . I fixed it by adding a symbolic link, but this is not the right solution. I don't really see what this has to do with combinat, but since I got the error in installing the combinat patches, I guess it should be reported here. Thanks for the report! Did you install Sage from binaries or from source? In case it is from binaries, could you try to install it (say under /Applications/sage-source) from source to see if anything similar pops up? Oh, btw: symmetric functions (and actually all algebras) are currently broken on 4.1.1 due to a missguarded patch. That will be fixed in an hour or two. Cheers, Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ --~--~-~--~~~---~--~~ You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en -~--~~~~--~~--~--~---
[sage-combinat-devel] Re: problem installing sage-combinat from sage 4.1.1 on Mac OS 10.4
I followed the instructions from http://wiki.sagemath.org/combinat/Installation and ran into a problem (see below for the dump) when installing the patches on top of a mint 4.1.1. The folder that is looked after doesn't exist (actually, not even /Users/Shared/sage , my install folder is /Applications/sage , as per the instructions online) . I fixed it by adding a symbolic link, but this is not the right solution. I don't really see what this has to do with combinat, but since I got the error in installing the combinat patches, I guess it should be reported here. Thanks for the report! Did you install Sage from binaries or from source? In case it is from binaries, could you try to install it (say under /Applications/sage-source) from source to see if anything similar pops up? I had installed from the binaries. [ 3 hours later... : ] When installing 4.1.1 from source and then upgrading to combinat, I don t have the problem. Oh, btw: symmetric functions (and actually all algebras) are currently broken on 4.1.1 due to a missguarded patch. That will be fixed in an hour or two. yes, i had noticed :) paul Cheers, Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.nethttp://Nicolas.Thiery.name/ --~--~-~--~~~---~--~~ You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
Tom Boothby wrote: On Mon, Aug 31, 2009 at 10:38 AM, Robert Bradshawrober...@math.washington.edu wrote: As for the question at hand, I'm personally not convinced this is useful enough to merit another departure from pure Python. It also risks turning the valid Python expression x!=120 into an invalid one (unless the rule bah. That's easy to get around. is something like ! becomes factorial unless it's followed by one, but not two, equals signs...) And then people might expect x!! to be the double factorial instead of (x!)!. Agreed. If we were to implement this, we'd best look at other CAS's and see how they treat these issues. - Robert Em, I thought I'd try this in Mathematica In[1]:= 5! Out[1]= 120 In[2]:= 5!! Out[2]= 15 In[3]:= 5!!! Out[3]= 1307674368000 In[4]:= 5 Out[4]= 2027025 In[5]:= 5! spends a long time doing whatever it is trying to compute. Anyone like to guess what it's doing? --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
Dr. David Kirkby wrote: Em, I thought I'd try this in Mathematica In[1]:= 5! Out[1]= 120 In[2]:= 5!! Out[2]= 15 In[3]:= 5!!! Out[3]= 1307674368000 In[4]:= 5 Out[4]= 2027025 In[5]:= 5! spends a long time doing whatever it is trying to compute. Anyone like to guess what it's doing? Trying this in Wolfram Alpha http://www.wolframalpha.com/input/?i=5%21%21 reveals what Mathematica is doing. Apparently n!! is the double factorial http://reference.wolfram.com/mathematica/ref/Factorial2.html n!! = nx(n-2)x(n-2)x... As a non-mathematician I'd never herd of such a thing myself. --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
Dr. David Kirkby wrote: Dr. David Kirkby wrote: Em, I thought I'd try this in Mathematica In[1]:= 5! Out[1]= 120 In[2]:= 5!! Out[2]= 15 In[3]:= 5!!! Out[3]= 1307674368000 In[4]:= 5 Out[4]= 2027025 In[5]:= 5! spends a long time doing whatever it is trying to compute. Anyone like to guess what it's doing? Trying this in Wolfram Alpha http://www.wolframalpha.com/input/?i=5%21%21 reveals what Mathematica is doing. Apparently n!! is the double factorial http://reference.wolfram.com/mathematica/ref/Factorial2.html n!! = nx(n-2)x(n-2)x... As a non-mathematician I'd never herd of such a thing myself. Also relevant to the discussion is In[1]:= ?TrueQ TrueQ[expr] yields True if expr is True, and yields False otherwise. In[2]:= TrueQ[1==2] Out[2]= False In[3]:= TrueQ[5!=2] Out[3]= True In[4]:= TrueQ[5!=120] Out[4]= True In[5]:= TrueQ[5!=5] Out[5]= False And to work out the order of precedence on factorial and double-factorial. In[6]:= (5!)!! Out[6]= 959344498183598695489193994766932218518248994260838989636409419529429\ 5395488811817369600 In[7]:= 5!!! Out[7]= 1307674368000 In[8]:= (5!!)! Out[8]= 1307674368000 In[9]:= 5 Out[9]= 2027025 In[10]:= (5!!)!! Out[10]= 2027025 --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
Dr. David Kirkby wrote: Dr. David Kirkby wrote: Em, I thought I'd try this in Mathematica In[1]:= 5! Out[1]= 120 In[2]:= 5!! Out[2]= 15 In[3]:= 5!!! Out[3]= 1307674368000 In[4]:= 5 Out[4]= 2027025 In[5]:= 5! spends a long time doing whatever it is trying to compute. Anyone like to guess what it's doing? Trying this in Wolfram Alpha http://www.wolframalpha.com/input/?i=5%21%21 reveals what Mathematica is doing. Apparently n!! is the double factorial http://reference.wolfram.com/mathematica/ref/Factorial2.html n!! = nx(n-2)x(n-2)x... As a non-mathematician I'd never herd of such a thing myself. Wow, that seems totally ambiguous. Is 5!!! equal to (5!!)! or (5!)!! or ((5!)!)! The notation is pretty bad in this case. However note that: In[1]:= 5! ! Out[1]= 668950291344912705758811805409037258675274633313802981029567135230163\ 355724496298936687416527198498130815763789321409055253440858940812185989\ 848111438965000596496052125696 (note the space between the exclamation points) Jason -- Jason Grout --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
On Sep 1, 2009, at 11:34 PM, Dr. David Kirkby wrote: Dr. David Kirkby wrote: Dr. David Kirkby wrote: Em, I thought I'd try this in Mathematica In[1]:= 5! Out[1]= 120 In[2]:= 5!! Out[2]= 15 In[3]:= 5!!! Out[3]= 1307674368000 In[4]:= 5 Out[4]= 2027025 In[5]:= 5! spends a long time doing whatever it is trying to compute. Anyone like to guess what it's doing? Trying this in Wolfram Alpha http://www.wolframalpha.com/input/?i=5%21%21 reveals what Mathematica is doing. Apparently n!! is the double factorial http://reference.wolfram.com/mathematica/ref/Factorial2.html n!! = nx(n-2)x(n-2)x... As a non-mathematician I'd never herd of such a thing myself. Also relevant to the discussion is In[1]:= ?TrueQ TrueQ[expr] yields True if expr is True, and yields False otherwise. In[2]:= TrueQ[1==2] Out[2]= False In[3]:= TrueQ[5!=2] Out[3]= True In[4]:= TrueQ[5!=120] Out[4]= True In[5]:= TrueQ[5!=5] Out[5]= False And to work out the order of precedence on factorial and double- factorial. In[6]:= (5!)!! Out[6]= 959344498183598695489193994766932218518248994260838989636409419529429\ 5395488811817369600 In[7]:= 5!!! Out[7]= 1307674368000 In[8]:= (5!!)! Out[8]= 1307674368000 In[9]:= 5 Out[9]= 2027025 In[10]:= (5!!)!! Out[10]= 2027025 If we support the ! notation, we should either have x!! == (x!)! or, preferably, x!!..! be the multi factorial (not limiting ourselves to single and double). - Robert --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Error in installation
I get the following error message when i execute make in the sage source folder : g++ -DHAVE_CONFIG_H -I. -I. -I.. -D__GMP_WITHIN_GMPXX -I.. -m32 -O2 - fomit-frame-pointer -mtune=pentium3 -march=pentium3 -c isfuns.cc - fPIC -DPIC -o .libs/isfuns.o In file included from isfuns.cc:26: ../gmp.h:516: error: 'std::FILE' has not been declared make[4]: *** [isfuns.lo] Error 1 make[4]: Leaving directory `/home/balkrishna/sage-3.2.1/spkg/build/ gmp-4.2.2.p1.fake/src/cxx' make[3]: *** [all-recursive] Error 1 make[3]: Leaving directory `/home/balkrishna/sage-3.2.1/spkg/build/ gmp-4.2.2.p1.fake/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/balkrishna/sage-3.2.1/spkg/build/ gmp-4.2.2.p1.fake/src' Error building GMP. real1m42.690s user0m37.578s sys 0m40.295s sage: An error occurred while installing gmp-4.2.2.p1.fake Please email sage-devel http://groups.google.com/group/sage-devel --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Building problems on Intel Mac
On Mon, Aug 31, 2009 at 1:45 AM, William Steinwst...@gmail.com wrote: SNIP This is a known problem. You can get around it by commenting out the line that imports cliquer in devel/sage/sage/graphs/all.py That's what I did for the OS X 64-bit binary that is posted. After some experimentation and reading, I got Sage 4.1.1 to build in 64-bit mode under OS X 10.5.8. I used Michael Abshoff's custom-built Fortran spkg as documented at http://wiki.sagemath.org/osx64 I have written up the steps. You can see them at http://mvngu.wordpress.com/2009/09/02/compile-sage-4-1-in-64-bit-mode-on-os-x-10-5-8/ -- Regards Minh Van Nguyen --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: whither the KAIST mirror?
On Sep 2, 4:12 am, Dan Drake dr...@kaist.edu wrote: Does anybody know what happened to the KAIST mirror? I haven't heard anything from them and have no idea. The mirror manager script checks all mirrors every 10 minutes and looks, if it is online and the timestamp is correct. You can see its output here: http://www.sagemath.org/mirror_manager.txt If one is rejected, the mirror is not listed. Very simple ;) H --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Building problems on Intel Mac
Hi Minh, On Sep 2, 8:41 am, Minh Nguyen nguyenmi...@gmail.com wrote: [...] After some experimentation and reading, I got Sage 4.1.1 to build in 64-bit mode under OS X 10.5.8. I used Michael Abshoff's custom-built Fortran spkg as documented at http://wiki.sagemath.org/osx64 I have written up the steps. You can see them at http://mvngu.wordpress.com/2009/09/02/compile-sage-4-1-in-64-bit-mode... There is a slightly different way, that was explained to me by William off list. There is no need to download the extra fortran package manually, so, perhaps it is very slightly easier. 1. Get the sources, untar them. 2. $ export SAGE64=yes $ cd sage-4.1/ $ make 3. Wait until it fails. 4. $ ./sage -i fortran-OSX64-20090120 First it was a bit surprising to me, but ./sage -i works even though the build process failed. 5. $ make This time it should work 6. Comment out the line that imports cliquer in SAGE_ROOT/devel/sage/ sage/graphs/all.py Now ./sage works. Cheers, Simon --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
Hi! On Sep 2, 7:40 am, Jason Grout jason-s...@creativetrax.com wrote: Wow, that seems totally ambiguous. Is 5!!! equal to (5!!)! or (5!)!! or ((5!)!)! The notation is pretty bad in this case. [...] Yes, and this is why the very common notation 5! is bad syntax that should be avoided in a CAS, IMHO. Of course, one could say that 5! should mean factorial of 5 unless the following character is = as in 5!=3 or ! as in 5!!. But I wouldn't paint a bike shed in that way. Just imagine how much fun it is to find a bug like 5! ! (which probably is factorial(factorial (5))) versus 5!! (which probably is double_factorial(5)). If one starts like that, why not continue with [5] (quantum deformed integers) and [5]! (quantum factorial)? Or another very common notation: Should Sage really support d^2f(x,y)/ (dx*dy) to construct partial derivatives? I think that a CAS without a strong programming language is nothing but a simple pocket calculator. Therefore, if a mathematical notation interferes too much with the requirements of the underlying programming language, then the mathematical notation should be dropped. Compare this with the example given by Kwankyu: Rx=ZZ[] resembles a chain of inequalities, sage: 56=3 True and R[x] is not compatible with Python's syntax (if R is to be defined). Therefore, I think it is a very reasonable compromise to have the additional dot in R.x Cheers Simon --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Meeting Groupe Thématique Logiciel Libr e, Ile de France
Hi all, On Thursday 10th, the Groupe Thématique Logiciel Libre Île-de-France (a task force whose purpose is to foster the open source software ecosystem, in Paris and around) organizes a gathering of the actors of open source, developers and companies. Their goal is to let multi-partner projects emerge for later applications to funding opportunities from the French industry department at the end of November. http://www.gt-logiciel-libre.org/2009/07/reunion-pleniere-du-gt-logiciel-libre/ I'll probably make a 5 minute presentation there of Sage. This could be an occasion to try to attract companies (like http://www.logilab.fr/) to start offering services around Sage. Suggestions? Standard slides anyone for such a presentation? Project ideas for such services? Cheers, Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Meeting Groupe Thématique Logiciel Libre, Ile de France
Hi Nicolas, 2009/9/2 Nicolas M. Thiery nicolas.thi...@u-psud.fr: SNIP Suggestions? Standard slides anyone for such a presentation? Project ideas for such services? Perhaps the talks wiki page can help: http://wiki.sagemath.org/Talks William Stein has delivered many such talks: http://www.wstein.org/talks/ But you want to keep your presentation to about 5 minutes. This is more of a lightning talk. -- Regards Minh Van Nguyen --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
On Tue, 01 Sep 2009 at 11:42PM -0700, Robert Bradshaw wrote: If we support the ! notation, we should either have x!! == (x!)! or, preferably, x!!..! be the multi factorial (not limiting ourselves to single and double). I study combinatorics, and I'm fine with *not* supporting ! notation. Writing factorial(x) is obvious and unambiguous. If you want something shorter, you can do f = factorial. Then the mysterious and ambiguous examples above turn into something obvious: f(f(5)) or whatever. We already have multifactorial support: (5).multifactorial(2) equals 5 * 3 * 1, and so on. I don't see anyone strongly demanding ! notation, so I say we drop the idea. We have factorial() and .multifactorial(), they work perfectly well, and the syntax for using them is the same as in the rest of Sage. Dan -- --- Dan Drake - http://mathsci.kaist.ac.kr/~drake --- signature.asc Description: Digital signature
[sage-devel] Re: whither the KAIST mirror?
On Wed, 02 Sep 2009 at 01:04AM -0700, Harald Schilly wrote: On Sep 2, 4:12 am, Dan Drake dr...@kaist.edu wrote: Does anybody know what happened to the KAIST mirror? I haven't heard anything from them and have no idea. The mirror manager script checks all mirrors every 10 minutes and looks, if it is online and the timestamp is correct. You can see its output here: http://www.sagemath.org/mirror_manager.txt If one is rejected, the mirror is not listed. Very simple ;) Okay, I'll contact them and ask what happened. Dan -- --- Dan Drake - http://mathsci.kaist.ac.kr/~drake --- signature.asc Description: Digital signature
[sage-devel] Dangerous mixing of different domains for symbolic variables
Hi, This is from sage-support On Sep 1, 11:35 pm, Mani chandra mchan...@iitk.ac.in wrote: sage: x = a + I*b sage: real(x.conjugate().simplify()) real_part(a) + imag_part(b) sage: real(x.conjugate()) real_part(a) - imag_part(b) - This seems to be happening because maxima(via simplify) treats variables as real whereas pynac treats as complex. -- sage: x.conjugate() conjugate(a) - I*conjugate(b) sage: x.conjugate().simplify() a - I*b -- William mentioned in this thread http://groups.google.com/group/sage-support/browse_thread/thread/7bf451cf8202e085/10e81a803518f17c that Sage does attempt to make default domain for maxima to be complex. So something must be going horribly wrong. Here is the trac ticket http://trac.sagemath.org/sage_trac/ticket/6862 Cheers, Golam --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
2009/9/2 Dan Drake dr...@kaist.edu: On Tue, 01 Sep 2009 at 11:42PM -0700, Robert Bradshaw wrote: If we support the ! notation, we should either have x!! == (x!)! or, preferably, x!!..! be the multi factorial (not limiting ourselves to single and double). I study combinatorics, and I'm fine with *not* supporting ! notation. Writing factorial(x) is obvious and unambiguous. If you want something shorter, you can do f = factorial. Then the mysterious and ambiguous examples above turn into something obvious: f(f(5)) or whatever. We already have multifactorial support: (5).multifactorial(2) equals 5 * 3 * 1, and so on. I don't see anyone strongly demanding ! notation, so I say we drop the idea. We have factorial() and .multifactorial(), they work perfectly well, and the syntax for using them is the same as in the rest of Sage. Dan To me at least writing 'factorial(n)' is a bit clumbersome, compared to what I would expect. Mathematica supports Plus[2,3] = 5 and Factorial[5] = 120 but I doubt I'd ever want to write 'Plus' or 'Factorial' out in full, which there are such commonly used symbols for this. But clearly Mathemaitca shows there is some ambiguity about how multiple exclamation marks are used. Dave --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: New graphics axes and gridlines
Anyway, thanks again for all of your hard work on this! Sage has come a long ways because of it. +1. As thick as the web of the current plot code is, the actual functioning is very good in nearly all normal cases, as witness how picky we can afford to be with matplotlib; doing that from scratch is monumental. I suppose without good plotting I wouldn't have used Sage at all - nor would many others coming from the educational side. Thanks! - kcrisman --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Meeting Groupe Thématique Logiciel Libre, Ile de France
On Wed, Sep 02, 2009 at 07:09:17PM +1000, Minh Nguyen wrote: Hi Nicolas, 2009/9/2 Nicolas M. Thiery nicolas.thi...@u-psud.fr: SNIP Suggestions? Standard slides anyone for such a presentation? Project ideas for such services? Perhaps the talks wiki page can help: http://wiki.sagemath.org/Talks William Stein has delivered many such talks: http://www.wstein.org/talks/ But you want to keep your presentation to about 5 minutes. This is more of a lightning talk. Precisely, and with a quite specific slant. Thanks for the reminder though! Cheers, Nicolas -- Nicolas M. Thiéry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: whither the KAIST mirror?
Okay, some of their hardware went south: Date: Wed, 2 Sep 2009 20:39:24 +0900 From: 신재호 jaeho.s...@gmail To: Dan Drake dr...@kaist Subject: Re: ftp.kaist.ac.kr mirror of sagemath.org not working Hi Dan, These are known problems, and we are working on them. One of our disks has failed and we're currently waiting for the new one to arrive. And, we are designing a new status monitoring system, which will be available at the URL soon. The Sage mirror will be back as we bring our storage alive again. Thanks for your report. Jaeho -- --- Dan Drake - http://mathsci.kaist.ac.kr/~drake --- signature.asc Description: Digital signature
[sage-devel] Re: How do I apply a patch or clean up a repository?
Sorry, please disregard my previous message. I just found the following plastered all over my terminal window: WARNING: Make sure to create a ~/.hgrc file: -- [ui] username = William Stein wst...@gmail.com -- I suppose this answers it. :-) Cheers, Stan Jason Grout wrote: John Cremona wrote: You may need to recompile from scratch. I would *never* apply a patch to the mai nbranch, for this reason! The reason the hg qimport failed is probably because i nyour .hgrc file you need to alert hg to the fact that you will be using wueues. Mine looks like this: [ui] username = John Cremona john.crem...@gmail.com [extensions] hgext.mq = My file also has the following, in case it's helpful to others too: [extensions] record= hgext.mq= The record= enables hg record and hg qrecord, which lets me select parts of a file to include in a commit or patch. It's very handy in the case that I didn't commit often enough and several changes are mushed together in my source files. Jason --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
But clearly Mathemaitca shows there is some ambiguity about how multiple exclamation marks are used. Yes, unfortunately math is filled with such contextual ambiguity and/ or conflicting conventions (for instance, is i an indexing integer or a root of -1?). I'm usually all for multiple modes, but this is one place where even I would draw the line. - kcrisman --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Meeting Groupe Thématique Logiciel Libre, Ile de France
2009/9/2 Nicolas M. Thiery nicolas.thi...@u-psud.fr On Wed, Sep 02, 2009 at 07:09:17PM +1000, Minh Nguyen wrote: Hi Nicolas, 2009/9/2 Nicolas M. Thiery nicolas.thi...@u-psud.fr: SNIP Suggestions? Standard slides anyone for such a presentation? Project ideas for such services? Perhaps the talks wiki page can help: http://wiki.sagemath.org/Talks William Stein has delivered many such talks: http://www.wstein.org/talks/ But you want to keep your presentation to about 5 minutes. This is more of a lightning talk. Precisely, and with a quite specific slant. Thanks for the reminder though! Here's one I just added which was a recent short industry-oriented talk for Sage that Harald Schilly and I threw together. http://wstein.org/talks/200908-sun_partner_training/ William --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Dangerous mixing of different domains for symbolic variables
I wonder what the OP in the previous thread has for an OS, as well as for you. That's because the code mentioned there in calculus/ calculus.py maxima = Maxima(init_code = ['display2d:false; domain: complex; keepfloat: true; load(topoly_solver)'], script_subdirectory=None) seems to be not loading, perhaps. Note that sage: y = x.conjugate() sage: y.simplify?? sends one to symbolic/expression, and there it is simply y._maxima_() which is invoked, which is imported from sage/calculus/calculus. Is there any way to check what the domain is in a maxima session done by Sage (as opposed to one initiated by the user)? This could be related to the problem in reviewing #3587. - kcrisman --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: CSS overflow:auto prevents printing
2009/9/1 Jason Grout jason-s...@creativetrax.com William Stein wrote: 2009/9/1 Jason Grout jason-s...@creativetrax.com mailto:jason-s...@creativetrax.com William Stein wrote: On Tue, Sep 1, 2009 at 4:22 PM, Jason Grout jason-s...@creativetrax.com mailto:jason-s...@creativetrax.com mailto:jason-s...@creativetrax.com mailto:jason-s...@creativetrax.com wrote: I was trying to print a long worksheet in Firefox 3.5 and Opera 10.0 on Ubuntu 9.04, and I was only getting a page or two before everything cut off. I then changed the div.worksheet CSS style by deleting the overflow:auto;. Then printing worked great (i.e., I could print out the 20-page worksheet). Does anyone know why we need the overflow:auto in the div.worksheet CSS class? Just to confirm, are you clicking on the big Print button in the middle top of the screen before printing? Um, no, of course not! :). :-) Just like any new user, I'm hitting either control-p or selecting the file menu and hitting print. The Print option for me is hidden inside of the file drop-down---you can't see it unless you explore the dropdowns. I looked for a button, couldn't find one, so I hit print from the browser file menu. Just out of curiosity, do you see the button now? It's just to the left of the Worksheet button. Okay, I finally (!) found it. It's a smallish link; when you said button, I kept looking for something like the Worksheet button. It says something that I missed it two or three times when I was looking for it. It probably says more about me than about Sage... :) Putting it there wasn't a result of any thought on my part. It's just an exact copy (literally) of what Google Docs did 2 years ago (same icon in the same place). At the time, I wanted to make the Sage notebook just like Google Docs so some people would immediately think it feels more familiar. If you look at Google Docs now you'll see that they moved/changed it. -- William --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Univ of Maryland and Sage
Hi Sage-Devel, Here's an encouraging email about Sage that went out to the Univ of Maryland math department yesterday. William -- Forwarded message -- From: Mark Tilmes Date: Tue, Sep 1, 2009 at 2:45 PM Subject: New Mathematical software, Sage To: mathus...@math.umd.edu Mathusers, We have installed a new software package called Sage. This is open source software with a lot of features found in some of the main commercial packages such as Mathematica, Matlab and Maple. See http://www.sagemath.org. To run sage type sage on the command line. Please be advised that in the future we may reduce the number of Mathematica licenses in the department due to its diminishing usage and high cost. You may want to consider Sage as an alternative. Mark -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Univ of Maryland and Sage
On Thu, Sep 3, 2009 at 12:07 AM, William Steinwst...@gmail.com wrote: Hi Sage-Devel, Here's an encouraging email about Sage that went out to the Univ of Maryland math department yesterday. Incidentally, we were recently notified via IRC in #sage-devel that the University of Tennessee at Knoxville would provide a mirror of Sage. And the promise has been kept: http://mira.sunsite.utk.edu/sagemath/ -- Regards Minh Van Nguyen --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: List of doctest failures in current Mandriva sagemath
2009/9/1 Paulo César Pereira de Andrade paulo.cesar.pereira.de.andr...@gmail.com Hi, The package I am building uses newer versions of several components, and while I believe most of these tests probably are correct, I may be missing some patch, so, if you can confirm it is correct, or is an alternate correct response, please let me know. These are not the only errors, but are a sampling of similar errors: doc/en/constructions/polynomials.rst +45 sage: print gap.eval(R:= PolynomialRing( GF(97))) Expected: PolynomialRing(..., [ x_1 ]) Got: GF(97)[x_1] * this should be due to using gap 4.4.12, while sage uses gap 4.4.10 looks fine doc/en/constructions/rings.rst +58 sage: R = singular.ring(97, '(a,b,c,d)', 'lp') sage: I = singular.ideal(['a+b+c+d', 'ab+ad+bc+cd', 'abc+abd+acd+bcd', 'abcd-1']) sage: R Expected: // characteristic : 97 // number of vars : 4 //block 1 : ordering lp // : namesa b c d //block 2 : ordering C Got: // characteristic : 97 // number of vars : 4 //block 1 : ordering lp // : namesabcd //block 2 : ordering C * The sage spkg don't have a patch to separate the names, so I am assuming it is a minor change in singular looks safe doc/en/tutorial/tour_numtheory.rst +94 sage: x = crt(2, 1, 3, 5); x Expected: -4 Got: 11 * This is caused by using pari 2.3.4 while sage uses pari 2.3.3 safe libs/pari/gen.pyx +6781 sage: y = QQ['yy'].0; _ = pari(y) # pari has variable ordering rules sage: x = QQ['zz'].0; nf = pari(x^2 + 2).nfinit() sage: nf.nfroots(y^2 + 2) Expected: [-zz, zz] Got: [Mod(-zz, zz^2 + 2), Mod(zz, zz^2 + 2)] * Again, due to using newer version of pari ok matrix/matrix_double_dense.pyx +983 sage: m = matrix(RDF, 2, range(6)); m [0.0 1.0 2.0] [3.0 4.0 5.0] sage: U, S, V = m.SVD() sage: U*S*V.transpose() # random low bits [7.62194127257e-17 1.0 2.0] [ 3.0 4.0 5.0] sage: U [-0.274721127897 -0.961523947641] [-0.961523947641 0.274721127897] sage: S [7.34846922835 0.0 0.0] [ 0.0 1.0 0.0] sage: V Expected: [-0.392540507864 0.824163383692 0.408248290464] [-0.560772154092 0.137360563949 -0.816496580928] [ -0.72900380032 -0.549442255795 0.408248290464] Got: [-0.392540507864 0.824163383692 -0.408248290464] [-0.560772154092 0.137360563949 0.816496580928] [ -0.72900380032 -0.549442255795 -0.408248290464] last eigenvector is just off by sign? * This one gives significantly different result, but is not easy to do an alternate build with sage's version of quaddouble * I think I will switch to use sage's version. Sage uses quaddouble 2.2.p9 (patchlevel 9), while I packaged upstream quaddouble 2.2.7 rings/real_rqdf.pyx +463 sage: RQDF(2^60 + 9 ) Expected: 1.152921504606846985e18 Got: 1e+18 * Again should be a quaddouble issue. But I can see that sage result is correct, while the quaddouble I am using is truncating the result. We voted a lng time ago to completely remove quaddouble from Sage, since it causes too much trouble for too little gain. This needs to happen asap. Anyway, quaddouble will vanish from sage soon, so I wouldn't worry too much about quaddouble issues. rings/polynomial/toy_d_basis.py +171 sage: from sage.rings.polynomial.toy_d_basis import gpol sage: P.x, y, z = PolynomialRing(IntegerRing(), 3, order='lex') sage: f = x^2 - 1 sage: g = 2*x*y - z sage: gpol(f,g) Expected: x^2*y - y Got: x^2*y - x*z + y * Not sure what is the cause, neither if this is an alternate correct result...] Martin -- any thoughts? calculus/calculus.py +1068 sage: f = log(log(x))/log(x) sage: forget(); assume(x-2); lim(f, x=0, taylor=True) Expected: limit(log(log(x))/log(x), x, 0) Got: 0 * This is when using newer maxima That agrees with Mathematica at least: In[4]:= Limit[Log[Log[x]]/Log[x],x-0] Out[4]= 0 So it seems like it is just an improvement we'll get in Sage. It sounds like Sage in Mandriva will be better than our Sage, until we update a few packages. William --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: New graphics axes and gridlines
Hi Jason, Thanks for the great work! Just to add to the axis labels problem you mentioned, the following does not display the y-axis label for me (in notebook): P = plot(1.5*x + 0.003,(x,0,0.075)) P.axes_labels(['$\delta_c$ (m)', '$\delta_h$ (m)']) P Changing the xmax value a little bit makes it work fine again: P = plot(1.5*x + 0.003,(x,0,0.05)) P.axes_labels(['$\delta_c$ (m)', '$\delta_h$ (m)']) P Cheers, Stan --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Dangerous mixing of different domains for symbolic variables
FYI the Maxima functions conjugate, realpart/imagpart, cabs/carg have been revised recently. Maybe you can try it with the most recent version (5.19.2). For the purposes of debugging I think it's best if you use Maxima directly instead of going through Sage. On Sep 2, 5:49 am, Golam Mortuza Hossain gmhoss...@gmail.com wrote: This seems to be happening because maxima(via simplify) treats variables as real whereas pynac treats as complex. FWIW in order for conjugate friends to recognize variables as complex, probably it is necessary to declare them as such (i.e. declare(foo, complex)). I think domain:complex won't have the same effect. Maybe Sage is already calling declare. HTH Robert Dodier --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: List of doctest failures in current Mandriva sagemath
doc/en/constructions/rings.rst +58 sage: R = singular.ring(97, '(a,b,c,d)', 'lp') sage: I = singular.ideal(['a+b+c+d', 'ab+ad+bc+cd', 'abc+abd+acd+bcd', 'abcd-1']) sage: R Expected: // characteristic : 97 // number of vars : 4 //block 1 : ordering lp // : namesa b c d //block 2 : ordering C Got: // characteristic : 97 // number of vars : 4 //block 1 : ordering lp // : namesabcd //block 2 : ordering C * The sage spkg don't have a patch to separate the names, so I am assuming it is a minor change in singular looks safe Yes, this was fixed in Singular recently, I assume Mandriva only needs to update to the newest upstream release. rings/polynomial/toy_d_basis.py +171 sage: from sage.rings.polynomial.toy_d_basis import gpol sage: P.x, y, z = PolynomialRing(IntegerRing(), 3, order='lex') sage: f = x^2 - 1 sage: g = 2*x*y - z sage: gpol(f,g) Expected: x^2*y - y Got: x^2*y - x*z + y * Not sure what is the cause, neither if this is an alternate correct result...] Martin -- any thoughts? Here is what gpol does a1,a2 = g1.lc(),g2.lc()# a1 = 1, a2 = 2 a, c1, c2 = xgcd(a1,a2) # (1,0,1) - this is not unique t1,t2 = g1.lm(), g2.lm() # x^2, x*y t = t1.parent().monomial_lcm(t1,t2) # x^2*y s1,s2 = t//t1, t//t2 # y, x return c1*s1*g1 + c2*s2*g2 # 0*y*g1 + 1*x*g2 I guess xgcd changed (e.g. (1,-1,1)) and thus the result is different. So it seems also correct. Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Fwd: Conference/workshop on Industrial Applications and Prospects of Computer Algebra
Hi there, I just received this e-mail about a computer algebra conference in Germany in 2010. The bottomline: So let me kindly ask if you/your company/organisation basically would be interested to contribute to this event, in terms of talks, exhibitions, or financial support. It sounds like it could be fun and useful. Cheers, Martin PS: Harald, did you also receive this? I guess I received it because of our article in the Computer Algebra Rundbrief. -- Forwarded Message -- Subject: Conference/workshop on Industrial Applications and Prospects of Computer Algebra Date: Wednesday 02 September 2009 From: Hofmeister, Michael michael.hofmeis...@siemens.com To: m.r.albre...@rhul.ac.uk Dear Mr Albrecht, As you certainly know, the expert group Computer Algebra is an initiative of the German Association for Computer Science (Gesellschaft für Informatik, GI), the German Mathematical Association (Deutsche Mathematiker-Vereinigung, DMV) and the Association for Applied Mathematics and Mechanics (Gesellschaft für Angewandte Mathematik und Mechanik, GAMM). Its goal is to promote teaching, research, development, communication and collaboration within the area of Computer Algebra Systems in Germany. The board of the expert group intends to organize a conference/workshop on Industrial Applications and Prospects of Computer Algebra in 2010. The goal is - to bring together the different stakeholders, - to point out the strengths of such systems for industrial applications, and - to outline directions for future product development and research. In order to carry this out, we want to provide, by means of the conference, a communication platform between three communities: - Providers of CA systems, - Software users, preferably from industry, - Researchers from universities. In fact, the providers play a central role for this concept, as they constitute the entity which makes results from basic reseach usable for the application. So let me kindly ask if you/your company/organisation basically would be interested to contribute to this event, in terms of talks, exhibitions, or financial support. After contacting you as a provider, our next step will be to contact users of CA systems. It would be very helpful for this endeavor if you can point selected key customers/applicants of your CA systems out to us, preferably from industry, which might be interested to contribute also. Thank you in advance for your kind cooperation, Michael Hofmeister Board member of Expert Group Computer Algebra Expert for Industry http://www.fachgruppe-computeralgebra.de/ == NEW MOBILE ACCOUNT == PD Dr. Michael Hofmeister Siemens AG Corporate Technology CT PP 7 Otto-Hahn-Ring 6 81739 München, Deutschland Tel.: +49 (89) 636-49476 Fax: +49 (89) 636-42284 Mobil: +49 (173) 9650346 mailto:michael.hofmeis...@siemens.com mailto:michael.hofmeis...@siemens.com Siemens Aktiengesellschaft: Vorsitzender des Aufsichtsrats: Gerhard Cromme; Vorstand: Peter Löscher, Vorsitzender; Wolfgang Dehen, Heinrich Hiesinger, Joe Kaeser, Barbara Kux, Hermann Requardt, Siegfried Russwurm, Peter Y. Solmssen; Sitz der Gesellschaft: Berlin und München, Deutschland; Registergericht: Berlin Charlottenburg, HRB 12300, München, HRB 6684; WEEE-Reg.-Nr. DE 23691322 -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: martinralbre...@jabber.ccc.de --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
2009/9/2 kcrisman kcris...@gmail.com: But clearly Mathemaitca shows there is some ambiguity about how multiple exclamation marks are used. Yes, unfortunately math is filled with such contextual ambiguity and/ or conflicting conventions (for instance, is i an indexing integer or a root of -1?). I'm usually all for multiple modes, but this is one place where even I would draw the line. - kcrisman 'i' is current. 'j' is the square root of -1 (to us electrical engineers anyway!) Dave --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Dangerous mixing of different domains for symbolic variables
On Sep 2, 11:02 am, Robert Dodier robert.dod...@gmail.com wrote: FYI the Maxima functions conjugate, realpart/imagpart, cabs/carg have been revised recently. Maybe you can try it with the most recent version (5.19.2). For the purposes of debugging I think it's best if you use Maxima directly instead of going through Sage. On Sep 2, 5:49 am, Golam Mortuza Hossain gmhoss...@gmail.com wrote: This seems to be happening because maxima(via simplify) treats variables as real whereas pynac treats as complex. FWIW in order for conjugate friends to recognize variables as complex, probably it is necessary to declare them as such (i.e. declare(foo, complex)). I think domain:complex won't have the same effect. Maybe Sage is already calling declare. Very interesting. Continuing from the above code: sage: assume(a,'complex') sage: x.conjugate().simplify() -I*b + conjugate(a) Clearly we were not calling declare. Is there any way to do this for ANY globally defined variable, though? It seems overkill to put it in var(), and one wouldn't want it to conflict with (say) assume (n,'integer') or something. What does domain: complex do, then? Is it for solve, perhaps? But as Robert says, Maxima performs as advertised. I think that it is once again clear that Maxima (like matplotlib) has a lot of functionality which remains unexposed. - kcrisman --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: New graphics axes and gridlines
Stan Schymanski wrote: Hi Jason, Thanks for the great work! Just to add to the axis labels problem you mentioned, the following does not display the y-axis label for me (in notebook): P = plot(1.5*x + 0.003,(x,0,0.075)) P.axes_labels(['$\delta_c$ (m)', '$\delta_h$ (m)']) P Changing the xmax value a little bit makes it work fine again: P = plot(1.5*x + 0.003,(x,0,0.05)) P.axes_labels(['$\delta_c$ (m)', '$\delta_h$ (m)']) P Are you using the latest version of the patch? I updated the patch just before posting to sage-devel. Now that the word is out, I'll make explicitly named versions of the patch when I make a change. Thanks, Jason --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
On Tue, Sep 1, 2009 at 11:34 PM, Dr. David Kirkbydavid.kir...@onetel.net wrote: In[7]:= 5!!! Out[7]= 1307674368000 In[8]:= (5!!)! Out[8]= 1307674368000 In[9]:= 5 Out[9]= 2027025 In[10]:= (5!!)!! Out[10]= 2027025 Yuck. -1 to compatibility with this. All or nothing -- if you're going to support double factorial, you should support any multifactorial. Reasonably, we can't expect to support arbitrary math input. We don't support |A| where len(A) does the job, and we don't accept half-open interval notation, either. I've made up my mind, I don't support the factorial notation. -1. --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: What units should process size memory be returned in?
Yes, I do agree that uintptr_t is a better choice. It's also part of the ISO C99's Stdint.h. Note that we only would need this latter header (or rather the type(def)s contained therein), and possibly the corresponding printf formatting magic. ISO C99 is a standard for a decade now. Even if some compilers are not compliant to the full standard, at least there will be some ISO C99 compliant Stdint.h provided for them in the meantime, possibly by third parties. This certainly is the case for the important ones, e.g. for msvc. The same would hold for printf formats, I presume (I think where gcc uses %ll, msvc uses %l64 instead ... I didn't check for uintptr_t). Cheers, Georg --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: upgrade of ECL and Maxima
Sorry to be replying to my own post, but in case you need more arguments supporting (a) above, note that upgrading the spkg's solves the issues listed at tickets #780, #3718, #6165, #6420, and #6423. And it makes #3587 look much better. Great work getting the new Maxima in! - kcrisman --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] extension field iterator
Hi all, I noticed that iterating over a finite field gives a different order depending on the implementation: sage: list(sage.rings.finite_field_prime_modn.FiniteField_prime_modn (7)) [0, 1, 2, 3, 4, 5, 6] sage: list(sage.rings.finite_field.FiniteField_givaro(7)) [0, 3, 2, 6, 4, 5, 1] sage: list(sage.rings.finite_field_ext_pari.FiniteField_ext_pari (2**3,'a')) [0, 1, a, a + 1, a^2, a^2 + 1, a^2 + a, a^2 + a + 1] sage: list(sage.rings.finite_field.FiniteField_givaro(2**3)) [0, a, a^2, a + 1, a^2 + a, a^2 + a + 1, a^2 + 1, 1] sage: list(sage.rings.finite_field_ntl_gf2e.FiniteField_ntl_gf2e (2**3,'a')) [0, 1, a, a + 1, a^2, a^2 + 1, a^2 + a, a^2 + a + 1] I think we should change the behavior for FiniteField_givaro, but maybe it's better to give the choice between the two behavior. Do you think it's useful to keep both? Which one would you prefer for default? Yann --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Factorial syntax
I think that a CAS without a strong programming language is nothing but a simple pocket calculator. Therefore, if a mathematical notation interferes too much with the requirements of the underlying programming language, then the mathematical notation should be dropped. I vote +1 for this argument Compare this with the example given by Kwankyu: Rx=ZZ[] resembles a chain of inequalities, sage: 56=3 True and R[x] is not compatible with Python's syntax (if R is to be defined). Therefore, I think it is a very reasonable compromise to have the additional dot in R.x This explanation makes sense. Thank you. Kwankyu --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Dangerous mixing of different domains for symbolic variables
Hi, On Wed, Sep 2, 2009 at 12:13 PM, kcrismankcris...@gmail.com wrote: FWIW in order for conjugate friends to recognize variables as complex, probably it is necessary to declare them as such (i.e. declare(foo, complex)). I think domain:complex won't have the same effect. Maybe Sage is already calling declare. Very interesting. Continuing from the above code: sage: assume(a,'complex') sage: x.conjugate().simplify() -I*b + conjugate(a) Clearly we were not calling declare. Is there any way to do this for ANY globally defined variable, though? It seems overkill to put it in var(), and one wouldn't want it to conflict with (say) assume (n,'integer') or something. In any case, current var() needs an upgrade. We now have three tickets against it (1) Custom typesetting: http://trac.sagemath.org/sage_trac/ticket/6403 (2) Custom domain: http://trac.sagemath.org/sage_trac/ticket/6559 (3) Syncing domain of variables with maxima: http://trac.sagemath.org/sage_trac/ticket/6862 I did bit of work on the first two and unless someone else fixes the third one, may be I will have a look at it. Cheers, Golam --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: extension field iterator
On Wed, 2 Sep 2009, YannLC wrote: Hi all, I noticed that iterating over a finite field gives a different order depending on the implementation: sage: list(sage.rings.finite_field_prime_modn.FiniteField_prime_modn (7)) [0, 1, 2, 3, 4, 5, 6] sage: list(sage.rings.finite_field.FiniteField_givaro(7)) [0, 3, 2, 6, 4, 5, 1] sage: list(sage.rings.finite_field_ext_pari.FiniteField_ext_pari (2**3,'a')) [0, 1, a, a + 1, a^2, a^2 + 1, a^2 + a, a^2 + a + 1] sage: list(sage.rings.finite_field.FiniteField_givaro(2**3)) [0, a, a^2, a + 1, a^2 + a, a^2 + a + 1, a^2 + 1, 1] sage: list(sage.rings.finite_field_ntl_gf2e.FiniteField_ntl_gf2e (2**3,'a')) [0, 1, a, a + 1, a^2, a^2 + 1, a^2 + a, a^2 + a + 1] I think we should change the behavior for FiniteField_givaro, but maybe it's better to give the choice between the two behavior. Do you think it's useful to keep both? Which one would you prefer for default? By default, I'd prefer whatever is fastest to compute for a given representation. - Robert --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: [fricas-devel] Re: Aldor interface
Ralf, I just completed a full compile of FriCAS rev. 666 from source with ECL 9.8.4 including the Aldor interface. It finished with no problems and seems to run fine. So what is failing at the moment seems to be building the Aldor interface from a *cached lisp* distribution created with: ../fricas/src/scripts/mkdist.sh --copy_lisp Ref. http://sagetrac.org/sage_trac/ticket/4461 Building FriCAS in Sage using the spkg from: http://sagetrac.org/sage_trac/ticket/6517 when Aldor is previously installed, fails when it attempts to build the Aldor interface. The error: undefined reference to `log' when building 'cliques.as' is cured by adding '-lm' to CLIQUEOPTS=-mno-abbrev -mno-mactext -laldor -lm -fx in src/aldor/Makefile.in I don't know why '-lm' isn't also necessary when building FriCAS outside of Sage. It must have something to so with the load library environment inside the Sage shell. But after including '-lm' it fails again with the following error: touch -t 19990101 lib/.dir DAASE=/home/wspage/sage-4.1.1/spkg/build/fricas-1.0.7.p0/build-dir/target/i686-pc-linux /home/wspage/sage-4.1.1/spkg/build/fricas-1.0.7.p0/build-dir/target/i686-pc-linux/bin/AXIOMsys tmp/mko_runtime.lsp tmp/mko_runtime.log test -f lib/runtime.fas echo ')lisp (compile-file /home/wspage/sage-4.1.1/spkg/build/fricas-1.0.7.p0/build-dir/src/aldor/lsp/lang.lsp :output-file /home/wspage/sage-4.1.1/spkg/build/fricas-1.0.7.p0/build-dir/src/aldor/lib/lang.fas)' tmp/mko_lang.lsp echo ')lisp (quit)' tmp/mko_lang.lsp # The .ao file will be built via Makefile2. aldor -flsp=lsp/lang.lsp ao/lang.ao #1 (Fatal Error) Could not open file `ao/lang.ao'. make[2]: *** [lsp/lang.lsp] Error 1 make[2]: Leaving directory `/home/wspage/sage-4.1.1/spkg/build/fricas-1.0.7.p0/build-dir/src/aldor' make[1]: *** [all-aldor] Error 2 make[1]: Leaving directory `/home/wspage/sage-4.1.1/spkg/build/fricas-1.0.7.p0/build-dir/src' make: *** [all-src] Error 2 *** Failed to make FriCAS. *** wsp...@debian:~/sage-4.1.1/spkg/build/fricas-1.0.7.p0$ Regards, Bill Page. On Mon, Aug 31, 2009 at 11:01 AM, Ralf Hemmecke wrote: I am sure that the Aldor-interface used to build with GCL. But rather than invest time to continue to support it maybe it would be better to try to make sure that the Aldor interface will build with ECL. OK, I'll look at that as soon as possible. Which ECL version should I take? ... --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] base_ring()
Hi Sage-support did not solicit an answer. Both of these seem wrong: Is this the intended behaviour? sage: z=1.+sqrt(-1); print z; z.base_ring() 1.00 + 1.00*I Symbolic Ring sage: z=1.+sqrt(-1.); print z; z.base_ring() 1.00 + 1.00*I Real Field with 53 bits of precision note the sqrt(-1) versus sqrt(-1.) regards, Jan -- .~. /V\ Jan Groenewald /( )\www.aims.ac.za ^^-^^ --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: base_ring()
On Wed, Sep 2, 2009 at 9:56 PM, Jan Groenewald j...@aims.ac.za wrote: Hi Sage-support did not solicit an answer. Both of these seem wrong: Is this the intended behaviour? sage: z=1.+sqrt(-1); print z; z.base_ring() 1.00 + 1.00*I Symbolic Ring sage: z=1.+sqrt(-1.); print z; z.base_ring() 1.00 + 1.00*I Real Field with 53 bits of precision note the sqrt(-1) versus sqrt(-1.) Yes, this is definitely the intended behavior. Why do you think either one is wrong? William --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~--~~~~--~~--~--~---