Am 17.09.2016 um 03:16 schrieb Waldek Hebisch:
> 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
>>
> 
> A testcase?

I don't want to bother you with such (seems completely unrelated to NNI).

>  
>> BTW the error doesn't occur when using the release version 1.3 (or
>> older), so presumably there were changes to NNI after Sepetember 1.
>> Moreover, ')show NNI' now showing strange new functions like
>>
>>  -? : % -> % if $ has ABELGRP
>> ?*? : (Integer,%) -> % if $ has ABELGRP
>> ?-? : (%,%) -> % if $ has ABELGRP
>>
>>  leftPower : (%,PositiveInteger) -> %
>>  leftPower : (%,NonNegativeInteger) -> %
>>  leftRecip : % -> Union(%,"failed")
>>  rightPower : (%,PositiveInteger) -> %
>>  rightPower : (%,NonNegativeInteger) -> %
>>  rightRecip : % -> Union(%,"failed")
>>
>> ...
>>
>> Before diving into the commit history, I'm just wondering if this
>> behavior is already known ...
> 
> The "strange" functions presumably are due to unifying associative
> and nonassociative worlds (commit from September 7).  There were
> some latent bugs which had to be fixed before this passed the
> testsuite, but there may be more.

I found it.

> 
> Concerning your problem: this may be latent bug uncovered by
> the algebra change.  But also there are some commits affecting
> interpteter and Spad compiler.
> 

You're probably right. I suppose it's dug in a conversion function of
one of the many algebra files I use a modified version of.

Many thanks
Kurt

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