[Axiom-developer] Re: concatenate and bit-vector

[Stephen Wilson]

address@hidden writes:

> Steve, Gaby,
> 
> The semantics of concat are those of vmlisp.
> 
> It might be possible to prove that concat is never called with
> bit-vector semantics. The subtle part is to prove that it can't
> occur in generated code (e.g. algebra).

A generalization of 'concat might be useful, but that quality is
important only when it is actually used.  I'll postpone a rewrite of
the function until/if it becomes necessary.

Sincerely,
Steve