From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 2058DBC69 for ; Fri, 31 Aug 2007 13:06:05 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.183]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7VB63aU008101 for ; Fri, 31 Aug 2007 13:06:04 +0200 Received: by wa-out-1112.google.com with SMTP id k17so941300waf for ; Fri, 31 Aug 2007 04:06:03 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=YyWZpzxOA3WJAT9P8lq8gPpjeXuwz4SHEsDsTfbDOzalj6igbpDkjyCUFJKoa0zKAFjhjZJnrjq74FF2tkmmirBdF3wXWxWVlPOtWFGnQknfp9W/k28oJPLUx4EXscNegBo2d18k87jPk0/x965SZbDDuCn85Qchyk23n6YW5sQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=SgZ4zlQikKPoVir3UwSGafZNW6hbcBlleR4dfIZAx4t5ogH0jZT6sFH6QvehoJPCxuU/qmdtdBIE5alMFBw98hQPjCJXegbVxzfMARvw3sEdxln2b386sNXRlWN4dHz0loeUCucxUKKV4aEg/OpXCc6EDnb00v4dIgMEJ4pAR50= Received: by 10.115.79.1 with SMTP id g1mr722943wal.1188558360020; Fri, 31 Aug 2007 04:06:00 -0700 (PDT) Received: by 10.115.55.5 with HTTP; Fri, 31 Aug 2007 04:05:59 -0700 (PDT) Message-ID: <6120f6690708310405n4f9fc37dy1711208d2e76903e@mail.gmail.com> Date: Fri, 31 Aug 2007 12:05:59 +0100 From: "=?ISO-8859-1?Q?D=E1rio_Abdulrehman?=" To: "guanhua he" Subject: Re: [Caml-list] is there any computer algebraic systems library in ocaml? Cc: caml-list@yquem.inria.fr In-Reply-To: <46D7F288.5030909@dur.ac.uk> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_8359_28152056.1188558359940" References: <20070831100003.6C5ABBC74@yquem.inria.fr> <46D7F288.5030909@dur.ac.uk> X-j-chkmail-Score: MSGID : 46D7F61B.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46D7F61B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 hash:01 ocaml:01 mingw:01 beginner's:01 bug:01 hash:01 mingw:01 beginner's:01 bug:01 rio:98 2007.:98 rio:98 2007.:98 beginners:01 ------=_Part_8359_28152056.1188558359940 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 See Ocaml Mathematical Framework here http://osp2007.janestcapital.com/ -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (MingW32) Comment: http://firegpg.tuxfamily.org iD8DBQFG1/V2HfwTJs1Ix7cRAg+cAKCPBWDZ8ITXavjnnIwWXHfl6aFGvACfYLRD e9Q8wIWa+xr7TVT0wT+cbqM=3D =3Dlh65 -----END PGP SIGNATURE----- On 8/31/07, guanhua he wrote: > > Dear All, > > Does anyone know any good computer algebraic systems library in ocaml? I > need a such library to deal with polynomial problem. The library should > offer functions like "expand((x+y)^3)", "factor(x^2 - 1)", "gcd(p1,p2)" > as Mathematica or Maxima does. > > Thank you very much for your help. > > Best Regards, > Guanhua > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --=20 D=E1rio Abdulrehman ------=_Part_8359_28152056.1188558359940 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline -----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

See Ocaml Mathematical Framework here http://osp2007.janestcapital.com/

-----BEGIN PGP SI= GNATURE-----
Version: GnuPG v1.4.7 (MingW32)
Comment: http://firegpg.tuxfam= ily.org

iD8DBQFG1/V2HfwTJs1Ix7cRAg+cAKCPBWDZ8ITXavjnnIwWXHfl6aFGvACfYLRD
e9Q8wIWa+xr7TVT0wT+cbqM=3D
=3Dlh65
-----END PGP SIGNATURE-----
On 8/31/07, g= uanhua he <guanhua.he@dur= ham.ac.uk> wrote:
Dear All,

Does anyone know any good computer algebraic systems libra= ry in ocaml? I
need a such library to deal with polynomial problem. The = library should
offer functions like "expand((x+y)^3)", "f= actor(x^2 - 1)", "gcd(p1,p2)"
as Mathematica or Maxima does.

Thank you very much for your help= .

Best Regards,
  Guanhua

______________________= _________________________
Caml-list mailing list. Subscription managemen= t:
http:/= /yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list:= =20 http://groups.yah= oo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs



--
D=E1rio Abdulrehman

------=_Part_8359_28152056.1188558359940--