AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

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

← Back to list of members

Exists​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity)

 Method (no overloads)

Summary

The statement that some member of over satisfies
body, written exists var in over : body.
See ForAll(AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity).

Example

Console.WriteLine(MathS.Exists("x", "RR", "x^2 - 4 x + 4 = 0").Simplify());
Console.WriteLine("exists x in RR : x^2 + 1 = 0".ToEntity().Simplify());
Console.WriteLine("exists x in CC : x^2 + 1 = 0".ToEntity().Simplify());

Prints
True
False
True

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online