diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-01 21:50:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-01 21:50:51 +0000 |
| commit | ed0626e869fa09984c1f5856cb6b207b887221ea (patch) | |
| tree | 723a83389ad5e553c1b6b27725a2bfae27d9b6c6 /src | |
| parent | 1e7b956df48c09aeee5b8d9448451351285275e2 (diff) | |
| download | open-axiom-ed0626e869fa09984c1f5856cb6b207b887221ea.tar.gz | |
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/algebra/array2.spad.pamphlet | 18 |
2 files changed, 16 insertions, 6 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 851cbdf4..a505303f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy. + +2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp. (compile$InputForm): Tidy. * algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet index f6a89047..5cbff9ce 100644 --- a/src/algebra/array2.spad.pamphlet +++ b/src/algebra/array2.spad.pamphlet @@ -164,9 +164,15 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where entryList --% Creation + -- array creation requires an initial element used to + -- populate the array. This is a best effort attempt + -- to supply such element, when semantics permits. + sampleElement(): R == + R has sample: () -> R => sample()$R + NIL$Lisp -- better obfuscation welcome. copy m == - ans := new(nrows m,ncols m,NIL$Lisp) + ans := new(nrows m,ncols m,sampleElement()) for i in minRowIndex(m)..maxRowIndex(m) repeat for j in minColIndex(m)..maxColIndex(m) repeat qsetelt_!(ans,i,j,qelt(m,i,j)) @@ -179,7 +185,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where m map(f,m) == - ans := new(nrows m,ncols m,NIL$Lisp) + ans := new(nrows m,ncols m,sampleElement()) for i in minRowIndex(m)..maxRowIndex(m) repeat for j in minColIndex(m)..maxColIndex(m) repeat qsetelt_!(ans,i,j,f(qelt(m,i,j))) @@ -194,7 +200,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where map(f,m,n) == (nrows(m) ~= nrows(n)) or (ncols(m) ~= ncols(n)) => error "map: arguments must have same dimensions" - ans := new(nrows m,ncols m,NIL$Lisp) + ans := new(nrows m,ncols m,sampleElement()) for i in minRowIndex(m)..maxRowIndex(m) repeat for j in minColIndex(m)..maxColIndex(m) repeat qsetelt_!(ans,i,j,f(qelt(m,i,j),qelt(n,i,j))) @@ -203,7 +209,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where map(f,m,n,r) == maxRow := max(maxRowIndex m,maxRowIndex n) maxCol := max(maxColIndex m,maxColIndex n) - ans := new(max(nrows m,nrows n),max(ncols m,ncols n),NIL$Lisp) + ans := new(max(nrows m,nrows n),max(ncols m,ncols n),sampleElement()) for i in minRowIndex(m)..maxRow repeat for j in minColIndex(m)..maxCol repeat qsetelt_!(ans,i,j,f(elt(m,i,j,r),elt(n,i,j,r))) @@ -248,7 +254,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where row(m,i) == i < minRowIndex(m) or i > maxRowIndex(m) => error "row: index out of range" - v : Row := new(ncols m,NIL$Lisp) + v : Row := new(ncols m,sampleElement()) for j in minColIndex(m)..maxColIndex(m) _ for k in minIndex(v)..maxIndex(v) repeat qsetelt_!(v,k,qelt(m,i,j)) @@ -259,7 +265,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where column(m,j) == j < minColIndex(m) or j > maxColIndex(m) => error "column: index out of range" - v : Col := new(nrows m,NIL$Lisp) + v : Col := new(nrows m,sampleElement()) for i in minRowIndex(m)..maxRowIndex(m) _ for k in minIndex(v)..maxIndex(v) repeat qsetelt_!(v,k,qelt(m,i,j)) |