Kirch's algorithm, from Optimizing Supercompilers for Supercomputers Michael Wolfe MIT Press, 1989 Program 2.1, page 29. Computes the GCD of AM and BM. Also finds a solution to the equation ax - by = gcd(a, b). Returns true if dependence disproved; i.e., gcd does not divide Delta.
source not stored for this graph (policy: none)
no test coverage detected