compute_normal_form.cpp 10.8 KB