From 67262e10ef3c8642ae73496964f5af81057dc50b Mon Sep 17 00:00:00 2001 From: Andy Little Date: Fri, 13 Dec 2019 14:10:09 +0000 Subject: [PATCH] DESIGN.md : I believe that zero "exponents are elided" rule is a concept of exponent not base-dimension, so have modified parts where exponent rather than base dimension should apply --- doc/DESIGN.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/doc/DESIGN.md b/doc/DESIGN.md index 9c3a1db9..caa14c28 100644 --- a/doc/DESIGN.md +++ b/doc/DESIGN.md @@ -132,12 +132,11 @@ struct base_dim_substance : base_dimension<"substance", "mol"> {}; struct base_dim_luminous_intensity : base_dimension<"luminous intensity", "cd"> {}; ``` -In order to be able to perform computations on arbitrary sets of base dimensions, an important +In order to be able to perform computations on arbitrary sets of exponents, an important property of `units::dimension` is that its base dimensions: -- are not repeated in a list (each base dimension is provided at most once), +- are not repeated in a list (the exponent of each base dimension is provided at most once), - are consistently ordered, -- having zero exponent are elided. - +- exponents with ::num of zero are elided #### `derived_dimension`