From cc172fbdcd369542f90cf64e31611cf8698bc05a Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 11 Mar 2021 14:02:14 -0500 Subject: [PATCH] eja: update the TODO with a bug example. --- mjo/eja/TODO | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 5307527..1def3d2 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -8,4 +8,13 @@ sage: x = random_eja().random_element() sage: x.is_invertible() == (x.det() != 0) - in eja_element.py returns False. + in eja_element.py returns False. Example: + + sage: J1 = ComplexHermitianEJA(2) + sage: J2 = TrivialEJA() + sage: J = cartesian_product([J1,J2]) + sage: x = J.from_vector(vector(QQ, [-1, -1/2, -1/2, -1/2])) + sage: x.is_invertible() + True + sage: x.det() + 0 -- 2.44.2