- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>

Date: Thu, 16 Dec 2010 22:59:53 +0900

On Thu, 2010-12-16 at 20:22 +0900, Sebastian Fischer wrote:

*> It is an equivalence class of pairs of (multi-)sets for the
*

*> equivalence relation
*

*>
*

*> (A,X) ~ (B,Y) := A \union Y = X \union B
*

This was incorrect. The correct definition is (writing u for union)

(A,X) ~ (B,Y) := exists S : A u Y u S = X u B u S

As a consequence, if we use sets and not multisets, then every element

is equivalent to failure. Writing E for empty set:

(A,X) ~ (E,E) because for S = A u X : A u E u S = S = X u E u S

So, for this construction to be useful, one should consider

multiplicities of results such that (a ? a) is different from a.

We can also show that every element equals failure if (?) is idempotent

using the laws:

a = a ? failure

= a ? (a ? anti a)

= (a ? a) ? anti a

= a ? anti a

= failure

Sebastian

_______________________________________________

curry mailing list

curry_at_lists.RWTH-Aachen.DE

http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Do Dez 16 2010 - 15:39:13 CET

Date: Thu, 16 Dec 2010 22:59:53 +0900

On Thu, 2010-12-16 at 20:22 +0900, Sebastian Fischer wrote:

This was incorrect. The correct definition is (writing u for union)

(A,X) ~ (B,Y) := exists S : A u Y u S = X u B u S

As a consequence, if we use sets and not multisets, then every element

is equivalent to failure. Writing E for empty set:

(A,X) ~ (E,E) because for S = A u X : A u E u S = S = X u E u S

So, for this construction to be useful, one should consider

multiplicities of results such that (a ? a) is different from a.

We can also show that every element equals failure if (?) is idempotent

using the laws:

a = a ? failure

= a ? (a ? anti a)

= (a ? a) ? anti a

= a ? anti a

= failure

Sebastian

_______________________________________________

curry mailing list

curry_at_lists.RWTH-Aachen.DE

http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Do Dez 16 2010 - 15:39:13 CET

*
This archive was generated by hypermail 2.3.0
: So Jul 05 2020 - 07:15:04 CEST
*