(name: string | undefined)
| 22 | } |
| 23 | |
| 24 | /** |
| 25 | * The standard-library blackboard-bold constants that name a **ring** (or a |
| 26 | * field, which is a ring). |
| 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 |
no outgoing calls
no test coverage detected