Dimas-algorithm