In order to find out if a loop can be parallelized, it needs to be found if there is dependency among the different iterations of a loop. Diophantine equations can be created for the loop in question. Solving the diophantine equation can indicate presence or absence of dependencies in the loop.
