Re: [Axiom-math] where is the complex module function ?

[Martin Rubey]

Dear François,

could you please report this as an issue.

For a RealNumberSystem R, abs$Complex R computes what you want. Otherwise,
there is an operation norm(x)$Complex R, which computes x*conjugate(x).

I think that RealNumberSystem is too strong a requirement for abs, the
corresponding code in gaussian.spad reads:

       if R has RealNumberSystem then
         abs(x:%):%        == (sqrt norm x)::%

It seems that the author of COMPLEX was particularly fond of RealNumberSystem
:-), see the bug in argument...

Martin


Francois Maltey writes:
 > Hello
 > 
 > I find the complex argument function :
 >    argument (3+4*%i) computes atan (4/3).
 > 
 > But where is the module or abs complex function :
 >   how can I get 5 from the complex 3+4*%i ?
 > 
 > Thanks a lot !
 > 
 > François 
 > 
 > 
 > _______________________________________________
 > Axiom-math mailing list
 > address@hidden
 > http://lists.nongnu.org/mailman/listinfo/axiom-math
 >