LadderOperatorSumExpr<'algebra> Type
A sum expression of ladder operators parameterized by a combining algebra (e.g., fermionic anti-commutation relations).
This type represents a sum of product terms of indexed ladder operators. The algebra parameter determines how operators combine when reordering (e.g., fermionic operators anti-commute, generating sign changes).
Instance members
| Instance member |
Description
|
Full Usage:
this.AllTermsIndexOrdered
Returns: bool
|
|
Full Usage:
this.AllTermsNormalOrdered
Returns: bool
|
|
|
|
|
|
Static members
| Static member |
Description
|
Full Usage:
l * r
Parameters:
LadderOperatorSumExpr<'algebra>
r : LadderOperatorSumExpr<'algebra>
Returns: LadderOperatorSumExpression
|
|
Full Usage:
l + r
Parameters:
LadderOperatorSumExpr<'algebra>
r : LadderOperatorSumExpr<'algebra>
Returns: LadderOperatorSumExpression
|
|
Full Usage:
LadderOperatorSumExpr.ConstructIndexOrdered(candidate)
Parameters:
S<IxOp<uint32, LadderOperatorUnit>>
-
The sum expression to index-order.
Returns: LadderOperatorSumExpr<'algebra> option
The index-ordered sum expression, or None if construction fails.
|
Constructs an index-ordered version of the given sum expression. First normal-orders the expression, then sorts raise operators in ascending order by index and lower operators in descending order by index. This canonical form is useful for comparing operator expressions.
|
Full Usage:
LadderOperatorSumExpr.ConstructNormalOrdered(candidate)
Parameters:
S<IxOp<uint32, LadderOperatorUnit>>
-
The sum expression to normal-order.
Returns: LadderOperatorSumExpr<'algebra> option
The normal-ordered sum expression, or None if construction fails.
|
Constructs a normal-ordered version of the given sum expression. Uses the combining algebra to apply commutation/anti-commutation relations. For fermionic operators, each swap of adjacent operators introduces a factor of −1, and swapping a†ᵢ past aᵢ generates delta terms. The result has all creation operators (a†) to the left of all annihilation operators (a).
|
Full Usage:
LadderOperatorSumExpr.TryCreateFromString
Returns: String -> LadderOperatorSumExpr<'algebra> option
|
|