Support symbolic parameters in QROM bloq

[tanujkhattar]

Part of a larger effort to refresh all unary iteration based bloqs and add symbolic support. Will also form the base of refactoring SelectSwapQROM and fix cost discrepancies with QROAM.

As a follow up PR, i'll update the unary_iteration bloq to support symbolics in general and also its other derived bloqs.

Based on top off #942

[fdmalone]

Very nice. I had a question about the shape in symbolic qrom.

[fdmalone]

The bitsizes are a bit unfortunate here:

Do we have an issue to convert symbolics to math? (Is it possible for show_bloqs)

[fdmalone]

Maybe my jupyter is whacky but the MSD also looks off:

[fdmalone]

nvm just need to make it big:

[tanujkhattar]

Do we have an issue to convert symbolics to math? (Is it possible for show_bloqs)

I'm not sure, but +1 that it'll be a useful feature - Maybe @mpharrigan knows more.

[mpharrigan]

what do you mean convert it to math?

[tanujkhattar]

Render a latex expression $\lceil x \rceil$ instead of 'ceiling(x)'

[mpharrigan]

The graphviz dot/svg exporter can't render latex math. There exists https://ctan.org/pkg/dot2tex?lang=en which would -- in theory -- render latex math from a graphviz format

The matplotlib circuit drawer can render latex math, because matplotlib can render latex math. You have to enclose it in $.

To get latex math from a sympy expression, you use the latex() printing function https://docs.sympy.org/latest/tutorials/intro-tutorial/printing.html