SR of contexts #11
Description
Implement the SR of contexts over some alphabet \Sigma. (like the FreeSR we would use them for solving linear equations (=compute Matstar) symbolically in the non-comm. case)
{{ message }}
Implement the SR of contexts over some alphabet \Sigma. (like the FreeSR we would use them for solving linear equations (=compute Matstar) symbolically in the non-comm. case)