From 9550136d8a78dbc1d1aa891e31a66eb993d4be3e Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 11 Mar 2021 14:36:30 -0500 Subject: [PATCH] eja: add randomness to a test. --- mjo/eja/eja_element.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index 16e15e5..fbfd127 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -156,10 +156,10 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): to zero on that element:: sage: set_random_seed() - sage: x = HadamardEJA(3).random_element() + sage: x = random_eja().random_element() sage: p = x.characteristic_polynomial() - sage: x.apply_univariate_polynomial(p) - 0 + sage: x.apply_univariate_polynomial(p).is_zero() + True The characteristic polynomials of the zero and unit elements should be what we think they are in a subalgebra, too:: -- 2.44.2