"Carlo Wood" wrote
On Thu, Jun 15, 2006 at 03:10:00PM +0200, Carlo Wood wrote:
false, because PQS has no mechanism for distinguishing dimensionless types.
All the built-in types? I'd use double (or Modular_Integer etc etc), for them :)
Or is what you meant that you CAN'T use Modular_Integer as dimensionless part?
When the result of an Op on 2 quanties is dimensionless the type of the result is the same as quantity_lhs::value_type Op quantity_lhs::value_type
I think that (indeed) a PQS library should support ANY external type as base field, not just doubles.
Not any... they have to model some Concept, but I need to write out the Concept requirements properly (FWIW there is a Value_type(should be *ValueType*) concept) and the requirements on value_types in the current implementation should be relaxed if possible. regards Andy Little