The special constructor car< ... > is used for the creation of cartesian
products of structures.
car< R_1, ..., R_k > : Str, ..., Str -> SetCart
Given a list of sets or algebraic structures R_1, ..., R_k, construct the cartesian product set R_1 x ... x R_k.
Given structures R and S, construct the cartesian product set R x S. This is the same as calling the car constructor with the two arguments R and S.
Given a structure R and an integer k, construct the cartesian power set R^(k)
Given a cartesian product C of structures which may themselves be cartesian products, return the cartesian product of the base structures, considered in depth-first order.
Given a cartesian product C, return the number of components of C.
The i-th component of C.
Given a cartesian product C, return the cardinality of C.
Given a cartesian product C, return a representative of C.
Given a cartesian product C, return a random element of C.
> C := car< RationalField(), Integers() >; > C; Cartesian Product<Rational Field, Ring of Integers>