Laboratoire de l'Informatique et du Parallélisme » Pobyso

"""

module: sageSLZ.sage

Sage core function needed for the implementation of SLZ.

Created on 2013-08

moduleauthor:: S.T.

"""

    Creates a new multivariate polynomial with integer coefficients for use

     with the Coppersmith method.

    - 2^k (bound on the second variable)

    :param ratPolyOfInt: a polynomial with rational coefficients and integer

                         variables.

    :param precision: the precision of the floating-point coefficients.

    :param targetHardnessToRound: the hardness to round we want to check.

    :param variable1: the first variable of the polynomial (an expression).

    :param variable2: the second variable of the polynomial (an expression).

    :returns: a 4 elements tuple:

                - the polynomial;

                - the module (N);

                - the lcm used to compute the integral coefficients and the 

                  module.