Subject: Re: How to write join(X,Y)?

From: alexandra romantseva <[email-masked]>
Date: Mon, 06 Dec 1999 07:36:10 -0500

join(X,Y)

combines the two equivalence relations X and Y (which must work on the same 
number of things for this to make good sense)
things equivalent in X remain equivalent, 
things that are equivalent in Y remain equivalent
and some things become equivalent because of the combination of X and Y.

and the following is supposed to happen :

| ?- unitequiv(5,2,4,X), unitequiv(5,2,3,Y), join(X,Y).
X = [A,B,B,B,C]
Y = [A,B,B,B,C] ? 
no

Sorry for bein unclear.  Hope this is helpful.

Sasha

>Sasha,
>
>I don't understand the operation join(X,Y). What is its formal definition?
>Maybe other people had this problem too :-).
>
>Peter
>==========================================================
>Peter Mott                             Tel: +44 (0)113 233 5323
>School Of Computer Studies                     Fax: +44 (0)113 233 5468
>University of Leeds, Leeds LS2 9JT             Office: +44 (0)113 233 5430
>URL http://csis1.leeds.ac.uk/pmott.htm
>  
-----------------------------------------------------
Click here for Free Video!!
http://www.gohip.com/freevideo/