Re: Ungleich

["Udo und Susanne Krause" <su.krause@XXXXXXX.ch>]

Hallo,

> und letzteres veranlasst zu einer Eselsbrueckenfunktion

das waere noch etwas brauchbarer

In[28]:= Remove[richterUnUnequal]
richterUnUnequal[f_, a_, b_Symbol:Refine] :=
 If[FreeQ[a, Unequal], b[f, a],
   If[Head[a] == Unequal,
    {{#, b[f, Assumptions -> #]} &[Less @@ a],
     {#, b[f, Assumptions -> #]} &[Greater @@ a]},
    b[f, a]
    ]
   ] /; SameQ[b, Refine] || SameQ[b, Simplify] ||
   SameQ[b, FullSimplify]

mit

In[32]:= richterUnUnequal[d^3/Abs[d], d != 0, Simplify]
In[33]:= richterUnUnequal[d^3/Abs[d], 0 != d, FullSimplify]
In[34]:= richterUnUnequal[(x - y)^3/Abs[x - y], x != y]

Jetzt aber Schluss damit!

Gruss
Udo.