Skip to content
Draft
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
52 commits
Select commit Hold shift + click to select a range
58c12f8
WIP
tbittar Jun 21, 2024
0f285c6
Operator simplification on construction
tbittar Jun 21, 2024
ef9c8b6
Improve common operations on linear expr
tbittar Jun 25, 2024
4f0542c
Handle constraints
tbittar Jun 25, 2024
946c366
Equality comparator for linear expression
tbittar Jun 26, 2024
e1ebb29
WIP
tbittar Jun 26, 2024
10c2066
Sum shift
tbittar Jun 27, 2024
d13a649
WIP
tbittar Jul 11, 2024
75a5881
Shift and eval implementation in progress
tbittar Jul 12, 2024
2860242
TimeShift hashing
tbittar Jul 12, 2024
b640b22
Implement shift, eval and time sum of linear expressions
tbittar Jul 15, 2024
5f2823f
Test sum of linear expressions
tbittar Jul 15, 2024
e90254e
Fix printing term tests
tbittar Jul 16, 2024
c5214eb
More online simplifications, start handling constraints and ports
tbittar Jul 16, 2024
9ca614a
Make param and literal return expression node to later handle Express…
tbittar Jul 22, 2024
3d03d86
Fix model test
tbittar Jul 22, 2024
3251495
Fix test imports and port definition validation
tbittar Jul 23, 2024
6f85db0
Design problem between time operator / expression node
tbittar Jul 23, 2024
13ea7de
Fix circular imports
tbittar Jul 25, 2024
d092b1b
Fix syntax
tbittar Jul 26, 2024
48c96ff
Resolve linear expression
tbittar Jul 26, 2024
9de9cae
Fix circular imports
tbittar Aug 14, 2024
3a4004c
Parameter evaluation visitor implemented
tbittar Aug 14, 2024
8007306
Be able to create variables
tbittar Aug 14, 2024
c03705c
Merge branch 'main' into feature/better_expression_linearization
tbittar Aug 16, 2024
1e1ac18
Test resolve coefficients, update test evaluation context
tbittar Aug 16, 2024
1be9d84
Improve resolve coefficient API
tbittar Aug 16, 2024
b532a41
Start resolve variables, separate optimization context from optimizat…
tbittar Aug 19, 2024
b429782
Set objective
tbittar Aug 19, 2024
bda088c
Fix shift distribution and add component context for time operators
tbittar Aug 20, 2024
2c723cd
Temporary API for single shift over ExpressionNodeEfficient
tbittar Aug 21, 2024
27f8ad8
Fix variable get structure
tbittar Aug 21, 2024
bcafb95
Fix expectation computation
tbittar Aug 21, 2024
b0197da
Feature/update yaml parsing (#51)
tbittar Aug 21, 2024
1911e29
Fix interaction resolve ports / add component context
tbittar Aug 21, 2024
a904d9d
Uniformize imports
tbittar Aug 21, 2024
8b7a244
Fix some type checking issues, remove useless code
tbittar Aug 21, 2024
85d1628
Remove useless commented code
tbittar Aug 21, 2024
b5c3328
Remove useless commented code
tbittar Aug 21, 2024
344ac65
Improve type checking for constraint
tbittar Aug 22, 2024
600d1bc
Improve type checking for port field def
tbittar Aug 22, 2024
d3317ef
Improve type checking for **kwargs
tbittar Aug 22, 2024
7c9d427
Type checking and reformatting
tbittar Aug 22, 2024
6022781
Remove useless code
tbittar Aug 23, 2024
93eda7e
Rename files
tbittar Aug 27, 2024
952bce4
Rename file
tbittar Aug 27, 2024
85f3953
Remove 'efficient' suffix
tbittar Aug 27, 2024
f50f57f
Rename test files
tbittar Aug 27, 2024
abd1eed
Remove useless comments
tbittar Aug 27, 2024
f6a03c6
Comment and reformatting
tbittar Aug 27, 2024
9431fe7
WIP for parsing
tbittar Aug 27, 2024
02f8a39
WIP for yaml parsing
tbittar Sep 5, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove useless commented code
  • Loading branch information
tbittar committed Aug 21, 2024
commit 85d162839a82262843a4d664e590c51fc1f3336a
28 changes: 0 additions & 28 deletions src/andromede/expression/equality.py
Original file line number Diff line number Diff line change
Expand Up @@ -35,29 +35,6 @@
TimeOperatorNode,
)

# from andromede.expression import (
# AdditionNode,
# ComparisonNode,
# DivisionNode,
# ExpressionNode,
# LiteralNode,
# MultiplicationNode,
# NegationNode,
# ParameterNode,
# SubstractionNode,
# VariableNode,
# )
# from andromede.expression.expression import (
# BinaryOperatorNode,
# ExpressionRange,
# InstancesTimeIndex,
# PortFieldAggregatorNode,
# PortFieldNode,
# ScenarioOperatorNode,
# TimeAggregatorNode,
# TimeOperatorNode,
# )


@dataclass(frozen=True)
class EqualityVisitor:
Expand Down Expand Up @@ -95,8 +72,6 @@ def visit(
return self.multiplication(left, right)
if isinstance(left, ComparisonNode) and isinstance(right, ComparisonNode):
return self.comparison(left, right)
# if isinstance(left, VariableNode) and isinstance(right, VariableNode):
# return self.variable(left, right)
if isinstance(left, ParameterNode) and isinstance(right, ParameterNode):
return self.parameter(left, right)
if isinstance(left, ComponentParameterNode) and isinstance(
Expand Down Expand Up @@ -151,9 +126,6 @@ def division(self, left: DivisionNode, right: DivisionNode) -> bool:
def comparison(self, left: ComparisonNode, right: ComparisonNode) -> bool:
return left.comparator == right.comparator and self._visit_operands(left, right)

# def variable(self, left: VariableNode, right: VariableNode) -> bool:
# return left.name == right.name

def parameter(self, left: ParameterNode, right: ParameterNode) -> bool:
return left.name == right.name

Expand Down
3 changes: 0 additions & 3 deletions src/andromede/expression/evaluate_parameters_efficient.py
Original file line number Diff line number Diff line change
Expand Up @@ -224,9 +224,6 @@ class InstancesIndexVisitor(ParameterEvaluationVisitor):
Evaluates an expression given as instances index which should have no variable and constant parameter values.
"""

# def variable(self, node: VariableNode) -> float:
# raise ValueError("An instance index expression cannot contain variable")

# Probably useless as parameter nodes should have already be replaced by component parameter nodes ?
def parameter(self, node: ParameterNode) -> Dict[TimeScenarioIndex, float]:
if not self.context.parameter_is_constant_over_time(node.name):
Expand Down
11 changes: 0 additions & 11 deletions src/andromede/expression/expression_efficient.py
Original file line number Diff line number Diff line change
Expand Up @@ -141,8 +141,6 @@ def wrap_in_node(obj: Any) -> ExpressionNodeEfficient:
return obj
elif isinstance(obj, float) or isinstance(obj, int):
return LiteralNode(float(obj))
# else:
# return None
# Do not raise excpetion so that we can return NotImplemented in _apply_if_node
# raise TypeError(f"Unable to wrap {obj} into an expression node")

Expand Down Expand Up @@ -238,10 +236,6 @@ def _are_parameter_nodes_equal(
)


# def _is_parameter_multiplication(node: ExpressionNodeEfficient, name: str):
# return isinstance(node, MultiplicationNode) and ((isinstance(node.left, ParameterNode) and node.left.name == name) or


def _substract_node(
lhs: ExpressionNodeEfficient, rhs: ExpressionNodeEfficient
) -> ExpressionNodeEfficient:
Expand Down Expand Up @@ -644,8 +638,6 @@ def visit(
return self.multiplication(left, right)
if isinstance(left, ComparisonNode) and isinstance(right, ComparisonNode):
return self.comparison(left, right)
# if isinstance(left, VariableNode) and isinstance(right, VariableNode):
# return self.variable(left, right)
if isinstance(left, ParameterNode) and isinstance(right, ParameterNode):
return self.parameter(left, right)
if isinstance(left, ComponentParameterNode) and isinstance(
Expand Down Expand Up @@ -701,9 +693,6 @@ def division(self, left: DivisionNode, right: DivisionNode) -> bool:
def comparison(self, left: ComparisonNode, right: ComparisonNode) -> bool:
return left.comparator == right.comparator and self._visit_operands(left, right)

# def variable(self, left: VariableNode, right: VariableNode) -> bool:
# return left.name == right.name

def parameter(self, left: ParameterNode, right: ParameterNode) -> bool:
return left.name == right.name

Expand Down
11 changes: 0 additions & 11 deletions src/andromede/expression/linear_expression_efficient.py
Original file line number Diff line number Diff line change
Expand Up @@ -235,20 +235,12 @@ def sum(
if shift is not None:
return dataclasses.replace(
self,
# coefficient=TimeOperatorNode(
# self.coefficient, TimeOperatorName.SHIFT, InstancesTimeIndex(shift)
# ),
time_operator=TimeShift(InstancesTimeIndex(shift)),
time_aggregator=TimeSum(stay_roll=True),
)
elif eval is not None:
return dataclasses.replace(
self,
# coefficient=TimeOperatorNode(
# self.coefficient,
# TimeOperatorName.EVALUATION,
# InstancesTimeIndex(eval),
# ),
time_operator=TimeEvaluation(InstancesTimeIndex(eval)),
time_aggregator=TimeSum(stay_roll=True),
)
Expand Down Expand Up @@ -902,9 +894,6 @@ def expec(self) -> "LinearExpressionEfficient":
result_expr = LinearExpressionEfficient(result_terms, result_constant)
return result_expr

# def variance(self) -> "ExpressionNode":
# return _apply_if_node(self, lambda x: ScenarioOperatorNode(x, ScenarioOperatorName.Variance))

def sum_connections(self) -> "LinearExpressionEfficient":
if not self.is_zero():
raise ValueError(
Expand Down
12 changes: 0 additions & 12 deletions src/andromede/expression/visitor.py
Original file line number Diff line number Diff line change
Expand Up @@ -74,10 +74,6 @@ def division(self, node: DivisionNode) -> T:
def comparison(self, node: ComparisonNode) -> T:
...

# @abstractmethod
# def variable(self, node: VariableNode) -> T:
# ...

@abstractmethod
def parameter(self, node: ParameterNode) -> T:
...
Expand All @@ -86,10 +82,6 @@ def parameter(self, node: ParameterNode) -> T:
def comp_parameter(self, node: ComponentParameterNode) -> T:
...

# @abstractmethod
# def comp_variable(self, node: ComponentVariableNode) -> T:
# ...

@abstractmethod
def time_operator(self, node: TimeOperatorNode) -> T:
...
Expand Down Expand Up @@ -119,14 +111,10 @@ def visit(root: ExpressionNodeEfficient, visitor: ExpressionVisitor[T]) -> T:
return visitor.literal(root)
elif isinstance(root, NegationNode):
return visitor.negation(root)
# elif isinstance(root, VariableNode):
# return visitor.variable(root)
elif isinstance(root, ParameterNode):
return visitor.parameter(root)
elif isinstance(root, ComponentParameterNode):
return visitor.comp_parameter(root)
# elif isinstance(root, ComponentVariableNode):
# return visitor.comp_variable(root)
elif isinstance(root, AdditionNode):
return visitor.addition(root)
elif isinstance(root, MultiplicationNode):
Expand Down
8 changes: 0 additions & 8 deletions src/andromede/model/model.py
Original file line number Diff line number Diff line change
Expand Up @@ -265,9 +265,6 @@ def division(self, node: DivisionNode) -> None:
def comparison(self, node: ComparisonNode) -> None:
raise ValueError("Port definition cannot contain a comparison operator.")

# def variable(self, node: VariableNode) -> None:
# pass

def parameter(self, node: ParameterNode) -> None:
pass

Expand All @@ -276,11 +273,6 @@ def comp_parameter(self, node: ComponentParameterNode) -> None:
"Port definition must not contain a parameter associated to a component."
)

# def comp_variable(self, node: ComponentVariableNode) -> None:
# raise ValueError(
# "Port definition must not contain a variable associated to a component."
# )

def time_operator(self, node: TimeOperatorNode) -> None:
visit(node.operand, self)

Expand Down
23 changes: 4 additions & 19 deletions src/andromede/simulation/optimization.py
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,12 @@
LinearExpressionEfficient,
RowIndex,
)
from .resolved_linear_expression import ResolvedLinearExpression
from andromede.model.common import ValueType
from andromede.model.constraint import Constraint
from andromede.model.model import PortFieldId
from andromede.study.data import DataBase
from andromede.study.network import Component, Network

from .linear_expression_resolver import LinearExpressionResolver
from .optimization_context import (
BlockBorderManagement,
Expand All @@ -38,10 +40,9 @@
make_data_structure_provider,
make_value_provider,
)
from .resolved_linear_expression import ResolvedLinearExpression
from .strategy import MergedProblemStrategy, ModelSelectionStrategy
from .time_block import TimeBlock
from andromede.study.data import DataBase
from andromede.study.network import Component, Network


def _get_indexing(
Expand Down Expand Up @@ -92,20 +93,11 @@ def _create_constraint(
"""
constraint_indexing = _compute_indexing_structure(context, constraint)

# Perf: Perform linearization (tree traversing) without timesteps so that we can get the number of instances for the expression (from the time_ids of operators)
# linear_expr = context.linearize_expression(0, 0, constraint.expression)
# # Will there be cases where instances > 1 ? If not, maybe just a check that get_number_of_instances == 1 is sufficient ? Anyway, the function should be implemented
# instances_per_time_step = linear_expr.number_of_instances()
# instances_per_time_step = 1

value_provider = make_value_provider(context.opt_context, context.component)
expression_resolver = LinearExpressionResolver(context.opt_context, value_provider)

for block_timestep in context.opt_context.get_time_indices(constraint_indexing):
for scenario in context.opt_context.get_scenario_indices(constraint_indexing):
# linear_expr_at_t = context.linearize_expression(
# block_timestep, scenario, constraint.expression
# )
row_id = RowIndex(block_timestep, scenario)

resolved_expr = expression_resolver.resolve(constraint.expression, row_id)
Expand Down Expand Up @@ -143,13 +135,6 @@ def _create_objective(

obj: lp.Objective = solver.Objective()
for term in resolved_expr.terms:
# TODO : How to handle the scenario operator in a general manner ?
# if isinstance(term.scenario_aggregator, Expectation):
# weight = 1 / opt_context.scenarios
# scenario_ids = range(opt_context.scenarios)
# else:
# weight = 1
# scenario_ids = range(1)
opt_context._solver_variables[term.variable].is_in_objective = True
obj.SetCoefficient(
term.variable,
Expand Down