Doctest: Conjugate does not distribute over a sum

[mforets]

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

Depends on #23325

CC: @rwst

Component: symbolics

Keywords: assumptions, complex numbers

Author: Ralf Stephan

Branch/Commit: 8cef176

Reviewer: Marcelo Forets

Issue created by migration from https://trac.sagemath.org/ticket/23135

[rwst]

Upstream: Fixed upstream, in a later stable release.

[rwst]

Dependencies: pynac-0.7.9

[rwst]

comment:1

A rarely visited part of the Pynac code tried to be too smart. Fixed in pynac master.

[sagetrac-hwsmith]

comment:2

So will this problem be solved once SageMath is using pynac master? If so should we close this ticket?

[rwst]

comment:3

Replying to @sagetrac-hwsmith:

So will this problem be solved once SageMath is using pynac master? If so should we close this ticket?

The dependency on "pynac-0.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.

[rwst]

Changed dependencies from pynac-0.7.9 to #23325

[rwst]

Changed upstream from Fixed upstream, in a later stable release. to none

[rwst]

Branch: u/rws/conjugate_does_not_distribute_over_a_sum

[rwst]

New commits:

8cef176

23135: Doctest: Conjugate does not distribute over a sum

[rwst]

Commit: 8cef176

[rwst]

Author: Ralf Stephan