[Haskell-cafe] Re: universal algebra "support" in Haskell?

2008-10-24 Thread Chung-chieh Shan 
Galchin, Vasili <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in 
gmane.comp.lang.haskell.cafe:
>  Do you have any examples of say "instance Lattice"?

http://web.cecs.pdx.edu/~mpj/pubs/lattices.html
http://web.cecs.pdx.edu/~mpj/pubs/springschool.html

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
You can take the boy out of Harvard, but you can't take the boy's signature...

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: universal algebra "support" in Haskell?

2008-10-23 Thread Galchin, Vasili 
Hi Russell and others,

Please "cc" me on all responses to my post 'universal algebra "support"
in Haskell'. I am interested in algebras and non-algebras like pre-order,
post-order, etc. support in Haskell!

Thanks, Vasili
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: universal algebra "support" in Haskell?

2008-10-23 Thread Benjamin L . Russell 
On Fri, 24 Oct 2008 13:50:47 +0900, Benjamin L.Russell
<[EMAIL PROTECTED]> wrote:

>On Thu, 23 Oct 2008 22:56:32 -0500, "Galchin, Vasili"
><[EMAIL PROTECTED]> wrote:
>
>>Hi Henning,
>>
>> Do you have any examples of say "instance Lattice"?
>
>I would be interested in an "instance Lattice" as well.  Such an
>example could be related to a complete partial ordering in domain
>theory.

Whoops!  At the following site:

HackageDB: numeric-prelude-0.0.5
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numeric-prelude/

I just found a reference to the following page:

Algebra.Lattice
http://hackage.haskell.org/packages/archive/numeric-prelude/0.0.5/doc/html/Algebra-Lattice.html

This could be an answer.

-- Benjamin L. Russell

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: universal algebra "support" in Haskell?

2008-10-23 Thread Benjamin L . Russell 
On Thu, 23 Oct 2008 22:56:32 -0500, "Galchin, Vasili"
<[EMAIL PROTECTED]> wrote:

>Hi Henning,
>
> Do you have any examples of say "instance Lattice"?

I would be interested in an "instance Lattice" as well.  Such an
example could be related to a complete partial ordering in domain
theory.

-- Benjamin L. Russell

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: universal algebra "support" in Haskell?

2008-10-23 Thread Nathan Bloomfield 
This question is relevant to a project I'm working on. I've been putting
together an abstract algebra library for handling computations inside group
rings, polynomial rings, and rings with adjoined elements. Once I've got it
cleaned up a little I'll upload it to an appropriate place.

(I forgot to cc haskell-cafe- sorry DavidA!)

Nathan Bloomfield
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: universal algebra "support" in Haskell?

2008-10-23 Thread DavidA 
Num is basically Ring, but is spoiled by the inclusion of abs and signum, 
which of course mainly only make sense for subrings of C.

> Hello, I see that there is a "Monoid" class from Data.Monoid. What other 
algebras like Group, Ring, etc. have support in Haskell?Thanks, Vasili




___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe