Función: Restricción de una Correspondencia/RelaciónVolver

Descripción

Devuelve la correspondencia/relación restricción de otra dada

Tipos:

Restricción a la izquierda o de dominio
Restricción a la derecha o de codominio
Restricción aplicada a relación
Anti-restricción a la izquierda o de dominio o substracción de dominio
Anti-restricción a la derecha o de codominio o substracción de codominio
Anti-restricción aplicada a relación

Cadena de entrada

correl_restriccion

Cadena de salida

CORREL.restriccion

Uso

correl_restriccion(<correspondencia_relacion>,<restricción>[,<tipo>])

Parámetros
#	Parámetro	Descripción	Valor por defecto
1	correspondencia_relacion	Diccionario de la correspondencia/relación
2	restricción	Subconjunto del dominio o codominio según el tipo de restricción
3	tipo	Tipo de la restricción, con los valores; `'RELACION','DERECHA','IZQUIERDA','_RELACION','_DERECHA','_IZQUIERDA'`	'RELACION'

Valor devuelto

Diccionario representando a la restricción

Ejemplos

correl_restriccion(correl_desde_exp(rango(1,11),mcd(a,b)=1,[a,b]),[2,5,7])

Diccionario: { 'dominio': [2,5,7] 'codominio': [2,5,7] 'ady': [[0,1,1],[1,0,1],[1,1,0]] }

correl_restriccion(correl_desde_exp(rango(1,11),mcd(a,b)=1,[a,b]),[2,5,7],'DERECHA')

Diccionario: { 'dominio': [1,2,3,4,5,6,7,8,9,10] 'codominio': [2,5,7] 'ady': [[1,1,1],[0,1,1],[1,1,1],[0,1,1],[1,0,1],[0,1,1],[1,1,0],[0,1,1],[1,1,1],[0,0,1]] }

correl_restriccion(correl_desde_exp(rango(1,11),mcd(a,b)=1,[a,b]),[2,5,7],'IZQUIERDA')

Diccionario: { 'dominio': [2,5,7] 'codominio': [1,2,3,4,5,6,7,8,9,10] 'ady': [[1,0,1,0,1,0,1,0,1,0],[1,1,1,1,0,1,1,1,1,0],[1,1,1,1,1,1,0,1,1,1]] }

correl_restriccion(correl_desde_exp(rango(1,11),mcd(a,b)=1,[a,b]),[2,5,7],'_RELACION')

Diccionario: { 'dominio': [1,3,4,6,8,9,10] 'codominio': [1,3,4,6,8,9,10] 'ady': [[1,1,1,1,1,1,1],[1,0,1,0,1,0,1],[1,1,0,0,0,1,0],[1,0,0,0,0,0,0],[1,1,0,0,0,1,0],[1,0,1,0,1,0,1],[1,1,0,0,0,1,0]] }

correl_restriccion(correl_desde_exp(rango(1,11),mcd(a,b)=1,[a,b]),[2,5,7],'_DERECHA')

Diccionario: { 'dominio': [1,2,3,4,5,6,7,8,9,10] 'codominio': [1,3,4,6,8,9,10] 'ady': [[1,1,1,1,1,1,1],[1,1,0,0,0,1,0],[1,0,1,0,1,0,1],[1,1,0,0,0,1,0],[1,1,1,1,1,1,0],[1,0,0,0,0,0,0],[1,1,1,1,1,1,1],[1,1,0,0,0,1,0],[1,0,1,0,1,0,1],[1,1,0,0,0,1,0]] }

correl_restriccion(correl_desde_exp(rango(1,11),mcd(a,b)=1,[a,b]),[2,5,7],'_IZQUIERDA')

Diccionario: { 'dominio': [1,3,4,6,8,9,10] 'codominio': [1,2,3,4,5,6,7,8,9,10] 'ady': [[1,1,1,1,1,1,1,1,1,1],[1,1,0,1,1,0,1,1,0,1],[1,0,1,0,1,0,1,0,1,0],[1,0,0,0,1,0,1,0,0,0],[1,0,1,0,1,0,1,0,1,0],[1,1,0,1,1,0,1,1,0,1],[1,0,1,0,0,0,1,0,1,0]] }

Desde / Última modificación

v0.6.2.4