Introduce DiscreteElement class

[tpadioleau]

No description provided.

[tpadioleau]

@jbigot what do you think of renaming TaggedVector into DiscreteVector (thus removing the element parameter template) ? And replacing DiscreteCoordinate by DiscreteElement (no element template either ?) ?

[jbigot]

Isn't there a lot of implementation in common that could be shared?

[tpadioleau]

What implementation are you thinking of ?

[tpadioleau]

Let a, b be discrete elements, u, v discrete vectors and x an integral, we need to define the following operators:

• internal unary operations +u, -u,
• external left binary operation x * u,
• internal binary operations u+v, u-v,
• right external binary operations a+u, a-u,
• binary operation a-b,
• 1d operations ++a, a++, ++u, u++.

I agree that it would make sense to allow implicit conversion of an integral to a 1-d discrete vector.