powered by
Checks if the diagonal entries are ordered properly.
check_more_push(D)
Diagonal of a matrix that shall be turned into Smith Normal Form.
TRUE/FALSE
smith, push_down
smith
push_down