Cat::HomogeneousFiniteProduct --
the category of homogeneous finite products
Introduction
represents the category of homogeneous finite products of elements of
the domain Cat::HomogeneousFiniteProduct(T)T.
Generating
the categoryCat::HomogeneousFiniteProduct(T)
ParametersT |
- | A domain which must be from the category Cat::BaseCategory. This
defines the domain of the products elements. |
Cat::HomogeneousFiniteCollection(T)
DetailsCat::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.