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
              newtoaccepted
 
- 
        
        
              
              
                
                  | 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 |  |