[clean-list] Computer Algebra

[Jerzy Karczmarczuk]

José Romildo Malaquias wrote:


//my remark//

> > By the way. There was an attempt to build a symbolic 
> > algebra package in Haskell (I lost the reference). 
> > It seems that JRM project is quite similar.

> I believe you are referring to some questions I have issued
> in the Haskell mailing list related to extending data types
> and function definitions (that is, given an algebraic data
> and functions manipulating its values, would it be possible
> to new value constructors to it, and now clauses to the
> functions without redefining them?). CALG is the library that
> needs this feature in the implementation language to keep
> the project modular. I have a preliminary implementation of
> CALG in Clean and I am porting it to Haskell. So, as to my
> knowledge, there is not another similar project.


Não, Maestro.
É uma outra coisa:

A.J.T. Davie: 
  "Algebraic Formula Manipulation in a Functional Language: 
   A First Attempt" 

Paper available from

 http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/

(See Functional Programming -> Applications)

===

Jerzy Karczmarczuk
Caen, França