[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: concatenate and bit-vector
From: |
Stephen Wilson |
Subject: |
[Axiom-developer] Re: concatenate and bit-vector |
Date: |
09 Aug 2007 19:53:40 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
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
- [Axiom-developer] concatenate and bit-vector, daly, 2007/08/09
- [Axiom-developer] Re: concatenate and bit-vector, Gabriel Dos Reis, 2007/08/09
- [Axiom-developer] Re: concatenate and bit-vector, Stephen Wilson, 2007/08/09
- [Axiom-developer] Re: concatenate and bit-vector, Gabriel Dos Reis, 2007/08/09
- [Axiom-developer] Re: concatenate and bit-vector, Stephen Wilson, 2007/08/09
- [Axiom-developer] Re: concatenate and bit-vector, Gabriel Dos Reis, 2007/08/09
- [Axiom-developer] Re: concatenate and bit-vector, Stephen Wilson, 2007/08/09
- [Axiom-developer] Re: concatenate and bit-vector, Gabriel Dos Reis, 2007/08/09
- Re: [Axiom-developer] Re: concatenate and bit-vector, Gabriel Dos Reis, 2007/08/09
[Axiom-developer] Re: concatenate and bit-vector,
Stephen Wilson <=