coexistence of two real_part functions
 
  
 
  
 
 
 
 
 
 
    
        
        asked 5 years ago  
 
 Florentin Jaffredo gravatar image  
 
 
 
 
    
        
        updated 5 years ago  
 
 
 
 
 
In Sage 8.8, this code:
 
assume(x, 'complex')
print real_part(x)
print real_part(x).simplify()
 
prints:
 
real_part(x)
realpart(x)
 
This does not change any computation (Sage can prove both are equal), but is annoying, since the second one cannot be copy-pasted back into the code. The problem is even more visible when %display latex is enabled.
 
Is this a bug? Is there a workaround that makes it possible to display beautiful real parts after a simplification?
 
Preview: (hide)
 
 
 
 
          
 
Comments
It seems to me that this is bug. Indeed, if you call real_part??, you will see that this function is defined in <SAGE>/local/lib/python3.7/site-packages/sage/functions/other.py, where <Sage> is the directory of installation. By reading the code there, you will see a line defining real = real_part = Function_real_part(), which indicates these three functions are the same. There is no realpart there. Moreover, calling realpart?? produces Objectrealpartnot found., which indicates that function is not defined.
dsejas gravatar imagedsejas (
    
        5 years ago
    )
add a comment