wiris detecta si una successió de nombres que se li ha donat mitjançant els seus primers termes segueix una progressió constant, aritmètica, geomètrica o polinòmica. Això permet obtenir el terme general d'una successió i sumar els seus termes amb les fórmules conegudes. La comanda progressió permet decidir quin tipus de progressió segueix una successió de nombres.

wiris classifica les progressions seguint l'ordre en què les acabem d'enumerar. Així, si una progressió és constant, la classifica com a constant, tot i que també és aritmètica i geomètrica. Semblantment, una progressió aritmètica, que correspon a una polinòmica de primer grau, es classifica com a aritmètica.

Per a tota successió finita de n nombres, existeix un únic polinomi de grau no superior a n-1 que els n primers termes de la successió polinòmica corresponent coincideixen amb els de la successió. wiris formarà sempre la successió polinòmica corresponent al polinomi de menor grau que compleix aquesta condició.

Un cop definida una progressió, la podem guardar en una variable. Si anomenem p a aquesta variable, aleshores l'expressió p(i) ens dóna el seu terme i-èsim per a qualsevol nombre i i, en el cas que n sigui una variable, l'expressió p(n) retorna la fórmula per al terme general de la progressió.

Funcions

Les funcions associades a progressions són:

pas:  comanda pas Donada una progressió aritmètica, s'obté el seu pas (que és la diferència entre dos termes). En el cas de tenir una progressió constant, la funció torna el valor 0.

raó:  comanda raó Donada una progressió geomètrica, calcula la seva la raó. En el cas de tenir una progressió constant, la funció torna el valor 1.

suma de termes d'una progressió:  comanda sigma_progressió Donada una progressió, s'obté la suma total dels seus termes. Cal notar que el resultat no sempre té l'aspecte amb el que es presenta aquesta suma normalment, degut a la generalitat dels mètodes emprats, malgrat lògicament el valor de l'expressió obtinguda serà el mateix que el de les expressions clàssiques. Aquesta comanda té tres arguments: la progressió (el primer) i el límit inferior i superior del sumatori (segon i tercer, respectivament). Els límits del sumatori poden ser nombres enters (fins i tot negatius) o polinomis amb coeficients nombres enters. Si volem calcular la suma infinita de termes, és a dir, sumar des d'un coeficient n fins a l'infinit, hem d'utilitzar una altra funcionlitat de wiris: els límits, que s'expliquen en el capítol Anàlisi. Podem veure en el sigüent exemple com combinar aquestes funcionalitats.