Kevin J. Sung

This issue can genuinely be resolved once Cirq's simulator is upgraded and can simulate any KnownMatrixGate.

Ooh there might still be an advantage to keeping the classes though if we eventually want to define decompositions that respect nearest-neighbor interactions.

@babbush @jarrodmcc thoughts?

Although we've been rethinking how we want to be implementing variational algorithms, this is still something we'll want. It's implemented in some form in the Hartree-Fock experiment, but let's keep...

@Strilanc did you have a construction in mind? This will be needed for #33 .

This not in Cirq, as far as I know. One can constructed controlled gates, but there's no way to intelligently turn an op tree into a controlled version.

I spent some time thinking about how to resolve #5 but decided that for now, I'll just write custom routines to produce controlled versions of the Trotter steps. I don't...

A ParameterizableEffect is something that can be parameterized by Symbols. In this case, the Givens rotation angles could be Symbols instead of actual values.

I've found that this currently does not work because of things like ``` print(operator) ``` where `operator` is a SymbolicOperator from OpenFermion. The reason is that `SymbolicOperator.__str__` iterates over the...

Okay, then what do you think about having `SymbolicOperator` print its terms in some canonical order? I think this would be useful anyway for visually comparing different operators. I don't...