From 0248136bb47314581b62b148c758d1945ea057e3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johel=20Ernesto=20Guerrero=20Pe=C3=B1a?=
 <johelegp@gmail.com>
Date: Sat, 26 Oct 2024 14:24:50 -0400
Subject: [PATCH] [qty.dim] Update for removal of _`DerivedDimensionExpr`_

---
 docs/api_reference/src/quantities.tex | 26 +++-----------------------
 1 file changed, 3 insertions(+), 23 deletions(-)

diff --git a/docs/api_reference/src/quantities.tex b/docs/api_reference/src/quantities.tex
index bd4f9b353..9ca94d150 100644
--- a/docs/api_reference/src/quantities.tex
+++ b/docs/api_reference/src/quantities.tex
@@ -73,7 +73,7 @@
 template<symbol_text Symbol>
 struct base_dimension;
 
-template<@\seebelownc@>
+template<typename... Expr>
 struct derived_dimension;
 
 struct dimension_one;
@@ -845,26 +845,6 @@
 template<typename T>
 concept @\defexposconceptnc{BaseDimension}@ = @\libconcept{Dimension}@<T> && std::@\stdconcept{derived_from}@<T, base_dimension>;
 
-consteval bool @\exposidnc{is-dimension-one}@(std::meta::info type_alias) {
-  return dealias(type_alias) == ^dimension_one;
-}
-
-template<typename T>
-concept @\defexposconceptnc{IsPowerOfDim}@ =
-  (@\exposidnc{is-specialization-of}@(^T, ^power) &&
-   (@\exposconceptnc{BaseDimension}@<typename T::factor> || @\exposidnc{is-dimension-one}@(^typename T::factor)));
-
-template<typename T>
-constexpr bool @\exposidnc{is-per-of-dims}@ = false;
-
-template<typename... Ts>
-constexpr bool @\exposidnc{is-per-of-dims}@<per<Ts...>> =
-  (... && (@\exposconceptnc{BaseDimension}@<Ts> || @\exposidnc{is-dimension-one}@(^Ts) || @\exposconceptnc{IsPowerOfDim}@<Ts>));
-
-template<typename T>
-concept @\defexposconceptnc{DerivedDimensionExpr}@ =
-  @\exposconceptnc{BaseDimension}@<T> || @\exposidnc{is-dimension-one}@(^T) || @\exposconceptnc{IsPowerOfDim}@<T> || @\exposidnc{is-per-of-dims}@<T>;
-
 template<typename T, auto D>
 concept @\deflibconcept{DimensionOf}@ = @\libconcept{Dimension}@<T> && @\libconcept{Dimension}@<decltype(D)> && T{} == D;
 \end{itemdecl}
@@ -911,10 +891,10 @@
 \begin{codeblock}
 namespace mp_units {
 
-template<@\exposconceptnc{DerivedDimensionExpr}@... Expr>
+template<typename... Expr>
 struct @\exposidnc{derived-dimension-impl}@ : @\exposidnc{expr-fractions}@<struct dimension_one, Expr...> {};
 
-template<@\exposconceptnc{DerivedDimensionExpr}@... Expr>
+template<typename... Expr>
 struct @\libglobal{derived_dimension}@ final : @\exposidnc{dimension-interface}@, @\exposidnc{derived-dimension-impl}@<Expr...> {};
 
 }