[sage-combinat-devel] Re: sage-combinat: erreur?

2010-11-24 Thread Florent Hivert
Salut Samuel on bosse avec Vincent sur les surfaces plates et on voudrait envoyer nos modifs sur sage-combinat, mais il semble y avoir une erreur, dont on se demande si elle pourrait venir des modifs que tu as envoyées; peux-tu vérifier? Est-ce que tu peux être un peu plus précis que

Re: [sage-combinat-devel] two patches fail to apply

2010-11-24 Thread Vincent Delecroix
Maybe: sage -combinat qselect (some new guards have been introduced recently). Thank you Nicolas for your answer. What does the command sage -combinat qselect do ? In any case, the command does not solve anything... (But I found how to solve temporarily the problem by hand

Re: [sage-combinat-devel] two patches fail to apply

2010-11-24 Thread Vincent Delecroix
PS: my hunky traceback Which patches are applied? patches guarded (verbose output from $ hg -v qseries | grep \ G\ ). In particular the patch 27 trac_9648_modulemorphism_codomain_extension-cs.patch is. 0 G trac_7420-fix-infinite-coercion-discovery-loop-2.patch 1 G sage-4.3.1.patch 2 G

Re: [sage-combinat-devel] two patches fail to apply

2010-11-24 Thread Nicolas M. Thiery
On Wed, Nov 24, 2010 at 10:59:55PM +0100, Vincent Delecroix wrote: PS: my hunky traceback Which patches are applied? patches guarded (verbose output from $ hg -v qseries | grep \ G\ ). In particular the patch 27 trac_9648_modulemorphism_codomain_extension-cs.patch is. Ok, so that's

Re: [sage-combinat-devel] two patches fail to apply

2010-11-24 Thread Vincent Delecroix
PS: my hunky traceback Which patches are applied? patches guarded (verbose output from $ hg -v qseries | grep \ G\ ). In particular the patch 27 trac_9648_modulemorphism_codomain_extension-cs.patch is. Ok, so that's indeed the problem: those patches are guarded whereas they should

Re: [sage-combinat-devel] two patches fail to apply

2010-11-24 Thread Nicolas M. Thiery
On Wed, Nov 24, 2010 at 11:48:30PM +0100, Vincent Delecroix wrote: vinc...@chezmoi$ sage -combinat update nor vinc...@chezmoi$ sage -combinat qselect fixed the problem Hmm. You might need to run sage -combinat qselect *in the sage-combinat repository*. Could you give it a shot, and have a look

[sage-devel] #10300: help needed with shell portability

2010-11-24 Thread Jeroen Demeyer
Somebody who knows about shells and portability, please have a look at #10300. We have somebody's tcsh bahaving in a way which I don't understand. Thanks, Jeroen. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] CompositConstructionFunctor [sic]

2010-11-24 Thread John Cremona
In reviewing #8807 I spotted what looked like a typo: CompositConstructionFunctor. But in fact that is the way this class name is defined. There are many occurrences of this, almost all in categories/pushout.py, the rest in rings/polynomial/infinite_polynomial_ring.py. Is there a good reason

Re: [sage-devel] CompositConstructionFunctor [sic]

2010-11-24 Thread David Roe
Seems fine to me. David On Wed, Nov 24, 2010 at 10:16, John Cremona john.crem...@gmail.com wrote: In reviewing #8807 I spotted what looked like a typo: CompositConstructionFunctor. But in fact that is the way this class name is defined. There are many occurrences of this, almost all in

[sage-devel] Unifying, if it is not too troublesome ...

2010-11-24 Thread Nathann Cohen
Hello everybody !!! Working on Minh's patches for new graph generators, I had to create Dihedral groups, which took me more than half a second. Which mean it can be improved :-D More seriously, the way I found to create them was to use the DihedralGroup() method, which one does not have to

Re: [sage-devel] CompositConstructionFunctor [sic]

2010-11-24 Thread John Cremona
On Wed, Nov 24, 2010 at 9:32 AM, David Roe r...@math.harvard.edu wrote: Seems fine to me. See #10318 John David On Wed, Nov 24, 2010 at 10:16, John Cremona john.crem...@gmail.com wrote: In reviewing #8807 I spotted what looked like a typo: CompositConstructionFunctor.  But in fact that

[sage-devel] Parent of a matrix product inconsistent with coercion

2010-11-24 Thread Simon King
Hi! sage: M1 = MatrixSpace(GF(46301),4,4) sage: M2 = MatrixSpace(ZZ.quo(46301),4,4) sage: m1 = M1.random_element() sage: m2 = M2.random_element() sage: parent(m1*m2) is M2 True We have sage: M1.has_coerce_map_from(M2) True but sage: M2.has_coerce_map_from(M1) False So, I think we should rather

Re: [sage-devel] #10300: help needed with shell portability

2010-11-24 Thread David Kirkby
I left some comments on the ticket. 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 URL:

[sage-devel] Sage *may* need GNU gettext for libintl.so.3 to run 'make test'

2010-11-24 Thread David Kirkby
This is an issue I discovered on Solaris , but one I think can potentially effect all systems. I built sage 4.6.1.alpha2 on an OpenSolaris 06/2009 system (*without* setting SAGE_FAT_BINARY=yes), then copied the complete file system to an absolute minimal install of Solaris 11 Express, which is a

[sage-devel] Re: Parent of a matrix product inconsistent with coercion

2010-11-24 Thread Simon King
On 24 Nov., 12:54, Simon King simon.k...@uni-jena.de wrote: But since the __mul__ method also covers the case of matrix times vector etc, the existing __mul__ method should be split into a _mul_ method and a _act_on_ method. Or like this: In the existing __mul__ method, it is first tested

Re: [sage-devel] Sage *may* need GNU gettext for libintl.so.3 to run 'make test'

2010-11-24 Thread Willem Jan Palenstijn
On Wed, Nov 24, 2010 at 12:48:16PM +, David Kirkby wrote: drkir...@laptop:~/sage-4.6.1.alpha2$ make test ld.so.1: make: fatal: libintl.so.3: open failed: No such file or directory Killed That sounds like the 'make' binary itself is failing to run, I think. Does make work? (Maybe try just

Re: [sage-devel] Re: Parent of a matrix product inconsistent with coercion

2010-11-24 Thread John Cremona
This sounds reasonable to me. I know that in general we do not want to try to coerce from Z/nZ to GF(n) for prime n since we do not want to prove primality except deliberately. The reverse coercion is a forgetful functor, so safe. But i nyour example, both GF(p) and Z/pZ already exist, in which

[sage-devel] Should Sage default to port 8080 rather than 8000?

2010-11-24 Thread David Kirkby
The default port fo the Sage server is port 8000 and not port 8080. Is there any good reason for this? http://en.wikipedia.org/wiki/List_of_TCP_and_UDP_port_numbers lists port 8080 as an anternate HTTP server, bt notes of 8000 that 8000 is sometimes erroneously used instead of port 8080

[sage-devel] Re: Parent of a matrix product inconsistent with coercion

2010-11-24 Thread Simon King
Hi John! On 24 Nov., 14:06, John Cremona john.crem...@gmail.com wrote: This sounds reasonable to me.  I know that in general we do not want to try to coerce from Z/nZ to GF(n) for prime n since we do not want to prove primality except deliberately.  The reverse coercion is a forgetful

Re: [sage-devel] Sage *may* need GNU gettext for libintl.so.3 to run 'make test'

2010-11-24 Thread David Kirkby
On 24 November 2010 12:56, Willem Jan Palenstijn w...@usecode.org wrote: On Wed, Nov 24, 2010 at 12:48:16PM +, David Kirkby wrote: drkir...@laptop:~/sage-4.6.1.alpha2$ make test ld.so.1: make: fatal: libintl.so.3: open failed: No such file or directory Killed That sounds like the 'make'

Re: [sage-devel] Re: Parent of a matrix product inconsistent with coercion

2010-11-24 Thread John Cremona
Good -- then go for it! John On Wed, Nov 24, 2010 at 1:13 PM, Simon King simon.k...@uni-jena.de wrote: Hi John! On 24 Nov., 14:06, John Cremona john.crem...@gmail.com wrote: This sounds reasonable to me.  I know that in general we do not want to try to coerce from Z/nZ to GF(n) for prime n

[sage-devel] sage-padics mailing list

2010-11-24 Thread David Roe
I've created a mailing list for working on p-adics in Sage, and more generally polynomials, matrices and modules over local rings (such as p-adics and power series rings). http://groups.google.com/group/sage-padics You can apply to join on that website, or e-mail me and I'll add you (in case you

[sage-devel] Re: Unifying, if it is not too troublesome ...

2010-11-24 Thread Dima Pasechnik
Are you reinventing the wheel? :-) One should be able to import into Sage any graph that GAP can make using its package Grape. Grape is essentially doing what you seem to be doing: takes a permutation group and constructs a graph invariant under it. E.g. gap LoadPackage(grape); gap

[sage-devel] Re: NEW: Sage Windows installer.exe (577 MB): it's a 1-click install !!!

2010-11-24 Thread emil
On Nov 24, 1:26 am, Eviatar eviatarb...@gmail.com wrote: That's great news! I think it has the potential to greatly increase the usership of Sage. On Nov 23, 3:56 pm, emil emil.widm...@gmail.com wrote: I am proud to announce sagelive-511-46.exe, which will install the Sage system on

[sage-devel] Re: Unifying, if it is not too troublesome ...

2010-11-24 Thread Dima Pasechnik
see my comment on trac #9136 for a complete example. On Nov 24, 11:17 pm, Dima Pasechnik dimp...@gmail.com wrote: Are you reinventing the wheel? :-) One should be able to import into Sage any graph that GAP can make using its package Grape. Grape is essentially doing what you seem to be

Re: [sage-devel] sage-padics mailing list

2010-11-24 Thread Minh Nguyen
Hi David, On Thu, Nov 25, 2010 at 1:28 AM, David Roe r...@math.harvard.edu wrote: I've created a mailing list for working on p-adics in Sage, and more generally polynomials, matrices and modules over local rings (such as p-adics and power series rings).

Re: [sage-devel] NEW: Sage Windows installer.exe (577 MB): it's a 1-click install !!!

2010-11-24 Thread David Kirkby
On 23 November 2010 23:56, emil emil.widm...@gmail.com wrote: I am proud to announce sagelive-511-46.exe, which will install the Sage system on Windows systems. snip cheers emil Disclaimer: this hooks into the windows boot process, so use at own risk! If you are cautious maybe test on an

[sage-devel] Does a doc test require a compiler?

2010-11-24 Thread David Kirkby
I copied a complete file system containing my home directory (and so a build of Sage) from one machine to another. I then run all the doc tests. One test failed on the new machine, despite all tests passing on the original machine. The following tests failed: sage -t -force_lib

Re: [sage-devel] Unifying, if it is not too troublesome ...

2010-11-24 Thread William Stein
On Wed, Nov 24, 2010 at 2:28 AM, Nathann Cohen nathann.co...@gmail.com wrote: Hello everybody !!! Working on Minh's patches for new graph generators, I had to create Dihedral groups, which took me more than half a second. Which mean it can be improved :-D More seriously, the way I found

Re: [sage-devel] Does a doc test require a compiler?

2010-11-24 Thread William Stein
On Wed, Nov 24, 2010 at 10:22 AM, David Kirkby david.kir...@onetel.net wrote: I copied a complete file system containing my home directory (and so a build of Sage) from one machine to another. I then run all the doc tests. One test failed on the new machine, despite all tests passing on the

[sage-devel] Re: Does a doc test require a compiler?

2010-11-24 Thread Georg S. Weber
Hi Dave, to be able to process a *.pyx file (as the doctest definitely seems to do), yes, you need a compiler (either C or even C++, depending on the .pyx file). If you want to load/attach *.pyx files, the same applies. (Behind the scenes, Cython is used to generate out of the *.pyx file a *.c,

[sage-devel] Re: Unifying, if it is not too troublesome ...

2010-11-24 Thread Rob Beezer
I have thought for some time that it would be an improvement to have groups.tab work in much the same manner as graphs.tab and to have some of the less generally-useful groups moved out of the global namespace (after a proper deprecation of that behavior). And Dima's point (as on #9136) about

[sage-devel] Number fields with and without a given embedding

2010-11-24 Thread Simon King
Hi! When defining a number field, it is optional to provide a canonical embedding into the real lazy field. If two number fields are defined by the same polynomial and the same generator name, they are still considered different, if only one of them defines a canonical embedding. Example: sage:

Re: [sage-devel] Number fields with and without a given embedding

2010-11-24 Thread John Cremona
I never use these canonical embeddings, and cannot think of a reason for defining one field twice in this way... Now this would be more useful: sage: K.a = NumberField(x^2+3) sage: L.w = NumberField(x^2+x+1) sage: K.has_coerce_map_from(L) False sage: L.has_coerce_map_from(K) False sage:

Re: [sage-devel] Does a doc test require a compiler?

2010-11-24 Thread David Kirkby
On 24 November 2010 20:07, William Stein wst...@gmail.com wrote: On Wed, Nov 24, 2010 at 10:22 AM, David Kirkby david.kir...@onetel.net wrote: I copied a complete file system containing my home directory (and so a build of Sage) from one machine to another. I then run all the doc tests. One

Re: [sage-devel] Should notebook use a deport port of 8080 and not 8000?

2010-11-24 Thread David Kirkby
On 21 November 2010 15:43, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2010-11-21 15:18, Dr. David Kirkby wrote: A comment from a user recently that he can only use port 80 and 8080 by his employer, makes me think we should change the default port. I would just like to point out that this

[sage-devel] Re: Should notebook use a deport port of 8080 and not 8000?

2010-11-24 Thread Donald Alan Morrison
On Nov 24, 2:04 pm, David Kirkby david.kir...@onetel.net wrote: On 21 November 2010 15:43, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2010-11-21 15:18, Dr. David Kirkby wrote: A comment from a user recently that he can only use port 80 and 8080 by his employer, makes me think we

[sage-devel] Re: Number fields with and without a given embedding

2010-11-24 Thread Simon King
Hi John! On 24 Nov., 22:40, John Cremona john.crem...@gmail.com wrote: I never use these canonical embeddings, and cannot think of a reason for defining one field twice in this way... Well, it is imaginable that some automatic constructions (say, in pushout) create such a situation. And if it

Re: [sage-devel] Does a doc test require a compiler?

2010-11-24 Thread Mitesh Patel
On 11/24/2010 03:52 PM, David Kirkby wrote: On 24 November 2010 20:07, William Stein wst...@gmail.com wrote: On Wed, Nov 24, 2010 at 10:22 AM, David Kirkby david.kir...@onetel.net wrote: I copied a complete file system containing my home directory (and so a build of Sage) from one machine to

[sage-devel] Re: NEW: Sage Windows installer.exe (577 MB): it's a 1-click install !!!

2010-11-24 Thread emil
On Nov 24, 6:41 pm, David Kirkby david.kir...@onetel.net wrote: On 23 November 2010 23:56, emil emil.widm...@gmail.com wrote: I am proud to announce sagelive-511-46.exe, which will install the Sage system on Windows systems. snip cheers emil Disclaimer: this hooks into the

Re: [sage-devel] CompositConstructionFunctor [sic]

2010-11-24 Thread Robert Bradshaw
That's a typo (almost certainly mine) and should be changed. Thanks. On Nov 24, 2010 3:17 AM, John Cremona john.crem...@gmail.com wrote: In reviewing #8807 I spotted what looked like a typo: CompositConstructionFunctor. But in fact that is the way this class name is defined. There are many

Re: [sage-devel] Does a doc test require a compiler?

2010-11-24 Thread David Kirkby
On 24 November 2010 23:14, Mitesh Patel qed...@gmail.com wrote: On 11/24/2010 03:52 PM, David Kirkby wrote: On 24 November 2010 20:07, William Stein wst...@gmail.com wrote: On Wed, Nov 24, 2010 at 10:22 AM, David Kirkby david.kir...@onetel.net wrote: I copied a complete file system

Re: [sage-devel] Re: Should notebook use a deport port of 8080 and not 8000?

2010-11-24 Thread David Kirkby
On 21 November 2010 16:05, tuxiano tuxi...@gmail.com wrote: I'm not an expert of the matter, but I'm the user who made the comment and I'd like to add that I don't have problems with sites that use port 8080 while I can't connect to sites that use port 8000, for example I can't connect to

Re: [sage-devel] Re: Should notebook use a deport port of 8080 and not 8000?

2010-11-24 Thread David Kirkby
On 24 November 2010 22:13, Donald Alan Morrison donmorri...@gmail.com wrote: http://www.iana.org/assignments/port-numbers That was the link I intended to post - instead I posted the same link twice. As you can see, 8080 would be a more sensible default port, avoiding 8000 which is for remote

[sage-devel] Re: NEW: Sage Windows installer.exe (577 MB): it's a 1-click install !!!

2010-11-24 Thread RegB
The .exe version appeared to install and detect my grub loader, which I was told to edit a file for. I was paperless at the time, so didn't write anything down. I wasn't remembering the specific instructions the next time I booted. The .iso file booted OK from a CD and the browser came up fine.

[sage-devel] Re: Number fields with and without a given embedding

2010-11-24 Thread Simon King
On 24 Nov., 23:56, Simon King simon.k...@uni-jena.de wrote: I never use these canonical embeddings, and cannot think of a reason for defining one field twice in this way... Well, it is imaginable that some automatic constructions (say, in pushout) create such a situation. And if it occurs,