On Ideals Generated by R-Circuits | Synapse