Alexander Viand

> I think this can be technically done in the following way: > > * Introduce `ModularIntegerType` for `ModArith`, and RNSIntegerType is naturally `tuple` > * Allow `polynomial.ring` so `coefficientModulus`...

Closing in favor of #1126 and related changes.

In OpenFHE (and SEAL, iirc), it's ctxt - ptxt (See https://github.com/openfheorg/openfhe-development/blob/main/src/pke/lib/schemebase/base-leveledshe.cpp#L806-L811) so I guess we'll want to match that for convenience

This is awesome! See https://github.com/j2kun/heir-play/pull/1 for some small fixes! Can we integrate this into the main heir repo? It'd be nice to have this live in-tree + it'd look more...

It just occurred to me that we should add `heir-translate`, too, so that people can generate OpenFHE code and/or accelerator stuff to see what the outputs look like, or even...

Great to see this in-repo now! Any news on getting this set up as a PyPi package?

Awesome! It installs in colab now and _seems_ to load the extension just fine, but unfortunately the output when trying to use the cell magic is just ``` Running heir-opt......

> > This is necessary for targeting RLWE HW accelerators > > Explicitly, this means it has no control flow? Yes, this was something that came up at the HW...

> **Related ToDos:** > > * [x] Address `polynomial.ntt/intt/mul_scalar` which aren't `ElementwiseMappable` and therefore not handled by `-convert-elementwise-to-affine` ([PolyToStandard: handling tensors of poly? #143](https://github.com/google/heir/issues/143)) That turned out to be easier...

Since the pass is functional for our purposes as-is, I've made the "extension to tensor.slice/etc" a separate issue (linked from the pass header) and marked this as ready-for-review.