Module src.olaaaf.mlo_solver.scipySolverRounded

Rounded approximation of olaaaf.mlo_solver.scipySolver.ScipySolver, reducing floating point approximations.

Classes

class ScipySolverRounded (round: int = 12)

Rounded approximation of olaaaf.mlo_solver.scipySolver.ScipySolver, reducing floating point approximations.

Parameters

round : int
The decimal to which all numbers are rounded.
Expand source code 
class ScipySolverRounded(ScipySolver):
    """
    Rounded approximation of `olaaaf.mlo_solver.scipySolver.ScipySolver`, reducing floating point approximations.

    Parameters
    ----------
    round: int
        The decimal to which all numbers are rounded.
    """

    __round: int

    def __init__(self, round: int = 12):
        self.__round = round
        
    def solve(self, variables : list[Variable], objectif : list[Fraction], constraints : list[tuple[list[Fraction], ConstraintOperator, Fraction]])\
        -> tuple[OptimizationValues, list[Fraction], Fraction]:
        """
        Method returning the result of a mixed linear problem.

        Parameters
        ----------
        variables : list of olaaaf.variable.variable.Variable
            Variables used in constraints.
        objectif : list of fractions.Fraction
            Weights of the objective function to optimize.
        constraints : list of tuple of the form (list of fractions.Fraction, olaaaf.formula.nullaryFormula.constraint.constraintOperator.ConstraintOperator, fractions.Fraction)
            Each tuple represents a linear constraint, with the first element being the weights, the second the operator and the third the bound.

        Returns
        -------
        olaaaf.mlo_solver.optimizationValues.OptimizationValues
            Information of the final state of the problem.
        list of fractions.Fraction
            The point at the optimal, if found.
        fractions.Fraction
            The optimal value, if found.
        """        
        scipySolverRes = super().solve(variables, objectif, constraints)
        res = []

        res.append(scipySolverRes[0])
        res.append([round(Fraction(x), self.__round) for x in scipySolverRes[1]])

        if np.isinf(scipySolverRes[2]):
            res.append(scipySolverRes[2])
        else:
            res.append(round(Fraction(scipySolverRes[2]), self.__round))

        return res

Ancestors

Inherited members