diff --git a/array.txt b/array.txt
deleted file mode 100644
index 215bda4a77..0000000000
--- a/array.txt
+++ /dev/null
@@ -1,2150 +0,0 @@
-./goblint --enable warn.debug --enable dbg.regression  --set ana.activated[+] affeq --set sem.int.signed_overflow assume_none  tests/regression/77-lin2vareq/20-function_call2.c
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-Matrix in Domain m:
-
-Switched Matrix in Domain switched_m:
-
-Before normalizing we have m:
-After normalizing we have m:
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-After affineEq_vec m:
-[1 0 0 0 ]
-
-Before Matrix.rref_vec x:
- b:
-[-1 1 0 0 ]
-
-Before rref_vec we have m:
-v: [-1 1 0 0 ]
-
-Before normalizing we have m:
-[-1 1 0 0 ]
-After normalizing we have m:
-[1 -1 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 -1 0 0 ]
-
-After affineEq_vec m:
-[0 1 0 0 ]
-
-Before reduce_col 2 of m:
-[1 -1 0 0 ]
-
-After reduce_col 2 of m:
-[1 -1 0 0 ]
-
-Before Matrix.rref_vec x:
-[1 -1 0 0 ]
- b:
-[0 -1 1 0 ]
-
-Before rref_vec we have m:
-[1 -1 0 0 ]
-v: [0 -1 1 0 ]
-
-Before normalizing we have m:
-[1 -1 0 0 ]
-[0 -1 1 0 ]
-After normalizing we have m:
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-
-After affineEq_vec m:
-[0 1 0 0 0 0 0 ]
-
-Before reduce_col 0 of m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
- b:
-[1 -1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-v: [1 -1 0 0 0 0 0 ]
-
-Before normalizing we have m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[1 -1 0 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 1 0 0 0 ]
-
-Before reduce_col 2 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After reduce_col 2 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
- b:
-[0 0 1 -1 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-v: [0 0 1 -1 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 1 -1 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 4 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After reduce_col 4 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
- b:
-[0 0 0 0 1 -1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-v: [0 0 0 0 1 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 1 -1 0 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 1 -1 0 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-After dim_remove m':
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before assign_var_parallel m:
-[|x#322#arg-z#324#arg=0; y#323#arg-z#324#arg=0|]
-After affineEq_vec m:
-[0 0 0 0 1 0 0 0 0 0 ]
-
-Before reduce_col 0 of m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After reduce_col 0 of m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
- b:
-[1 0 0 0 -1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-v: [1 0 0 0 -1 0 0 0 0 0 ]
-
-Before normalizing we have m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-[1 0 0 0 -1 0 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 1 0 0 0 ]
-
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
- b:
-[0 1 0 0 0 0 -1 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-v: [0 1 0 0 0 0 -1 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-[0 1 0 0 0 0 -1 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 0 1 0 ]
-
-Before reduce_col 2 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After reduce_col 2 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
- b:
-[0 0 1 0 0 0 0 0 -1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-v: [0 0 1 0 0 0 0 0 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After assign_var_parallel multi_t:
-[|0'-z#324#arg=0; 1'-z#324#arg=0; 2'-z#324#arg=0; x#322#arg-z#324#arg=0; y#323#arg-z#324#arg=0|]
-Matrix in Domain m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before set_col m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Switched Matrix in Domain switched_m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After dim_remove m':
-[1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [1 0 -1 0 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[1 0 -1 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [-1 0 1 0 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[-1 0 1 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [0 0 -1 0 1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 -1 0 1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [0 0 1 0 -1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 1 0 -1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [1 0 0 0 -1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[1 0 0 0 -1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [-1 0 0 0 1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[-1 0 0 0 1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 8 ]
-
-Before reduce_col 0 of m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
- b:
-[1 0 0 0 0 0 0 8 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-v: [1 0 0 0 0 0 0 8 ]
-
-Before normalizing we have m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-[1 0 0 0 0 0 0 8 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-
-After dim_remove m':
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 1 0 0 0 0 0 ]
-
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 -1 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
- b:
-[0 1 -1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
-v: [0 1 -1 0 0 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
-[0 1 -1 0 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 -1 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 -1 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-forget_vars m:
-[|#ret-8=0; x#322#arg-x#327=0; y#323#arg-z#324#arg=0|]Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 -1 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 1 0 0 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 8 ]
- b:
-[0 0 0 1 -1 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 8 ]
-v: [0 0 0 1 -1 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-
-forget_vars m:
-[|#ret-8=0; y#323#arg-y#328=0|]Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 1 0 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 8 ]
- b:
-[0 0 0 0 0 1 -1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 8 ]
-v: [0 0 0 0 0 1 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-
-forget_vars m:
-[|#ret-8=0; z#324#arg-z#329=0|]Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 0 0 8 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-
-After dim_remove m':
-[1 0 0 0 8 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-
-Before rref_matrix m1 m2
-m1: [0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-m2: [1 0 0 0 8 ]
-
-Before normalizing we have m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-[1 0 0 0 8 ]
-After normalizing we have m:
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-After rref_matrix m, before removing zero rows:
- [1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-meet a: [|x#327-z#329=0; y#328-z#329=0|] b: [|#ret-8=0|] -> [|#ret-8=0; x#327-z#329=0; y#328-z#329=0|] 
-Before dim_remove m:
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-Before reduce_col 0 of m:
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 0 of m:
-[0 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-Before del_cols cols_length=1 
-m:
-[0 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After dim_remove m':
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-Before del_cols cols_length=1 
-m:
-[0 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 ]
-
-Before reduce_col 0 of m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
- b:
-[1 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-v: [1 0 0 0 0 ]
-
-Before normalizing we have m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-[1 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 1 -1 0 ]
-
-Before reduce_col 2 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 2 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-After dim_remove m':
-[1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-After affineEq_vec m:
-[1 0 0 0 ]
-
-Before Matrix.rref_vec x:
- b:
-[-1 1 0 0 ]
-
-Before rref_vec we have m:
-v: [-1 1 0 0 ]
-
-Before normalizing we have m:
-[-1 1 0 0 ]
-After normalizing we have m:
-[1 -1 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 -1 0 0 ]
-
-After affineEq_vec m:
-[0 1 0 0 ]
-
-Before reduce_col 2 of m:
-[1 -1 0 0 ]
-
-After reduce_col 2 of m:
-[1 -1 0 0 ]
-
-Before Matrix.rref_vec x:
-[1 -1 0 0 ]
- b:
-[0 -1 1 0 ]
-
-Before rref_vec we have m:
-[1 -1 0 0 ]
-v: [0 -1 1 0 ]
-
-Before normalizing we have m:
-[1 -1 0 0 ]
-[0 -1 1 0 ]
-After normalizing we have m:
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-
-After affineEq_vec m:
-[0 1 0 0 0 0 0 ]
-
-Before reduce_col 0 of m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
- b:
-[1 -1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-v: [1 -1 0 0 0 0 0 ]
-
-Before normalizing we have m:
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[1 -1 0 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 1 0 0 0 ]
-
-Before reduce_col 2 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After reduce_col 2 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
- b:
-[0 0 1 -1 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-v: [0 0 1 -1 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 1 -1 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 4 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-After reduce_col 4 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
- b:
-[0 0 0 0 1 -1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-v: [0 0 0 0 1 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 1 -1 0 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 1 -1 0 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-After dim_remove m':
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 -1 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before assign_var_parallel m:
-[|x#322#arg-z#324#arg=0; y#323#arg-z#324#arg=0|]
-After affineEq_vec m:
-[0 0 0 0 1 0 0 0 0 0 ]
-
-Before reduce_col 0 of m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After reduce_col 0 of m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
- b:
-[1 0 0 0 -1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-v: [1 0 0 0 -1 0 0 0 0 0 ]
-
-Before normalizing we have m:
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-[1 0 0 0 -1 0 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 1 0 0 0 ]
-
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
- b:
-[0 1 0 0 0 0 -1 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-v: [0 1 0 0 0 0 -1 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-[0 1 0 0 0 0 -1 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 0 1 0 ]
-
-Before reduce_col 2 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After reduce_col 2 of m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
- b:
-[0 0 1 0 0 0 0 0 -1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-v: [0 0 1 0 0 0 0 0 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After assign_var_parallel multi_t:
-[|0'-z#324#arg=0; 1'-z#324#arg=0; 2'-z#324#arg=0; x#322#arg-z#324#arg=0; y#323#arg-z#324#arg=0|]
-Matrix in Domain m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before set_col m:
-[1 0 0 0 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 0 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After set_col m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Switched Matrix in Domain switched_m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-After dim_remove m':
-[1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 1 0 0 -1 0 ]
-[0 0 1 0 0 0 0 1 -1 0 ]
-[0 0 0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 1 0 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [1 0 -1 0 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[1 0 -1 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [-1 0 1 0 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[-1 0 1 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [0 0 -1 0 1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 -1 0 1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [0 0 1 0 -1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 1 0 -1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [1 0 0 0 -1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[1 0 0 0 -1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-v: [-1 0 0 0 1 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[-1 0 0 0 1 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 -1 0 ]
-[0 1 0 0 0 -1 0 ]
-[0 0 1 0 0 -1 0 ]
-[0 0 0 1 0 -1 0 ]
-[0 0 0 0 1 -1 0 ]
-[0 0 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 8 ]
-
-Before reduce_col 0 of m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
- b:
-[1 0 0 0 0 0 0 8 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-v: [1 0 0 0 0 0 0 8 ]
-
-Before normalizing we have m:
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-[1 0 0 0 0 0 0 8 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 0 -1 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 1 0 0 -1 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-
-After dim_remove m':
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 0 1 0 -1 0 ]
-[0 0 0 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 1 0 0 0 0 0 ]
-
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 0 0 0 -1 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
- b:
-[0 1 -1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
-v: [0 1 -1 0 0 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
-[0 1 -1 0 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 -1 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 -1 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-forget_vars m:
-[|#ret-8=0; x#322#arg-x#327=0; y#323#arg-z#324#arg=0|]Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 1 -1 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 1 0 0 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 0 -1 0 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 8 ]
- b:
-[0 0 0 1 -1 0 0 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 8 ]
-v: [0 0 0 1 -1 0 0 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-
-forget_vars m:
-[|#ret-8=0; y#323#arg-y#328=0|]Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 1 -1 0 0 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 1 0 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before Matrix.rref_vec x:
-[1 0 0 0 0 0 0 8 ]
- b:
-[0 0 0 0 0 1 -1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 0 0 0 0 8 ]
-v: [0 0 0 0 0 1 -1 0 ]
-
-Before normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-After normalizing we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-
-forget_vars m:
-[|#ret-8=0; z#324#arg-z#329=0|]Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 1 -1 0 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-[0 0 0 0 0 0 0 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 0 0 8 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-After reduce_col 5 of m:
-[1 0 0 0 0 0 0 8 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-
-After dim_remove m':
-[1 0 0 0 8 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 0 0 8 ]
-
-Before rref_matrix m1 m2
-m1: [0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-m2: [1 0 0 0 8 ]
-
-Before normalizing we have m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-[1 0 0 0 8 ]
-After normalizing we have m:
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-After rref_matrix m, before removing zero rows:
- [1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-meet a: [|x#327-z#329=0; y#328-z#329=0|] b: [|#ret-8=0|] -> [|#ret-8=0; x#327-z#329=0; y#328-z#329=0|] 
-Before dim_remove m:
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-Before reduce_col 0 of m:
-[1 0 0 0 8 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 0 of m:
-[0 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-Before del_cols cols_length=1 
-m:
-[0 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After dim_remove m':
-[1 0 -1 0 ]
-[0 1 -1 0 ]
-Before del_cols cols_length=1 
-m:
-[0 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 ]
-
-Before reduce_col 0 of m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
- b:
-[1 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-v: [1 0 0 0 0 ]
-
-Before normalizing we have m:
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-[1 0 0 0 0 ]
-After normalizing we have m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-Before dim_remove m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-Before reduce_col 1 of m:
-[1 0 0 0 0 ]
-[0 1 0 -1 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 1 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 1 -1 0 ]
-
-Before reduce_col 2 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 1 -1 0 ]
-
-After reduce_col 2 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-Before reduce_col 3 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-After reduce_col 3 of m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-After dim_remove m':
-[1 0 ]
-Before del_cols cols_length=3 
-m:
-[1 0 0 0 0 ]
-[0 0 0 0 0 ]
-[0 0 0 0 0 ]
-
-[Info][Deadcode] Logical lines of code (LLoC) summary:
-  live: 10
-  dead: 0
-  total lines: 10
-See result/index.xml
diff --git a/rref_vec.txt b/rref_vec.txt
deleted file mode 100644
index 4cccc943b1..0000000000
--- a/rref_vec.txt
+++ /dev/null
@@ -1,1256 +0,0 @@
-./goblint --enable warn.debug --enable dbg.regression   --set ana.activated[+] affeq --set ana.relation.privatization top --set sem.int.signed_overflow assume_none  tests/regression/63-affeq/03-guard-check.c -v
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-Matrix in Domain m:
-
-Switched Matrix in Domain switched_m:
-
-Before normalizing we have m:
-After normalizing we have m:
-Before add_empty_columns m:
-indices: 0,0,0,0,0,0,
-After add_empty_columns m:
-
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-After affineEq_vec m:
-[0 0 0 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
- b:
-[0 1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-v: [0 1 0 0 0 0 0 ]
-
-After rref_vec, before removing zero rows, we have m:
-[0 1 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 ]
-
-Before reduce_col 2 of m:
-[0 1 0 0 0 0 0 ]
-
-After reduce_col 2 of m:
-[0 1 0 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 0 ]
- b:
-[0 0 1 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 0 ]
-v: [0 0 1 0 0 0 0 ]
-
-pivot positions are: (0,1)
-
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 ]
-
-Before reduce_col 5 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-
-After reduce_col 5 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
- b:
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-v: [0 0 0 0 0 1 0 ]
-
-pivot positions are: (0,1)(1,2)
-
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After affineEq_vec m:
-[0 0 0 1 1 0 0 ]
-
-Before reduce_col 0 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
- b:
-[1 0 0 -1 -1 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,1)(1,2)(2,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 -1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 -1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 -1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before map2i m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v:[-1 0 0 0 ]
-
-After map2i m:
-[1 0 0 -2 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before remove_row 3 of m:
-[1 0 0 -2 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before keep_vals: 
-col_a: [-1 0 0 0 ]
- col_b: [-1 0 0 0 ]
-
-After keep_vals: 
-col_a: [-1 0 0 ]
- col_b: [-1 0 0 ]
-
-Before keep_vals: 
-col_a: [0 0 0 0 ]
- col_b: [0 0 0 0 ]
-
-After keep_vals: 
-col_a: [0 0 0 0 ]
- col_b: [0 0 0 0 ]
-
-join a: [|f#303-x#301-y#302=0; i#298=0; k#299=0; z#300=0|] b: [|f#303-x#301-y#302=0; i#298=0; k#299=0; x#301=0; z#300=0|] -> [|f#303-x#301-y#302=0; i#298=0; k#299=0; z#300=0|] 
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [2 0 0 -2 -2 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 2
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-2 0 0 2 2 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -2
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before dim_remove m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-Before reduce_col 0 of m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 0 of m:
-[0 0 0 0 0 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 1 of m:
-[0 0 0 0 0 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 1 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 2 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 2 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 3 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 3 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 4 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 4 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 5 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 5 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before del_cols cols_length=6 
-m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-After dim_remove m':
-Before del_cols cols_length=6 
-m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before add_empty_columns m:
-indices: 0,0,0,0,0,0,
-After add_empty_columns m:
-
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-After affineEq_vec m:
-[0 0 0 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
- b:
-[0 1 0 0 0 0 0 ]
-
-Before rref_vec we have m:
-v: [0 1 0 0 0 0 0 ]
-
-After rref_vec, before removing zero rows, we have m:
-[0 1 0 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 ]
-
-Before reduce_col 2 of m:
-[0 1 0 0 0 0 0 ]
-
-After reduce_col 2 of m:
-[0 1 0 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 0 ]
- b:
-[0 0 1 0 0 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 0 ]
-v: [0 0 1 0 0 0 0 ]
-
-pivot positions are: (0,1)
-
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-
-After affineEq_vec m:
-[0 0 0 0 0 0 0 ]
-
-Before reduce_col 5 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-
-After reduce_col 5 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
- b:
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-v: [0 0 0 0 0 1 0 ]
-
-pivot positions are: (0,1)(1,2)
-
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After affineEq_vec m:
-[0 0 0 1 1 0 0 ]
-
-Before reduce_col 0 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 0 of m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before Matrix.rref_vec x:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
- b:
-[1 0 0 -1 -1 0 0 ]
-
-Before rref_vec we have m:
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,1)(1,2)(2,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 -1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 -1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 -1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [0 0 0 1 0 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before map2i m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v:[-1 0 0 0 ]
-
-After map2i m:
-[1 0 0 -2 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before remove_row 3 of m:
-[1 0 0 -2 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 1 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before keep_vals: 
-col_a: [-1 0 0 0 ]
- col_b: [-1 0 0 0 ]
-
-After keep_vals: 
-col_a: [-1 0 0 ]
- col_b: [-1 0 0 ]
-
-Before keep_vals: 
-col_a: [0 0 0 0 ]
- col_b: [0 0 0 0 ]
-
-After keep_vals: 
-col_a: [0 0 0 0 ]
- col_b: [0 0 0 0 ]
-
-join a: [|f#303-x#301-y#302=0; i#298=0; k#299=0; z#300=0|] b: [|f#303-x#301-y#302=0; i#298=0; k#299=0; x#301=0; z#300=0|] -> [|f#303-x#301-y#302=0; i#298=0; k#299=0; z#300=0|] 
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [2 0 0 -2 -2 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 2
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-2 0 0 2 2 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -2
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [1 0 0 -1 -1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is 1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before rref_vec we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-v: [-1 0 0 1 1 0 0 ]
-
-pivot positions are: (0,0)(1,1)(2,2)(3,5)
-
-v_at_piv is -1
-piv row is: [1 0 0 -1 -1 0 0 ]
-
-scaled row is: [0 0 0 0 0 0 0 ]
-
-v_at_piv is 0
-v_at_piv is 0
-v_at_piv is 0
-After rref_vec, before removing zero rows, we have m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before dim_remove m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-Before reduce_col 0 of m:
-[1 0 0 -1 -1 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 0 of m:
-[0 0 0 0 0 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 1 of m:
-[0 0 0 0 0 0 0 ]
-[0 1 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 1 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 2 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 1 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 2 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 3 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 3 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 4 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 4 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-Before reduce_col 5 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 1 0 ]
-
-After reduce_col 5 of m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-Before del_cols cols_length=6 
-m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-After dim_remove m':
-Before del_cols cols_length=6 
-m:
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-[0 0 0 0 0 0 0 ]
-
-[Info][Deadcode] Logical lines of code (LLoC) summary:
-  live: 23
-  dead: 0
-  total lines: 23
-[Warning][Deadcode][CWE-571] condition 'i == 0' is always true (tests/regression/63-affeq/03-guard-check.c:16:9-16:15)
-[Warning][Deadcode][CWE-571] condition 'i != 1' is always true (tests/regression/63-affeq/03-guard-check.c:23:9-23:15)
-[Warning][Deadcode][CWE-571] condition 'i > -1' is always true (tests/regression/63-affeq/03-guard-check.c:28:9-28:15)
-[Warning][Deadcode][CWE-571] condition 'i >= -1' is always true (tests/regression/63-affeq/03-guard-check.c:35:9-35:16)
-See result/index.xml
diff --git a/sparse.txt b/sparse.txt
deleted file mode 100644
index 4a98bd2d95..0000000000
--- a/sparse.txt
+++ /dev/null
@@ -1,1294 +0,0 @@
-./goblint --enable warn.debug --enable dbg.regression  --set ana.activated[+] affeq --set sem.int.signed_overflow assume_none --set ana.relation.privatization top  tests/regression/63-affeq/01-rel_simple.c -v
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-Matrix in Domain m:
-
-Switched Matrix in Domain switched_m:
-
-Before normalizing we have m:
-After normalizing we have m:
-Before add_empty_columns m:
-
-After add_empty_columns m:
-
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-After affineEq_vec m:
-[ 0 0 0 2]
-
-Before Matrix.rref_vec x:
- b:
-[ 1 0 0 2]
-
-Before rref_vec we have m:
-v: [ 1 0 0 2]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-After normalizing we have m:
-[ 1 0 0 2]
-After affineEq_vec m:
-[ 0 0 1 5]
-
-Before reduce_col 1 of m:
-[ 1 0 0 2]
-
-After reduce_col 1 of m:
-[ 1 0 0 2]
-
-Before Matrix.rref_vec x:
-[ 1 0 0 2]
- b:
-[ 0 1 -1 5]
-
-Before rref_vec we have m:
-[ 1 0 0 2]
-v: [ 0 1 -1 5]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-After affineEq_vec m:
-[ 0 0 1 5]
-
-Before reduce_col 1 of m:
-[ 1 0 0 2]
-
-After reduce_col 1 of m:
-[ 1 0 0 2]
-
-Before Matrix.rref_vec x:
-[ 1 0 0 2]
- b:
-[ 0 1 -1 5]
-
-Before rref_vec we have m:
-[ 1 0 0 2]
-v: [ 0 1 -1 5]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-Before rref_vec we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v: [ 0 -1 0 -6]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 -1 0 -6]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 0 -1 -1]
-Before rref_vec we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v: [ 0 1 0 6]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 1 0 6]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v: [ 0 -1 1 -5]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 -1 1 -5]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 0 0 0]
-Before rref_vec we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v: [ 0 1 -1 5]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 1 -1 5]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-[ 0 0 0 0]
-After affineEq_vec m:
-[ 0 0 0 3]
-
-Before reduce_col 0 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-After reduce_col 0 of m:
-[ 0 0 0 0]
-[ 0 1 -1 5]
-
-Before Matrix.rref_vec x:
-[ 0 1 -1 5]
- b:
-[ 1 0 0 3]
-
-Before rref_vec we have m:
-[ 0 1 -1 5]
-v: [ 1 0 0 3]
-
-Before normalizing we have m:
-[ 0 1 -1 5]
-[ 1 0 0 3]
-After normalizing we have m:
-[ 1 0 0 3]
-[ 0 1 -1 5]
-After affineEq_vec m:
-[ 0 1 0 3]
-
-get_col 1 of m:
-[ 1 0 0 3]
-[ 0 1 -1 5]
-
-[ 0 1]
-
-Before map2 we have m:
-[ 1 0 0 3]
-[ 0 1 -1 5]
-
-After map2 we have m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-
-Before normalizing we have m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-After normalizing we have m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-get_col 0 of m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-
-[ 1 0]
-
-get_col 0 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 1 0]
-
-get_col 1 of m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-
-[ 0 1]
-
-get_col 1 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 0 1]
-
-get_col 2 of m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-
-[ 0 -1]
-
-get_col 2 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 0 -1]
-
-Before keep_vals: 
-col_a: [ 0 -1]
- col_b: [ 0 -1]
-
-After keep_vals: 
-col_a: [ 0 -1]
- col_b: [ 0 -1]
-
-get_col 3 of m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-
-[ 3 8]
-
-get_col 3 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 2 5]
-
-Before keep_vals: 
-col_a: [ 2 5]
- col_b: [ 3 8]
-
-After keep_vals: 
-col_a: [ 2 5]
- col_b: [ 3 8]
-
-Before rev col_a: [ 2 5]
- col_b: [ 3 8]
-
-After rev col_a: [ 5 2]
- col_b: [ 8 3]
-
-Before multiply_by_t col_a: [ -1 -3]
-Before map2i m:
-[ 1 0 0 3]
-[ 0 1 -1 8]
-v:[ -1 -3]
-
-After map2i m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-
-Before remove_row 1 of m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-
-Before multiply_by_t col_a: [ -1 -3]
-Before map2i m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v:[ -1 -3]
-
-After map2i m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-
-Before remove_row 1 of m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-
-join a: [|i#320-2=0; j#321-k#322-5=0|] b: [|i#320-3=0; j#321-k#322-8=0|] -> [|3i#320-j#321+k#322-1=0|] 
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-get_col 0 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 1 0]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ -1/3]
-
-get_col 1 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 0 1]
-
-Before map2i m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v:[ -1/3]
-
-After map2i m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-Before remove_row 1 of m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-join a: [|i#320-2=0; j#321-k#322-5=0|] b: [|3i#320-j#321+k#322-1=0|] -> [|3i#320-j#321+k#322-1=0|] 
-leq a: [|i#320-2=0; j#321-k#322-5=0|] b: [|3i#320-j#321+k#322-1=0|] -> true 
-Widen a: [|i#320-2=0; j#321-k#322-5=0|] b: [|3i#320-j#321+k#322-1=0|]
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-get_col 0 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 1 0]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ -1/3]
-
-get_col 1 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 0 1]
-
-Before map2i m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v:[ -1/3]
-
-After map2i m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-Before remove_row 1 of m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-join a: [|i#320-2=0; j#321-k#322-5=0|] b: [|3i#320-j#321+k#322-1=0|] -> [|3i#320-j#321+k#322-1=0|] 
-After affineEq_vec m:
-[ 0 0 1 5]
-
-Before reduce_col 1 of m:
-[ 1 0 0 2]
-
-After reduce_col 1 of m:
-[ 1 0 0 2]
-
-Before Matrix.rref_vec x:
-[ 1 0 0 2]
- b:
-[ 0 1 -1 5]
-
-Before rref_vec we have m:
-[ 1 0 0 2]
-v: [ 0 1 -1 5]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 1 0 0 100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 1 0 0 100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 1 1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 1 1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 -1 -1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 -1 -1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-After affineEq_vec m:
-[ 1 0 0 1]
-
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-Before map2 we have m:
-[ 1 -1/3 1/3 1/3]
-
-After map2 we have m:
-[ 1 -1/3 1/3 4/3]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 4/3]
-After normalizing we have m:
-[ 1 -1/3 1/3 4/3]
-After affineEq_vec m:
-[ 0 1 0 3]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 4/3]
-
-[ -1/3]
-
-Before map2 we have m:
-[ 1 -1/3 1/3 4/3]
-
-After map2 we have m:
-[ 1 -1/3 1/3 1/3]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-get_col 0 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 1 0]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ -1/3]
-
-get_col 1 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 0 1]
-
-Before map2i m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v:[ -1/3]
-
-After map2i m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-Before remove_row 1 of m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-join a: [|i#320-2=0; j#321-k#322-5=0|] b: [|3i#320-j#321+k#322-1=0|] -> [|3i#320-j#321+k#322-1=0|] 
-join a: [|3i#320-j#321+k#322-1=0|] b: [|3i#320-j#321+k#322-1=0|] -> [|3i#320-j#321+k#322-1=0|] 
-leq a: [|3i#320-j#321+k#322-1=0|] b: [|3i#320-j#321+k#322-1=0|] -> true 
-Widen a: [|3i#320-j#321+k#322-1=0|] b: [|3i#320-j#321+k#322-1=0|]
-join a: [|3i#320-j#321+k#322-1=0|] b: [|3i#320-j#321+k#322-1=0|] -> [|3i#320-j#321+k#322-1=0|] 
-After affineEq_vec m:
-[ 0 0 1 5]
-
-Before reduce_col 1 of m:
-[ 1 0 0 2]
-
-After reduce_col 1 of m:
-[ 1 0 0 2]
-
-Before Matrix.rref_vec x:
-[ 1 0 0 2]
- b:
-[ 0 1 -1 5]
-
-Before rref_vec we have m:
-[ 1 0 0 2]
-v: [ 0 1 -1 5]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 1 0 0 100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 1 0 0 100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 1 1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 1 1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 -1 -1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 -1 -1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-After affineEq_vec m:
-[ 1 0 0 1]
-
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-Before map2 we have m:
-[ 1 -1/3 1/3 1/3]
-
-After map2 we have m:
-[ 1 -1/3 1/3 4/3]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 4/3]
-After normalizing we have m:
-[ 1 -1/3 1/3 4/3]
-After affineEq_vec m:
-[ 0 1 0 3]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 4/3]
-
-[ -1/3]
-
-Before map2 we have m:
-[ 1 -1/3 1/3 4/3]
-
-After map2 we have m:
-[ 1 -1/3 1/3 1/3]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-get_col 0 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 1 0]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ -1/3]
-
-get_col 1 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 0 1]
-
-Before map2i m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v:[ -1/3]
-
-After map2i m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-Before remove_row 1 of m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-join a: [|i#320-2=0; j#321-k#322-5=0|] b: [|3i#320-j#321+k#322-1=0|] -> [|3i#320-j#321+k#322-1=0|] 
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 1 0 0 100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 1 0 0 100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 1 1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 1 1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 -1 -1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 -1 -1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-Before dim_remove m:
-[ 1 -1/3 1/3 1/3]
-Before reduce_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-After reduce_col 0 of m:
-[ 0 0 0 0]
-
-Before reduce_col 1 of m:
-[ 0 0 0 0]
-
-After reduce_col 1 of m:
-[ 0 0 0 0]
-
-Before reduce_col 2 of m:
-[ 0 0 0 0]
-
-After reduce_col 2 of m:
-[ 0 0 0 0]
-
-Before del_cols cols_length=3 sorted_length=3 
-m:
-[ 0 0 0 0]
-
-After dim_remove m':
-Before del_cols cols_length=3 sorted_length=3 
-m:
-[ 0 0 0 0]
-
-Before add_empty_columns m:
-
-After add_empty_columns m:
-
-Before assign_var_parallel m:
-⊤
-After assign_var_parallel multi_t:
-⊤
-After affineEq_vec m:
-[ 0 0 0 2]
-
-Before Matrix.rref_vec x:
- b:
-[ 1 0 0 2]
-
-Before rref_vec we have m:
-v: [ 1 0 0 2]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-After normalizing we have m:
-[ 1 0 0 2]
-After affineEq_vec m:
-[ 0 0 1 5]
-
-Before reduce_col 1 of m:
-[ 1 0 0 2]
-
-After reduce_col 1 of m:
-[ 1 0 0 2]
-
-Before Matrix.rref_vec x:
-[ 1 0 0 2]
- b:
-[ 0 1 -1 5]
-
-Before rref_vec we have m:
-[ 1 0 0 2]
-v: [ 0 1 -1 5]
-
-Before normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-After normalizing we have m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 1 0 0 100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 1 0 0 100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 1 1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 1 1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 -1 -1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 -1 -1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-[Warning][Assert] Assertion "(3 * i - j) + k == 1" is unknown. Expected: SUCCESS -> failed (tests/regression/63-affeq/01-rel_simple.c:13:9-13:44)
-After affineEq_vec m:
-[ 1 0 0 1]
-
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-Before map2 we have m:
-[ 1 -1/3 1/3 1/3]
-
-After map2 we have m:
-[ 1 -1/3 1/3 4/3]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 4/3]
-After normalizing we have m:
-[ 1 -1/3 1/3 4/3]
-After affineEq_vec m:
-[ 0 1 0 3]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 4/3]
-
-[ -1/3]
-
-Before map2 we have m:
-[ 1 -1/3 1/3 4/3]
-
-After map2 we have m:
-[ 1 -1/3 1/3 1/3]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-get_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1]
-
-get_col 0 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 1 0]
-
-get_col 1 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ -1/3]
-
-get_col 1 of m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-
-[ 0 1]
-
-Before map2i m:
-[ 1 0 0 2]
-[ 0 1 -1 5]
-v:[ -1/3]
-
-After map2i m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-Before remove_row 1 of m:
-[ 1 -1/3 1/3 1/3]
-[ 0 1 -1 5]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 2 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-get_col 3 of m:
-[ 1 -1/3 1/3 1/3]
-
-[ 1/3]
-
-Before keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-After keep_vals: 
-col_a: [ 1/3]
- col_b: [ 1/3]
-
-join a: [|i#320-2=0; j#321-k#322-5=0|] b: [|3i#320-j#321+k#322-1=0|] -> [|3i#320-j#321+k#322-1=0|] 
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 1 0 0 100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 1 0 0 100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -1 0 0 -100]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -1 0 0 -100]
-After normalizing we have m:
-[ 1 -301/900 301/900 1/900]
-[ 0 1/300 -1/300 299/300]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 0 0]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 0 0]
-After normalizing we have m:
-[ 1 -1/3 2/3 2/3]
-[ 0 0 1 1]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ 3 -1 1 1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 3 -1 1 1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-Before rref_vec we have m:
-[ 1 -1/3 1/3 1/3]
-v: [ -3 1 -1 -1]
-
-Before normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ -3 1 -1 -1]
-After normalizing we have m:
-[ 1 -1/3 1/3 1/3]
-[ 0 0 0 0]
-[Warning][Assert] Assertion "(3 * i - j) + k == 1" is unknown. Expected: SUCCESS -> failed (tests/regression/63-affeq/01-rel_simple.c:17:5-17:40)
-Before dim_remove m:
-[ 1 -1/3 1/3 1/3]
-Before reduce_col 0 of m:
-[ 1 -1/3 1/3 1/3]
-
-After reduce_col 0 of m:
-[ 0 0 0 0]
-
-Before reduce_col 1 of m:
-[ 0 0 0 0]
-
-After reduce_col 1 of m:
-[ 0 0 0 0]
-
-Before reduce_col 2 of m:
-[ 0 0 0 0]
-
-After reduce_col 2 of m:
-[ 0 0 0 0]
-
-Before del_cols cols_length=3 sorted_length=3 
-m:
-[ 0 0 0 0]
-
-After dim_remove m':
-Before del_cols cols_length=3 sorted_length=3 
-m:
-[ 0 0 0 0]
-
-[Info][Deadcode] Logical lines of code (LLoC) summary:
-  live: 9
-  dead: 0
-  total lines: 9
-See result/index.xml