make some AdditiveAbelianGroupWrapper methods visible

[yyyyx4]

Since #23940 we have a reasonably good implementation of logarithms for (finite) AdditiveAbelianGroupWrappers, but the method is still named _discrete_log and therefore hidden from the public.

This patch removes the leading underscore. While I was at it, I also removed the underscore from discrete_exp and did a couple smaller things to improve the documentation of that class in general, so that it hopefully looks a little bit less like an obscure internal helper class.

CC: @roed314 @loefflerd

Component: group theory

Keywords: abelian group wrapper, visibility

Author: Lorenz Panny

Branch/Commit: 294f5bd

Reviewer: Vincent Delecroix

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

[sagetrac-git]

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

9722265

make discrete_{log,exp} public; improve documentation

[sagetrac-git]

Commit: 9722265

[sagetrac-git]

Changed commit from 9722265 to bc2d551

[sagetrac-git]

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

bc2d551

more logical order of doctests

[mkoeppe]

comment:4

Stalled in needs_review or needs_info; likely won't make it into Sage 9.5.

[videlec]

Reviewer: Vincent Delecroix

[videlec]

comment:5

You should doctest the deprecations to check that calling _discrete_log/_discrete_exp still works. The test could go in the TESTS section of respectively discrete_log/discrete_exp. Otherwise it looks good.