Révision 103 pobysoPythonSage/src/sageSLZ/sageSLZ.sage

sageSLZ.sage (revision 103)
95 95 
    scaled back by dividing by the "right" powers of the variables bounds.
96 96
97 97 
    The elements in knownMonomials must be of the "right" polynomial type.
98 
    They set the polynomial type of the output polynomials list.
98 99 
    """
99 100
100 101 
    # TODO: check input arguments.
......
467 468 
    Makes a variable substitution into the input polynomial so that the output
468 469 
    polynomial can take integer arguments.
469 470 
    All variables of the input polynomial "have precision p". That is to say
470 
    that they are rationals with denominator == 2^precision: x = y/2^precision
471 
    that they are rationals with denominator == 2^(precision - 1):
472 
    x = y/2^(precision - 1).
471 473 
    We "incorporate" these denominators into the coefficients with,
472 474 
    respectively, the "right" power.
473 475 
    """

Formats disponibles : Unified diff