From fc503a600ed3f7016927d8b86ca0d42ba400ef86 Mon Sep 17 00:00:00 2001 From: Brandon Williams Date: Tue, 12 Sep 2017 19:03:31 -0400 Subject: [PATCH] Remove redundant Additive constraint --- Algebra/Ring.swift | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Algebra/Ring.swift b/Algebra/Ring.swift index 0e5d010..94c827f 100644 --- a/Algebra/Ring.swift +++ b/Algebra/Ring.swift @@ -10,7 +10,7 @@ public protocol Rng : Group, Semiring { } /// A Rig is a Ring with elements lacking an inverse. -public protocol Rig : Semiring, Additive { } +public protocol Rig : Semiring { } /// A Ring is a Group with a second operator that distributes over the group operation much like /// how multiplication distributes over addition.