In a second round I have made several improvements
to the formalism of QuantumVector module. Module
Momenta is also adjusted to match the changes.
The most notable improvement is related to tensor
products of vector spaces. Previous definition was
not good enough; although it could deal with many
subsystems but they had to be of the same type.
This restriction has been now removed.
It does not sound like much, but in fact this
is a significant leap forward. I have few interesting
examples in mind which I intend to demonstrate
later.
On Tue, 6 Jun 2000, Frank Atanassow wrote:
> I am aware of the many books on QM. However, I would not expect a
> CS person to read a whole book just to read a paper which has
> to do with QM.
I do not see a single principle of physics employed
in module QuantumVector. This is all preparatory work
based solely on some mathematics. There is some
physics in module Momenta though, and I provided
some summary of few laws a reader should know.
>
> Sure, it's a rehash of material available elsewhere, but it only needs to
> touch the points which are relevant for your paper.
Section 6 of QuantumVector is devoted to linear
operators and is mainly a rehash of known definitions,
to quote you.
You can find some documentation there. This was not
a main goal though; I was trying to demonstrate that
all known definitions of operators, such as inverse,
adjoint, unitary and hermitian, are valid -- even
though we deal here with strongly typed language and
have to assure that we do not compare apples to oranges.
Operators, as I view them here, are not just tables
of unnamed numbers; in many cases they map one distinct
type to another.
Jan
