test for canonical representation
canonical order
document
0.1.0