if self.base_ring() is AA:
# The "random element" method of the algebraic reals is
# stupid at the moment, and only returns integers between
- # -2 and 2, inclusive. Instead, we implement our own
- # "random vector" method, and then coerce that into the
- # algebra. We use the vector space degree here instead of
- # the dimension because a subalgebra could (for example) be
- # spanned by only two vectors, each with five coordinates.
- # We need to generate all five coordinates.
+ # -2 and 2, inclusive:
+ #
+ # https://trac.sagemath.org/ticket/30875
+ #
+ # Instead, we implement our own "random vector" method,
+ # and then coerce that into the algebra. We use the vector
+ # space degree here instead of the dimension because a
+ # subalgebra could (for example) be spanned by only two
+ # vectors, each with five coordinates. We need to
+ # generate all five coordinates.
if thorough:
v *= QQbar.random_element().real()
else: