On 09/17/2016 07:13 PM, Kurt Pagani wrote: >>> Function: -? : % -> % is missing from domain: NonNegativeInteger >>> Internal Error >>> The function - with signature $$ is missing from domain >>> NonNegativeInteger >> >> This is a good thing. The negation of an element of NNI is not in NNI >> unless this element is 0. > > Yes, of course, but there never was such a function up to 1.3:
> ... > Now compare current (trunk) ... > > -? : % -> % if $ has ABELGRP Ooops. Then I wonder how you could have compiled -n for n being in NNI before version 1.3. Maybe formerly the compiler silently did some coercion to Integer and later retracted that back to NNI. If that is/was the case, then I am strongly against it. I'm still in the class of people who don't like the compiler inserting coercions. Maybe I would change my mind if such insertions are done on the basis of a good theory. But even then I don't know whether I want it. Maybe I simply made a programming mistake and the compiler then via coercions produces code that compiles but might not do what I want. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
