From: Andy Little (andy_at_[hidden])
Date: 2006-06-16 06:35:52
"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.