Cat::HomogeneousFiniteProduct
--
the category of homogeneous finite products
represents the category of homogeneous finite products of elements of
the domain Cat::HomogeneousFiniteProduct
(T)T
.
Cat::HomogeneousFiniteProduct(T)
T |
- | A domain which must be from the category Cat::BaseCategory . This
defines the domain of the products elements. |
Cat::HomogeneousFiniteCollection(T)
Cat::HomogeneousFiniteProduct
(T)
is a
homogeneous finite collection where each collection has the same number
of elements of the domain T
."card"
, which must be defined by domains of this category.
It is not given as a category parameter simply because it is not
needed. Thus no unnecessary instances of the category are created."_index"
and
"set_index"
are slow, which most often will be the case.
So we avoid the work and let the domain implementors do it.Must hold the number of elements of a collection.
Defined if T
is a ring: In this case the characteristic
of the product domain is the same as that of T
.
zip(dom x, dom y, function f)
f(
x_i, y_i
) for each pair
x_i
, y_i
of elements from x
and
y
and builds a new element of this domain from the
results.nops(dom x)
x
, which is simply
the constant defined by the entry "card"
.Cat::HomogeneousFiniteProductCat
.