AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Contacts

RowsThatHold(System.Collections.Generic.List{AngouriMath.Entity},AngouriMath.Entity.Variable[],System.Collections.Generic.List{System.Collections.Generic.List{AngouriMath.Entity}})

Method (no overloads)

Summary

The rows of rows that satisfy each of equations,
or null where a row is shown not to for some value of the symbols
left in it.

Remarks

A row is dropped on the evidence a root of one equation is dropped on,
IsEvidenceAgainst(AngouriMath.Entity): an equation that, with the row put
in, has no symbol left and is a number away from zero, or is no finite number at all, as
x ln(y) is at (0, 0). Such a row is no solution for any value of anything,
so dropping it loses none.
A row with symbols left in it is tried at one value of them, and one that fails there
declines the system instead of being dropped. It may hold for other values, as
sqrt(t^2) = t does for every positive t, and the rows left would read as
all of the solutions. A symbol of the system's own is tried at a positive value that
is not whole, and a parameter that a row brings with it, a t_1 or an
n_1, at a whole one, since an n_1 stands for those only.
Anything else is kept, as a root of one equation is: a residual that cannot be
evaluated, or one too small next to its terms to be told from rounding.

AngouriMath

Table of contents

AngouriMath

RowsThatHold​(System.​Collections.​Generic.​List{AngouriMath.​Entity},​AngouriMath.​Entity.​Variable[],​System.​Collections.​Generic.​List{System.​Collections.​Generic.​List{AngouriMath.​Entity}})

RowsThatHold(System.Collections.Generic.List{AngouriMath.Entity},AngouriMath.Entity.Variable[],System.Collections.Generic.List{System.Collections.Generic.List{AngouriMath.Entity}})