1

Week 12

Arrays, vectors, matrices and cubes

2

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array subscript expressions

Each subscript in an array element designator is an expression of integer type. It need not be a constant. The value of each subscript expression must be within the declared subscript range for the corresponding dimension:– Each subscript value must be less than or equal to the upper bound

specified for the corresponding array dimension.– Each subscript value must be greater than or equal to the specified

Lower bound; or, if no Lower bound is explicitly specified, it must be greater than or equal to 1 (the default Lower bound).

Example for Array Element Namesinteger, parameter :: EXTENT = 20

integer, parameter :: K1 = 1, L3 = 3, M1 = 1, I2 = 2, &J1 = 1, L0 = 0, L16 = 16, I4 = 4, M2 = 2real :: X0real, dimension(EXTENT) :: X1real, dimension(EXTENT, EXTENT) :: X2

3

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array element names

real, dimension(EXTENT, EXTENT, EXTENT) :: X3

read (unit = *, fmt = *) X1(6)

write (unit = *, fmt = *) X1(I4+2), X1(3*M2)

read (unit =*, fmt = *) X3(L3-1, 2*M1, 13*I2-7)

write (unit =*, fmt = *) X3(2, 2, 19)

read (unit =*, fmt = *) X2(3*J1-1, 3*L0+L16)

write (unit =*, fmt = *) X2(2, 16)

read (unit =*, fmt = *) X1(3)

read (unit =*, fmt = *) X2(K1, L0+2)

X1(1) = X1(3) + L16

X1(I4) = 17.42

X0 = X1(6) + X2(1,2)

write (unit =*, fmt = *) X1(K1), X1(4), X0

4

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Vectors, matrices and cubesOne-dimensional and two-dimensional arrays may be interpreted in special

ways according to the rules of linear algebra. An array of rank 1 is a vector, an array of rank 2 is a matrix and an array of rank 3 may be viewed as a stack of cubes forming a large block (parallelepiped).

Examples:

One-dimensional array; vector:

integer, dimension(3) :: A

Two-dimensional array;

integer, dimension(3,3) :: B

A(1) A(2) A(3)

B(1,1) B(1,2) B(1,3)

B(2,1) B(2,2) B(2,3)

B(3,1) B(3,2) B(3,3)

5

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Vectors, matrices and cubesThree-dimensional array;

Integer, dimension(3,3,3) :: C

C(1,1,1) C(1,1,2) C(1,1,3)

C(1,2,1) C(1,2,2) C(1,2,3)

C(1,3,1) C(1,3,2) C(1,3,3)

C(2,1,1) C(2,1,2) C(2,1,3)

C(2,2,1) C(2,2,2) C(2,2,3)

C(2,3,1) C(2,3,2) C(2,3,3)

C(3,1,1) C(3,1,2) C(3,1,3)

C(3,2,1) C(3,2,2) C(3,2,3)

C(3,3,1) C(3,3,2) C(3,3,3)

6

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Whole-array operationsAn array is a variable; thus, the array name (without a subscript)

represents all elements of the array. For instance, an array name in an input or output list causes input or output of all the array elements. There is a rich set of operations on whole arrays; most scalar operations are extended to whole-array operands. A whole-array operation is applied to all elements of the array. A whole-array, denoted by the array name without a subscript, is an array variable. F language permits an array variable in most contexts where a scalar variable is permitted. Assignment is permitted between whole arrays of the same shape:

1) The shape of an array is determined by its rank (number of dimension) and by its extent (number of elements) along each dimension.

2) Two arrays have the same shape if they have the same rank and if their extents agree along each dimension. The subscript ranges (upper and lower subscript bounds) are not required to agree.

7

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Whole-array operationsWhole-array assignment

real, dimension(5, 7) :: A, B

real, dimension(0 : 4, 0 : 6) :: C

integer, dimension(5, 7) :: I

read(unit = *, fmt = *) B

C = B

I = C ! Elementwise type coercion, with truncation, occurs.

A = I

write (unit = *, fmt = *) A

8

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

gArithmetic and relational operations on whole arraysreal, dimension(5, 7) :: A, B, C

logical, dimension(5, 7) :: T

real, dimension(20) :: V, V_Squared

read (unit = *, fmt = *) B, C, V

A = B + C

T = B > C

C = A * B

V_Squared = V * V

write (unit = *, fmt = *) T, C, V, V_Squared

9

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Elemental intrinsic functions Many intrinsic functions (see Appendix A, Meissner`s book),

notably including the mathematical functions, are classified as elemental. An elemental intrinsic function accepts either a scalar or an array as its argument. When the argument is an array, the function performs its operation element wise, applying the scalar operation to every array element and producing a result array of the same shape.

Example:real, dimension(5, 7) :: A, B, Clogical, dimension(5, 7) :: T

...A = max(B,C)T=sin(A) > B

10

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

gArray sections with increment (stride) designatorAn array section designator may include a third expression,

analogous to the third control parameter of an indexed do construct. This increment (in this context, often called the stride) gives the spacing between those elements of the underlying parent array that are to be selected for the array section:

real, dimension(8) :: Areal, dimension(18) :: VA = V(1: 15: 2)By analogy to an indexed do with explicit increment, we see that

the values assigned to A are those of V(1), V(3), …, V(15). A negative Increment value reverses the normal array element sequence:

A = V(9: 2: -1)the eight elements are V(9), V(8), V(7),…, V(2)

11

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

gArray sections with increment (stride) designatorreal, dimension (18) :: V

V(2:9)

V(1: 15: 2)

V(2: 17: 5)

12

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

gArray sections with increment (stride) designator real, dimension(5, 7) :: M

M(1: 4, 1: 4)

real, dimension(3, 5) :: Ereal, dimension(2, 3) :: FF = E (1 : 3 : 2, 1 : 5 : 2)

13

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array sections of reduced rank Array section designators may be combined with single

subscripts to designate an array object of lower rank

V( : 5) = M(2, 1: 5)

Here, the elements M(2,1) through M(2,5) form a one-dimensional array section that is assigned to the first five elements of V

14

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Intrinsic and array inquiry functions

Intrinsic functions perform many operations that would otherwise have to be programmed with loops. A selection of these functions is listed on pages 233-234 on Meissner’s book.

For example: transpose(matrix) forms the transpose of a matrix (rank-2

array) of any type.

ubound(array [, dim]) returns the upper bound [in the specified dimension], or a vector of upper bounds.

mask argument in sum, product, any, all, count, maxloc, and minloc is a logical array with the same shape as array, and the function is applied to elements where mask is true.

15

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

gSum and product (sum & dim)

The intrinsic functions sum and product compute the sum or product of all elements of an array or array section of any numerical type.

Sum of selected elements (optional argument mask). mask is an array of the same shape as the first argument array or it is a scalar, and its type is logical. When mask is present, sum and product operate only on the array elements selected by the mask.

The conditional sum xi>0.0 xi is denoted by the expression sum (X, mask = (X > 0.0)) The mask locates the positive elements of the vector X. The value of

this expression is 0.7 if X is (0.0, -0.1, 0.2, 0.3, 0.2, -0.1, 0.0). The optional argument dim(dimension) simplifies computation of the

sums or products of all rows or columns of a matrix, or along any one dimension of an array of higher rank. The result array has one less dimension than Matrix; the dimension designated by dim is deleted, or rather it is reduced to a scalar. If the rank of Matrix is 2, sum(Matrix, dim =1) produces a vector containing the column sums, and sum(Matrix, dim=2) produces a vector containing the row sums.

16

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Sum and product (sum & dim)Example: Let A be the following 3 by 3 matrix: 1 2 3 4 5 6 2 1 1The function sum with two different dim argument values returns the

vector of column sums (7, 8, 10) and the vector of row sums (6, 15, 4).

The sum of products is denoted by the expression sum( product (A, dim = 1) )The argument dim = 1 means that the product is to be computed

down each column of A. The result of product is the vector (8, 10, 18), whose sum is 36.

The product of sums is denoted by the expression product( sum (A, dim =2 ) )The argument dim = 2 means that the sum is to be computed along

each row of A. The result of sum is the vector (6, 15, 4), whose product is 360.

17

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

The where construct A where construct may be used to assign values to arrays depending on

the value of a logical array expression. where construct has the following form:

where (logical-array-expr) array-var1 = array-expr1

or where (logical-array-expr)

array-var1 = array-expr1...

array-varm = array-exprm

elsewhere

array-varm+1 = array-exprm+1...

array-varn = array-exprn

end where

where each array-varm has the same size as the value of logical-array-expr, in the second form, the elsewhere part is optional.

18

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

The where construct The logical-array-expr is evaluated element by element, and whenever

the expression is true (false), the value of the corresponding element of each array-expri (in the elsewhere part) is assigned to the corresponding element of array-vari. In the first form, all other elements are left unchanged.

For example: Assume that A and B are declared as integer, dimension(5) :: A = (/ 0, 2, 5, 0, 10 /) real, dimension(5) :: Bthe where construct is where (A > 0) B = 1.0 / real (A) elsewhere B = -1.0 end whereconstruct assigns to B the sequence -1.0, 0.5, 0.2, -1.0, 0.1.

19

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array intrinsics for linear algebra applications The intrinsic functions transpose, dot_product, and matmul

perform essential operations of linear algebra.

real, dimension(3, 5) :: Areal, dimension(5, 3) :: B

...

B = transpose(A)dot_product forms the sum of products of corresponding elements of

two vector, which must have the same length.matmul forms the product of a p by r matrix (or a vector of length r)

and an r by s matrix (or a vector of length r); the result is a p by s matrix. The arguments must not both be vectors. For example;

real, dimension(5) :: A, Creal, dimension(5, 3) :: X C = matmul(A, X)

20

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array constructors and array-valued constants An array constructor consists of a List of expressions and implied

do loops, enclosed by the symbols (/ and /): (/ List /)The expressions in the List may be scalar expressions or array

expressions, and all must have the same type and kind. Let`s see the array-valued constants in the following. The first two of the following array constructors form constant vectors of real type, while the third is a constant vector of integer type.

( / 3.2, 4.01, 6.4 /)( / 4.5, 4.5 /)( / 3, 2 /)

The implied do loop form that is permitted in an array constructor is so called because of its resemblance to the control statement of an indexed do construct:

21

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array constructors and array-valued constants (Sublist, Index = Initial value, Limit [ , Increment])The Sublist consists of a sequence of items of any form that is

permitted in the ListThe Index, the Initial value, and the optional Increment are subject to

the same rules that apply to indexed do constructs.Example:(/ (I, I = 1, N) /)(/ ((0.0, J=1, I-1), 1.0, (0.0, J = I+1, N), I = 1, N) /)It must be kept in mind that the rank of an array constructor is always

1.An array constructor always creates an array of rank 1, but the

intrinsic function reshape, which changes the shape of an array, can be applied to an array constructor to create an array of higher rank. The result from reshape is an array whose rank is the number of elements in the shape vector and whose shape is given by the shape vector.

22

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array constructors and array-valued constantsFor example, the following expression constructs an N by N identity

matrix:

reshape( ( / ((0.0, J=1, I-1), 1.0, (0.0, J = I+1, N), I = 1, N) / ),( / N, N / )

An array constructor on the right side of an assignment statement (or in the definition of a named constant) must agree in shape with the array on the left.

A(1: 7 : 2) = (/ 11, 6, 14, 5 /)

result is: A(1)=11, A(3)=6, A(5)=14, A(7)=5

23

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array allocation Allocatable arrays and allocated pointer target arrays are deferred-

shape arrays. Allocatable arrays are declared in the usual way, except that the keyword allocatable appears in the list of attributes and that the dimension attribute is only specified. Colons in the array shape specification determine the rank (number of dimension) of the allocatable array, but the Subscript bounds are omitted from the declaration. The Subscript bounds remain to be established at the time the array is actually allocated:

real, dimension( : , : ), allocatable :: Alimonyreal, dimension( : ), allocatable :: Alpenglowreal, dimension( : , : , : ), allocatable :: AlabasterAt various points in the program, allocate statement can then be

executed to create the arrays:allocate(Alimony(5, 1000))allocate(Alpenglow(0 : Range), Alabaster(5, 1000, -17 : -6) )

24

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Array allocation Storage space that has been provided for the array can be

released by execution of a deallocate statement: deallocate(Alimony, Alabaster)

An array that has been deallocated may be reallocated with different Subscript bounds, but the rank cannot be changed.

It is an error to allocate an array that is currently allocated or to deallocate an array that is not currently deallocated. The intrinsic function allocated may be used to determine whether or not an array is currently allocated. At the end of execution of the allocate statement, the designated Integer variable will be set to zero if the allocation is successful and to a positive value otherwise.

25

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

Exercises do I = 1, 3

do J=1, 3

B(I,J) = I + J

end do

end do

RESULT: 2 3 4

3 4 5

4 5 6

26

Intr

od

ucti

on

to S

cie

nti

fic &

En

gin

eeri

ng

Com

pu

tin

g

do I =1, 3

do J = 1, 3

if ( I < J) then

A(I,J) = -1

else if (I == J) then

A(I,J)= 0

else

A(I,J) = 1

end if

end do

end do

Exercises