Edit detail for SandBox Aldor Join and Meet revision 1 of 9

changed:
-
Aldor-Meet

  **On Date: Nov 19, 2007 10:58 AM Oleg Golubitsky wrote to aldor-l <aldor-l@aldor.org>:**

By analogy with `Join', `Meet(C1,C2)' should return
a category which has the *intersection* of exports
of `C1' and `C2'.

A simple test (see below) confirmed this semantics;
I also could not find a description of `Meet' in the guide.

\begin{aldor}
#include "axiom"
define C1:Category == with {
       f: Integer;
       g: Integer;
}
define C2:Category == with {
       f: Integer;
       h: Integer;
}
D: Meet(C1,C2) == add {
       f: Integer == 1;  -- OK; if this line is commented out, error:
                               -- The domain is missing some exports.
                               -- Missing f: AldorInteger
}
\end{aldor}

aldor
#include "axiom"
define C1:Category == with {
       f: Integer;
       g: Integer;
}
define C2:Category == with {
       f: Integer;
       h: Integer;
}
D: Meet(C1,C2) == add {
       f: Integer == 1;  -- OK; if this line is commented out, error:
                               -- The domain is missing some exports.
                               -- Missing f: AldorInteger
}

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/666619708493282427-25px001.as using 
      AXIOM-XL compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
"/var/zope2/var/LatexWiki/666619708493282427-25px001.as", line 10: 
D: Meet(C1,C2) == add {
...^
[L10 C4] #2 (Error) There are no suitable meanings for the operator `Meet'.
   The )library system command was not called after compilation.