Revision #2043 → #2482 · back to history
e9d425796c79| Field | From #2043 | To #2482 |
|---|---|---|
| note | `Complex.normSq z = z.re^2 + z.im^2` is the squared Euclidean distance from z to 0; the Wikipedia 'modulus' here means z·z* (= normSq). | `Complex.normSq z = z.re^2 + z.im^2` is the squared Euclidean distance from z to 0; the Wikipedia 'modulus' here means z·z* (= normSq). Status upgraded to formalized to match the exact match_kind. |
| provenance | ai | ai-moderated |
| status | partial | formalized |
da6b769c988f0d485960dca39c0d46683e55b059414c00ab