id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
5494	RemoveSimpleEquations module should remove simple equations with parametric coefficients	Maksimov Doe	Lennart Ochel	"RemoveSimpleEquations module cannot remove equations like '''a = k * b''' where '''a''' and '''b''' are some component references and '''k''' is a parameter expression. Because of that in the example below compiler cannot deduce that the value of z is zero.

{{{
#!modelica
model TestFactorSimpleRemoval
  Real x = time;
  Real y = 2 * time;
  Real z;
equation
  z = 2 * x - y;
end TestFactorSimpleRemoval;
}}}


Currently this model produce following equation system
{{{
#!modelica
########################################
dumpindxdae
######################################## 
unspecified partition
======================================== Variables (3)
========================================
1: z:VARIABLE() TestFactorSimpleRemoval type: Real 
2: y:VARIABLE() TestFactorSimpleRemoval type: Real 
3: x:VARIABLE() TestFactorSimpleRemoval type: Real  
Equations (3, 3)
========================================
1/1 (1): z = 2.0 * x - y   [dynamic |0|0|0|0|]
2/2 (1): x = time   [binding |0|0|0|0|]
3/3 (1): y = 2.0 * time   [binding |0|0|0|0|] 
Matching
========================================
3 variables and equations
var 1 is solved in eqn 1
var 2 is solved in eqn 3
var 3 is solved in eqn 2 
StrongComponents
========================================
{3:2}
{2:3}
{1:1} 

BackendDAEType: simulation 
}}}

Module RemoveSimpleEquations already handles negative sign and work with parametric coefficients could be done in the same manner."	discussion	new	high	Future	Backend