Программный способ вычисления топологий и исследования их свойств