- 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: Fri, 17 Dec 2010 17:08:19 +0900

On Fri, 2010-12-17 at 08:25 +0100, Wolfgang Lux wrote:

*> Maybe I'm a bit dense, but using multisets this definition looks
*

*> equivalent to the previous one.
*

I agree. In fact, this is why I used it initially.

*> On the other hand, using sets this
*

*> definition is quite useless, since the right hand side can always be
*

*> satisfied with S = D, where D is the underlying domain and thus (A,X)
*

*> is equivalent to any other value.
*

Yes, this is what I wanted to express with "every element is equivalent

to failure" (which implies that every element is equivalent to every

other element).

The definition is derived from a more general one for arbitrary

commutative monoids. Specialized for sets (or more generally idempotent

commutative monoids) the resulting abelian group has only one element so

using a set-based notion of non-determinism together with invertible

nondeterminism is boring.

Sebastian

_______________________________________________

curry mailing list

curry_at_lists.RWTH-Aachen.DE

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

Received on Fr Dez 17 2010 - 11:10:18 CET

Date: Fri, 17 Dec 2010 17:08:19 +0900

On Fri, 2010-12-17 at 08:25 +0100, Wolfgang Lux wrote:

I agree. In fact, this is why I used it initially.

Yes, this is what I wanted to express with "every element is equivalent

to failure" (which implies that every element is equivalent to every

other element).

The definition is derived from a more general one for arbitrary

commutative monoids. Specialized for sets (or more generally idempotent

commutative monoids) the resulting abelian group has only one element so

using a set-based notion of non-determinism together with invertible

nondeterminism is boring.

Sebastian

_______________________________________________

curry mailing list

curry_at_lists.RWTH-Aachen.DE

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

Received on Fr Dez 17 2010 - 11:10:18 CET

*
This archive was generated by hypermail 2.3.0
: Do Jun 20 2024 - 07:15:11 CEST
*