rewrite proposition on the factorization of the k-jet
correct typo
update the subsection on factorization
fix statement about finite determinacy
update the introduction of the section on the residual part
update the introduction
move algorithms to different paragraphs
Merge pull request #17 from steenpass/andreas

update to the first draft which was discussed with others