From 7933b2c02b081534e0e5a01813509d2781cd4c68 Mon Sep 17 00:00:00 2001
From: David Creswick <dcrewi@gyrae.net>
Date: Mon, 21 Jan 2019 08:09:23 -0600
Subject: [PATCH] fix AbstractRing distributive property test

---
 alga/src/general/two_operators.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/alga/src/general/two_operators.rs b/alga/src/general/two_operators.rs
index ad52935..857d16d 100644
--- a/alga/src/general/two_operators.rs
+++ b/alga/src/general/two_operators.rs
@@ -59,7 +59,7 @@ pub trait AbstractRing<A: Operator = Additive, M: Operator = Multiplicative>:
         let c = || W::<_, A, M>::new(c.clone());
 
         // Left distributivity
-        (a() * b()) + c() == (a() * b()) + (a() * c()) &&
+        a() * (b() + c()) == (a() * b()) + (a() * c()) &&
         // Right distributivity
         (b() + c()) * a() == (b() * a()) + (c() * a())
     }