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 SAA31542; Wed, 16 Jun 2004 18:28:07 +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 SAA31004 for ; Wed, 16 Jun 2004 18:28:06 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from lesgueux.dyndns.org (bleuets-7-82-228-190-18.fbx.proxad.net [82.228.190.18]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i5GGS5SH030063 for ; Wed, 16 Jun 2004 18:28:05 +0200 Received: from lifl.fr (bleuets-7-82-228-190-18.fbx.proxad.net [82.228.190.18]) by lesgueux.dyndns.org (Postfix) with ESMTP id 76AFA15810C; Wed, 16 Jun 2004 18:28:04 +0200 (CEST) Message-ID: <40D0750F.2080307@lifl.fr> Date: Wed, 16 Jun 2004 18:27:59 +0200 From: Boulet Pierre User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040115 X-Accept-Language: fr, en MIME-Version: 1.0 To: Claudio Trento Cc: caml-list@inria.fr Subject: Re: [Caml-list] Linear constraints References: In-Reply-To: Content-Type: multipart/signed; protocol="application/x-pkcs7-signature"; micalg=sha1; boundary="------------ms090502080804030400020000" X-Miltered: at concorde with ID 40D07515.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; boulet:01 pierre:01 pierre:01 boulet:01 lifl:01 caml-list:01 api:01 lifl:01 trento:99 ocaml:01 redefine:02 wrote:03 symbolic:03 constraints:04 constraint:05 X-Attachments: type="application/x-pkcs7-signature" name="smime.p7s" name="smime.p7s" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a cryptographically signed message in MIME format. --------------ms090502080804030400020000 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Claudio, you have to redefine such a type. I have done so in the SPPoC package that provides an API for parameterized linear optimization and symbolic polyhedron manipulation. You may want to have a look at it. It is downloadable on . Regards, Pierre. Claudio Trento wrote: > 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 -- Pierre Boulet --------------ms090502080804030400020000 Content-Type: application/x-pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIM9TCC A20wggJVoAMCAQICAQIwDQYJKoZIhvcNAQEEBQAwKzELMAkGA1UEBhMCRlIxDTALBgNVBAoT BENOUlMxDTALBgNVBAMTBENOUlMwHhcNMDEwNDI3MDU0NjQ5WhcNMTEwNDI1MDU0NjQ5WjA0 MQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05SUzEWMBQGA1UEAxMNQ05SUy1TdGFuZGFyZDCC ASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBANzhHiE9BovqvV60iNsPk5e0bQc9hmIA Lcr/tUqO51akj2Es8aAqq/Yq3Xwsv+91VQusCU7nTmHA5wzwkBVFEgLCjOvDEmTiYxAYLssH MdmB5dwpgpsxVuKBHopvp+ipWBFEVoNds054cC3ftv1ygUXV8e5Nzu++1T0MkCBFmgmArw9M 2iAOgL86s+sngMC5D8ChTkDcOv1qKr9A1SxxgPn4umvk6ioAqy++mvCndm2YKZwPL/BC8hiX W8n2zBlfusK+EtJcsJCUwLfLBgTvjzDtMi16SveTu6AJpLTuM8vQg5u1tbOQ3o6QHlmcINVL Hu3XTE+G+hw6KqHprAWgnb8CAwEAAaOBkjCBjzAMBgNVHRMEBTADAQH/MB0GA1UdDgQWBBRn WaXlB3RJA+8Fz8wupBjVEMiePDBTBgNVHSMETDBKgBRW62i50lx+mLWlU8ORb2NYxPlrt6Ev pC0wKzELMAkGA1UEBhMCRlIxDTALBgNVBAoTBENOUlMxDTALBgNVBAMTBENOUlOCAQAwCwYD VR0PBAQDAgEGMA0GCSqGSIb3DQEBBAUAA4IBAQAGA0eDckWQwk7hIderF6kBVQbKQG1Voh1e 6+IUI1nkCeKQ9jyNNgYPS6cmI2XC6gaacru4jMuKX+95NiV+ANfzBpT7g0QpJjfH7umHzmyG gBtxPdJir/bNYmxTD+Z6kwCMey4z4EEdqr5lmHbxlQd0s+Y/U3XVSwY2SynE9tyOE4BAEHOC rRV7BHFQtTcz8shku6EQfjbGra9vcFKm0a7MzLqw6FkSj2INrQPdSyroiTmIUS/tYei3MIfb J1VtZoejUQmAYXFRBb4THdlBMPx1XwqWmxj/vpCBtBPAchEI/Wqaage99IMstGA2ZAf6PWqn sJAEdoPdM8s04heYBAuhMIIEvjCCA6agAwIBAgICC1YwDQYJKoZIhvcNAQEEBQAwNDELMAkG A1UEBhMCRlIxDTALBgNVBAoTBENOUlMxFjAUBgNVBAMTDUNOUlMtU3RhbmRhcmQwHhcNMDQw MTA2MDg0NTUyWhcNMDUwMTA2MDg0NTUyWjBsMQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05S UzEQMA4GA1UECxMHVU1SODAyMjEWMBQGA1UEAxMNUGllcnJlIEJvdWxldDEkMCIGCSqGSIb3 DQEJARYVUGllcnJlLkJvdWxldEBsaWZsLmZyMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIB CgKCAQEAp01BRhmBREpSMRd8HytTa+AyczAXxkyP77cqtiWiwKxGTNwa/tFMNdKyy+Hno1/x juTBZ2AjX34xxmb8HjdpkAHaHUd1z42VDHHZKpTe4OXfrAf0YuqScOB3ZVOP/bZNWVGlgz4w 9hIm7ZrltVpgGCVJuoYX7v5H5Sc+9rUTs/iM17sbPFyHHGsbE65Pw5HaHs+fKOaarCQDPCEb qkiEGYbxern1M4dDJtSmJyfaTK+KgmUw0kyYr0GlsPv9sI+kLyUXDxVoWMhGCJVbWYIHE1mA pPwy9ezuMEt1VcBWPFNkq55YDW+QRmA/q5Uwt+Fwe99XlYhKNhNgdHDUA/iNQwIDAQABo4IB oDCCAZwwDAYDVR0TAQH/BAIwADARBglghkgBhvhCAQEEBAMCBLAwDgYDVR0PAQH/BAQDAgXg MHgGCWCGSAGG+EIBDQRrFmlDZXJ0aWZpY2F0IENOUlMtU3RhbmRhcmQuIFBvdXIgdG91dGUg aW5mb3JtYXRpb24gc2UgcmVwb3J0ZXIg4CBodHRwOi8vaWdjLnNlcnZpY2VzLmNucnMuZnIv Q05SUy1TdGFuZGFyZC8wHQYDVR0OBBYEFBkIF+dJ0IWWBImIDhhj+qiySaRkMFMGA1UdIwRM MEqAFGdZpeUHdEkD7wXPzC6kGNUQyJ48oS+kLTArMQswCQYDVQQGEwJGUjENMAsGA1UEChME Q05SUzENMAsGA1UEAxMEQ05SU4IBAjAgBgNVHREEGTAXgRVQaWVycmUuQm91bGV0QGxpZmwu ZnIwWQYDVR0fBFIwUDBOoEygSoZIaHR0cDovL2lnYy5zZXJ2aWNlcy5jbnJzLmZyL2NnaS1i aW4vbG9hZC5jcmw/Q0E9Q05SUy1TdGFuZGFyZCZmb3JtYXQ9REVSMA0GCSqGSIb3DQEBBAUA A4IBAQBcYJUGHkNpLuhraDog57m4M6MG1cZsTAmb5fcRgzmtaOgxKxUItHVdODAhZ65jWsS2 q1JtZgHmyiPynH4fCujKdU+23JrUf1u8egn1LF7PCz7snDRqrStywIIiyP5f/2o/pEsGAcNh 8pDICJ0/pNqYvc7Z2fsDW27jyTyEmTI3gzbW7uQSf2wlfFnHbsXo4+JOV7vb8Anj7ZEVRLR5 DNJHG2tqP9aMQJUy7p9G8GZTWv83CYXag8LE2zlBvL80EarkpL6+xTAUakLqLsYhrenKGRtP 6lA054kXzngFF/qvGmDaVBRDRV3QzZhVRjoAfw9M9uCFNycmCeNrhvxFP21kMIIEvjCCA6ag AwIBAgICC1YwDQYJKoZIhvcNAQEEBQAwNDELMAkGA1UEBhMCRlIxDTALBgNVBAoTBENOUlMx FjAUBgNVBAMTDUNOUlMtU3RhbmRhcmQwHhcNMDQwMTA2MDg0NTUyWhcNMDUwMTA2MDg0NTUy WjBsMQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05SUzEQMA4GA1UECxMHVU1SODAyMjEWMBQG A1UEAxMNUGllcnJlIEJvdWxldDEkMCIGCSqGSIb3DQEJARYVUGllcnJlLkJvdWxldEBsaWZs LmZyMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp01BRhmBREpSMRd8HytTa+Ay czAXxkyP77cqtiWiwKxGTNwa/tFMNdKyy+Hno1/xjuTBZ2AjX34xxmb8HjdpkAHaHUd1z42V DHHZKpTe4OXfrAf0YuqScOB3ZVOP/bZNWVGlgz4w9hIm7ZrltVpgGCVJuoYX7v5H5Sc+9rUT s/iM17sbPFyHHGsbE65Pw5HaHs+fKOaarCQDPCEbqkiEGYbxern1M4dDJtSmJyfaTK+KgmUw 0kyYr0GlsPv9sI+kLyUXDxVoWMhGCJVbWYIHE1mApPwy9ezuMEt1VcBWPFNkq55YDW+QRmA/ q5Uwt+Fwe99XlYhKNhNgdHDUA/iNQwIDAQABo4IBoDCCAZwwDAYDVR0TAQH/BAIwADARBglg hkgBhvhCAQEEBAMCBLAwDgYDVR0PAQH/BAQDAgXgMHgGCWCGSAGG+EIBDQRrFmlDZXJ0aWZp Y2F0IENOUlMtU3RhbmRhcmQuIFBvdXIgdG91dGUgaW5mb3JtYXRpb24gc2UgcmVwb3J0ZXIg 4CBodHRwOi8vaWdjLnNlcnZpY2VzLmNucnMuZnIvQ05SUy1TdGFuZGFyZC8wHQYDVR0OBBYE FBkIF+dJ0IWWBImIDhhj+qiySaRkMFMGA1UdIwRMMEqAFGdZpeUHdEkD7wXPzC6kGNUQyJ48 oS+kLTArMQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05SUzENMAsGA1UEAxMEQ05SU4IBAjAg BgNVHREEGTAXgRVQaWVycmUuQm91bGV0QGxpZmwuZnIwWQYDVR0fBFIwUDBOoEygSoZIaHR0 cDovL2lnYy5zZXJ2aWNlcy5jbnJzLmZyL2NnaS1iaW4vbG9hZC5jcmw/Q0E9Q05SUy1TdGFu ZGFyZCZmb3JtYXQ9REVSMA0GCSqGSIb3DQEBBAUAA4IBAQBcYJUGHkNpLuhraDog57m4M6MG 1cZsTAmb5fcRgzmtaOgxKxUItHVdODAhZ65jWsS2q1JtZgHmyiPynH4fCujKdU+23JrUf1u8 egn1LF7PCz7snDRqrStywIIiyP5f/2o/pEsGAcNh8pDICJ0/pNqYvc7Z2fsDW27jyTyEmTI3 gzbW7uQSf2wlfFnHbsXo4+JOV7vb8Anj7ZEVRLR5DNJHG2tqP9aMQJUy7p9G8GZTWv83CYXa g8LE2zlBvL80EarkpL6+xTAUakLqLsYhrenKGRtP6lA054kXzngFF/qvGmDaVBRDRV3QzZhV RjoAfw9M9uCFNycmCeNrhvxFP21kMYICrjCCAqoCAQEwOjA0MQswCQYDVQQGEwJGUjENMAsG A1UEChMEQ05SUzEWMBQGA1UEAxMNQ05SUy1TdGFuZGFyZAICC1YwCQYFKw4DAhoFAKCCAUkw GAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMDQwNjE2MTYyNzU5 WjAjBgkqhkiG9w0BCQQxFgQUmUB9te1WM3QntgwzH6AfhDKjnaQwSQYJKwYBBAGCNxAEMTww OjA0MQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05SUzEWMBQGA1UEAxMNQ05SUy1TdGFuZGFy ZAICC1YwSwYLKoZIhvcNAQkQAgsxPKA6MDQxCzAJBgNVBAYTAkZSMQ0wCwYDVQQKEwRDTlJT MRYwFAYDVQQDEw1DTlJTLVN0YW5kYXJkAgILVjBSBgkqhkiG9w0BCQ8xRTBDMAoGCCqGSIb3 DQMHMA4GCCqGSIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0D AgIBKDANBgkqhkiG9w0BAQEFAASCAQBoIqx/iRpdEdKXaJFjXuiQsnG7R2UCkoanah978glm tpRujzFqgcYTixoMXCeci3JjfS3QREe2qW1BIga2D7XroJLzx/WljsubTzbupsrLI/peV0Zm 290Jk9vt/1d6oDpQEiJ955baX4Rk5FzAT8JTmL9qjWH/klk8kdnntMtWbIiKbKQHOrqyFiEu QnUZqdPr55IBWvdwQb1o4Gy+1I899P8lQUIu7mnv6t8J569cc3j0EmYi2jKhLOuXPmxjAa6m kA9ntvQ/GLRMdd7ZseXsbOZyNc3Q+1xre3nOSTZmvOWS1LVRjopiomW2mXugjKZnS/lVphkt F6qD3epdbpwHAAAAAAAA --------------ms090502080804030400020000-- ------------------- 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