search

mschlund / FPsolve

FPsolve: solver for polynomial equations over omega-continuous semirings
BSD 2-Clause "Simplified" License
11 stars 5 forks source link

SR of contexts #11

Open mschlund opened 11 years ago

mschlund commented 11 years ago

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)