suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed a small bug in the equation normalisation

Browse Source
This commit is contained in:
Neil Brown 2007-12-12 14:16:29 +00:00
parent 2354c6a933
commit cba5ff45f1
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
transformations/ArrayUsageCheck.hs
View File

@ -77,8 +77,13 @@ solveConstraints p ineq
normalise = mapM normalise' --Note the mapM; if any calls to normalise' fail, so will normalise normalise = mapM normalise' --Note the mapM; if any calls to normalise' fail, so will normalise
where where
normalise' :: EqualityConstraintEquation -> Maybe EqualityConstraintEquation normalise' :: EqualityConstraintEquation -> Maybe EqualityConstraintEquation
normalise' e = let g = foldl1 gcd (elems e) in normalise' e = let g = foldl1 gcd (tail $ elems e) in -- g is the GCD of a_1 .. a_n (not a_0)
if (((e ! 0) `mod` g) /= 0) then Nothing else Just $ amap (\x -> x `div` g) e if (g == 0)
then Just e
else (if (((e ! 0) `mod` g) /= 0) -- If g doesn't divide a_0
then Nothing
else Just $ amap (\x -> x `div` g) e -- Divide all coefficients by g
)
solve :: EqualityProblem -> StateT InequalityProblem Maybe EqualityProblem solve :: EqualityProblem -> StateT InequalityProblem Maybe EqualityProblem
solve [] = return [] solve [] = return []