If it just were inside library code, I would for sure call this a bug, unless there has been previously been some definition like
sqrt: Polynomial Integer := ... In the context of the interpreter it is actually not so easy. To make sense out of "sqrt -1" the interpreter has some choises for the -. Making it univariate would probably lead to something reasonable. But making it binary, it can also make something reasonable out of it by converting "sqrt" to a variable in POLY(INT). As a human it looks easy what to choose. The only reason why the interpreter should choose the unary path is that this involves no conversion. But then consider a bit more involved expressions... Ralf On 10/13/2008 01:37 PM, Martin Rubey wrote: > I'd consider the following a bug, since -1 is an Integer. But I'm not > sure. What do you think, > > Martin > > (23) -> sqrt -1 > > (23) sqrt - 1 > Type: Polynomial(Integer) --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
