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 RAA26867; Wed, 16 Jun 2004 17:43:42 +0200 (MET DST) 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 RAA27522 for ; Wed, 16 Jun 2004 17:43:41 +0200 (MET DST) Received: from maury.inria.fr (maury.inria.fr [192.93.2.7]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i5GFheSH024140 for ; Wed, 16 Jun 2004 17:43:40 +0200 Received: from mailserver.di.unipi.it (apis.di.unipi.it [131.114.3.6]) by maury.inria.fr (8.12.10/8.12.10) with ESMTP id i5GFhdPB000641 for ; Wed, 16 Jun 2004 17:43:39 +0200 Organization: Dipartimento di Informatica Received: from strudel.di.unipi.it (strudel [131.114.3.156]) by mailserver.di.unipi.it (8.11.6/8.11.6) with ESMTP id i5GFfSo05333 (using TLSv1/SSLv3 with cipher EDH-RSA-DES-CBC3-SHA (168 bits) verified NO) for ; Wed, 16 Jun 2004 17:41:28 +0200 Received: from strudel.di.unipi.it (localhost.localdomain [127.0.0.1]) by strudel.di.unipi.it (8.12.8/8.12.8) with ESMTP id i5GFfPvm027134 for ; Wed, 16 Jun 2004 17:41:25 +0200 Received: from localhost (trento@localhost) by strudel.di.unipi.it (8.12.8/8.12.8/Submit) with ESMTP id i5GFfPAS027130 for ; Wed, 16 Jun 2004 17:41:25 +0200 X-Authentication-Warning: strudel.di.unipi.it: trento owned process doing -bs Date: Wed, 16 Jun 2004 17:41:25 +0200 (CEST) From: Claudio Trento To: caml-list@inria.fr Subject: [Caml-list] Linear constraints Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner-Information: Please contact the ISP for more information X-MailScanner: Found to be clean X-MailScanner-SpamCheck: non spam, SpamAssassin (punteggio=-4.88, necessario 5, AWL 0.02, BAYES_00 -4.90) X-Miltered: at concorde with ID 40D06AAC.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at maury with ID 40D06AAB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; trento:99 trento:99 ocaml:01 constraints:04 constraint:05 define:05 linear:06 linear:06 type:07 claudio:07 claudio:07 unipi:08 i've:09 create:13 hello:15 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I would know if there is a way to create a linear constraint like "2x + 3y > 6" in Ocaml. I've try to define new type but don't like me so much... Thanks, Claudio ------------------- 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