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: > 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 > > On 10/16/20 9:12 PM, Prof. Dr. Johannes Grabmeier privat wrote: >> 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 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 -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/761befe8-1ebf-891c-8a44-03e5d4aa7cb4%40grabmeier.net.
