Lines Matching defs:A1
492 lambda_matrix swapmatrix, A1, B1;
496 A1 = lambda_matrix_new (128, depth);
569 lambda_vector_copy (A[j], A1[newsize], depth);
585 A1[newsize], depth);
596 A = A1;
597 A1 = swapmatrix;
632 lambda_matrix A, B, A1, B1;
651 A1 = lambda_matrix_new (128, depth);
732 /* A1 = A * L */
733 lambda_matrix_mult (A, LATTICE_BASE (lattice), A1, size, depth, depth);
745 it by A1, then performing Fourier-Motzkin. */
753 /* A = A1 inv(U). */
754 lambda_matrix_mult (A1, invertedtrans, A, size, depth, depth);