Am 17.09.2016 um 19:24 schrieb Ralf Hemmecke:
> 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
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
On 09/17/2016 07:11 PM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>>
>> 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: -? : % -> %
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:
Ralf Hemmecke wrote:
>
> 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
> >
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 -
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
>>
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