previous next |
>< |
Syntax |
L_1 >< ... >< L_n where each L_i is a list. |
Summary |
Cartesian product |
Description |
This operator (made using a greater-than sign '>' and a less-than sign '<') returns the list whose elements form the Cartesian product of L_1,...,L_n. |
Example |
L := [1,2,3]; L >< ["a","b"] >< [5]; [[1, "a", 5], [1, "b", 5], [2, "a", 5], [2, "b", 5], [3, "a", 5], [3, "b", 5]] ------------------------------- Note that only '<>' is used for 'not equal' in CoCoA. |
See also: |