Index - N
| N0 | TypeLevelNat |
| N1 | TypeLevelNat |
| N2 | TypeLevelNat |
| N3 | TypeLevelNat |
| N4 | TypeLevelNat |
| naiveDeterminant | Matrix |
| Nat | |
| 1 (Type/Class) | Nat |
| 2 (Type/Class) | Matrix |
| negate | Ring |
| newInteractiveApprox | Complex |
| newInteractiveApprox' | Complex |
| NoExpectedFailure | Testing |
| Nondet | IdealExtension |
| NonEmpty | Testing |
| NonEmptyList | Testing |
| NonNegative | |
| 1 (Data Constructor) | Testing |
| 2 (Type/Class) | Testing |
| NonnegativeRational | NumericHelper |
| NonZero | |
| 1 (Data Constructor) | Testing |
| 2 (Type/Class) | Testing |
| norm | NormedRing |
| normalize | Polynomial |
| normalize' | Polynomial |
| NormedPoly | Polynomial |
| normedPolyProp | Polynomial |
| normedQuotRem | Polynomial |
| NormedRing | NormedRing |
| normUpperBound | NormedRing |
| normUpperBoundR | Complex |
| number | IntegralClosure |
| numCols | Matrix |
| numCols' | Matrix |
| numRows | Matrix |
| numRows' | Matrix |
| numShrinks | Testing |
| numTests | Testing |