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

2010-11-24 Thread Simon King
On 24 Nov., 23:56, Simon King 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, the program shou

[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

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 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 desktop management.

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 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 > > http://t2nb.ma

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

2010-11-24 Thread David Kirkby
On 24 November 2010 23:14, Mitesh Patel wrote: > On 11/24/2010 03:52 PM, David Kirkby wrote: >> On 24 November 2010 20:07, William Stein wrote: >>> On Wed, Nov 24, 2010 at 10:22 AM, David Kirkby >>> wrote: I copied a complete file system containing my home directory (and so a build of

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" 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, a

[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 wrote: > On 23 November 2010 23:56, emil wrote: > > > I am proud to announce sagelive-511-46.exe, which will install the > > Sage system on Windows systems. > > > > > cheers > > emil > > > Disclaimer: this hooks into the windows boot process, so use at own > >

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 wrote: >> On Wed, Nov 24, 2010 at 10:22 AM, David Kirkby >> 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

[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 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, the program s

[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 wrote: > On 21 November 2010 15:43, Jeroen Demeyer 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 wou

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 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 is irrelevant, be

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

2010-11-24 Thread David Kirkby
On 24 November 2010 20:07, William Stein wrote: > On Wed, Nov 24, 2010 at 10:22 AM, David Kirkby > 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,

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. = NumberField(x^2+3) sage: L. = NumberField(x^2+x+1) sage: K.has_coerce_map_from(L) False sage: L.has_coerce_map_from(K) False sage: K.is_isomor

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

[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. work in much the same manner as graphs. 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 buildin

[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, or

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 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 original machine. > >

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 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 to create them w

[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 "devel/s

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 wrote: > I am proud to announce sagelive-511-46.exe, which will install the > Sage system on Windows systems. > cheers > emil > > Disclaimer: this hooks into the windows boot process, so use at own > risk! If you are cautious maybe test on an oldha machine first

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 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). > > http://groups.google.com/group/sage-padics I've added

[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 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 doing: takes a pe

[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 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 wrote: > > > I am proud to announce sagelive-511-46.exe, which will install the > > Sage system on Windows systems. > > > I tested it wit

[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> G:=NullGrap

[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

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 wrote: > Hi John! > > On 24 Nov., 14:06, John Cremona 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 prima

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 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' binary i

[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 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 functor, so safe.  But i n

[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" http:/

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

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

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

2010-11-24 Thread Simon King
On 24 Nov., 12:54, Simon King 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 whether the parents are

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

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: http://ww

[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] CompositConstructionFunctor [sic]

2010-11-24 Thread John Cremona
On Wed, Nov 24, 2010 at 9:32 AM, David Roe wrote: > Seems fine to me. See #10318 John > David > > On Wed, Nov 24, 2010 at 10:16, John Cremona wrote: >> >> In reviewing #8807 I spotted what looked like a typo: >> "CompositConstructionFunctor".  But in fact that is the way this class >> name is

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

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 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 > categories/pushout.p

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

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