close
Warning:
Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.
- Timestamp:
-
Feb 16, 2011, 11:05:33 AM (14 years ago)
- Author:
-
Víctor de Buen Remiro
- Comment:
-
Legend:
- Unmodified
- Added
- Removed
- Modified
-
-
Property
Status
changed from
new
to
accepted
-
initial
|
v1
|
|
5 | 5 | {{{ |
6 | 6 | #!cpp |
7 | | |
8 | 7 | Real ?==1; //devuelve ? |
9 | 8 | Real 1==1; //devuelve ? |
10 | 9 | Real EQ(?,1); //devuelve ? |
11 | | Real EQ(1,?); //devuelve 1 |
12 | | |
| 10 | Real EQ(1,?); //devuelve 1 y tendría que devolver ? |
13 | 11 | }}} |
14 | 12 | |
| 13 | Los operadores de comparación multi-argumentos deben cumplir la regla general |
| 14 | {{{ |
| 15 | #!cpp |
| 16 | CMP(a, b, c, d, ...) = CMP(a,b) & CMP(b,c) & CMP(c,d) & ... |
| 17 | }}} |
| 18 | |
| 19 | Sin embargo, esta expresión |
| 20 | {{{ |
| 21 | #!cpp |
| 22 | Real EQ(?, 0, 1) |
| 23 | }}} |
| 24 | devuelve ? cuando tiene que devolver 0, pues 0 no es igual a 1 nunca, sea cual sea el resultado de comparar ? contra 0. |
| 25 | |