LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:bitwidth_analysis [2008/05/20 23:59]
vkuncak
sav08:bitwidth_analysis [2015/04/21 17:30] (current)
Line 17: Line 17:
 One simple rule: $g(x)=$ ​ One simple rule: $g(x)=$ ​
 ++++| ++++|
-\[\begin{array}{l}+\begin{equation*}\begin{array}{l}
 let\ L = \min(g(y)) + \min(g(z))-1 \\ let\ L = \min(g(y)) + \min(g(z))-1 \\
 let\ U = \max(g(y)) + \max(g(z))+1 \\ let\ U = \max(g(y)) + \max(g(z))+1 \\
Line 23: Line 23:
 else\ [L,U] else\ [L,U]
 \end{array} \end{array}
-\]+\end{equation*}
 ++++ ++++