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:sign_analysis_of_expressions_and_programs [2008/05/07 23:18]
giuliano
sav08:sign_analysis_of_expressions_and_programs [2015/04/21 17:30] (current)
Line 7: Line 7:
  
 What is (quickly) the sign of What is (quickly) the sign of
-\[+\begin{equation*}
   (31283321 + 8629184) \times (-34234) \times (-4 + (123123 \times (-3)))   (31283321 + 8629184) \times (-34234) \times (-4 + (123123 \times (-3)))
-\]+\end{equation*}
 Why? Why?
 ++++| ++++|
-\[+\begin{equation*}
    (pos \oplus pos) \otimes neg \otimes (neg \oplus (pos \otimes neg)) = pos \otimes neg \otimes neg = pos    (pos \oplus pos) \otimes neg \otimes (neg \oplus (pos \otimes neg)) = pos \otimes neg \otimes neg = pos
-\]+\end{equation*}
 ++++ ++++
  
 What is (quickly) the sign of What is (quickly) the sign of
-\[+\begin{equation*}
     (28166461706 + (723497 \times (- 38931))) \times 42     (28166461706 + (723497 \times (- 38931))) \times 42
-\]+\end{equation*}
 ++++| ++++|
-\[+\begin{equation*}
    (pos \oplus (pos \otimes neg)) \otimes pos = (pos \oplus neg) \otimes pos = \top \otimes pos = \top    (pos \oplus (pos \otimes neg)) \otimes pos = (pos \oplus neg) \otimes pos = \top \otimes pos = \top
-\]+\end{equation*}
 ++++ ++++