(..Declaration Part..) | Contents | Index | (..Declaration Part..) |
The first thing we really have to do is to decide in favour of a space, which the CA should be based on. That may sound difficult, but in fact we just have to indicate the dimension of , , where a standard CA is always located in.
|
Here CardConstant - as a positive dimension (!) - has to be a non-zero
element without sign of the class
IntConstant.
Remark:
There are several reasons why zero cannot be a legal dimension. Nevertheless
it is possible to construct such a CA
(consisting only of one cell and
surrounded by boundary cells). We just take a CA of arbitrary dimension and
restrict its range on one cell.
(..Declaration Part..) | Contents | Index | (..Declaration Part..) |