Ralf Hemmecke <[EMAIL PROTECTED]> writes: > > Are you sure that is what is happening here? What is the type of the rhs > > below? > > > > (13') -> p:DMP(vl,Integer):=2 > > If I were in a "aldor -gloop" I would guess, that this will not be > accepted by the compiler, because DMP does not have a function integer: > Literal->%. But here we are in the FriCAS interpreter and that is more > liberal. I guess, it adds some invisible coercions.
There are only *very* few truly "invisible" coercions. The one involved here is 2::Integer. Well, this is not entirely correct, as can be seen by issuing ")se me bo on", but still. Note that there is coercion from Integer to % for every Ring. (The full truth is in the files i-coerfn.boot and i-coerce.boot, I think) Martin --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
