From 8a733c5ed11c8c8fd45ee91f347cb2b9c61a2bc6 Mon Sep 17 00:00:00 2001 From: sphericalducky <165988670+sphericalducky@users.noreply.github.com> Date: Thu, 4 Apr 2024 09:31:58 -0700 Subject: [PATCH] Update rings.tex (#232) Small edit on requirements for a Euclidean Norm --- tex/H113/rings.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tex/H113/rings.tex b/tex/H113/rings.tex index 276cea7a..1e7a1e08 100644 --- a/tex/H113/rings.tex +++ b/tex/H113/rings.tex @@ -431,7 +431,7 @@ \section{Extra: Euclidean domains} It's the absolute value $|\cdot|$ which is used to compare the magnitude of two numbers, and this absolute value satisfies two conditions: \begin{itemize} - \ii It takes nonnegative integer values --- that way, the algorithm will eventually terminate. + \ii It outputs nonnegative integer values --- that way, the algorithm will eventually terminate. \ii For any two ring elements $a$ and $b$, where $b \neq 0$, there exist some $q$ such that $r = a-qb$ has smaller absolute value than $b$. \end{itemize}