DArrayReduce

Reductions of ddArrays.

Signature of DArrayReduce

List of Import References :
See Array
See BOOL
See Bitset
See DArray
See DENOTATION
See Nat
See Option

SIGNATURE DArrayReduce [from,to]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

SORT from to

IMPORT DArray[from] ONLY dArray
       Nat         ONLY nat 

Left and right reduction. Informally: (o,e) / ([a,b,...,y,z]) == a o (b o (...(y o (z o e))...)) and (o,e) \ ([a,b,...,y,z]) == z o (y o (...(b o (a o e))...))

FUN / \ : (from**to->to)**to**dArray[from]->to

Left and right reduction on index and elements. Informally: (o,e) / ([a0,a1,...,an]) == (0, a0) o ((1, a1) o (...((n, an) o e)...)) and (o,e) \ ([a0,a1,...,an]) == (n, an) o (...((1, a1) o ((0, a0) o e))...).

FUN / \ : (nat**from**to->to)**to**dArray[from]->to

next node: DArray,
prev node: DArrayFold,
up to node: Subsystem Dynamic Arrays