(operator: string | undefined)
| 27 | * |
| 28 | * These are the only bases for which the ring-construction notations |
| 29 | * `\mathbb{Z}[\sqrt2]` (adjunction — `Adjoin`) and `\mathbb{Z}_n` / |
| 30 | * `\mathbb{Z}/n\mathbb{Z}` (quotient — `QuotientRing`) are recognized. The |
| 31 | * list is explicit rather than derived from the type of the operand: "is a |
| 32 | * ring" is an algebraic property the type lattice does not model (a |
| 33 | * `set<integer>` type is carried by `PositiveIntegers` too, which is not a |
| 34 | * ring), and keeping the dispatch narrow leaves `At`/`Subscript` over every |
| 35 | * other set-typed base exactly as it was. |
no outgoing calls
no test coverage detected