From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA28575; Fri, 11 Jul 2003 18:05:31 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA24190 for ; Fri, 11 Jul 2003 18:05:30 +0200 (MET DST) Received: from inria.fr (macaque.inria.fr [128.93.8.158]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h6BG4uf16916; Fri, 11 Jul 2003 18:04:56 +0200 (MET DST) Date: Fri, 11 Jul 2003 18:04:55 +0200 Mime-Version: 1.0 (Apple Message framework v552) Content-Type: text/plain; charset=US-ASCII; format=flowed Subject: [Caml-list] First alpha release of the FoC library From: Damien Doligez To: communaute@medicis.polytechnique.fr, Map@mozart.ujf-grenoble.fr, calculemus-ig@calculemus.net, rewriting@ens-lyon.fr, caml-list@inria.fr Content-Transfer-Encoding: 7bit Message-Id: <69926BA6-B3B9-11D7-AAF7-0003930FCE12@inria.fr> X-Mailer: Apple Mail (2.552) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; damien:01 polynomials:01 high-level:01 polynomial:01 sparse:01 prover:01 bug:01 compiler:01 ints:01 ocaml:01 arithmetic:01 doligez:01 coq:02 arbitrary:02 binding:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, We are pleased to announce the first release of the FOC library, for symbolic computation over polynomials. This release also contains a compiler to Ocaml and Coq source code. FOC source files contain some declarations and definitions of functions, some statements about these functions and proofs of these statements. The main programming features are multiple inheritance, late binding, high-level parametrisation and encapsulation mechanisms. See the tutorial and the reference manuals for details (and some research papers on our web site). This release also provides tools to produce XML formats (Openmath, Omdoc) and some other tools helping the developer. The library contains the FoC sources for polynomial arithmetic using various representations: - a general description of commutative algebra basic structures. - Implementation of arbitrary precision integers using Ocaml big_ints. - Polynomials using distributed (sparse) and recursive representations. - Univariate subresultants calculations. - Univariate polynomial factorization over finite fields. Other sources have not been tested enough and are not compiled by default. They are included for completeness. This very first version must be considered as an alpha-version. Although in principle proofs are required by the system, the distributed library contains very few completed proofs. Developing nice tools to do proofs is our long term goal. However, the system checks, with the help of the Coq prover, that using together inheritance, late binding, parametrization do not lead to inconsistencies. And users can already do proofs within Coq. The release is available at: < http://pauillac.inria.fr/foc > and < http://www-spi.lip6.fr/foc/distrib-en.html > The documentation is available on-line: < http://www-spi.lip6.fr/foc/documentation-en.html > Should you have any problem with the release, send a mail to foc-help@beaune.inria.fr. Remember that this is work in progress. All bug reports are welcome and any help will be appreciated. -- Damien Doligez for the FoC team. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners