UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-19 05:40:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[solver] Equation: fix edge case: if the equation was simplified because

Browse Source 
always true, the standard form must be 0
This commit is contained in:
Émilie Feral
2018-06-01 14:52:38 +02:00
parent dca5266187
commit 699010484f
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
apps/solver/equation.cpp
View File

@@ -37,7 +37,14 @@ void Equation::tidy() {
Expression * Equation::standardForm(Context * context) const {
if (m_standardForm == nullptr) {
m_standardForm = static_cast<const Equal *>(expression(context))->standardEquation(*context);
Expression * e = expression(context);
if (e->type() == Expression::Type::Equal) {
m_standardForm = static_cast<const Equal *>(e)->standardEquation(*context);
} else {
// The equality was reduced which means the equality was always true.
assert(e->type() == Expression::Type::Rational && static_cast<Rational *>(e)->isOne());
m_standardForm = new Rational(0);
}
}
return m_standardForm;
}