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.3 required=5.0 tests=HTML_MESSAGE, RCVD_NUMERIC_HELO,UNPARSEABLE_RELAY autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1C7ABBC69 for ; Tue, 25 Sep 2007 12:50:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADCF+EaK+jBTn2dsb2JhbACCcIsZIgEBAQEHBAYHCBhp X-IronPort-AV: E=Sophos;i="4.20,295,1186351200"; d="scan'208,217";a="1741823" Received: from mailgate-4.central.cranfield.ac.uk ([138.250.48.83]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Sep 2007 12:50:43 +0200 Received: from [193.63.240.161] (helo=exchange1.cds.cranfield.ac.uk) by mailgate-4.central.cranfield.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1Ia803-0004NI-1z; Tue, 25 Sep 2007 11:50:43 +0100 X-MimeOLE: Produced By Microsoft Exchange V6.5 Received: from 193.63.247.68 ([193.63.247.68]) by exchange1.cds.cranfield.ac.uk ([193.63.240.161]) via Exchange Front-End Server mail.cds.cranfield.ac.uk ([193.63.240.201]) with Microsoft Exchange Server HTTP-DAV ; Tue, 25 Sep 2007 10:49:35 +0000 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C7FF61.C35ABAC2" Received: from mikhaa by mail.cds.cranfield.ac.uk; 25 Sep 2007 11:48:42 +0100 X-Mailer: Evolution 2.10.1 Content-class: urn:content-classes:message Subject: Re: [Caml-list] is there any computer algebraic systems library inocaml? Date: Tue, 25 Sep 2007 11:48:42 +0100 Message-ID: <1190717322.5901.5.camel@mikhaa> In-Reply-To: <6120f6690708310405n4f9fc37dy1711208d2e76903e@mail.gmail.com> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] is there any computer algebraic systems library inocaml? Thread-Index: Acf/YcNaQVZYTsJoSRCEODvAyOkiIQ== References: <20070831100003.6C5ABBC74@yquem.inria.fr> <46D7F288.5030909@dur.ac.uk> <6120f6690708310405n4f9fc37dy1711208d2e76903e@mail.gmail.com> From: "Mikhalev, Alex" To: =?utf-8?B?RMOhcmlvIEFiZHVscmVobWFu?= Cc: X-Spam: no; 0.00; ocaml:01 0100,:01 hash:01 ocaml:01 mingw:01 beginner's:01 bug:01 beginner's:01 bug:01 0100,:01 hash:01 mingw:01 rio:98 2007.:98 rio:98 X-Attachments: cset="utf-8" cset="utf-8" This is a multi-part message in MIME format. ------_=_NextPart_001_01C7FF61.C35ABAC2 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 RGVhciBBbGwsDQpJcyBhbnkgcGxhbiB0byByZWxlYXNlIE9TUDIwMDcgc3VtbWVyIHByb2plY3Rz IGFzIGEgcHJvcGVyIGJ1bmRsZSB3aXRoDQppbnN0YWxsYXRpb24gYW5kIHVzYWdlIGluc3RydWN0 aW9ucz8gT24gd2hhdCBzdGFnZSBPY2FtbCBNYXRoZW1hdGljYWwNCkZyYW1ld29yayB0aGVyZSwg aXMgaXQgYWxwaGEsIHByZS1hbHBoYT8NClJlZ2FyZHMsDQpBbGV4IA0KDQpPbiBGcmksIDIwMDct MDgtMzEgYXQgMTI6MDUgKzAxMDAsIETDoXJpbyBBYmR1bHJlaG1hbiB3cm90ZToNCj4gLS0tLS1C RUdJTiBQR1AgU0lHTkVEIE1FU1NBR0UtLS0tLSANCj4gSGFzaDogU0hBMSANCj4gDQo+IFNlZSBP Y2FtbCBNYXRoZW1hdGljYWwgRnJhbWV3b3JrIGhlcmUNCj4gaHR0cDovL29zcDIwMDcuamFuZXN0 Y2FwaXRhbC5jb20vDQo+IA0KPiAtLS0tLUJFR0lOIFBHUCBTSUdOQVRVUkUtLS0tLSANCj4gVmVy c2lvbjogR251UEcgdjEuNC43IChNaW5nVzMyKSANCj4gQ29tbWVudDogaHR0cDovL2ZpcmVncGcu dHV4ZmFtaWx5Lm9yZyANCj4gDQo+IGlEOERCUUZHMS9WMkhmd1RKczFJeDdjUkFnK2NBS0NQQldE WjhJVFhhdmpubkl3V1hIZmw2YUZHdkFDZllMUkQgDQo+IGU5UTh3SVdhK3hyN1RWVDB3VCtjYnFN PSANCj4gPWxoNjUgDQo+IC0tLS0tRU5EIFBHUCBTSUdOQVRVUkUtLS0tLSANCj4gT24gOC8zMS8w NywgZ3Vhbmh1YSBoZSA8Z3Vhbmh1YS5oZUBkdXJoYW0uYWMudWs+IHdyb3RlOg0KPiAgICAgICAg IERlYXIgQWxsLA0KPiAgICAgICAgIA0KPiAgICAgICAgIERvZXMgYW55b25lIGtub3cgYW55IGdv b2QgY29tcHV0ZXIgYWxnZWJyYWljIHN5c3RlbXMgbGlicmFyeQ0KPiAgICAgICAgIGluIG9jYW1s PyBJDQo+ICAgICAgICAgbmVlZCBhIHN1Y2ggbGlicmFyeSB0byBkZWFsIHdpdGggcG9seW5vbWlh bCBwcm9ibGVtLiBUaGUNCj4gICAgICAgICBsaWJyYXJ5IHNob3VsZA0KPiAgICAgICAgIG9mZmVy IGZ1bmN0aW9ucyBsaWtlICJleHBhbmQoKHgreSleMykiLCAiZmFjdG9yKHheMiAtIDEpIiwNCj4g ICAgICAgICAiZ2NkKHAxLHAyKSIgDQo+ICAgICAgICAgYXMgTWF0aGVtYXRpY2Egb3IgTWF4aW1h IGRvZXMuDQo+ICAgICAgICAgDQo+ICAgICAgICAgVGhhbmsgeW91IHZlcnkgbXVjaCBmb3IgeW91 ciBoZWxwLg0KPiAgICAgICAgIA0KPiAgICAgICAgIEJlc3QgUmVnYXJkcywNCj4gICAgICAgICAg IEd1YW5odWENCj4gICAgICAgICANCj4gICAgICAgICBfX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fXw0KPiAgICAgICAgIENhbWwtbGlzdCBtYWlsaW5nIGxpc3Qu IFN1YnNjcmlwdGlvbiBtYW5hZ2VtZW50Og0KPiAgICAgICAgIGh0dHA6Ly95cXVlbS5pbnJpYS5m ci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1saXN0DQo+ICAgICAgICAgQXJjaGl2ZXM6 IGh0dHA6Ly9jYW1sLmlucmlhLmZyDQo+ICAgICAgICAgQmVnaW5uZXIncyBsaXN0OiBodHRwOi8v Z3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnMNCj4gICAgICAgICBCdWcgcmVw b3J0czogaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncw0KPiANCj4gDQo+IA0KPiAt LSANCj4gRMOhcmlvIEFiZHVscmVobWFuIA0KPiANCj4gX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX18NCj4gQ2FtbC1saXN0IG1haWxpbmcgbGlzdC4gU3Vic2Ny aXB0aW9uIG1hbmFnZW1lbnQ6DQo+IGh0dHA6Ly95cXVlbS5pbnJpYS5mci9jZ2ktYmluL21haWxt YW4vbGlzdGluZm8vY2FtbC1saXN0DQo+IEFyY2hpdmVzOiBodHRwOi8vY2FtbC5pbnJpYS5mcg0K PiBCZWdpbm5lcidzIGxpc3Q6IGh0dHA6Ly9ncm91cHMueWFob28uY29tL2dyb3VwL29jYW1sX2Jl Z2lubmVycw0KPiBCdWcgcmVwb3J0czogaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVn cw0K ------_=_NextPart_001_01C7FF61.C35ABAC2 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDMuMi8vRU4iPg0KPEhUTUw+ DQo8SEVBRD4NCjxNRVRBIEhUVFAtRVFVSVY9IkNvbnRlbnQtVHlwZSIgQ09OVEVOVD0idGV4dC9o dG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjxNRVRBIE5BTUU9IkdlbmVyYXRvciIgQ09OVEVOVD0iTVMg RXhjaGFuZ2UgU2VydmVyIHZlcnNpb24gNi41Ljc2NTAuMjgiPg0KPFRJVExFPlJlOiBbQ2FtbC1s aXN0XSBpcyB0aGVyZSBhbnkgY29tcHV0ZXIgYWxnZWJyYWljIHN5c3RlbXMgbGlicmFyeSBpbm9j YW1sPzwvVElUTEU+DQo8L0hFQUQ+DQo8Qk9EWT4NCjwhLS0gQ29udmVydGVkIGZyb20gdGV4dC9w bGFpbiBmb3JtYXQgLS0+DQoNCjxQPjxGT05UIFNJWkU9Mj5EZWFyIEFsbCw8QlI+DQpJcyBhbnkg cGxhbiB0byByZWxlYXNlIE9TUDIwMDcgc3VtbWVyIHByb2plY3RzIGFzIGEgcHJvcGVyIGJ1bmRs ZSB3aXRoPEJSPg0KaW5zdGFsbGF0aW9uIGFuZCB1c2FnZSBpbnN0cnVjdGlvbnM/IE9uIHdoYXQg c3RhZ2UgT2NhbWwgTWF0aGVtYXRpY2FsPEJSPg0KRnJhbWV3b3JrIHRoZXJlLCBpcyBpdCBhbHBo YSwgcHJlLWFscGhhPzxCUj4NClJlZ2FyZHMsPEJSPg0KQWxleDxCUj4NCjxCUj4NCk9uIEZyaSwg MjAwNy0wOC0zMSBhdCAxMjowNSArMDEwMCwgRMOhcmlvIEFiZHVscmVobWFuIHdyb3RlOjxCUj4N CiZndDsgLS0tLS1CRUdJTiBQR1AgU0lHTkVEIE1FU1NBR0UtLS0tLTxCUj4NCiZndDsgSGFzaDog U0hBMTxCUj4NCiZndDs8QlI+DQomZ3Q7IFNlZSBPY2FtbCBNYXRoZW1hdGljYWwgRnJhbWV3b3Jr IGhlcmU8QlI+DQomZ3Q7IDxBIEhSRUY9Imh0dHA6Ly9vc3AyMDA3LmphbmVzdGNhcGl0YWwuY29t LyI+aHR0cDovL29zcDIwMDcuamFuZXN0Y2FwaXRhbC5jb20vPC9BPjxCUj4NCiZndDs8QlI+DQom Z3Q7IC0tLS0tQkVHSU4gUEdQIFNJR05BVFVSRS0tLS0tPEJSPg0KJmd0OyBWZXJzaW9uOiBHbnVQ RyB2MS40LjcgKE1pbmdXMzIpPEJSPg0KJmd0OyBDb21tZW50OiA8QSBIUkVGPSJodHRwOi8vZmly ZWdwZy50dXhmYW1pbHkub3JnIj5odHRwOi8vZmlyZWdwZy50dXhmYW1pbHkub3JnPC9BPjxCUj4N CiZndDs8QlI+DQomZ3Q7IGlEOERCUUZHMS9WMkhmd1RKczFJeDdjUkFnK2NBS0NQQldEWjhJVFhh dmpubkl3V1hIZmw2YUZHdkFDZllMUkQ8QlI+DQomZ3Q7IGU5UTh3SVdhK3hyN1RWVDB3VCtjYnFN PTxCUj4NCiZndDsgPWxoNjU8QlI+DQomZ3Q7IC0tLS0tRU5EIFBHUCBTSUdOQVRVUkUtLS0tLTxC Uj4NCiZndDsgT24gOC8zMS8wNywgZ3Vhbmh1YSBoZSAmbHQ7Z3Vhbmh1YS5oZUBkdXJoYW0uYWMu dWsmZ3Q7IHdyb3RlOjxCUj4NCiZndDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJz cDsmbmJzcDsmbmJzcDsgRGVhciBBbGwsPEJSPg0KJmd0OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNw OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOzxCUj4NCiZndDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJz cDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsgRG9lcyBhbnlvbmUga25vdyBhbnkgZ29vZCBjb21w dXRlciBhbGdlYnJhaWMgc3lzdGVtcyBsaWJyYXJ5PEJSPg0KJmd0OyZuYnNwOyZuYnNwOyZuYnNw OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyBpbiBvY2FtbD8gSTxCUj4NCiZndDsmbmJz cDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsgbmVlZCBhIHN1Y2gg bGlicmFyeSB0byBkZWFsIHdpdGggcG9seW5vbWlhbCBwcm9ibGVtLiBUaGU8QlI+DQomZ3Q7Jm5i c3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7IGxpYnJhcnkgc2hv dWxkPEJSPg0KJmd0OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZu YnNwOyBvZmZlciBmdW5jdGlvbnMgbGlrZSAmcXVvdDtleHBhbmQoKHgreSleMykmcXVvdDssICZx dW90O2ZhY3Rvcih4XjIgLSAxKSZxdW90Oyw8QlI+DQomZ3Q7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5i c3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7ICZxdW90O2djZChwMSxwMikmcXVvdDs8QlI+DQom Z3Q7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7IGFzIE1h dGhlbWF0aWNhIG9yIE1heGltYSBkb2VzLjxCUj4NCiZndDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJz cDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDs8QlI+DQomZ3Q7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5i c3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7IFRoYW5rIHlvdSB2ZXJ5IG11Y2ggZm9yIHlvdXIg aGVscC48QlI+DQomZ3Q7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7 Jm5ic3A7PEJSPg0KJmd0OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNw OyZuYnNwOyBCZXN0IFJlZ2FyZHMsPEJSPg0KJmd0OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZu YnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyBHdWFuaHVhPEJSPg0KJmd0OyZuYnNw OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOzxCUj4NCiZndDsmbmJz cDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsgX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX188QlI+DQomZ3Q7Jm5ic3A7Jm5ic3A7 Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7IENhbWwtbGlzdCBtYWlsaW5nIGxp c3QuIFN1YnNjcmlwdGlvbiBtYW5hZ2VtZW50OjxCUj4NCiZndDsmbmJzcDsmbmJzcDsmbmJzcDsm bmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsgPEEgSFJFRj0iaHR0cDovL3lxdWVtLmlucmlh LmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9jYW1sLWxpc3QiPmh0dHA6Ly95cXVlbS5pbnJp YS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1saXN0PC9BPjxCUj4NCiZndDsmbmJz cDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsgQXJjaGl2ZXM6IDxB IEhSRUY9Imh0dHA6Ly9jYW1sLmlucmlhLmZyIj5odHRwOi8vY2FtbC5pbnJpYS5mcjwvQT48QlI+ DQomZ3Q7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7IEJl Z2lubmVyJ3MgbGlzdDogPEEgSFJFRj0iaHR0cDovL2dyb3Vwcy55YWhvby5jb20vZ3JvdXAvb2Nh bWxfYmVnaW5uZXJzIj5odHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5l cnM8L0E+PEJSPg0KJmd0OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNw OyZuYnNwOyBCdWcgcmVwb3J0czogPEEgSFJFRj0iaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2Nh bWwtYnVncyI+aHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVnczwvQT48QlI+DQomZ3Q7 PEJSPg0KJmd0OzxCUj4NCiZndDs8QlI+DQomZ3Q7IC0tPEJSPg0KJmd0OyBEw6FyaW8gQWJkdWxy ZWhtYW48QlI+DQomZ3Q7PEJSPg0KJmd0OyBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXzxCUj4NCiZndDsgQ2FtbC1saXN0IG1haWxpbmcgbGlzdC4gU3Vic2Ny aXB0aW9uIG1hbmFnZW1lbnQ6PEJSPg0KJmd0OyA8QSBIUkVGPSJodHRwOi8veXF1ZW0uaW5yaWEu ZnIvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2NhbWwtbGlzdCI+aHR0cDovL3lxdWVtLmlucmlh LmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9jYW1sLWxpc3Q8L0E+PEJSPg0KJmd0OyBBcmNo aXZlczogPEEgSFJFRj0iaHR0cDovL2NhbWwuaW5yaWEuZnIiPmh0dHA6Ly9jYW1sLmlucmlhLmZy PC9BPjxCUj4NCiZndDsgQmVnaW5uZXIncyBsaXN0OiA8QSBIUkVGPSJodHRwOi8vZ3JvdXBzLnlh aG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnMiPmh0dHA6Ly9ncm91cHMueWFob28uY29tL2dy b3VwL29jYW1sX2JlZ2lubmVyczwvQT48QlI+DQomZ3Q7IEJ1ZyByZXBvcnRzOiA8QSBIUkVGPSJo dHRwOi8vY2FtbC5pbnJpYS5mci9iaW4vY2FtbC1idWdzIj5odHRwOi8vY2FtbC5pbnJpYS5mci9i aW4vY2FtbC1idWdzPC9BPjxCUj4NCjwvRk9OVD4NCjwvUD4NCg0KPC9CT0RZPg0KPC9IVE1MPg== ------_=_NextPart_001_01C7FF61.C35ABAC2--