Re: [Haskell-cafe] Predicate Library?

Hi Tim, Is this what you're looking for? http://www.cse.ogi.edu/~hallgren/Programatica/tools/property/Plogic.html http://citeseer.ist.psu.edu/kieburtz02plogic.html That looks very interesting and I'll certainly come back to that later, but I couldn't see a predicate simplifier amongst that stu

Re: [Haskell-cafe] Predicate Library?

I'm trying to manipulate predicates in Haskell, and was wondering if there was a predicate library available that I could use? Is this what you're looking for? http://www.cse.ogi.edu/~hallgren/Programatica/tools/property/Plogic.html http://citeseer.ist.psu.edu/kieburtz02plogic.html Neil Tim

Re: [Haskell-cafe] Partial Derivatives

Gerhard Navratil wrote: > I need a library that provides partial derivatives for functions. The > solution I came up with is based on a datatype using reversed polish > notation to store the function: I like Oleg Kiselyov's "Typeful symbolic differentiation of compiled functions"... http:

Re: [Haskell-cafe] Partial Derivatives

Hi, Jerzy Karczmarczuk has a nice paper about "Functional Differentiation of Computer Programs", see http://users.info.unicaen.fr/~karczma/arpap/ regards, Arjen Gerhard Navratil wrote: Hi, I need a library that provides partial derivatives for functions. The solution I came up with

Re: [Haskell-cafe] Partial Derivatives

Gerhard Navratil wrote: > I need a library that provides partial derivatives for functions. The > solution I came up with is based on a datatype using reversed polish > notation to store the function: > > <> > > The solution works but is not very elegant. The complete module is > appended to the m

[Haskell-cafe] Partial Derivatives

Hi, I need a library that provides partial derivatives for functions. The solution I came up with is based on a datatype using reversed polish notation to store the function: Type VarName = String data Fkt a = Val a | Var VarName | Add (FktElem a) (FktElem a) |

[Haskell-cafe] Predicate Library?

Hi, I'm trying to manipulate predicates in Haskell, and was wondering if there was a predicate library available that I could use? My predicates consist of `and` and `or` over some constraints. I have various rules which can be used to collapse certain constraints. Currently I have written my ow

[Haskell-cafe] Re: [Haskell] how to 'accumulate' values efficiently (time and space) ?

noteed: > Hi all, > > the problem is simple but i can't do it : > > I want to generate some values and 'accumulate' them. The meaning of > 'accumulating' is not so important. The only point is that to > 'accumulate' the values, I only have to know one value and the > accumulator (and not all the