Open Rules

Diagonal

Digits on the stated main or opposite diagonal are different.

Parameters

Parameter Meaning Default
direction The chosen diagonal or neighbour orientation, as named in the definition. Required.

Maths

Class: first-order.

The shared predicates define the notation and every named predicate.

distinct_D(diagonal(direction))

All D digits on the chosen main diagonal are distinct. main runs top-left to bottom-right; anti runs top-right to bottom-left for min(rows,cols) cells.

Example

---
format: open-rules
title: Diagonal example
setter: Example
source: ""
case: ""
library: https://rules.sudoku-sleuth.com/
status: read
---

```rules
sudoku 9x9
diagonal direction "main"
```

Satisfies the rule: r1c1=1, r2c2=2, r3c3=3, r4c4=4, r5c5=5, r6c6=6, r7c7=7, r8c8=8, r9c9=9. The main diagonal contains nine different digits.

Breaks the rule: r1c1=1, r2c2=1, r3c3=3, r4c4=4, r5c5=5, r6c6=6, r7c7=7, r8c8=8, r9c9=9. The main diagonal repeats a digit.