Better error message for polar of non-full dimensional polyhedra

[kliem]

In #28850 we added an error message when taking the polar of non-polar polytopes.

We also added a keyword in_affine_span, which restricts the polar construction to the affine span of the polytope.

As this is likely the output a user wants, we improve the error message.

We also mark a doctest a long time.

CC: @jplab @LaisRast

Component: geometry

Keywords: polytopes, polar

Author: Jonathan Kliem

Branch/Commit: 47a846e

Reviewer: Jean-Philippe Labbé

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

[kliem]

Branch: public/29074

[kliem]

New commits:

47a846e

improved error message for polar of non-fulldimensional polytopes

[kliem]

Commit: 47a846e

[jplab]

comment:2

Looks good to me! The pyflakes is taken care of in #28880.

[vbraun]

Changed branch from public/29074 to 47a846e