Tipo y precedencia
BINARIO (40)
Descripción
Producto cartesiano entre dos conjuntos.
Cuando se aplica a varios conjuntos se puede definir el producto cartesiano generalizado como pares ordenados anidados, el cual es una forma de modelar tuplas en la teoría de conjuntos. Ejemplo:
[0,1]{x}[false,true]{x}[inf,-inf]{x}[nan,pi]
VectorEvaluado: | [[0,falso],Infinity] NaN | | [[0,falso],Infinity] 3.141592653589793 | | [[0,falso],-Infinity] NaN | | [[0,falso],-Infinity] 3.141592653589793 | | [[0,verdadero],Infinity] NaN | | [[0,verdadero],Infinity] 3.141592653589793 | | [[0,verdadero],-Infinity] NaN | | [[0,verdadero],-Infinity] 3.141592653589793 | | [[1,falso],Infinity] NaN | | [[1,falso],Infinity] 3.141592653589793 | | [[1,falso],-Infinity] NaN | | [[1,falso],-Infinity] 3.141592653589793 | | [[1,verdadero],Infinity] NaN | | [[1,verdadero],Infinity] 3.141592653589793 | | [[1,verdadero],-Infinity] NaN | | [[1,verdadero],-Infinity] 3.141592653589793 |
Para obtener n-tuplas sin pares anidados, se puede utilizar la función propagar y la función flatten n-2 veces como en este ejemplo:
propagar(flatten(flatten(fila)),fila,[0,1]{x}[false,true]{x}[inf,-inf]{x}[nan,pi])
VectorEvaluado: | 0 falso Infinity NaN | | 0 falso Infinity 3.141592653589793 | | 0 falso -Infinity NaN | | 0 falso -Infinity 3.141592653589793 | | 0 verdadero Infinity NaN | | 0 verdadero Infinity 3.141592653589793 | | 0 verdadero -Infinity NaN | | 0 verdadero -Infinity 3.141592653589793 | | 1 falso Infinity NaN | | 1 falso Infinity 3.141592653589793 | | 1 falso -Infinity NaN | | 1 falso -Infinity 3.141592653589793 | | 1 verdadero Infinity NaN | | 1 verdadero Infinity 3.141592653589793 | | 1 verdadero -Infinity NaN | | 1 verdadero -Infinity 3.141592653589793 |
Cadena de entrada
{x}
Cadena de salida
X
Uso
<vector>{x}<vector>
Ejemplos
[0,1,2]{x}[0,1]
VectorEvaluado: | 0 0 | | 0 1 | | 1 0 | | 1 1 | | 2 0 | | 2 1 |
rango(10){x}rango(10)
VectorEvaluado: | 0 0 | | 0 1 | | 0 2 | | 0 3 | | 0 4 | | 0 5 | | 0 6 | | 0 7 | | 0 8 | | 0 9 | | 1 0 | | 1 1 | | 1 2 | | 1 3 | | 1 4 | | 1 5 | | 1 6 | | 1 7 | | 1 8 | | 1 9 | | 2 0 | | 2 1 | … | 9 6 | | 9 7 | | 9 8 | | 9 9 |