cetus.analysis

Class GCD

java.lang.Object

cetus.analysis.GCD

public class GCD
extends java.lang.Object

Class containing all functionalities for a weak greatest common divisor (GCD) test.

Constructor Summary

Constructors

Constructor and Description
GCD()

Method Summary

Methods

Modifier and Type	Method and Description
static int	compute(int a, int b) Computes the GCD of the two given numbers.
static long[]	computeWithLinearCombination(long a, long b)
static boolean	test(int[] a, int[] b, int c, int nest)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GCD

public GCD()

Method Detail

compute

public static int compute(int a,
          int b)

Computes the GCD of the two given numbers.

test

public static boolean test(int[] a,
           int[] b,
           int c,
           int nest)

Parameters:

a - All coefficients in the first expression.

b - All coefficients in the second expression.

c - The constant part of the equation.

nest - The size of a and b.

Returns:

false if there appears to be a dependence or true otherwise

computeWithLinearCombination

public static long[] computeWithLinearCombination(long a,
                                  long b)