On 06/11/2010 03:05 PM, Bill Page wrote: > Ralf, > > No. I asked why > > *: (R, SquareMatrix(2, F) -> something > > is easy when R = Integer. But it is not "easy" when R = > Polynomial(Complex Integer))?
Oh, your example reveals quite confusing behaviour. :-( It seems that the interpreter treats Integer in a very special way. But you know probably better than me how the interpreter decides. I'm actually not interested currently in anything that guesses types for me. A good coercion strategy might be fine, but if there is a choice then the user should be informed and *the user* should have the last word. Currently, the user is left in a state that doesn't help him much to find out why the result is different than expected and how he could get a better answer. Ralf -- 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.
