Il comando [math]Vertice[p,k][/math] determina, al variare di [b]k[/b], gli [b]n[/b] vertici del poligono [b]p[/b] .
Il comando [math]diagonali = Successione[Segmento[Vertice[p,1],Vertice[p,k]],k,3,n-1][/math]
determina tutte le diagonali di [b]p[/b] uscenti da [b]A[/b], primo vertice.
Il comando
[math]corde = Successione[Successione[Segmento[Vertice[p, h], Vertice[p, k]],k, h + 1, n],h, 1, n][/math]
determina tutte le corde, le diagonali, del poligono.