2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/125611In this paper it is shown that it is possible to associate several polynomial ideals to a directed graph $D$ in order to find properties of it. In fact by using algebraic tools it is possible to give appropriate procedures for automatic reasoning on cycles and directed cycles of graphs.25 pagesCommutative AlgebraCombinatoricstext