From 71ed5e9dc86ef368e81e13122aad6046bf056a28 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 15 Mar 2021 17:54:43 -0400 Subject: [PATCH] eja: remove unused variable in gram_schmidt. --- mjo/eja/eja_utils.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/mjo/eja/eja_utils.py b/mjo/eja/eja_utils.py index 1e10943..8422fbf 100644 --- a/mjo/eja/eja_utils.py +++ b/mjo/eja/eja_utils.py @@ -265,8 +265,6 @@ def gram_schmidt(v, inner_product=None): # cool return v - R = v[0].base_ring() - # Our "zero" needs to belong to the right space for sum() to work. zero = v[0].parent().zero() -- 2.43.2