Fixed issues in the definitions in the realPolyScript file and proved cheated lemmas in the sturmComputeScript