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
> [email protected]
> http://lists.nongnu.org/mailman/listinfo/axiom-math
>
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
