|
|
|
last edited 7 months ago by test1 |
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