The function BOOT::PAIR is undefined.

[Prof. Dr. Johannes Grabmeier privat]

Hi all,

have a new error of an older code, which used to work an which I
recompiled today:

 The function BOOT::PAIR is undefined.


346) -> )co dnf
   Compiling FriCAS source code from file
/Users/jgrabmeier/arbeiten/fricas/dnf/dnf.spad using
      old system compiler.
   TDNF abbreviates domain TermDisjunctiveNormalForm
------------------------------------------------------------------------
   initializing NRLIB TDNF for TermDisjunctiveNormalForm
   compiling into NRLIB TDNF

   >> System error:
   The function BOOT::PAIR is undefined.

have stripped off the domain, the error occurs already with this skeleton:

TermDisjunctiveNormalForm(n: NonNegativeInteger):
      public == private where
  public ==> PRestrictedDirectProductCategory(2, n, PRestrictedInteger(2))
  private ==> PRestrictedDirectProductInteger(2, n)

The p restricted types compile without problems.

--
Mit freundlichen Grüßen

Johannes Grabmeier

[Ralf Hemmecke]

Looks like 'pair' was renamed in this commit on 09-February-2020.

https://github.com/fricas/fricas/commit/97141c6f61a07f1d9484745d7f4051a2caeb7148#diff-0c18939820a0db36a38e0c1b54eb94120dba864e05c18723c90cb3ae621ac7d8L461

However, I wonder how you can get this error if 'pair' is actually not
in FriCAS. Sounds like you are using old and new code together. (?)

Ralf

[Prof. Dr. Johannes Grabmeier privat]

Thanks Ralf for this hint. Indeed, I had some domains from an older
version around which caused the error.

Am 16.10.20 um 22:03 schrieb Ralf Hemmecke:

--
Mit freundlichen Grüßen

Johannes Grabmeier

Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756
Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-32224-192688