Adjoin
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.
The ring obtained by adjoining one or more elements to a base ring. Adjoin(Integers, Sqrt(2)) is ℤ[√2]; Adjoin(Integers, ["Complex", 0, 1]) is the Gaussian integers ℤ[i]; Adjoin(Integers, "x") is the polynomial ring ℤ[x]. Inert: the adjunction is not expanded, and membership in it is not decided.
Adjoin(set<any>, any+) -> setas compute-engine declares itTyped signatures
| Type | Package | Applies |
|---|---|---|
(set<any>, any+) -> set | compute-engine | always |