[Agda] ring solver

[Ruben Henner Zilibowitz]

Hi,

I've been trying out the ring solver in Algebra.RingSolver. I've noticed it uses "almost commutative rings" instead of actual rings. Is the code here able to deal with proper rings such as the integers, or only semirings such as the natural numbers? I've actually tried it on the full integers and it just eats up all my computer's memory and never produces any answer.

Regards,

Ruben