Unicode art for symbolics

[vbraun]

Example:

sage: %display unicode_art
sage: integral(exp(sqrt(x))/(x+pi), x)
⌠          
⎮    ___   
⎮  ╲╱ x    
⎮ ℯ        
⎮ ────── dx
⎮ x + π    
⌡          

Depends on #18357

CC: @videlec

Component: symbolics

Author: Volker Braun

Branch/Commit: db1c0e4

Reviewer: Vincent Delecroix

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

[vbraun]

Dependencies: #18357

[vbraun]

Author: Volker Braun

[vbraun]

Branch: u/vbraun/unicode_art_for_symbolics

[sagetrac-git]

Commit: ef5b6a4

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

ef5b6a4

fix docbuild and doctests in sage.typeset

[videlec]

Work Issues: rebase

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

3f68c33

Merge 6.8.beta2 into #18482

[sagetrac-git]

Changed commit from ef5b6a4 to 3f68c33

[vbraun]

Changed work issues from rebase to none

[vbraun]

comment:8

fixed

[videlec]

Changed commit from 3f68c33 to db1c0e4

[videlec]

Changed branch from u/vbraun/unicode_art_for_symbolics to public/18482

[videlec]

Reviewer: Vincent Delecroix

[videlec]

comment:9

Hello,

Waiting for the patchbot final check. But this is good for me.

Vincent

---

New commits:

f13355f	Trac #18482: remove trailing Volker's whitespaces
db1c0e4	Trac #18482: fix sage_object.pyx

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

e01e088

Merge branch 'develop' into t/18482/public/18482

[sagetrac-git]

Changed commit from db1c0e4 to e01e088

[rwst]

comment:11

Patchbot passes with only some long test timeouts. The patchbot ascii plugin fails and I have difficulties making doc-pdf in ru/tutorial but that could be spurious.

[videlec]

comment:12

replying to comment:11: What did you do in e01e088? If this is only a merge commit you can remove it. If there is something else it needs to be separated.

[rwst]

comment:13

Replying to @videlec:

replying to comment:11: What did you do in e01e088? If this is only a merge commit you can remove it. If there is something else it needs to be separated.

The branch link was red, so I merged develop. Indeed there was no merge conflict when I did. I'll remove it so we can see if it goes red again.

[rwst]

Changed branch from public/18482 to public/18482-1

[rwst]

Changed commit from e01e088 to db1c0e4

[rwst]

comment:15

It's red again, see for yourself.

[videlec]

comment:16

Replying to @rwst:

It's red again, see for yourself.

I see. It was discussed on sage-devel. The merge test of the trac plugin is less concilient than the default git merge.

But still, I do not see the need of an additional commit.

[vbraun]

Changed branch from public/18482-1 to db1c0e4