I think log(2) is an element of the symbolic ring SR. There is no canonical morphism SR-->RR. So perhaps coercion is not expected to work?
Michel On May 31, 2:21 pm, Henryk Trappmann <[EMAIL PROTECTED]> wrote: > Hello, > > while the general rule of coercing in binary operations seems to be > towards the most unprecise, > for example > RealField(100)(1)*2 == RealField(100)(2) or > RealField(100)(1)*RealField(50)(1) == RealField(50)(1) > > this rule seems to be broken when working with log(2) > not RR(1)*log(2) == RR(log(2)) > > Then I read about the coercing rules and found that > RR.__call__(log(2)) is possible but > RR._coerce_(log(2)) raises a type error > > is there reason to do so? --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
