ReadExpr(R: RING, expr: STRING): RINGELEM
/**/ P ::= QQ[a,b]; /**/ S := NewPolyRing(NewFractionField(P), "x,y"); /**/ ReadExpr(S, "(a^2-b^2)*(x+y)/(a+b)"); (a -b)*x +(a -b)*y