[Mlir-commits] [mlir] polynomial: Add basic ops (PR #89525)

[Oleksandr Alex Zinenko]

================
@@ -79,10 +93,10 @@ def Polynomial_RingAttr : Polynomial_Attr<"Ring", "ring"> {
     integral, whose coefficients are taken modulo some statically known modulus
     (`coefficientModulus`).
 
-    Additionally, a polynomial ring can specify an _ideal_, which converts
+    Additionally, a polynomial ring can specify an _polynomialModulus_, which converts
     polynomial arithmetic to the analogue of modular integer arithmetic, where
     each polynomial is represented as its remainder when dividing by the
-    modulus. For single-variable polynomials, an "ideal" is always specificed
+    modulus. For single-variable polynomials, an "polynomialModulus" is always specificed
----------------
ftynse wrote:

```suggestion
    modulus. For single-variable polynomials, a "polynomialModulus" is always specificed
```

https://github.com/llvm/llvm-project/pull/89525