⁠   ⁠

real x ideal