Re: [open-axiom-devel] A question about Axiom capabilities
Gabriel Dos Reis <[email protected]> Sat, 06 Apr 2013 13:36:11 -0500
| Newsgroups | gmane.comp.mathematics.open-axiom.devel,gmane.comp.mathematics.axiom.user |
|---|---|
| Organization | Texas A&M University |
| Message-ID | <[email protected]> |
TWFydGluIEJha2VyIDxheDg3NDM4QG1hcnRpbmIuY29tPiB3cml0ZXM6Cgp8ICA+IFdlIGRpZCBu b3QgZ2V0IHRpbWUgdG8gY29udmVydCBhbGwgdGhlIGNvbW1lbnRzIGludG8gY29kZSBhcyBpcyBk b25lCnwgID4gZm9yIHNvbWUgdGhlIG5ldyBjYXRlZ29yaWVzIGFuZCBkb21haW5zIGluIHRoZSB0 cnVuayByZXBvc2l0b3J5Lgp8ICA+IEZvciBleGFtcGxlLCBmcm9tCnwgID4KfCAgPiAKfCBodHRw Oi8vc291cmNlZm9yZ2UubmV0L3Avb3Blbi1heGlvbS9jb2RlLzI4MDAvdHJlZS90cnVuay9zcmMv YWxnZWJyYS9jYXRkZWYuc3BhZC5wYW1waGxldAp8IAp8IElzIHRoZXJlIGEgd2F5IEkgY291bGQg aGVscCBpbiBhIHBhbi1BeGlvbSBzb3J0IG9mIHdheT8gRm9yIGluc3RhbmNlLCAKfCB3b3VsZCBp dCBiZSBhbnkgaGVscCBpZiBJIHdlbnQgdGhyb3VnaCB0aGVzZSBjYXRlZ29yaWVzIGFuZCBkcmV3 IGEgCnwgZGlhZ3JhbSBvZiB0aGVpciByZWxhdGlvbnNoaXBzPwoKVGhhdCB3b3VsZCBiZSB0ZXJy aWZpYyBhbmQgZ3JlYXRseSBhcHByZWNpYXRlZC4gIEl0IHdvdWxkIGJlIGJlbmVmaWNpYWwKdG8g bG90IG9mIHBlb3BsZSAoc29tZSBvZiB0aGVtIHF1aWV0bHkgZm9sbG93aW5nIHRoZSBkaXNjdXNz aW9uLikKCnwgSSByZWFsaXNlIGRpYWdyYW1zIGxpa2U6CnwgaHR0cDovL3d3dy5heGlvbS1kZXZl bG9wZXIub3JnL2F4aW9tLXdlYnNpdGUvYm9va3ZvbDEwLjJmdWxsLmh0bWwKfCB0ZW5kIHRvIHF1 aWNrbHkgYmVjb21lIHVud2llbGR5LiBCdXQgaWYgdGhlIGRpYWdyYW0gd2FzIGxpbWl0ZWQgdG8g cHVyZSAKfCBhbGdlYnJhcyBhbmQgc3BsaXQgaW50byBvcGVyYXRvciBhbmQgYWxnZWJyYSBjYXRl Z29yaWVzLCBwZXJoYXBzIGl0IAp8IG1pZ2h0IGJlIG1vcmUgbWFuYWdlYWJsZT8KClllcy4gIElm IHlvdSBuZWVkIHNvbWUgdG9vbCBzdXBwb3J0LCBqdXN0IGxldCBtZSBrbm93LiAKCnwgT3IsIHdv dWxkIGl0IGJlIG1vcmUgcHJhY3RpY2FsIHRvIG1vZGVsIGl0IGluIG9uZSBvZiB0aGUgZm9ybWFs IG1ldGhvZHMgCnwgdG9vbHMgYXJvdW5kLCBzdWNoIGFzPwp8ICogRm9ybWFsIHNwZWNpZmljYXRp b24gcHJvZ3JhbSwKfCAqIEZvcm1hbCBkZXZlbG9wbWVudCBwcm9ncmFtLAp8ICogRm9ybWFsIHZl cmlmaWNhdGlvbiBwcm9ncmFtLAp8ICogVGhlb3JlbSBwcm92ZXJzCgpFaXRoZXIgd2F5LCBJIHRo aW5rIHlvdXIgc3VnZ2VzdGlvbiBvZiBkcmF3aW5nIHJlbGF0aW9uc2hpcCBiZXR3ZWVuIHRoZQpm dW5kYW1lbnRhbCBjYXRlZ29yaWVzIGlzIGEgZ3JlYXQgb25lLgoKT24gYSBzZXBhcmF0ZSBub3Rl LCBJIHN0YXJ0ZWQgaW4gMjAwOSBtb3ZpbmcgaW4gdGhlIGRpcmVjdGlvbiBvbgppbnRlZ3JhdGlv biBiZXR3ZWVuIE9wZW5BeGlvbSBhbmQgSXNhYmVsbGUuICBUaGUgZmlyc3QgYmF0Y2ggb2Ygd29y ayBsZWQKdG8gaW5pdGlhbCBjb2RlIGdlbmVyYXRvcnMgdGFyZ2V0dGluZyBQb2x5TUwgKG9uZSBv ZiB0aGUgcHJpbWFyeSBNTAppbXBsZW1lbnRhdGlvbiB1c2VkIGZvciBJc2FiZWxsZSkuICBZdWUg d2FzIGFsc28gaW52b2x2ZWQgaW4gdGhhdAplZmZvcnQuICBEYXZpZCBNYXR0ZXdzICh0aGUgbWFp biBndXkgYmVoaW5kIFBvbHlNTCkgaGFzIGJlZW4gdmVyeQpoZWxwZnVsLiAgTW9yZSByZW1haW4g dG8gYmUgZG9uZS4gIAoKfCBJIGhhdmUgbm8gZXhwZXJpZW5jZSBpbiB1c2luZyBhbnkgb2YgdGhl c2UgcHJvZ3JhbXMgYnV0LCB3aGVuIHRoZXkgY2FtZSAKfCB1cCBpbiB0aGlzIHRocmVhZCBJIGRp ZCBzb21lIHNlYXJjaGVzIGFuZCB0aGV5IGFwcGVhciB0byBiZSB2ZXJ5IAp8IHBvd2VyZnVsIChJ IGd1ZXNzIHRoZWlyIGxpbWl0YXRpb25zIG9ubHkgYmVjb21lIGNsZWFyIHdpdGggZXhwZXJpZW5j ZSk/CnwgQXQgZmlyc3QgZ2xhbmNlIENBU0wgYXBwZWFycyB2ZXJ5IHBvd2VyZnVsIGZvciBheGlv bXMuCnwgCnwgcXVvdGUgZnJvbSB3aWtpIHBhZ2UgaGVyZS4KfCBodHRwOi8vZW4ud2lraXBlZGlh Lm9yZy93aWtpL1NwZWNpZmljYXRpb25fbGFuZ3VhZ2UKfCAiSW4gdGhlIHByb3BlcnR5LW9yaWVu dGVkIGFwcHJvYWNoIHRvIHNwZWNpZmljYXRpb24gKHRha2VuIGUuZy4gYnkgCnwgQ0FTTCksIHNw ZWNpZmljYXRpb25zIG9mIHByb2dyYW1zIGNvbnNpc3QgbWFpbmx5IG9mIGxvZ2ljYWwgYXhpb21z LCAKfCB1c3VhbGx5IGluIGEgbG9naWNhbCBzeXN0ZW0gaW4gd2hpY2ggZXF1YWxpdHkgaGFzIGEg cHJvbWluZW50IHJvbGUsIAp8IGRlc2NyaWJpbmcgdGhlIHByb3BlcnRpZXMgdGhhdCB0aGUgZnVu Y3Rpb25zIGFyZSByZXF1aXJlZCB0byBzYXRpc2Z5IC0gCnwgb2Z0ZW4ganVzdCBieSB0aGVpciBp bnRlcnJlbGF0aW9uc2hpcC4gVGhpcyBpcyBpbiBjb250cmFzdCB0byBzby1jYWxsZWQgCnwgbW9k ZWwtb3JpZW50ZWQgc3BlY2lmaWNhdGlvbiBpbiBmcmFtZXdvcmtzIGxpa2UgVkRNIGFuZCBaLCB3 aGljaCBjb25zaXN0IAp8IG9mIGEgc2ltcGxlIHJlYWxpemF0aW9uIG9mIHRoZSByZXF1aXJlZCBi ZWhhdmlvdXIuIgp8IAp8IFNvLCBpZiBJIHVuZGVyc3RhbmQgY29ycmVjdGx5Ogp8IENBU0wgaXMg Z29vZCBhdCB0aGVvcmllcyAoYXhpb20gY2F0ZWdvcmllcykuCnwgQUNMMiBpcyBnb29kIGF0IG1v ZGVscyBvZiB0aG9zZSB0aGVvcmllcyAoYXhpb20gZG9tYWlucykuCnwgKG9yIGJ5IEN1cnJ54oCT SG93YXJkOiBwcm9vZnMpCnwgCnwgSSBoYXZlIG5vdCB5ZXQgc2VlbiBhIHByb2dyYW0gdGhhdCBp cyBnb29kIGF0IGJvdGguCgpDb3JyZWN0LiAgVGhhdCBpcyBwYXJ0IG9mIHRoZSBDYWxjdWxlbXVz IHByb2plY3QuCgp8IAp8IEkgZ2V0IHRoZSBpbXByZXNzaW9uIHRoYXQgQUNMMiwgYWZ0ZXIgYSB2 ZXJ5IHF1aWNrIHNlYXJjaCBvbiB0aGUgd2ViIChzbyAKfCBJIG1heSBiZSB3cm9uZyksIGRvZXMg dGVybSByZXdyaXRpbmcgYW5kIHByb29mcyBidXQgaXRzIGlucHV0IGlzIG5vdCAKfCBheGlvbXMg YnV0IHNvbWUgc29ydCBvZiBzdGF0ZSBtYWNoaW5lIGRlZmluZWQgaW4gTElTUD8gKEkgaGF2ZSBu b3Qgc2VlbiAKfCB0aGUgbGlnaHQgcmVnYXJkaW5nIExJU1AsIGJ1dCBsZXQgbm90IGhhdmUgdGhh dCBkZWJhdGUhKS4KCkFDTDIgaXMgYSBmaXJzdCBvcmRlciBwcm92ZXIsIHRoZSBsZWFkZXIgaW4g dGhhdCBmaWVsZDsgSXNhYmVsbGUvSE9sLApDb3EgYXJlIGhpZ2hlciBvcmRlciBwcm92ZXIsIGJh c2VkIG9uIGxhbWJkYSBjYWxjdWx1cyBlbmNvZGluZy4KCnwgU28gSSBqdXN0IHdvbmRlcmVkIGlm IGFueW9uZSBoYXMgaGFkIGV4cGVyaWVuY2Ugd2l0aCBhbnkgb2YgdGhlc2UgCnwgJ2Zvcm1hbCBt ZXRob2RzIHRvb2xzJyBhbmQgd291bGQgdGhlcmUgYmUgYW55IGJlbmVmaXQgaW4gbXkgYXR0ZW1w dGluZyAKfCB0byBsZWFybiBvbmU/ICh0byBleHBlcmltZW50IHdpdGggc3BlY2lmeWluZyBheGlv bXMgb3IgdG8gZXhwZXJpbWVudCAKfCB3aXRoIHRlcm0gcmV3cml0aW5nIHN5c3RlbXMpLgoKT25l IG9mIHRoZSB0aGluZyB3ZSBkaWQgd2FzIHRvIHByb3ZlIHRoYXQgcG9wdWxhciBvYmplY3QgbGF5 b3V0CmFsZ29yaXRobXMgdXNlZCBieSByZWFsLXdvcmxkIEMrKyBjb21waWxlcnMgYXJlIHNlbWFu dGljYWxseSBjb3JyZWN0LAphbmQgYWxzbyBqdXN0aWZ5IHBvcHVsYXIgQysrIHByb2dyYW1taW5n IGlkaW9tcyBzdWNoIGFzICJyZXNvdXJjZQphY3F1aXNpdGlvbiBpcyBpbml0aWFsaXphdGlvbi4i ICBTZWUgcGFwZXJzIGhlcmU6CgogICBodHRwOi8vd3d3LmF4aW9tYXRpY3Mub3JnL35nZHIvZm9y bWFsLWN4eC9sYXlvdXQtcG9wbDExLnBkZgogICBodHRwOi8vd3d3LmF4aW9tYXRpY3Mub3JnL35n ZHIvZm9ybWFsLWN4eC9jdG9yLWR0b3ItcG9wbDEyLnBkZgoKVGhlIHdvcmsgaXMgdGhlIHN1Ympl Y3Qgb2YgYSBQaEQgdGhlc2lzIGluIGl0c2VsZiA6LSkKVGhlc2UgdGhpbmdzIHRlbmQgd29yayBh bnMgc2NhbGUgb25seSB3aGVuIG9uZSBoYXMgYSBnb29kIHVuZGVyc3RhbmRpbmcKb2Ygd2hhdCBp dCBpcyB0byBiZSBpbXBsZW1lbnRlZCAtLSBzbyBoYXZpbmcgYW4gaW5pdGlhbCBub24tZm9ybWFs aXplZAppbXBsZW1lbnRhdGlvbiBoZWxwcyBhIGxvdC4KClhhdmllciBMZXJveSBoYXMgd3JpdGVu IGEgcmVhbCB3b3JsZCBDIGNvbXBpbGVyIGluIENvcToKCiAgIGh0dHA6Ly9jb21wY2VydC5pbnJp YS5mci8KClRoaXMgaXMgYSBmYW50YXN0aWMgYW5kIGNvbG9zc2FsIHdvcmsuCgp8IE9yIHdvdWxk IGl0IGJlIGJlc3QgdG8gd2FpdCAoaG9wZWZ1bGx5IG5vdCBmb3IgdGhlIGZ1bGwgMzAgeWVhcnMp IHVudGlsIAp8IHlvdSBndXlzIGltcGxlbWVudCBtb3JlIG9mIHRoaXMgc3R1ZmY/CgpJIGFtIGEg YmVsaWV2ZXIgaW4gaW5jcmVtZW50YWwgaW1wcm92ZW1lbnRzLCBzbyBJIHdpbGwgdGFrZSBhbnkK aW1wcm92ZW1lbnQgeW91IGhhdmUgbm93IDotKQoKLS0gR2FieQoKLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tCk1pbmltaXplIG5ldHdvcmsgZG93bnRpbWUgYW5kIG1heGltaXplIHRlYW0gZWZmZWN0aXZl bmVzcy4KUmVkdWNlIG5ldHdvcmsgbWFuYWdlbWVudCBhbmQgc2VjdXJpdHkgY29zdHMuTGVhcm4g aG93IHRvIGhpcmUgCnRoZSBtb3N0IHRhbGVudGVkIENpc2NvIENlcnRpZmllZCBwcm9mZXNzaW9u YWxzLiBWaXNpdCB0aGUgCkVtcGxveWVyIFJlc291cmNlcyBQb3J0YWwKaHR0cDovL3d3dy5jaXNj by5jb20vd2ViL2xlYXJuaW5nL2VtcGxveWVyX3Jlc291cmNlcy9pbmRleC5odG1sCl9fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCm9wZW4tYXhpb20tZGV2ZWwg bWFpbGluZyBsaXN0Cm9wZW4tYXhpb20tZGV2ZWxAbGlzdHMuc291cmNlZm9yZ2UubmV0Cmh0dHBz Oi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL29wZW4tYXhpb20tZGV2ZWwK