UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-01-18 16:27:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

[poincare] Added simplification of equals

Browse Source
This commit is contained in:
Laury
2021-09-25 19:30:37 +02:00
parent efda561425
commit f5f11c6478
1 changed files with 18 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
poincare/src/equal.cpp
View File

@@ -52,11 +52,28 @@ Expression Equal::standardEquation(Context * context, Preferences::ComplexFormat
Expression Equal::shallowReduce(ExpressionNode::ReductionContext reductionContext) {
Expression e = Equal::Builder(Subtraction::Builder(childAtIndex(0).clone(), childAtIndex(1).clone()).shallowReduce(reductionContext), Rational::Builder(0));
if (e.childAtIndex(0).isIdenticalTo(e.childAtIndex(1))) {
Expression leftSide = e.childAtIndex(0);
if (leftSide.isIdenticalTo(e.childAtIndex(1))) {
Expression result = Rational::Builder(1);
replaceWithInPlace(result);
return result;
}
if (leftSide.isUndefined()) {
return leftSide;
}
if (leftSide.type() == ExpressionNode::Type::Multiplication) {
Multiplication m = static_cast<Multiplication&>(leftSide);
int i = 0;
while (i < numberOfChildren()-1) {
if (m.childAtIndex(i).nullStatus(reductionContext.context()) == ExpressionNode::NullStatus::NonNull) {
m.removeChildAtIndexInPlace(i);
}
else {
i++;
}
}
}
return e;
}