Changes between Version 14 and Version 15 of DataParallel/Regular


Ignore:
Timestamp:
Dec 15, 2009 8:18:53 AM (6 years ago)
Author:
gckeller
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/Regular

    v14 v15  
    7171is necessary to be able to inductively define operations on `Shape`. It should, however, be hidden from the library 
    7272user in favour of the common tuple representation. 
     73 
     74 
     75The multiparameter type class `Subshape sh sh'` contains all pairs of shapes `sh` and `sh'`, for which the dimensionality of `sh'` is 
     76less than that of `sh`.   
     77{{{ 
     78class (Shape sh, Shape sh') => Subshape sh sh' where 
     79  addDim     :: sh -> sh' -> sh     
     80  modDim     :: sh -> sh' -> sh     
     81  inject     :: sh -> sh' -> sh 
     82}}} 
     83The method `addDim` adds the sizes of two shapes (or positions of two indices). If `sh'` is a strict subshape of 
     84`sh`, the fields of `sh` are copied when no corresponding fields of `sh'` exist, accordingly for `modDim` 
     85 
    7386 
    7487== Operations on Arrays and Delayed Arrays ==