Burchnall–Chaundy polynomial