[om] Concatenation of lists ??
paul at ags.uni-sb.de
Mon Apr 30 00:36:20 CEST 2001
On Mardi, avril 24, 2001, at 12:33 , J H Davenport wrote:
> On Mon, 23 Apr 2001, Paul Libbrecht wrote:
>> A_1, .... A_k. We all know these.
>> I believe the best way to express such a thing would be the map
>> application of the lists content dictionary.
> I believe so too.
>> I'd like to be able, also, to perform things like concatenation of
>> lists (like in A1,..., Ak-1, Ak+1, ..., An) and probably simple
>> removal an so on...
> Yes indeed. I suspect that I shuld add such things to the list2 CD.
Oh, is this already somewhere in the kitchen ? It would be interesting !
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om