moved RotationOne and RotationTwo to match Clifford/CliffordBatch organization. So, we now have RotationOne, RotationOneBatch, RotationTwo, and RotationTwoBatch

Author: JonhasA

crates/ppvm-traits-2/src/gates/mod.rs

@@ -15,4 +15,6 @@ pub use channel::{
 };
 pub use clifford::{Clifford, CliffordBatch, CliffordExtensions, CliffordExtensionsBatch};
 pub use measure::{Measure, Projection, Reset};
-pub use rot::{CRx, RotXY, RotationOne, RotationTwo, TGate, U3Gate};
+pub use rot::{
+    CRx, RotXY, RotationOne, RotationOneBatch, RotationTwo, RotationTwoBatch, TGate, U3Gate,
+};

crates/ppvm-traits-2/src/gates/rot.rs

@@ -26,7 +26,10 @@ pub trait RotationOne<C: Coefficient, A: Angle<C> = C> {
     fn rz(&mut self, qubit: usize, theta: A) {
         self.rotate_1(Pauli::Z, qubit, theta)
     }
+}
 
+/// Batched single-qubit rotations, defaulting to scalar calls in target order.
+pub trait RotationOneBatch<C: Coefficient, A: Angle<C> = C>: RotationOne<C, A> {
     /// Explicit batched `RX(θ)`.
     fn rx_many(&mut self, targets: &[usize], theta: A)
     where
@@ -107,7 +110,10 @@ pub trait RotationTwo<C: Coefficient, A: Angle<C> = C> {
     fn rzz(&mut self, a: usize, b: usize, theta: A) {
         self.rotate_2(Pauli::Z, Pauli::Z, a, b, theta);
     }
+}
 
+/// Batched two-qubit rotations, defaulting to scalar calls in pair order.
+pub trait RotationTwoBatch<C: Coefficient, A: Angle<C> = C>: RotationTwo<C, A> {
     /// Apply RXX to each pair in order.
     fn rxx_many(&mut self, pairs: &[(usize, usize)], theta: A)
     where

crates/ppvm-traits-2/src/lib.rs

@@ -22,7 +22,8 @@ pub use gates::{
     AmplitudeDamping, AsymmetricLossChannel, CRx, Clifford, CliffordBatch, CliffordExtensions,
     CliffordExtensionsBatch, CorrelatedLossChannel, Depolarizing, Depolarizing2, LossChannel,
     Measure, PauliError, PauliErrorAll, PauliErrorFactors, Projection, Reset, ResetLossChannel,
-    RotXY, RotationOne, RotationTwo, TGate, TwoQubitPauliError, U3Gate,
+    RotXY, RotationOne, RotationOneBatch, RotationTwo, RotationTwoBatch, TGate, TwoQubitPauliError,
+    U3Gate,
 };
 pub use loss::LossState;
 pub use pauli::{BlanketClifford, Pauli, PhaseTrack, SymplecticColumns};
@@ -37,7 +38,7 @@ pub mod prelude {
         IdentityBuildHasher, IdentityHasher, ImaginaryUnit, Indexable, KeyBatch, KeyColumn,
         KeyProduct, LossChannel, LossState, Measure, Multiply, Pair, Pauli, PauliBits, PauliError,
         PauliErrorAll, PauliErrorFactors, Phase, PhaseTrack, Projection, Reset, ResetLossChannel,
-        Retain, RotXY, RotationOne, RotationTwo, Scale, Support, SymplecticColumns, TGate,
-        TermBatch, TermSink, TwoQubitPauliError, U3Gate, Word,
+        Retain, RotXY, RotationOne, RotationOneBatch, RotationTwo, RotationTwoBatch, Scale,
+        Support, SymplecticColumns, TGate, TermBatch, TermSink, TwoQubitPauliError, U3Gate, Word,
     };
 }