[Aldor-l] Aldor-Meet

[Bill Page]

Oleg, Ralf, et al.

It seems that trying to test the lattice absorption axioms in Aldor, e.g.

  D1 has Meet(C1,Join(C1,C2))

and

  D1 has Join(C1,Meet(C1,C2))

can cause the compiler to seg fault:

Program fault (segmentation violation).#2 (Error) Program fault
(segmentation violation).

See page: http://axiom-wiki.newsynthesis.org/SandBoxAldorJoinAndMeet

If the if the Aldor categories form a lattice or even a semilattice
(e.g., only closed under Meet) then we should expect at least one of
these axioms to hold. Ideally we would like to write:

 Meet(C1,Join(C1,C2)) = C1

but in general we do not have an equivalence relation over categories,
right? (That was a separate earlier discussion.)

Regards,
Bill Page.