From a75ab41b86a4abca1ab0b596d029922d17a85f21 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 8 Nov 2020 16:49:34 -0500 Subject: [PATCH] eja: add a link to a trac ticket in random_element(). --- mjo/eja/eja_algebra.py | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) 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: -- 2.43.2