Synopsis:
Nectar use predicates in order to implement its library. The library drews heavy inspiration from Stepanov's STL. Which itself used the same concept of predicates.
Definition 1.a:
(A quick but rigorous(y) definition of an algebraic predicate in Nectar's GenericsLibrary.)
Let an operator that is algebraically respresentable as per above for any sequence of numbers (in Q, R, or/and C.) Let a predicate be defined as:
- An algebraic operator which implies algebraic properties.
- An algebraic operator which does not imply a transcendental properties.
What's next?
The next post will (try) applying some concepts to the GenericsLibrary math.nhh, and al.