Am 17.09.2016 um 18:48 schrieb Ralf Hemmecke:
> On 09/17/2016 02:54 AM, Kurt Pagani wrote:
>> Today I've compiled svn rev. 2122. Afterwards, while compiling and
>> testing some old code, I got the following (runtime) error several times:
>>
>> 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:

(2) -> )show NNI
 NonNegativeInteger is a domain constructor
 Abbreviation for NonNegativeInteger is NNI
 This constructor is exposed in this frame.
------------------------------- Operations --------------------------------
 ?*? : (%,%) -> %                      ?*? : (PositiveInteger,%) -> %
 ?+? : (%,%) -> %                      ?<? : (%,%) -> Boolean
 ?<=? : (%,%) -> Boolean               ?=? : (%,%) -> Boolean
 ?>? : (%,%) -> Boolean                ?>=? : (%,%) -> Boolean
 1 : () -> %                           0 : () -> %
 ?^? : (%,PositiveInteger) -> %        coerce : % -> OutputForm
 convert : % -> InputForm              gcd : (%,%) -> %
 hash : % -> SingleInteger             latex : % -> String
 max : (%,%) -> %                      min : (%,%) -> %
 one? : % -> Boolean                   opposite? : (%,%) -> Boolean
 qcoerce : Integer -> %                ?quo? : (%,%) -> %
 random : % -> %                       recip : % -> Union(%,"failed")
 ?rem? : (%,%) -> %                    sample : () -> %
 shift : (%,Integer) -> %              smaller? : (%,%) -> Boolean
 sup : (%,%) -> %                      zero? : % -> Boolean
 ?~=? : (%,%) -> Boolean
 ?*? : (NonNegativeInteger,%) -> %
 ?^? : (%,NonNegativeInteger) -> %
 divide : (%,%) -> Record(quotient: %,remainder: %)
 exquo : (%,%) -> Union(%,"failed")
 hashUpdate! : (HashState,%) -> HashState
 subtractIfCan : (%,%) -> Union(%,"failed")

Now compare current (trunk) ...

 -? : % -> % if $ has ABELGRP

Kurt



> 
> 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.

Reply via email to