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. > -- 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/6e09a1e5-950d-5ccb-15cc-c145d0621196%40hemmecke.org.
