[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] concatenate and bit-vector
From: |
daly |
Subject: |
[Axiom-developer] concatenate and bit-vector |
Date: |
Thu, 9 Aug 2007 17:49:19 -0500 |
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).
Tim
- [Axiom-developer] concatenate and bit-vector,
daly <=
- [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, 2007/08/09