diff options
author | Michael Schneeberger <michael.schneeberger@fhnw.ch> | 2023-02-13 16:57:56 +0100 |
---|---|---|
committer | Michael Schneeberger <michael.schneeberger@fhnw.ch> | 2023-02-13 16:57:56 +0100 |
commit | 67eaeee2e05924e0b73b0b1dce1cb88d55befb2c (patch) | |
tree | f45316f5ef48b3280b57365902de3f3bc0553e1c /.gitignore | |
parent | correct another bug in to_sorted_variables operator (diff) | |
download | polymatrix-67eaeee2e05924e0b73b0b1dce1cb88d55befb2c.tar.gz polymatrix-67eaeee2e05924e0b73b0b1dce1cb88d55befb2c.zip |
to_matrix_repr operator properly sorts the variables
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions