help links subscribe changes refresh edit

	AxiomDocumentation	SandBox	Aldor
Axiom Volume 1 ←	↑

SandBox Aldor Join and Meet

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

	1 2 3 4 5 6 7 8 9
Editor: page Time: 2007/11/19 18:07:02 GMT-8
Note: Oleg Golubitsky example

changed:
-By analogy with `Join', `Meet(C1,C2)' should return
By analogy with 'Join', 'Meet(C1,C2)' should return

changed:
-of `C1' and `C2'.
of 'C1' and 'C2'.

changed:
-I also could not find a description of `Meet' in the guide.
I also could not find a description of 'Meet' in the guide.

changed:
-#include "axiom"
#include "aldor"

Aldor-Meet

On Date: Nov 19, 2007 10:58 AM Oleg Golubitsky wrote to aldor-l :

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 "aldor"
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
}

aldor

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/2046275806961882305-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'
   Compiling Lisp source code from file 
      ./2046275806961882305-25px001.lsp
   Issuing )library command for 2046275806961882305-25px001
   Reading /var/zope2/var/LatexWiki/2046275806961882305-25px001.asy
   C1 is now explicitly exposed in frame initial 
   C1 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/2046275806961882305-25px001
   C2 is now explicitly exposed in frame initial 
   C2 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/2046275806961882305-25px001
   D is now explicitly exposed in frame initial 
   D will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/2046275806961882305-25px001