Searched refs:lhs_space_dim (Results 1 – 6 of 6) sorted by relevance
2276 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_image() local2277 if (space_dim < lhs_space_dim) { in generalized_affine_image()2337 lhs_space_dim = lhs.last_nonzero(); in generalized_affine_image()2338 if (lhs_space_dim == 0) { in generalized_affine_image()2348 i_end = lhs.lower_bound(Variable(lhs_space_dim)); i != i_end; ++i) { in generalized_affine_image()2417 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_preimage() local2418 if (space_dim < lhs_space_dim) { in generalized_affine_preimage()2475 lhs_space_dim = lhs.last_nonzero(); in generalized_affine_preimage()2476 if (lhs_space_dim == 0) { in generalized_affine_preimage()2487 i_end = lhs.lower_bound(Variable(lhs_space_dim)); i != i_end; ++i) { in generalized_affine_preimage()[all …]
3312 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_image() local3313 if (space_dim < lhs_space_dim) { in generalized_affine_image()3343 lhs_space_dim = lhs.last_nonzero(); in generalized_affine_image()3347 if (lhs_space_dim == 0) { in generalized_affine_image()3472 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_preimage() local3473 if (space_dim < lhs_space_dim) { in generalized_affine_preimage()3503 lhs_space_dim = lhs.last_nonzero(); in generalized_affine_preimage()3507 if (lhs_space_dim == 0) { in generalized_affine_preimage()
5982 const dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_image() local5983 if (space_dim < lhs_space_dim) { in generalized_affine_image()6076 const dimension_type num_common_dims = std::min(lhs_space_dim, rhs_space_dim); in generalized_affine_image()6250 const dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_preimage() local6251 if (bds_space_dim < lhs_space_dim) { in generalized_affine_preimage()6326 const dimension_type num_common_dims = std::min(lhs_space_dim, rhs_space_dim); in generalized_affine_preimage()
3794 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_image() local3796 if (space_dim < lhs_space_dim) { in generalized_affine_image()4034 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_preimage() local4036 if (space_dim < lhs_space_dim) { in generalized_affine_preimage()
6528 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_image() local6529 if (space_dim < lhs_space_dim) { in generalized_affine_image()6628 const dimension_type num_common_dims = std::min(lhs_space_dim, rhs_space_dim); in generalized_affine_image()7114 dimension_type lhs_space_dim = lhs.space_dimension(); in generalized_affine_preimage() local7115 if (space_dim < lhs_space_dim) { in generalized_affine_preimage()7195 const dimension_type num_common_dims = std::min(lhs_space_dim, rhs_space_dim); in generalized_affine_preimage()
77582 dimension_type lhs_space_dim = lhs.space_dimension();77583 if (space_dim < lhs_space_dim) {78168 dimension_type lhs_space_dim = lhs.space_dimension();78169 if (space_dim < lhs_space_dim) {86529 const dimension_type lhs_space_dim = lhs.space_dimension();86530 if (space_dim < lhs_space_dim) {86798 if (bds_space_dim < lhs_space_dim) {91413 dimension_type lhs_space_dim = lhs.space_dimension();91415 if (space_dim < lhs_space_dim) {91653 dimension_type lhs_space_dim = lhs.space_dimension();[all …]