Searched refs:d_2 (Results 1 – 2 of 2) sorted by relevance
102 int d_2; member
30 $\Z^n \to 2^{\Z^{d_1+d_2}}$,36 \{\, \vec x_1 \to \vec x_2 \in \Z^{d_1} \times \Z^{d_2}57 \{\, \vec x_1 \in \Z^{d_1} \mid \exists \vec x_2 \in \Z^{d_2} :68 \{\, \vec x_2 \in \Z^{d_2} \mid \exists \vec x_1 \in \Z^{d_1} :75 Let $R \in \Z^n \to 2^{\Z^{d_1+d_2}}$ and76 $S \in \Z^n \to 2^{\Z^{d_2+d_3}}$ be two relations,83 \mid \exists \vec x_2 \in \Z^{d_2} :