Re: manipulating series not as streams but as sumations
Ralf Hemmecke <[email protected]> Tue, 21 Oct 2014 08:09:19 +0200
| Newsgroups | gmane.comp.mathematics.axiom.user |
|---|---|
| Message-ID | <[email protected]> |
T24gMTAvMjEvMjAxNCAwNTo1OCBBTSwgR3VzdGF2byBHb3JldGtpbiB3cm90ZToKPiBJcyBpdCBw b3NzaWJsZSB0byBnZXQgb3V0IG9mCj4gCj4gc2VyaWVzKHNpbih4KSx4PTApCj4gCj4gYW4gb2Jq ZWN0IHRoYXQgbG9va3MgbW9yZSBsaWtlIHN1bV9uPTBebj1caW5mdHkgICgtMSnLhm4gKiB4Xigy bisxKSAvCj4gKDJuKzEpISB0aGFuCj4gCj4geCAtICgxLzYpeF4zICsgKDEvMTIwKSB4XjUgLi4u Lgo+IAo+IElmIHRoaXMgaXMgZG9jdW1lbnRlZCBzb21ld2hlcmUsIEknZCBhcHByZWNpYXRlIGEg cG9pbnRlciEKCkkgZG9uJ3QgZXhhY3RseSB1bmRlcnN0YW5kIHdoYXQgeW91IG1lYW4uIEkgZ2V0 IHRoZSBmb2xsb3dpbmcsIGFuZCB5b3UKY2VydGFpbmx5IGdldCB0aGUgc2FtZS4KCj09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 CiQgZnJpY2FzIC1ub3NtYW4KQ2hlY2tpbmcgZm9yIGZvcmVpZ24gcm91dGluZXMKQVhJT009Ii9o b21lL2hlbW1lY2tlL2cvZnJpY2FzLWJpc2VjdC9pbnN0YWxsL2xpYi9mcmljYXMvdGFyZ2V0L3g4 Nl82NC11bmtub3duLWxpbnV4IgpzcGFkLWxpYj0iL2hvbWUvaGVtbWVja2UvZy9mcmljYXMtYmlz ZWN0L2luc3RhbGwvbGliL2ZyaWNhcy90YXJnZXQveDg2XzY0LXVua25vd24tbGludXgvbGliL2xp YnNwYWQuc28iCmZvcmVpZ24gcm91dGluZXMgZm91bmQKb3BlblNlcnZlciByZXN1bHQgLTIKICAg ICAgICAgICAgICAgICAgICAgICBGcmlDQVMgQ29tcHV0ZXIgQWxnZWJyYSBTeXN0ZW0KICAgICAg ICAgIFZlcnNpb246IEZyaUNBUyBkOGNhZjc5NzhlNGU4YTU3NzVlZDEzYmNjODQ3YzhkM2EwMWIy YzJlCiAgICAgICAgICAgICAgICAgIFRpbWVzdGFtcDogU3VuIFNlcCAgNyAxMjo0Mzo1NSBDRVNU IDIwMTQKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KICAgSXNzdWUgKWNvcHlyaWdodCB0byB2aWV3IGNv cHlyaWdodCBub3RpY2VzLgogICBJc3N1ZSApc3VtbWFyeSBmb3IgYSBzdW1tYXJ5IG9mIHVzZWZ1 bCBzeXN0ZW0gY29tbWFuZHMuCiAgIElzc3VlIClxdWl0IHRvIGxlYXZlIEZyaUNBUyBhbmQgcmV0 dXJuIHRvIHNoZWxsLgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKKDEpIC0+IHMgOj0gc2VyaWVzKHNp bih4KSx4PTApCgogICAgICAgICAgICAxICAzICAgIDEgICA1ICAgICAxICAgNyAgICAgIDEgICAg OSAgICAgICAxICAgICAxMSAgICAgIDEyCiAgICgxKSAgeCAtIC0geCAgKyAtLS0geCAgLSAtLS0t IHggICsgLS0tLS0tIHggIC0gLS0tLS0tLS0geCAgICsgTyh4ICApCiAgICAgICAgICAgIDYgICAg ICAxMjAgICAgICA1MDQwICAgICAgMzYyODgwICAgICAgMzk5MTY4MDAKICAgICAgICAgICAgICAg ICAgICAgICBUeXBlOgpVbml2YXJpYXRlUHVpc2V1eFNlcmllcyhFeHByZXNzaW9uKEludGVnZXIp LHgsMCkKKDIpIC0+IGNvZWZmaWNpZW50KHMsNDIpCgogICAoMikgIDAKICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFR5cGU6CkV4cHJlc3Npb24oSW50 ZWdlcikKKDMpIC0+IGNvZWZmaWNpZW50KHMsNDMpCgogICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAxCiAgICgzKSAgLSAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQogICAgICAgICAgNjA0MTUyNjMwNjMzNzM4MzU2MzczNTUxMzIw Njg1MTM5OTc1MDcyNjQ1MTIwMDAwMDAwMDAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgIFR5cGU6CkV4cHJlc3Npb24oSW50ZWdlcikKCj09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KClll cywgQVhJT00gdHJlYXRzIGEgc2VyaWVzIChpbiBjb250cmFzdCB0byBNYXBsZSBvciBNYXRoZW1h dGljYSkgYXMgYW4KaW5maW5pdGUgb2JqZWN0LCBpLmUuIHRoZSBpbnRlcm5hbCBzdHJ1Y3R1cmUg aXMgc3VjaCB0aGF0IGFueQpjb2VmZmljaWVudCBvZiB0aGlzIHNlcmllcyBjYW4gYmUgZXh0cmFj dGVkIGZyb20gcy4KClNlZSBmb3IgZXhhbXBsZSBDaGFwdGVyIDEuMTEgaW4gdGhlIEJvb2suCmh0 dHA6Ly9oZW1tZWNrZS5kZS9mcmljYXMvYm9vay5wZGYKQWxzbyBDaGFwdGVyIDguOSBtaWdodCBo ZWxwLgoKUmFsZgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X18KQXhpb20tbWFpbCBtYWlsaW5nIGxpc3QKQXhpb20tbWFpbEBub25nbnUub3JnCmh0dHBzOi8v bGlzdHMubm9uZ251Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2F4aW9tLW1haWwK