Re: [sage-devel] Re: norm of a complex number

2010-04-29 Thread Minh Nguyen
Hi Johan, 2010/4/30 Johan Grönqvist : > I tried following the guides, but it is my first attempt at using both > mercurial and trac, so I may well have missed something. I have looked over the patch. It is very good. I'm reviewing it now to determine what more to add to your patch so as to pre

[sage-devel] Re: norm of a complex number

2010-04-29 Thread Johan Grönqvist
2010-04-27 11:37, Minh Nguyen skrev: Would you upload a patch to the trac server to improve that documentation? If so, please CC me on the relevant ticket and I'd be more than happy to review your patch. I have opened ticket 8825 and attached a patch. It is a very small change, and by no means

[sage-devel] Re: norm of a complex number

2010-04-27 Thread Dima Pasechnik
To summarize: What is norm for number theorists, is pathology to the ordinary folks! :-) On Apr 27, 8:25 pm, Johan Grönqvist wrote: > 2010-04-27 13:29, Gonzalo Tornaria skrev: > > > 2010/4/27 Johan Grönqvist: > >> Those did not even mention that > >> there is an alternative definition of norm u

[sage-devel] Re: norm of a complex number

2010-04-27 Thread Johan Grönqvist
2010-04-27 13:29, Gonzalo Tornaria skrev: 2010/4/27 Johan Grönqvist: Those did not even mention that there is an alternative definition of norm used in number theory. Here it is: http://en.wikipedia.org/wiki/Field_norm Thanks. Now I learned something new. The norm on complex numbers is no

Re: [sage-devel] Re: norm of a complex number

2010-04-27 Thread Gonzalo Tornaria
2010/4/27 Johan Grönqvist : > The definition of norm on vectors is consistent with definitions of norm > according to wikipedia [0] and the springer encyclopedia of mathematics [1], > and (I believe) any book I have ever used. Those did not even mention that > there is an alternative definition of

[sage-devel] Re: norm of a complex number

2010-04-27 Thread YannLC
On Apr 27, 10:06 am, Johan Grönqvist wrote: > > The concept of a norm, as I have always encountered it, is well defined, > as in e.g. wikipedia[0] and other mathematics encyclopedias [1], [2], as > well as (I belive) any book I have used. This refers to vector spaces, > and I expect that most pe

[sage-devel] Re: norm of a complex number

2010-04-27 Thread Johan Grönqvist
2010-04-27 11:37, Minh Nguyen skrev: Hi Johan, 2010/4/27 Johan Grönqvist: The current documentation of norm() on complex numbers can be accessed from the Sage website [1]. That documentation leaves much to be desired, even though it makes the distinction between the complex norm and the absolut

Re: [sage-devel] Re: norm of a complex number

2010-04-27 Thread Minh Nguyen
Hi Johan, 2010/4/27 Johan Grönqvist : > My suggestion is to change the definition of norm on complex numbers. > > If that is not changed, I think that the docstring should clearly state that > sage deviates from the definitions of norm used by wikipedia, springer, > mathematica, maple and matla

[sage-devel] Re: norm of a complex number

2010-04-27 Thread Johan Grönqvist
2010-04-26 21:26, John Cremona skrev: In number theory it is very useful to have this norm-alisation, as well as the square root one also called abs. It's a special case of the algebraic concept of norm(a) = product of conjugates of a. If this was really a problem to non-number-theorists, we c

[sage-devel] Re: norm of a complex number

2010-04-26 Thread kcrisman
I'm used to the number-theoretic norm too, so I wasn't so worried about it. I would point out that having "native" support of Gaussian integers/primes would be very convenient for educational purposes (for instance, a.is_prime() is not implemented for SR, but unfortunately also not for these guys

[sage-devel] Re: norm of a complex number

2010-04-26 Thread Jason Grout
On 04/26/2010 02:48 PM, Gonzalo Tornaria wrote: On Mon, Apr 26, 2010 at 4:26 PM, John Cremona wrote: In number theory it is very useful to have this norm-alisation, as well as the square root one also called abs. It's a special case of the algebraic concept of norm(a) = product of conjugates o

[sage-devel] Re: norm of a complex number

2010-04-26 Thread Rishikesh
There is abs() function which behaves likes Norm of Mathematica. I think that the function names of sage are more appropriate. Rishi On Apr 26, 3:26 pm, John Cremona wrote: > In number theory it is very useful to have this norm-alisation, as > well as the square root one also called abs.  It's a