Improve the output of repr_pretty_Hrepresentation for Polyhedron

[jipilab]

Following #22572, we can improve the output of the pretty print:

    sage: Cube = polytopes.cube()
    sage: TCube = Cube.truncation()
    sage: Nice_repr = TCube.repr_pretty_Hrepresentation(separator='\n')
    sage: print(Nice_repr)
    1 >= x0
    1 >= x1
    3*x1 + 7 >= 3*x0 + 3*x2
    x0 + 1 >= 0
    x1 + 1 >= 0
    3*x0 + 7 >= 3*x1 + 3*x2
    3*x0 + 3*x1 + 7 >= 3*x2
    3*x0 + 3*x2 + 7 >= 3*x1
    3*x0 + 3*x1 + 3*x2 + 7 >= 0
    x2 + 1 >= 0
    1 >= x2
    3*x1 + 3*x2 + 7 >= 3*x0
    3*x2 + 7 >= 3*x0 + 3*x1
    7 >= 3*x0 + 3*x1 + 3*x2

In the new version it gives:

    sage: print(TCube.Hrepresentation_str())
                    -x0 >= -1 
                    -x1 >= -1 
    -3*x0 + 3*x1 - 3*x2 >= -7 
                     x0 >= -1 
                     x1 >= -1 
     3*x0 - 3*x1 - 3*x2 >= -7 
     3*x0 + 3*x1 - 3*x2 >= -7 
     3*x0 - 3*x1 + 3*x2 >= -7 
     3*x0 + 3*x1 + 3*x2 >= -7 
                     x2 >= -1 
                    -x2 >= -1 
    -3*x0 + 3*x1 + 3*x2 >= -7 
    -3*x0 - 3*x1 + 3*x2 >= -7 
    -3*x0 - 3*x1 - 3*x2 >= -7

    sage: print(TCube.Hrepresentation_str(latex=True))
    \begin{array}{rcl}
                                   -x_{0} & \geq & -1 \\
                                   -x_{1} & \geq & -1 \\
    -3 \, x_{0} + 3 \, x_{1} - 3 \, x_{2} & \geq & -7 \\
                                    x_{0} & \geq & -1 \\
                                    x_{1} & \geq & -1 \\
     3 \, x_{0} - 3 \, x_{1} - 3 \, x_{2} & \geq & -7 \\
     3 \, x_{0} + 3 \, x_{1} - 3 \, x_{2} & \geq & -7 \\
     3 \, x_{0} - 3 \, x_{1} + 3 \, x_{2} & \geq & -7 \\
     3 \, x_{0} + 3 \, x_{1} + 3 \, x_{2} & \geq & -7 \\
                                    x_{2} & \geq & -1 \\
                                   -x_{2} & \geq & -1 \\
    -3 \, x_{0} + 3 \, x_{1} + 3 \, x_{2} & \geq & -7 \\
    -3 \, x_{0} - 3 \, x_{1} + 3 \, x_{2} & \geq & -7 \\
    -3 \, x_{0} - 3 \, x_{1} - 3 \, x_{2} & \geq & -7 
    \end{array}

The style parameter allows to change the way to print the H-relations:

sage: P = polytopes.permutahedron(3)
sage: print(P.Hrepresentation_str(style='<='))
-x0 - x1 - x2 == -6 
      x1 + x2 <=  5 
           x2 <=  3 
           x1 <=  3 
          -x1 <= -1 
     -x1 - x2 <= -3 
          -x2 <= -1
sage: print(P.Hrepresentation_str(style='positive'))
x0 + x1 + x2 == 6       
           5 >= x1 + x2 
           3 >= x2      
           3 >= x1      
          x1 >= 1       
     x1 + x2 >= 3       
          x2 >= 1

In order to make the function more apparent, deprecation of the current function is perhaps a good idea and change the name to Hrepresentation_str.

[jipilab]

Once the tutorial is merged in #22572, we should change the "tips" page accordingly...

---

New commits:

​7cf1a56

first version

[git]

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

​132c27a

Merge branch 'develop' into 24837

[git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​231cd56	deleted trailing whitespace
​f685c64	fixed some typos in lectures.rst
​7f5e125	fixed typos in polyhedra_quickref.rst
​bd6c356	LateX -> LaTeX in polytope_tikz.rst
​b1ce45b	Several other corrections
​d526f70	renamed tutorial files
​d7896f8	Merge branch 'develop' into 22572
​597b802	Merge branch sage8.2.rc1 into 22572
​066c7a5	Merge branch tutorial into 24837
​3fea478	Adapted tutorial

[moritz]

There was one doctest failing and a bit whitespace left. Other than that I think this is good to go. Set it on positive review on my behalf if you agree!

---

New commits:

​f98b24a

fix a doctest and remove trailing whitespace

[jipilab]

The last bot test looks good. I'm setting it to positive review.

[vbraun]

Merge conflict

[jipilab]

Solved the conflicts with Sage8.3.b1.

---

New commits:

​e6ba9cc

Merged with Sage 8.3.b1

[jipilab]

Ping!

[tscrim]

Two trivial failures; see patchbot for details:

sage -t --long --warn-long 49.3 src/doc/en/thematic_tutorials/geometry/tips.rst  # 2 doctests failed

[git]

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

​736f60f

fixed doctests

[jipilab]

Should now work...

[jipilab]

There are two pyflakes warnings about the usage of QQ and RDF.

Question: if they are used in doctests, that's not necessary to import them, correct?

If so, I'd just remove them...

[tscrim]

Replying to jipilab:

There are two pyflakes warnings about the usage of QQ and RDF.

Question: if they are used in doctests, that's not necessary to import them, correct?

If so, I'd just remove them...

Please do. What is imported in a file and what used in doctests, which is the global namespace, are essentially independent. Once you remove them, you can set a positive review on my behalf.

[jipilab]

Replying to tscrim:

Replying to jipilab:

There are two pyflakes warnings about the usage of QQ and RDF.

Question: if they are used in doctests, that's not necessary to import them, correct?

If so, I'd just remove them...

Please do. What is imported in a file and what used in doctests, which is the global namespace, are essentially independent. Once you remove them, you can set a positive review on my behalf.

Sounds good! I just wanted to make sure...

[git]

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

​b1ae583

Removed unnecessary import

[jipilab]

Done! Thanks for the review!

[vdelecroix]

update milestone 8.3 -> 8.4

[dkrenn]

There is a follow-up ticket #26141 concerning the code quality.