Re: Ausnahme

[Peter Pein <petsie@XXXXXXX.de>]

Andreas Rychen schrieb:
> Hallo Mathematica Fans
> Im Rahmen von Körpererweiterungen bin ich auf eine merkwürdige und 
> störende Ausnahme gestossen. Vielleicht kann mir jemand den 
> Sachverhalt klären.
>  
> Mit freundlichen Grüssen
> Andreas
Hallöle,

4+Sqrt[2] hat die interne Darstellung (FullForm):
Plus[4,Power[2,Rational[1,2]]], d.h. der Faktor vor der Wurzel wird
nicht extra abgespeichert, da er 1 ist.
Deshalb hätte ich als Ergebnis vom mo[zz] eher 4+2*Sqrt[2] erwartet,
obwohl 4+Sqrt[2] wohl eher erwünscht ist :-\ .

Wie dem auch sei, ich schlage

Clear@mo;
mo[z_]:=If[FreeQ[z,Power[2,Rational[1,2]]],Mod[z,5],
   z/.a_. + b_.*Sqrt[2] :> Mod[{a,b},5].{1,Sqrt[2]}]
vor.


Viel Erfolg,
Peter