diff options
| author | Paul Rigge | 2017-12-23 18:29:09 -0800 |
|---|---|---|
| committer | edwardcwang | 2017-12-24 13:35:42 -0500 |
| commit | bc0ad60d7eb885822d8020e0d16230b7fdb9fc3f (patch) | |
| tree | 68535e14773704a91721daaf41ec04cef3536f40 /spec | |
| parent | 69cf8f1a084e477284d8ae48a4a7abc499e92991 (diff) | |
Spec erroneously says mod instead of rem.
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.pdf | bin | 245319 -> 245322 bytes | |||
| -rw-r--r-- | spec/spec.tex | 4 |
2 files changed, 2 insertions, 2 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex 73bba098..7a771d33 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf diff --git a/spec/spec.tex b/spec/spec.tex index 54c4c4de..dc7b3757 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1237,7 +1237,7 @@ The divide operation divides \vv{num} by \vv{den}, truncating the fractional por {\ttfamily \begin{tabular}{ |c|c|c|c|c|c| } \opheader -mod & (num,den) & () & (UInt,UInt) & UInt & min(w\ts{num},w\ts{den})\\ +rem & (num,den) & () & (UInt,UInt) & UInt & min(w\ts{num},w\ts{den})\\ &&& (UInt,SInt) & UInt & min(w\ts{num},w\ts{den})\\ &&& (SInt,UInt) & SInt & min(w\ts{num},w\ts{den}+1)\\ &&& (SInt,SInt) & SInt & min(w\ts{num},w\ts{den})\\ @@ -1247,7 +1247,7 @@ mod & (num,den) & () & (UInt,UInt) & UInt & min(w\ts{num},w\ts{den})\\ \end{figure} The modulus operation yields the remainder from dividing \vv{num} by \vv{den}, keeping the sign of the numerator. Together with the divide operator, the modulus operator satisfies the relationship below: \begin{verbatim} -num = add(mul(den,div(num,den)),mod(num,den))} +num = add(mul(den,div(num,den)),rem(num,den))} \end{verbatim} \subsection{Comparison Operations} |