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

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/9f047ab4-5c47-7a9d-1d8d-54af7e945f73%40grabmeier.net.

Reply via email to