Transitiver Abschluss einer affinen Beziehung
Ich suche nach Arbeiten zur Berechnung des transitiven Abschlusses einer affinen Beziehung in folgendem Sinne: Sei die Beziehung, die durch ein System linearer Ungleichungen über reelle Variablen , dhx 1 , ... , x n , x ' 1 , ... , x ' nR(x1,…,xn,x′1,…,x′n)R(x1,…,xn,x1′,…,xn′)R(x_1,\dots,x_n,x'_1,\dots,x'_n)x1,…,xn,x′1,…,x′nx1,…,xn,x1′,…,xn′x_1,\dots,x_n,x'_1,\dots,x'_n R(x1,…,xn,x′1,…,x′n)R(x1,…,xn,x1′,…,xn′)R(x_1,\dots,x_n,x'_1,\dots,x'_n) iff Ax1…xnx′1…x′n≤bAx1…xnx1′…xn′≤bA x_1\dots x_n …