Re: (MEMBER ...) with literal symbol(s)

Andreas Eder via Maxima-discuss <[email protected]> Fri, 02 May 2025 19:32:02 +0200
Newsgroups gmane.comp.mathematics.maxima.general,gmane.lisp.gcl.devel
Message-ID <[email protected]>
T24gRnIgMDIgTWFpIDIwMjUgYXQgMDg6MjgsIFJheW1vbmQgVG95IDx0b3kucmF5bW9uZEBnbWFp
bC5jb20+IHdyb3RlOgoKPiBPbiBUaHUsIE1heSAxLCAyMDI1IGF0IDEwOjIx4oCvUE0gRGF2aWQg
U2NoZXJmZ2VuIHZpYSBNYXhpbWEtZGlzY3VzcyA8Cj4gbWF4aW1hLWRpc2N1c3NAbGlzdHMuc291
cmNlZm9yZ2UubmV0PiB3cm90ZToKPgo+PiBIZWxsbywKPj4KPj4gSSBub3RpY2VkIHRoYXQgR0NM
IDIuNy4xIGNvbXBpbGVzIHRoZXNlIGZ1bmN0aW9ucyBkaWZmZXJlbnRseToKPj4KPj4gKGRlZnVu
IGYgKHgpIChtZW1iZXIgeCAnKGEgYiBjKSkpCj4+IChkZWZ1biBnICh4KSAobWVtYmVyIHggJyhh
IGIgYykgOnRlc3QgIydlcSkpCj4+Cj4+IEkgc3VwcG9zZSB0aGF0J3MgYmVjYXVzZSBGIHVzZXMg
dGhlIGRlZmF1bHQgRVFMIGFzIHRoZSB0ZXN0LiBJIHRyaWVkIHRvCj4+IHVuZGVyc3RhbmQgdGhl
IEMgY29kZSBpdCBnZW5lcmF0ZWQsIGJ1dCBpdCB3YXMgaW5jb21wcmVoZW5zaWJsZSB0byBtZS4K
Pj4gQW55d2F5cywgSSBzYXcgdGhhdCB0aGUgc2Vjb25kIGZ1bmN0aW9uLCBHLCBoYWQgaW5saW5l
ZCB0aGUgTUVNQkVSIGNhbGwKPj4gaW50byAoT1IgKEVRIFggJ0EpIChFUSBYICdCKSAoRVEgWSAn
QykpLCB3aGljaCBpcyByZWFzb25hYmxlLiBCdXQgd2h5IGRvZXMKPj4gRiBnZXQgY29tcGlsZWQg
ZGlmZmVyZW50bHk/Cj4+Cj4+IFNob3VsZG4ndCB0aGUgY29tcGlsZXIgbm90aWNlIHRoYXQgdGhl
IHNlY29uZCBhcmd1bWVudCB0byBNRU1CRVIgaXMgYQo+PiBsaXRlcmFsIGxpc3Qgb2Ygc3ltYm9s
cyBhbmQgYXV0b21hdGljYWxseSB1c2UgRVEgaW5zdGVhZCBvZiB0aGUgZGVmYXVsdCBFUUwKPj4g
dGVzdD8gVGhhdCB3b3VsZCBiZSBhbiBlYXN5IGFuZCBzYWZlIG9wdGltaXphdGlvbi4KPj4KPj4g
VGhlIHNhbWUgZ29lcyBmb3IgdGhlIGNhc2Ugd2hlcmUgdGhlIGZpcnN0IGFyZ3VtZW50IHRvIE1F
TUJFUiBpcyBhIGxpdGVyYWwKPj4gc3ltYm9sLgo+Pgo+PiBNYXhpbWEgaXMgZnVsbCBvZiBzdWNo
IGluc3RhbmNlcyB3aGVyZSBNRU1CRVIgaXMgdXNlZCBhcyBhIHNob3J0ZXIgd2F5IHRvCj4+IHdy
aXRlIChPUiAoRVEgLi4uKSAoRVEgLi4uKSAuLi4pLCBhbmQgIjp0ZXN0ICMnZXEiIGhhcyBtb3N0
bHkgYmVlbiByZW1vdmVkCj4+IGJlY2F1c2UgaXQgd2FzIGJlbGlldmVkIHRoYXQgYW55IG1vZGVy
biBMaXNwIGNvbXBpbGVyIHdvdWxkIGFwcGx5IHRoaXMKPj4gb3B0aW1pemF0aW9uIGF1dG9tYXRp
Y2FsbHkuIEF0IGxlYXN0IFNCQ0wgZG9lcy4gKENDTCBkb2Vzbid0LCBJIGhhdmUgZmlsZWQKPj4g
YSByZXBvcnQgYWxyZWFkeS4pCj4+Cj4gRG9lcyBpdCByZWFsbHkgbWF0dGVyIHRoYXQgdGhpcyBj
b252ZXJzaW9uIGlzbid0IGRvbmU/Cj4KPiBBbm90aGVyIHJlYXNvbiB3aHkgd2Ugc2hvdWxkIGhh
dmUgbGVmdCBtZW1xIGFyb3VuZC4gIFRoZW4gd2UgY291bGQgaGF2ZQo+IHdyaXR0ZW4gYSBjb21w
aWxlciBtYWNybyB0byBkbyB0aGUgb3B0aW1pemF0aW9uIHdlIHdhbnQuICBBc3N1bWluZyBpdAo+
IHJlYWxseSBtYWtlcyBhIGRpZmZlcmVuY2UuCgpJdCB3b3VsZCBiZSBjbGVhcmVyIHRvIGp1c3Qg
bGV0IHRoZSAiOnRlc3QgIydlcSIgc3RhbmQsIGJvdGggdG8gdGhlIGNvbXBpbGVyIGFuZCB0byB0
aGUgcmVhZGVyIG9mIHRoZSBjb2RlLgpUaGF0IGlzIGp1c3QgYSBub3JtYWwgQ29tbW9uIExpc3Ag
aWRpb20sIG5vIG5lZWQgdG8gcGVycGV0dWF0ZSBNYWNMaXNwIHRyYWRpdGlvbnMuIAoKJ0FuZHJl
YXMKCi0tIApjZXRlcnVtIGNlbnNlbyByZWRtb25kaW5lbSBlc3NlIGRlbGVuZGFtCgoKX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTWF4aW1hLWRpc2N1c3Mg
bWFpbGluZyBsaXN0Ck1heGltYS1kaXNjdXNzQGxpc3RzLnNvdXJjZWZvcmdlLm5ldApodHRwczov
L2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9tYXhpbWEtZGlzY3Vzcwo=