From: Michael Orlitzky Date: Sun, 8 Nov 2020 21:49:34 +0000 (-0500) Subject: eja: add a link to a trac ticket in random_element(). X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=a75ab41b86a4abca1ab0b596d029922d17a85f21;p=sage.d.git eja: add a link to a trac ticket in random_element(). --- diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 91088a2..7ae61d5 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -698,12 +698,16 @@ class FiniteDimensionalEuclideanJordanAlgebra(CombinatorialFreeModule): 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: