AngouriMath
Filter(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Adds a constraint to every element of a set.
1) For a finite set, it will add Provided for every element
2) For an interval and special set, it will wrap it with a cset (e. g. [a; b].Filter(x > 0, x) -> { x : x in [a; b] and x > 0 })
3) For a cset, it will add a predicate (e. g. { y : y2 = 3 }.Filter(x > 0, x) -> { y : y2 = 3 and y > 0 })
1) For a finite set, it will add Provided for every element
2) For an interval and special set, it will wrap it with a cset (e. g. [a; b].Filter(x > 0, x) -> { x : x in [a; b] and x > 0 })
3) For a cset, it will add a predicate (e. g. { y : y2 = 3 }.Filter(x > 0, x) -> { y : y2 = 3 and y > 0 })
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1534 pages online