Re: [boost] [PQS] Conjecture: The rules appled to the SI in PQS canbe applied to other units sysrtems.

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.

regards
Andy Little