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

ExistsUnique​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity)

 Method (no overloads)

Summary

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

Example

Console.WriteLine(MathS.ExistsUnique("x", "ZZ+", "x^2 = 4").Simplify());
Console.WriteLine("exists! x in RR : x^2 = 4".ToEntity().Simplify());

Prints
True
False

























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