

last edited 14 years ago by page 
1 2 3 4 5 6 7 8  
Editor: page
Time: 2007/11/19 18:04:02 GMT8 

Note: Oleg Golubitsky example 
changed:  AldorMeet **On Date: Nov 19, 2007 10:58 AM Oleg Golubitsky wrote to aldorl <aldorl@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}
On Date: Nov 19, 2007 10:58 AM Oleg Golubitsky wrote to aldorl
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.
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/66661970849328242725px001.as using AXIOMXL compiler and options O Fasy Fao Flsp laxiom MnoAXL_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/66661970849328242725px001.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.