* is there any computer algebraic systems library in ocaml? [not found] <20070831100003.6C5ABBC74@yquem.inria.fr> @ 2007-08-31 10:50 ` guanhua he 2007-08-31 11:05 ` [Caml-list] " Dário Abdulrehman 0 siblings, 1 reply; 4+ messages in thread From: guanhua he @ 2007-08-31 10:50 UTC (permalink / raw) To: caml-list 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] is there any computer algebraic systems library in ocaml? 2007-08-31 10:50 ` is there any computer algebraic systems library in ocaml? guanhua he @ 2007-08-31 11:05 ` Dário Abdulrehman 2007-09-25 10:48 ` [Caml-list] is there any computer algebraic systems library inocaml? Mikhalev, Alex 0 siblings, 1 reply; 4+ messages in thread From: Dário Abdulrehman @ 2007-08-31 11:05 UTC (permalink / raw) To: guanhua he; +Cc: caml-list [-- Attachment #1: Type: text/plain, Size: 1118 bytes --] -----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= =lh65 -----END PGP SIGNATURE----- On 8/31/07, guanhua he <guanhua.he@durham.ac.uk> 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 > -- Dário Abdulrehman [-- Attachment #2: Type: text/html, Size: 1810 bytes --] ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] is there any computer algebraic systems library inocaml? 2007-08-31 11:05 ` [Caml-list] " Dário Abdulrehman @ 2007-09-25 10:48 ` Mikhalev, Alex 2007-09-25 15:15 ` Chris King 0 siblings, 1 reply; 4+ messages in thread From: Mikhalev, Alex @ 2007-09-25 10:48 UTC (permalink / raw) To: Dário Abdulrehman; +Cc: caml-list [-- Attachment #1: Type: text/plain, Size: 1941 bytes --] Dear All, Is any plan to release OSP2007 summer projects as a proper bundle with installation and usage instructions? On what stage Ocaml Mathematical Framework there, is it alpha, pre-alpha? Regards, Alex On Fri, 2007-08-31 at 12:05 +0100, Dário Abdulrehman wrote: > -----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= > =lh65 > -----END PGP SIGNATURE----- > On 8/31/07, guanhua he <guanhua.he@durham.ac.uk> 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 > > > > -- > Dário Abdulrehman > > _______________________________________________ > 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 [-- Attachment #2: Type: text/html, Size: 4102 bytes --] ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] is there any computer algebraic systems library inocaml? 2007-09-25 10:48 ` [Caml-list] is there any computer algebraic systems library inocaml? Mikhalev, Alex @ 2007-09-25 15:15 ` Chris King 0 siblings, 0 replies; 4+ messages in thread From: Chris King @ 2007-09-25 15:15 UTC (permalink / raw) To: caml-list Whoops, meant to reply to all... On 9/25/07, Mikhalev, Alex <a.mikhalev@cranfield.ac.uk> wrote: > Is any plan to release OSP2007 summer projects as a proper bundle with > installation and usage instructions? Jane St. sent us (the OSP participants) an e-mail recently asking us to create tarballs with documentation to be hosted on http://osp2007.janestcapital.com/, so you can expect to see things appear there within the next month. Olivier and Alexandre will have to answer your second question, but the slides from their talk available on that page give a good overview of what they had accomplished as of a month ago. - Chris ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2007-09-25 15:16 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <20070831100003.6C5ABBC74@yquem.inria.fr> 2007-08-31 10:50 ` is there any computer algebraic systems library in ocaml? guanhua he 2007-08-31 11:05 ` [Caml-list] " Dário Abdulrehman 2007-09-25 10:48 ` [Caml-list] is there any computer algebraic systems library inocaml? Mikhalev, Alex 2007-09-25 15:15 ` Chris King
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox