Operador: Producto CartesianoVolver

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 |

Véase también…