From 20a6081a5e7fa2b753f95b0a3090024fde25db79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johel=20Ernesto=20Guerrero=20Pe=C3=B1a?=
 <johelegp@gmail.com>
Date: Mon, 4 Nov 2024 18:43:29 -0400
Subject: [PATCH] [qty.expr.temp.algo] Detail first step example

---
 docs/api_reference/src/quantities.tex | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/docs/api_reference/src/quantities.tex b/docs/api_reference/src/quantities.tex
index 9ee9b82c5..92e9515dc 100644
--- a/docs/api_reference/src/quantities.tex
+++ b/docs/api_reference/src/quantities.tex
@@ -916,8 +916,19 @@
 Otherwise, a type $x$ is an input symbolic constant.
 \end{itemize}
 \begin{example}
-The input of \tcode{derived_unit<si::kilo_<si::metre>, per<power<non_si::hour, 2>>>}
-is $\tcode{km}/\tcode{h}^2$.
+Item by item, this algorithm step goes from the \Cpp{} parameter type
+\tcode{derived_unit<si::kilo_<si::metre>, per<power<non_si::hour, 2>>}
+\begin{itemize}
+\item
+to $\tcode{si::kilo_<si::metre>} \times \tcode{per<power<non_si::hour, 2>}$ (product of \tcode{To}'s arguments),
+\item
+to $\tcode{si::kilo_<si::metre>} \times 1/\tcode{power<non_si::hour, 2>}$ (product of \tcode{per}'s arguments as denominator),
+\item
+to $\tcode{si::kilo_<si::metre>} \times 1/\tcode{non_si::hour}^2$ (\tcode{power}s as powers),
+\item
+to $x \times 1/y^2$ where $x = \tcode{si::kilo_<si::metre>}$ and $y = \tcode{non_si::hour}$ (symbolic substitution)
+in the mathematical domain.
+\end{itemize}
 \end{example}
 
 \pnum