Document how Sollya computes Sturm sequences