Re: [Haskell-cafe] a library for abstract algebra?

2013-04-19 Thread Mikhail Glushenkov
Hi,

Petr Pudlák petr.mvd at gmail.com writes:

 
 Hi,
 is there a Haskell library for defining and working with algebraic
structures [...] ?

There is also http://hackage.haskell.org/package/HaskellForMaths



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


Re: [Haskell-cafe] a library for abstract algebra?

2013-04-18 Thread Pavel Ryzhov
Hi,

Maybe, Numeric Prelude will work:
http://hackage.haskell.org/package/numeric-prelude

Regards,
Pavel

 Petr Pudlák mailto:petr@gmail.com
 April 18, 2013 12:50
 Hi,

 is there a Haskell library for defining and working with algebraic
 structures such as groups, rings, fields, finite fields, vector spaces
 or modules? I found only several vector-related libraries, but they
 were all only over the field of real numbers (Double) and defined only
 vector spaces, not other algebraic structures.

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


signature.asc
Description: OpenPGP digital signature
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] a library for abstract algebra?

2013-04-18 Thread Gábor Lehel
http://hackage.haskell.org/package/algebra

-- 
Your ship was destroyed in a monadic eruption.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] a library for abstract algebra?

2013-04-18 Thread Alfredo Di Napoli
Wow, there is an Edward Kmett package for everything, isn't it? :D


On 18 April 2013 13:12, Gábor Lehel illiss...@gmail.com wrote:

 http://hackage.haskell.org/package/algebra

 --
 Your ship was destroyed in a monadic eruption.
 ___
 Haskell-Cafe mailing list
 Haskell-Cafe@haskell.org
 http://www.haskell.org/mailman/listinfo/haskell-cafe


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