From f626f5335b837c06d019e00faec4b7f0c6fa8ed7 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 14 May 2013 18:38:39 +0000
Subject: 	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): 
 Remove redundant declaration for parts.

---
 src/algebra/array2.spad.pamphlet | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet
index 51cc1d24..44e5ad29 100644
--- a/src/algebra/array2.spad.pamphlet
+++ b/src/algebra/array2.spad.pamphlet
@@ -74,8 +74,6 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where
     column: (%,Integer) -> Col
       ++ column(m,j) returns the jth column of m
       ++ error check to determine if index is in proper ranges
-    parts: % -> List R
-      ++ parts(m) returns a list of the elements of m in row major order
 --% Part assignments
     setelt: (%,Integer,Integer,R) -> R
       -- will become setelt!
-- 
cgit v1.2.3