https://datadosen.com/en/Generating_set_of_an_ideal