remainderCondition
P140206
predicate
Indicates that a specified remainder-based condition (such as a modulo constraint) holds between one or more values.
Sample triples (1)
| Subject | Object |
|---|---|
| Hermite normal form | off-diagonal entries are strictly smaller than the corresponding diagonal entry ⓘ |