Home | History | Annotate | Download | only in dist

Lines Matching defs:morph2

713 /* Construct a morphism that first does morph2 and then morph1.
716 	__isl_take isl_morph *morph2)
721 	if (!morph1 || !morph2)
724 	map = isl_mat_product(isl_mat_copy(morph1->map), isl_mat_copy(morph2->map));
725 	inv = isl_mat_product(isl_mat_copy(morph2->inv), isl_mat_copy(morph1->inv));
726 	dom = isl_morph_basic_set(isl_morph_inverse(isl_morph_copy(morph2)),
728 	dom = isl_basic_set_intersect(dom, isl_basic_set_copy(morph2->dom));
730 				  isl_basic_set_copy(morph2->ran));
734 	isl_morph_free(morph2);
739 	isl_morph_free(morph2);
773 	isl_morph *morph, *morph2;
781 	morph2 = isl_basic_set_parameter_compression(bset);
782 	bset = isl_morph_basic_set(isl_morph_copy(morph2), bset);
784 	morph = isl_morph_compose(morph2, morph);
786 	morph2 = isl_basic_set_variable_compression(bset, isl_dim_set);
789 	morph = isl_morph_compose(morph2, morph);