Skip to content

Commit

Permalink
Update according to decision.
Browse files Browse the repository at this point in the history
Allow non-simplified fractions, but still prohibit m(4/2).
  • Loading branch information
HansOlsson committed Nov 28, 2023
1 parent b42bdcf commit 4234c28
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions chapters/unitexpressions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -42,15 +42,13 @@ \section{The Syntax of Unit Expressions}\label{the-syntax-of-unit-expressions}
unit-operand [ unit-exponent ]

unit-exponent :
[ "+" | "-" ] UNSIGNED-INTEGER
| "^" "(" [ "+" | "-" ] UNSIGNED-INTEGER "/" UNSIGNED-INTEGER ")"
[ "+" | "-" ] ( UNSIGNED-INTEGER | "(" UNSIGNED-INTEGER "/" UNSIGNED-INTEGER ")" )
\end{lstlisting}

The SI standard uses super-script for the exponentation, and does thus not define any operator symbol for exponentiation.
A \lstinline[language=grammar]!unit-factor! normally consists of a \lstinline[language=grammar]!unit-operand! possibly suffixed by a possibly signed integer number, which is interpreted as an exponent.
Non-integer exponents are needed to fully support the unit for square roots (and can be used for roots in general).
They are intended to be only be used when needed, and thus the fraction must be simplified and the denominator may not be one (or zero).
They use an explicit exponentation operator to be easy to recognize.
Rational exponents are needed to fully support the unit for square roots (and can be used for roots in general).
They are intended to be only be used when needed, i.e., not to represent integer exponents.
There must be no spacing between the \lstinline[language=grammar]!unit-operand! and a possible \lstinline[language=grammar]!unit-exponent!.

\begin{lstlisting}[language=grammar]
Expand Down

0 comments on commit 4234c28

Please sign in to comment.