AngouriMath
Navigation
VanishesWhere(AngouriMath.Entity,AngouriMath.Entity,System.Collections.Generic.IReadOnlyList{AngouriMath.Entity.Variable})
Method (no overloads)
Summary
Whether expression is zero wherever condition holds,
decided as a statement for every value of its symbols, a whole one for a symbol in
whole : sqrt(t^2) - t is zero where
t = 0 or -pi/2 < arg(t) <= pi/2 , which is
forall t in CC : (t = 0 or -pi/2 < arg(t) <= pi/2) implies sqrt(t^2) - t = 0 .
https://github.com/asc-community/AngouriMath/issues/212
decided as a statement for every value of its symbols, a whole one for a symbol in
https://github.com/asc-community/AngouriMath/issues/212
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online