mirror of
https://github.com/UpsilonNumworks/Upsilon.git
synced 2026-03-18 21:30:38 +01:00
86 lines
3.6 KiB
C++
86 lines
3.6 KiB
C++
#include <poincare/store.h>
|
|
#include <poincare/char_layout.h>
|
|
#include <poincare/context.h>
|
|
#include <poincare/complex.h>
|
|
#include <poincare/horizontal_layout.h>
|
|
#include <poincare/serialization_helper.h>
|
|
#include <poincare/symbol.h>
|
|
#include <poincare/undefined.h>
|
|
#include <ion.h>
|
|
extern "C" {
|
|
#include <assert.h>
|
|
#include <stdlib.h>
|
|
#include <math.h>
|
|
}
|
|
|
|
namespace Poincare {
|
|
|
|
void StoreNode::reduceChildren(Context & context, Preferences::AngleUnit angleUnit, bool replaceSymbols) {
|
|
Expression(this).defaultReduceChildren(context, angleUnit, false);
|
|
}
|
|
|
|
void StoreNode::deepReduceChildren(Context & context, Preferences::AngleUnit angleUnit, bool replaceSymbols) {
|
|
Expression(this).defaultDeepReduceChildren(context, angleUnit, false);
|
|
}
|
|
|
|
Expression StoreNode::shallowReduce(Context & context, Preferences::AngleUnit angleUnit, bool replaceSymbols) {
|
|
return Store(this).shallowReduce(context, angleUnit, replaceSymbols);
|
|
}
|
|
|
|
int StoreNode::serialize(char * buffer, int bufferSize, Preferences::PrintFloatMode floatDisplayMode, int numberOfSignificantDigits) const {
|
|
return SerializationHelper::Infix(this, buffer, bufferSize, floatDisplayMode, numberOfSignificantDigits, "\x90");
|
|
}
|
|
|
|
Layout StoreNode::createLayout(Preferences::PrintFloatMode floatDisplayMode, int numberOfSignificantDigits) const {
|
|
HorizontalLayout result = HorizontalLayout();
|
|
result.addOrMergeChildAtIndex(childAtIndex(0)->createLayout(floatDisplayMode, numberOfSignificantDigits), 0, false);
|
|
result.addChildAtIndex(CharLayout(Ion::Charset::Sto), result.numberOfChildren(), result.numberOfChildren(), nullptr);
|
|
result.addOrMergeChildAtIndex(childAtIndex(1)->createLayout(floatDisplayMode, numberOfSignificantDigits), result.numberOfChildren(), false);
|
|
return result;
|
|
}
|
|
|
|
template<typename T>
|
|
Evaluation<T> StoreNode::templatedApproximate(Context& context, Preferences::AngleUnit angleUnit) const {
|
|
/* If we are here, it means that the store node was not shallowReduced.
|
|
* Otherwise, it would have been replaced by its symbol. We thus have to
|
|
* setExpressionForSymbol. */
|
|
Store s(this);
|
|
Expression expressionToStore = s.value().clone().simplify(context, angleUnit, false);
|
|
if (expressionToStore.isUninitialized() || expressionToStore.isUndefined()) {
|
|
expressionToStore = s.value();
|
|
}
|
|
context.setExpressionForSymbol(expressionToStore, s.symbol(), context);
|
|
Expression e = context.expressionForSymbol(s.symbol());
|
|
if (e.isUninitialized()) {
|
|
return Complex<T>::Undefined();
|
|
}
|
|
return e.approximateToEvaluation<T>(context, angleUnit);
|
|
}
|
|
|
|
Expression Store::shallowReduce(Context & context, Preferences::AngleUnit angleUnit, bool replaceSymbols) {
|
|
Expression finalValue;
|
|
if (symbol().type() == ExpressionNode::Type::Function) {
|
|
// In tata + 2 ->f(tata), replace tata with xUnknown symbol
|
|
assert(symbol().childAtIndex(0).type() == ExpressionNode::Type::Symbol);
|
|
Expression userDefinedUnknown = symbol().childAtIndex(0);
|
|
Symbol xUnknown = Symbol(Symbol::SpecialSymbols::UnknownX);
|
|
finalValue = childAtIndex(0).replaceSymbolWithExpression(static_cast<Symbol &>(userDefinedUnknown), xUnknown);
|
|
} else {
|
|
assert(symbol().type() == ExpressionNode::Type::Symbol);
|
|
finalValue = childAtIndex(0);
|
|
}
|
|
Expression expressionToStore = finalValue.clone().simplify(context, angleUnit, false);
|
|
if (expressionToStore.isUninitialized() || expressionToStore.isUndefined()) {
|
|
expressionToStore = finalValue;
|
|
}
|
|
context.setExpressionForSymbol(expressionToStore, symbol(), context);
|
|
Expression e = context.expressionForSymbol(symbol());
|
|
if (e.isUninitialized()) {
|
|
return Undefined();
|
|
}
|
|
replaceWithInPlace(e);
|
|
return e.shallowReduce(context, angleUnit, replaceSymbols);
|
|
}
|
|
|
|
}
|