Opened 5 years ago
Closed 5 years ago
#23135 closed defect (fixed)
Doctest: Conjugate does not distribute over a sum
Reported by:  Marcelo Forets  Owned by:  

Priority:  major  Milestone:  sage8.0 
Component:  symbolics  Keywords:  assumptions, complex numbers 
Cc:  Ralf Stephan  Merged in:  
Authors:  Ralf Stephan  Reviewers:  Marcelo Forets 
Report Upstream:  N/A  Work issues:  
Branch:  8cef176 (Commits, GitHub, GitLab)  Commit:  8cef17614aefcdbd928915e2b39c5111acfa9a3d 
Dependencies:  #23325  Stopgaps: 
Description
sage: x = var('x', domain='real') sage: conjugate(x+I) x + I sage: conjugate(x)+conjugate(I) x  I
(tested on top of #23134)
Reported recently in ask.sagemath, a problem with variables in real domains
Change History (8)
comment:1 Changed 5 years ago by
Dependencies:  → pynac0.7.9 

Report Upstream:  N/A → Fixed upstream, in a later stable release. 
comment:2 followup: 3 Changed 5 years ago by
So will this problem be solved once SageMath is using pynac master? If so should we close this ticket?
comment:3 Changed 5 years ago by
Replying to hwsmith:
So will this problem be solved once SageMath is using pynac master? If so should we close this ticket?
The dependency on "pynac0.7.9" will be replaced with the Pynac upgrade ticket number after that version was released. This ticket should add doctests for the issue. Usually its title is then prepended with "Doctest:" to give a hint to potential reviewers.
comment:4 Changed 5 years ago by
Dependencies:  pynac0.7.9 → #23325 

Report Upstream:  Fixed upstream, in a later stable release. → N/A 
comment:5 Changed 5 years ago by
Branch:  → u/rws/conjugate_does_not_distribute_over_a_sum 

comment:6 Changed 5 years ago by
Authors:  → Ralf Stephan 

Commit:  → 8cef17614aefcdbd928915e2b39c5111acfa9a3d 
Status:  new → needs_review 
Summary:  Conjugate does not distribute over a sum → Doctest: Conjugate does not distribute over a sum 
New commits:
8cef176  23135: Doctest: Conjugate does not distribute over a sum

comment:7 Changed 5 years ago by
Reviewers:  → Marcelo Forets 

Status:  needs_review → positive_review 
reviewed. thank you for fixing this!
comment:8 Changed 5 years ago by
Branch:  u/rws/conjugate_does_not_distribute_over_a_sum → 8cef17614aefcdbd928915e2b39c5111acfa9a3d 

Resolution:  → fixed 
Status:  positive_review → closed 
A rarely visited part of the Pynac code tried to be too smart. Fixed in pynac master.