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 (15 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 | |