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
|