matrix_inverse.cpp
1.92 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
#include <poincare/matrix_inverse.h>
#include <poincare/matrix.h>
#include <poincare/complex.h>
#include <poincare/division.h>
#include <poincare/undefined.h>
#include <poincare/power.h>
extern "C" {
#include <assert.h>
}
#include <cmath>
namespace Poincare {
Expression::Type MatrixInverse::type() const {
return Type::MatrixInverse;
}
Expression * MatrixInverse::clone() const {
MatrixInverse * a = new MatrixInverse(m_operands, true);
return a;
}
Expression * MatrixInverse::shallowReduce(Context& context, AngleUnit angleUnit) {
Expression * e = Expression::shallowReduce(context, angleUnit);
if (e != this) {
return e;
}
Expression * op = editableOperand(0);
#if MATRIX_EXACT_REDUCING
if (!op->recursivelyMatches(Expression::IsMatrix)) {
detachOperand(op);
return replaceWith(new Power(op, new Rational(-1), false), true)->shallowReduce(context, angleUnit);
}
if (op->type() == Type::Matrix) {
Matrix * mat = static_cast<Matrix *>(op);
if (mat->numberOfRows() != mat->numberOfColumns()) {
return replaceWith(new Undefined(), true);
}
}
return this;
#else
detachOperand(op);
return replaceWith(new Power(op, new Rational(-1), false), true)->shallowReduce(context, angleUnit);
#endif
}
// TODO: handle this exactly in shallowReduce for small dimensions.
template<typename T>
Expression * MatrixInverse::templatedApproximate(Context& context, AngleUnit angleUnit) const {
Expression * input = operand(0)->approximate<T>(context, angleUnit);
Expression * result = nullptr;
if (input->type() == Type::Complex) {
Complex<T> * c = static_cast<Complex<T> *>(input);
result = new Complex<T>(Division::compute(Complex<T>::Cartesian(1, 0), *c));
} else {
assert(input->type() == Type::Matrix);
result = static_cast<Matrix *>(input)->createInverse<T>();
}
if (result == nullptr) {
result = new Complex<T>(Complex<T>::Float(NAN));
}
delete input;
return result;
}
}