propose DEFGATE ... AS PAULI-SUM for inclusion

[jmbr]

I guess a natural way to add Trotterization on top of this would be with some sort of gate modifier. For instance,

DEFGATE FOOBAR(...) ... AS PAULI-SUM:
    ...

TROTTERIZE FOOBAR(...) ... ORDER 4

In this case, TROTTERIZE would extract commuting terms from the Pauli sum and construct a circuit satisfying the desired error bound.

[jmbr]

Does the latex / mathjax ever get rendered? I wonder if there is a way to make github render it when displaying the markdown.

Not that I know of. I render the spec with pandoc --standalone --to latex --output Quil.tex Quil.md && xelatex Quil.tex

[ecpeterson]

It gets rendered when I open it in MacDown. :/