Searched refs:d_1 (Results 1 – 3 of 3) sorted by relevance
75 int d_1; 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}}$ and82 \{\, \vec x_1 \to \vec x_3 \in \Z^{d_1} \times \Z^{d_3}
2238 : vector<d_1 x .. x d_n x f32>