Re: Non-commutative algebra (Re: [eigen] On a flexible API for submatrices, slicing, indexing, masking, etc.)

[ Thread Index | Date Index | More Archives ]

On 23.12.2016 at 10:35, Peter wrote:
That brings up a question, which may only concern my work.
Does Eigen actually assume, that the floating point types are commuting?

We do at several points. E.g.
  s1 * A * s2 * B * s3
is optimized to something equivalent to

I'm asking since I have a  programme that normalizes the input of an object
we physicist call Hamiltonian and it consists of anti-commuting variables,
i.e. a * b == -b * a . For examples it calculates commutators consisting of
matrices containing these objects and simplifies the resulting expression.

You may be interested in this feature-request:


 Dipl. Inf., Dipl. Math. Christoph Hertzberg

 Universität Bremen
 FB 3 - Mathematik und Informatik
 AG Robotik
 Robert-Hooke-Straße 1
 28359 Bremen, Germany

 Zentrale: +49 421 178 45-6611

 Besuchsadresse der Nebengeschäftsstelle:
 Robert-Hooke-Straße 5
 28359 Bremen, Germany

 Tel.:    +49 421 178 45-4021
 Empfang: +49 421 178 45-6600
 Fax:     +49 421 178 45-4150
 E-Mail:  chtz@xxxxxxxxxxxxxxxxxxxxxxxx

 Weitere Informationen:

Mail converted by MHonArc 2.6.19+