Integrate :: Expression PsincE -> Expression ScalarE
AnalyticMomentum :: OperatorExpr (Complex Double) MomentumTerminal -> Expression PsincReciprocalE
AnalyticPosition :: OperatorExpr Double PositionTerminal -> Expression PsincE
+ AnalyticToPsinc :: Expression PsincE -> Integer -> Expression PsincE
Sum :: Expression e -> String -> Expression e
Add :: Expression e -> Expression e -> Expression e
Sub :: Expression e -> Expression e -> Expression e
Sub a b -> binaryToDoc "-" a b
AnalyticPosition e -> text "position_operator" <> (parens $ toDoc e)
AnalyticMomentum e -> text "momentum_operator" <> (parens $ toDoc e)
+ AnalyticToPsinc e i -> functionToDoc "analytic_to_psinc" [toDoc e, toDoc i]
MulScalar a b -> binaryToDoc "*" a b
DivScalar a b -> binaryToDoc "/" a b
Power a b -> binaryToDoc "^" a b