AngouriMath

Navigation

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

PreImage(AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

Summary

The pre-image of target under the expression body in var ranging over over:
preimage(f(x), x in A, Y) is { x in A : f(x) in Y }, solved on
evaluation where the membership is one the statement solver reads.

Example

Console.WriteLine("preimage(x^2, x in RR, {1})".ToEntity().Evaled);

Prints

{ 1, -1 }

AngouriMath

Table of contents

AngouriMath

PreImage​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity)

PreImage(AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity)