Element

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.

Test whether a value is an element of a collection. Optional third argument is a boolean expression (condition) for filtered iteration in Sum/Product. Element supports two modes of operation: 1. Set membership: Element(3, [List, 1, 2, 3]) checks if 3 is in the list 2. Type-style membership: Element(x, integer) checks if x has type integer Type-style membership works with: - Mathematical sets: Integers, RealNumbers, ComplexNumbers, etc. - Type names: integer, rational, real, number, positive_integer, etc. - Invalid type names remain unevaluated (e.g., Element(2, "Booleans"))

FungrimElement↗

Element(any, any, boolean?) -> booleanas compute-engine declares it

Domain: Compute engine