操作符

量子力学算符。

待办事项：

• 修复 apply_operators 中的早期 0。

• 调试和测试 apply_operators。

• 在此文件中使cse与类一起工作。

• 内积、对易子、反对易子、表示、应用算符的文档测试和特殊方法文档。

class sympy.physics.quantum.operator.DifferentialOperator(*args, **kwargs)

表示微分算子的运算符，即 d/dx

它通过传递两个参数来初始化。第一个是涉及函数的任意表达式，例如 Derivative(f(x), x)。第二个是我们将要替换为 Wavefunction 的函数（例如 f(x)），这个 DifferentialOperator 将应用于该 Wavefunction。

参数:

表达式表达式

要代入适当波函数的任意表达式

函数表达式

一个函数（例如 f(x)），在应用此微分算子时将被适当的波函数替换。

属性:

args

返回 ‘self’ 的参数元组。

assumptions0

返回对象 \(type\) 假设。

canonical_variables

返回一个字典，将 self.bound_symbols 中定义的任何变量映射到与表达式中任何自由符号不冲突的符号。

expr

返回要具有波函数的任意表达式

expr_free_symbols

类似于 free_symbols，但仅在自由符号包含在表达式节点中时返回它们。

free_symbols

返回表达式中的自由符号。

func

表达式中的顶级函数。

function

返回将要被波函数替换的函数

希尔伯特空间

is_antihermitian

is_comparable

如果 self 可以计算为一个具有精度的实数（或已经是一个实数），则返回 True，否则返回 False。

is_finite

is_hermitian

is_infinite

is_number

如果 self 没有自由符号且没有未定义的函数（确切地说，是 AppliedUndef），则返回 True。

is_polar

is_symbolic

is_unitary

label

标签是对象的唯一标识符集。

variables

返回指定函数中的变量

方法

apart([x])	请参阅 sympy.polys 中的 apart 函数。
args_cnc([cset, warn, split_1])	返回 [交换因子, 非交换因子] 的自身。
as_coeff_Add([rational])	高效地提取求和的系数。
as_coeff_Mul([rational])	高效地提取乘积的系数。
as_coeff_add(*deps)	返回元组 (c, args)，其中 self 被写成一个 Add，a。
as_coeff_exponent(x)	c*x**e -> c,e 其中 x 可以是任何符号表达式。
as_coeff_mul(*deps, **kwargs)	返回元组 (c, args)，其中 self 被写成一个 Mul，m。
as_coefficient(expr)	提取给定表达式中的符号系数。
as_coefficients_dict(*syms)	返回一个字典，将术语映射到它们的 Rational 系数。
as_content_primitive([radical, clear])	此方法应递归地从所有参数中移除一个 Rational，并返回该内容和新的 self（原始类型）。
as_dummy()	返回表达式，其中任何具有结构绑定符号的对象都被替换为在其出现的对象中唯一的规范符号，并且仅对交换性具有默认假设为True。
as_expr(*gens)	将多项式转换为 SymPy 表达式。
as_independent(*deps, **hint)	将 Mul 或 Add 的大部分天真分离为不依赖于 deps 的参数。
as_leading_term(*symbols[, logx, cdir])	返回自身级数展开的主导（非零）项。
as_numer_denom()	返回一个表达式的分子和分母。
as_ordered_factors([order])	返回有序因子列表（如果是 Mul），否则返回 [self]。
as_ordered_terms([order, data])	将表达式转换为有序的项列表。
as_poly(*gens, **args)	将 self 转换为多项式，或返回 None。
as_powers_dict()	将自身作为一个因子的字典返回，每个因子都被视为一个幂。
as_real_imag([deep])	对 'self' 执行复杂的扩展，并返回一个包含收集到的实部和虚部的元组。
as_terms()	将一个表达式转换为项的列表。
aseries([x, n, bound, hir])	自变量的渐近级数展开
atoms(*types)	返回构成当前对象的原子。
cancel(*gens, **args)	参见 sympy.polys 中的取消函数
class_key()	类的好顺序。
coeff(x[, n, right, _first])	返回包含 x**n 的项中的系数。
collect(syms[, func, evaluate, exact, ...])	请参阅 sympy.simplify 中的 collect 函数。
combsimp()	请参阅 sympy.simplify 中的 combsimp 函数。
compare(other)	如果对象在规范意义上小于、等于或大于其他对象，则返回 -1、0、1。
compute_leading_term(x[, logx])	已弃用的函数，用于计算级数的首项。
conjugate()	返回 'self' 的复数共轭。
could_extract_minus_sign()	如果 self 以 -1 作为前导因子，或在求和中有比正号更多的负号，则返回 True，否则返回 False。
count(query)	计算匹配的子表达式的数量。
count_ops([visual])
default_args()
doit(**hints)	评估默认情况下不评估的对象，如极限、积分、求和和乘积。
dummy_eq(other[, symbol])	比较两个表达式并处理哑符号。
equals(other[, failing_expression])	如果 self == other 则返回 True，如果不相等则返回 False，或者返回 None。
evalf([n, subs, maxn, chop, strict, quad, ...])	将给定的公式计算到 n 位精度。
expand([deep, modulus, power_base, ...])	使用提示扩展表达式。
extract_additively(c)	如果可以从自身减去 c 并且使所有匹配的系数趋向于零，则返回 self - c，否则返回 None。
extract_branch_factor([allow_half])	尝试以 exp_polar(2*pi*I*n)*z 的方式优雅地表达自身。
extract_multiplicatively(c)	如果无法以一种良好的方式将 self 表示为 c * something，即保留 self 参数的属性，则返回 None。
factor(*gens, **args)	参见 sympy.polys.polytools 中的 factor() 函数
find(query[, group])	查找所有匹配查询的子表达式。
fourier_series([limits])	计算自身的傅里叶正弦/余弦级数。
fps([x, x0, dir, hyper, order, rational, full])	计算自身的形式幂级数。
fromiter(args, **assumptions)	从可迭代对象创建一个新对象。
gammasimp()	参见 sympy.simplify 中的 gammasimp 函数
getO()	如果有加法 O(..) 符号，则返回该符号，否则返回 None。
getn()	返回表达式的顺序。
has(*patterns)	测试是否有任何子表达式匹配任何模式。
has_free(*patterns)	如果 self 包含对象 x 作为自由表达式，则返回 True，否则返回 False。
has_xfree(s)	如果 self 有 s 中的任何一个模式作为自由参数，则返回 True，否则返回 False。
integrate(*args, **kwargs)	请参阅 sympy.integrals 中的 integrate 函数。
invert(g, *gens, **args)	返回 self 对 g 的乘法逆元，其中 self``（和 ``g）可以是符号表达式。
is_algebraic_expr(*syms)	此测试给定的表达式是否在给定的符号 syms 中是代数的。
is_constant(*wrt, **flags)	如果 self 是常量则返回 True，如果不是则返回 False，如果无法明确确定常量性则返回 None。
is_meromorphic(x, a)	此测试表达式是否作为给定符号 x 的函数在点 a 处是亚纯的。
is_polynomial(*syms)	如果 self 是 syms 中的多项式，则返回 True，否则返回 False。
is_rational_function(*syms)	测试函数是否是给定符号 syms 中的两个多项式的比率。
is_same(b[, approx])	如果 a 和 b 结构相同则返回 True，否则返回 False。
leadterm(x[, logx, cdir])	返回前导项 a*x**b 作为元组 (a, b)。
limit(x, xlim[, dir])	计算极限 x->xlim。
lseries([x, x0, dir, logx, cdir])	用于生成序列项的迭代器的包装器。
match(pattern[, old])	模式匹配。
matches(expr[, repl_dict, old])	用于 match() 的辅助方法，用于在 self 中的通配符符号与 expr 中的表达式之间寻找匹配。
n([n, subs, maxn, chop, strict, quad, verbose])	将给定的公式计算到 n 位精度。
normal()	返回表达式为分数形式。
nseries([x, x0, n, dir, logx, cdir])	如果假设允许，则包装到 _eval_nseries，否则包装到 series。
nsimplify([constants, tolerance, full])	参见 sympy.simplify 中的 nsimplify 函数
powsimp(*args, **kwargs)	请参阅 sympy.simplify 中的 powsimp 函数
primitive()	返回可以从自身每个项中非递归提取的正有理数（即，将自身视为一个加法）。
radsimp(**kwargs)	参见 sympy.simplify 中的 radsimp 函数
ratsimp()	参见 sympy.simplify 中的 ratsimp 函数。
rcall(*args)	通过表达式树递归应用于参数。
refine([assumption])	请参阅 sympy.assumptions 中的 refine 函数。
removeO()	如果存在，移除加性的 O(..) 符号
replace(query, value[, map, simultaneous, exact])	将 self 中匹配的子表达式替换为 value。
rewrite(*args[, deep])	使用定义的规则重写 self。
round([n])	返回 x 四舍五入到给定的十进制位数。
separate([deep, force])	参见 sympy.simplify 中的单独函数
series([x, x0, n, dir, logx, cdir])	在 x = x0 附近对 "self" 进行级数展开，当 n=None 时逐项给出级数项（即惰性级数），否则当 n != None 时一次性给出所有项。
simplify(**kwargs)	请参阅 sympy.simplify 中的 simplify 函数。
sort_key([order])
subs(*args, **kwargs)	在简化参数后，在表达式中用新内容替换旧内容。
taylor_term(n, x, *previous_terms)	泰勒项的一般方法。
together(*args, **kwargs)	请参阅 sympy.polys 中的 together 函数。
trigsimp(**args)	参见 sympy.simplify 中的 trigsimp 函数
xreplace(rule)	替换表达式中对象的出现。

伴随
as_base_exp
复制
差异
目录
inv
反向
is_hypergeometric
矩阵元素
转置

示例

您可以定义一个完全任意的表达式，并指定波函数应被替换的位置。

>>> from sympy import Derivative, Function, Symbol
>>> from sympy.physics.quantum.operator import DifferentialOperator
>>> from sympy.physics.quantum.state import Wavefunction
>>> from sympy.physics.quantum.qapply import qapply
>>> f = Function('f')
>>> x = Symbol('x')
>>> d = DifferentialOperator(1/x*Derivative(f(x), x), f(x))
>>> w = Wavefunction(x**2, x)
>>> d.function
f(x)
>>> d.variables
(x,)
>>> qapply(d*w)
Wavefunction(2, x)

property expr

返回将要代入波函数的任意表达式

示例

>>> from sympy.physics.quantum.operator import DifferentialOperator
>>> from sympy import Function, Symbol, Derivative
>>> x = Symbol('x')
>>> f = Function('f')
>>> d = DifferentialOperator(Derivative(f(x), x), f(x))
>>> d.expr
Derivative(f(x), x)
>>> y = Symbol('y')
>>> d = DifferentialOperator(Derivative(f(x, y), x) +
...                          Derivative(f(x, y), y), f(x, y))
>>> d.expr
Derivative(f(x, y), x) + Derivative(f(x, y), y)

property free_symbols

返回表达式中的自由符号。

property function

返回将要被波函数替换的函数

示例

>>> from sympy.physics.quantum.operator import DifferentialOperator
>>> from sympy import Function, Symbol, Derivative
>>> x = Symbol('x')
>>> f = Function('f')
>>> d = DifferentialOperator(Derivative(f(x), x), f(x))
>>> d.function
f(x)
>>> y = Symbol('y')
>>> d = DifferentialOperator(Derivative(f(x, y), x) +
...                          Derivative(f(x, y), y), f(x, y))
>>> d.function
f(x, y)

property variables

返回在指定任意表达式中用于评估函数的变量

示例

>>> from sympy.physics.quantum.operator import DifferentialOperator
>>> from sympy import Symbol, Function, Derivative
>>> x = Symbol('x')
>>> f = Function('f')
>>> d = DifferentialOperator(1/x*Derivative(f(x), x), f(x))
>>> d.variables
(x,)
>>> y = Symbol('y')
>>> d = DifferentialOperator(Derivative(f(x, y), x) +
...                          Derivative(f(x, y), y), f(x, y))
>>> d.variables
(x, y)

class sympy.physics.quantum.operator.HermitianOperator(*args, **kwargs)

一个满足 H == Dagger(H) 的厄米算子。

参数:

参数元组

唯一指定操作符的数字或参数列表。对于依赖时间的操作符，这将包括时间。

属性:

args

返回 ‘self’ 的参数元组。

assumptions0

返回对象 \(type\) 假设。

canonical_variables

返回一个字典，将 self.bound_symbols 中定义的任何变量映射到与表达式中任何自由符号不冲突的符号。

expr_free_symbols

类似于 free_symbols，但仅在自由符号包含在表达式节点中时返回它们。

free_symbols

从自身的原子中返回那些自由符号。

func

表达式中的顶级函数。

希尔伯特空间

is_antihermitian

is_comparable

如果 self 可以计算为一个具有精度的实数（或已经是一个实数），则返回 True，否则返回 False。

is_finite

is_infinite

is_number

如果 self 没有自由符号且没有未定义的函数（确切地说，是 AppliedUndef），则返回 True。

is_polar

is_symbolic

is_unitary

label

标签是对象的唯一标识符集。

方法

apart([x])	请参阅 sympy.polys 中的 apart 函数。
args_cnc([cset, warn, split_1])	返回 [交换因子, 非交换因子] 的自身。
as_coeff_Add([rational])	高效地提取求和的系数。
as_coeff_Mul([rational])	高效地提取乘积的系数。
as_coeff_add(*deps)	返回元组 (c, args)，其中 self 被写成一个 Add，a。
as_coeff_exponent(x)	c*x**e -> c,e 其中 x 可以是任何符号表达式。
as_coeff_mul(*deps, **kwargs)	返回元组 (c, args)，其中 self 被写成一个 Mul，m。
as_coefficient(expr)	提取给定表达式中的符号系数。
as_coefficients_dict(*syms)	返回一个字典，将术语映射到它们的 Rational 系数。
as_content_primitive([radical, clear])	此方法应递归地从所有参数中移除一个 Rational，并返回该内容和新的 self（原始类型）。
as_dummy()	返回表达式，其中任何具有结构绑定符号的对象都被替换为在其出现的对象中唯一的规范符号，并且仅对交换性具有默认假设为True。
as_expr(*gens)	将多项式转换为 SymPy 表达式。
as_independent(*deps, **hint)	将 Mul 或 Add 的大部分天真分离为不依赖于 deps 的参数。
as_leading_term(*symbols[, logx, cdir])	返回自身级数展开的主导（非零）项。
as_numer_denom()	返回一个表达式的分子和分母。
as_ordered_factors([order])	返回有序因子列表（如果是 Mul），否则返回 [self]。
as_ordered_terms([order, data])	将表达式转换为有序的项列表。
as_poly(*gens, **args)	将 self 转换为多项式，或返回 None。
as_powers_dict()	将自身作为一个因子的字典返回，每个因子都被视为一个幂。
as_real_imag([deep])	对 'self' 执行复杂的扩展，并返回一个包含收集到的实部和虚部的元组。
as_terms()	将一个表达式转换为项的列表。
aseries([x, n, bound, hir])	自变量的渐近级数展开
atoms(*types)	返回构成当前对象的原子。
cancel(*gens, **args)	参见 sympy.polys 中的取消函数
class_key()	类的好顺序。
coeff(x[, n, right, _first])	返回包含 x**n 的项中的系数。
collect(syms[, func, evaluate, exact, ...])	请参阅 sympy.simplify 中的 collect 函数。
combsimp()	请参阅 sympy.simplify 中的 combsimp 函数。
compare(other)	如果对象在规范意义上小于、等于或大于其他对象，则返回 -1、0、1。
compute_leading_term(x[, logx])	已弃用的函数，用于计算级数的首项。
conjugate()	返回 'self' 的复数共轭。
could_extract_minus_sign()	如果 self 以 -1 作为前导因子，或在求和中有比正号更多的负号，则返回 True，否则返回 False。
count(query)	计算匹配的子表达式的数量。
count_ops([visual])
default_args()
doit(**hints)	评估默认情况下不评估的对象，如极限、积分、求和和乘积。
dummy_eq(other[, symbol])	比较两个表达式并处理哑符号。
equals(other[, failing_expression])	如果 self == other 则返回 True，如果不相等则返回 False，或者返回 None。
evalf([n, subs, maxn, chop, strict, quad, ...])	将给定的公式计算到 n 位精度。
expand([deep, modulus, power_base, ...])	使用提示扩展表达式。
extract_additively(c)	如果可以从自身减去 c 并且使所有匹配的系数趋向于零，则返回 self - c，否则返回 None。
extract_branch_factor([allow_half])	尝试以 exp_polar(2*pi*I*n)*z 的方式优雅地表达自身。
extract_multiplicatively(c)	如果无法以一种良好的方式将 self 表示为 c * something，即保留 self 参数的属性，则返回 None。
factor(*gens, **args)	参见 sympy.polys.polytools 中的 factor() 函数
find(query[, group])	查找所有匹配查询的子表达式。
fourier_series([limits])	计算自身的傅里叶正弦/余弦级数。
fps([x, x0, dir, hyper, order, rational, full])	计算自身的形式幂级数。
fromiter(args, **assumptions)	从可迭代对象创建一个新对象。
gammasimp()	参见 sympy.simplify 中的 gammasimp 函数
getO()	如果有加法 O(..) 符号，则返回该符号，否则返回 None。
getn()	返回表达式的顺序。
has(*patterns)	测试是否有任何子表达式匹配任何模式。
has_free(*patterns)	如果 self 包含对象 x 作为自由表达式，则返回 True，否则返回 False。
has_xfree(s)	如果 self 有 s 中的任何一个模式作为自由参数，则返回 True，否则返回 False。
integrate(*args, **kwargs)	请参阅 sympy.integrals 中的 integrate 函数。
invert(g, *gens, **args)	返回 self 对 g 的乘法逆元，其中 self``（和 ``g）可以是符号表达式。
is_algebraic_expr(*syms)	此测试给定的表达式是否在给定的符号 syms 中是代数的。
is_constant(*wrt, **flags)	如果 self 是常量则返回 True，如果不是则返回 False，如果无法明确确定常量性则返回 None。
is_meromorphic(x, a)	此测试表达式是否作为给定符号 x 的函数在点 a 处是亚纯的。
is_polynomial(*syms)	如果 self 是 syms 中的多项式，则返回 True，否则返回 False。
is_rational_function(*syms)	测试函数是否是给定符号 syms 中的两个多项式的比率。
is_same(b[, approx])	如果 a 和 b 结构相同则返回 True，否则返回 False。
leadterm(x[, logx, cdir])	返回前导项 a*x**b 作为元组 (a, b)。
limit(x, xlim[, dir])	计算极限 x->xlim。
lseries([x, x0, dir, logx, cdir])	用于生成序列项的迭代器的包装器。
match(pattern[, old])	模式匹配。
matches(expr[, repl_dict, old])	用于 match() 的辅助方法，用于在 self 中的通配符符号与 expr 中的表达式之间寻找匹配。
n([n, subs, maxn, chop, strict, quad, verbose])	将给定的公式计算到 n 位精度。
normal()	返回表达式为分数形式。
nseries([x, x0, n, dir, logx, cdir])	如果假设允许，则包装到 _eval_nseries，否则包装到 series。
nsimplify([constants, tolerance, full])	参见 sympy.simplify 中的 nsimplify 函数
powsimp(*args, **kwargs)	请参阅 sympy.simplify 中的 powsimp 函数
primitive()	返回可以从自身每个项中非递归提取的正有理数（即，将自身视为一个加法）。
radsimp(**kwargs)	参见 sympy.simplify 中的 radsimp 函数
ratsimp()	参见 sympy.simplify 中的 ratsimp 函数。
rcall(*args)	通过表达式树递归应用于参数。
refine([assumption])	请参阅 sympy.assumptions 中的 refine 函数。
removeO()	如果存在，移除加性的 O(..) 符号
replace(query, value[, map, simultaneous, exact])	将 self 中匹配的子表达式替换为 value。
rewrite(*args[, deep])	使用定义的规则重写 self。
round([n])	返回 x 四舍五入到给定的十进制位数。
separate([deep, force])	参见 sympy.simplify 中的单独函数
series([x, x0, n, dir, logx, cdir])	在 x = x0 附近对 "self" 进行级数展开，当 n=None 时逐项给出级数项（即惰性级数），否则当 n != None 时一次性给出所有项。
simplify(**kwargs)	请参阅 sympy.simplify 中的 simplify 函数。
sort_key([order])
subs(*args, **kwargs)	在简化参数后，在表达式中用新内容替换旧内容。
taylor_term(n, x, *previous_terms)	泰勒项的一般方法。
together(*args, **kwargs)	请参阅 sympy.polys 中的 together 函数。
trigsimp(**args)	参见 sympy.simplify 中的 trigsimp 函数
xreplace(rule)	替换表达式中对象的出现。

伴随
as_base_exp
复制
差异
目录
inv
反向
is_hypergeometric
矩阵元素
转置

示例

>>> from sympy.physics.quantum import Dagger, HermitianOperator
>>> H = HermitianOperator('H')
>>> Dagger(H)
H

class sympy.physics.quantum.operator.IdentityOperator(*args, **kwargs)

一个满足对于任何运算符 op，op * I == I * op == op 的单位运算符 I。

参数:

N整数

指定算子希尔伯特空间维数的可选参数。在生成矩阵表示时使用。

属性:

args

返回 ‘self’ 的参数元组。

assumptions0

返回对象 \(type\) 假设。

canonical_variables

返回一个字典，将 self.bound_symbols 中定义的任何变量映射到与表达式中任何自由符号不冲突的符号。

维度

expr_free_symbols

类似于 free_symbols，但仅在自由符号包含在表达式节点中时返回它们。

free_symbols

从自身的原子中返回那些自由符号。

func

表达式中的顶级函数。

希尔伯特空间

is_antihermitian

is_comparable

如果 self 可以计算为一个具有精度的实数（或已经是一个实数），则返回 True，否则返回 False。

is_finite

is_infinite

is_number

如果 self 没有自由符号且没有未定义的函数（确切地说，是 AppliedUndef），则返回 True。

is_polar

is_symbolic

label

标签是对象的唯一标识符集。

方法

apart([x])	请参阅 sympy.polys 中的 apart 函数。
args_cnc([cset, warn, split_1])	返回 [交换因子, 非交换因子] 的自身。
as_coeff_Add([rational])	高效地提取求和的系数。
as_coeff_Mul([rational])	高效地提取乘积的系数。
as_coeff_add(*deps)	返回元组 (c, args)，其中 self 被写成一个 Add，a。
as_coeff_exponent(x)	c*x**e -> c,e 其中 x 可以是任何符号表达式。
as_coeff_mul(*deps, **kwargs)	返回元组 (c, args)，其中 self 被写成一个 Mul，m。
as_coefficient(expr)	提取给定表达式中的符号系数。
as_coefficients_dict(*syms)	返回一个字典，将术语映射到它们的 Rational 系数。
as_content_primitive([radical, clear])	此方法应递归地从所有参数中移除一个 Rational，并返回该内容和新的 self（原始类型）。
as_dummy()	返回表达式，其中任何具有结构绑定符号的对象都被替换为在其出现的对象中唯一的规范符号，并且仅对交换性具有默认假设为True。
as_expr(*gens)	将多项式转换为 SymPy 表达式。
as_independent(*deps, **hint)	将 Mul 或 Add 的大部分天真分离为不依赖于 deps 的参数。
as_leading_term(*symbols[, logx, cdir])	返回自身级数展开的主导（非零）项。
as_numer_denom()	返回一个表达式的分子和分母。
as_ordered_factors([order])	返回有序因子列表（如果是 Mul），否则返回 [self]。
as_ordered_terms([order, data])	将表达式转换为有序的项列表。
as_poly(*gens, **args)	将 self 转换为多项式，或返回 None。
as_powers_dict()	将自身作为一个因子的字典返回，每个因子都被视为一个幂。
as_real_imag([deep])	对 'self' 执行复杂的扩展，并返回一个包含收集到的实部和虚部的元组。
as_terms()	将一个表达式转换为项的列表。
aseries([x, n, bound, hir])	自变量的渐近级数展开
atoms(*types)	返回构成当前对象的原子。
cancel(*gens, **args)	参见 sympy.polys 中的取消函数
class_key()	类的好顺序。
coeff(x[, n, right, _first])	返回包含 x**n 的项中的系数。
collect(syms[, func, evaluate, exact, ...])	请参阅 sympy.simplify 中的 collect 函数。
combsimp()	请参阅 sympy.simplify 中的 combsimp 函数。
compare(other)	如果对象在规范意义上小于、等于或大于其他对象，则返回 -1、0、1。
compute_leading_term(x[, logx])	已弃用的函数，用于计算级数的首项。
conjugate()	返回 'self' 的复数共轭。
could_extract_minus_sign()	如果 self 以 -1 作为前导因子，或在求和中有比正号更多的负号，则返回 True，否则返回 False。
count(query)	计算匹配的子表达式的数量。
count_ops([visual])
default_args()
doit(**hints)	评估默认情况下不评估的对象，如极限、积分、求和和乘积。
dummy_eq(other[, symbol])	比较两个表达式并处理哑符号。
equals(other[, failing_expression])	如果 self == other 则返回 True，如果不相等则返回 False，或者返回 None。
evalf([n, subs, maxn, chop, strict, quad, ...])	将给定的公式计算到 n 位精度。
expand([deep, modulus, power_base, ...])	使用提示扩展表达式。
extract_additively(c)	如果可以从自身减去 c 并且使所有匹配的系数趋向于零，则返回 self - c，否则返回 None。
extract_branch_factor([allow_half])	尝试以 exp_polar(2*pi*I*n)*z 的方式优雅地表达自身。
extract_multiplicatively(c)	如果无法以一种良好的方式将 self 表示为 c * something，即保留 self 参数的属性，则返回 None。
factor(*gens, **args)	参见 sympy.polys.polytools 中的 factor() 函数
find(query[, group])	查找所有匹配查询的子表达式。
fourier_series([limits])	计算自身的傅里叶正弦/余弦级数。
fps([x, x0, dir, hyper, order, rational, full])	计算自身的形式幂级数。
fromiter(args, **assumptions)	从可迭代对象创建一个新对象。
gammasimp()	参见 sympy.simplify 中的 gammasimp 函数
getO()	如果有加法 O(..) 符号，则返回该符号，否则返回 None。
getn()	返回表达式的顺序。
has(*patterns)	测试是否有任何子表达式匹配任何模式。
has_free(*patterns)	如果 self 包含对象 x 作为自由表达式，则返回 True，否则返回 False。
has_xfree(s)	如果 self 有 s 中的任何一个模式作为自由参数，则返回 True，否则返回 False。
integrate(*args, **kwargs)	请参阅 sympy.integrals 中的 integrate 函数。
invert(g, *gens, **args)	返回 self 对 g 的乘法逆元，其中 self``（和 ``g）可以是符号表达式。
is_algebraic_expr(*syms)	此测试给定的表达式是否在给定的符号 syms 中是代数的。
is_constant(*wrt, **flags)	如果 self 是常量则返回 True，如果不是则返回 False，如果无法明确确定常量性则返回 None。
is_meromorphic(x, a)	此测试表达式是否作为给定符号 x 的函数在点 a 处是亚纯的。
is_polynomial(*syms)	如果 self 是 syms 中的多项式，则返回 True，否则返回 False。
is_rational_function(*syms)	测试函数是否是给定符号 syms 中的两个多项式的比率。
is_same(b[, approx])	如果 a 和 b 结构相同则返回 True，否则返回 False。
leadterm(x[, logx, cdir])	返回前导项 a*x**b 作为元组 (a, b)。
limit(x, xlim[, dir])	计算极限 x->xlim。
lseries([x, x0, dir, logx, cdir])	用于生成序列项的迭代器的包装器。
match(pattern[, old])	模式匹配。
matches(expr[, repl_dict, old])	用于 match() 的辅助方法，用于在 self 中的通配符符号与 expr 中的表达式之间寻找匹配。
n([n, subs, maxn, chop, strict, quad, verbose])	将给定的公式计算到 n 位精度。
normal()	返回表达式为分数形式。
nseries([x, x0, n, dir, logx, cdir])	如果假设允许，则包装到 _eval_nseries，否则包装到 series。
nsimplify([constants, tolerance, full])	参见 sympy.simplify 中的 nsimplify 函数
powsimp(*args, **kwargs)	请参阅 sympy.simplify 中的 powsimp 函数
primitive()	返回可以从自身每个项中非递归提取的正有理数（即，将自身视为一个加法）。
radsimp(**kwargs)	参见 sympy.simplify 中的 radsimp 函数
ratsimp()	参见 sympy.simplify 中的 ratsimp 函数。
rcall(*args)	通过表达式树递归应用于参数。
refine([assumption])	请参阅 sympy.assumptions 中的 refine 函数。
removeO()	如果存在，移除加性的 O(..) 符号
replace(query, value[, map, simultaneous, exact])	将 self 中匹配的子表达式替换为 value。
rewrite(*args[, deep])	使用定义的规则重写 self。
round([n])	返回 x 四舍五入到给定的十进制位数。
separate([deep, force])	参见 sympy.simplify 中的单独函数
series([x, x0, n, dir, logx, cdir])	在 x = x0 附近对 "self" 进行级数展开，当 n=None 时逐项给出级数项（即惰性级数），否则当 n != None 时一次性给出所有项。
simplify(**kwargs)	请参阅 sympy.simplify 中的 simplify 函数。
sort_key([order])
subs(*args, **kwargs)	在简化参数后，在表达式中用新内容替换旧内容。
taylor_term(n, x, *previous_terms)	泰勒项的一般方法。
together(*args, **kwargs)	请参阅 sympy.polys 中的 together 函数。
trigsimp(**args)	参见 sympy.simplify 中的 trigsimp 函数
xreplace(rule)	替换表达式中对象的出现。

伴随
as_base_exp
复制
差异
目录
inv
反向
is_hypergeometric
矩阵元素
转置

示例

>>> from sympy.physics.quantum import IdentityOperator
>>> IdentityOperator()
I

class sympy.physics.quantum.operator.Operator(*args, **kwargs)

非交换量子算符的基类。

一个算子在量子态之间进行映射 [1] 。在量子力学中，可观测量（包括但不限于测量的物理值）被表示为厄米算子 [2] 。

参数:

参数元组

唯一指定操作符的数字或参数列表。对于依赖时间的操作符，这将包括时间。

属性:

args

返回 ‘self’ 的参数元组。

assumptions0

返回对象 \(type\) 假设。

canonical_variables

返回一个字典，将 self.bound_symbols 中定义的任何变量映射到与表达式中任何自由符号不冲突的符号。

expr_free_symbols

类似于 free_symbols，但仅在自由符号包含在表达式节点中时返回它们。

free_symbols

从自身的原子中返回那些自由符号。

func

表达式中的顶级函数。

希尔伯特空间

is_antihermitian

is_comparable

如果 self 可以计算为一个具有精度的实数（或已经是一个实数），则返回 True，否则返回 False。

is_finite

is_hermitian

is_infinite

is_number

如果 self 没有自由符号且没有未定义的函数（确切地说，是 AppliedUndef），则返回 True。

is_polar

is_symbolic

is_unitary

label

标签是对象的唯一标识符集。

方法

apart([x])	请参阅 sympy.polys 中的 apart 函数。
args_cnc([cset, warn, split_1])	返回 [交换因子, 非交换因子] 的自身。
as_coeff_Add([rational])	高效地提取求和的系数。
as_coeff_Mul([rational])	高效地提取乘积的系数。
as_coeff_add(*deps)	返回元组 (c, args)，其中 self 被写成一个 Add，a。
as_coeff_exponent(x)	c*x**e -> c,e 其中 x 可以是任何符号表达式。
as_coeff_mul(*deps, **kwargs)	返回元组 (c, args)，其中 self 被写成一个 Mul，m。
as_coefficient(expr)	提取给定表达式中的符号系数。
as_coefficients_dict(*syms)	返回一个字典，将术语映射到它们的 Rational 系数。
as_content_primitive([radical, clear])	此方法应递归地从所有参数中移除一个 Rational，并返回该内容和新的 self（原始类型）。
as_dummy()	返回表达式，其中任何具有结构绑定符号的对象都被替换为在其出现的对象中唯一的规范符号，并且仅对交换性具有默认假设为True。
as_expr(*gens)	将多项式转换为 SymPy 表达式。
as_independent(*deps, **hint)	将 Mul 或 Add 的大部分天真分离为不依赖于 deps 的参数。
as_leading_term(*symbols[, logx, cdir])	返回自身级数展开的主导（非零）项。
as_numer_denom()	返回一个表达式的分子和分母。
as_ordered_factors([order])	返回有序因子列表（如果是 Mul），否则返回 [self]。
as_ordered_terms([order, data])	将表达式转换为有序的项列表。
as_poly(*gens, **args)	将 self 转换为多项式，或返回 None。
as_powers_dict()	将自身作为一个因子的字典返回，每个因子都被视为一个幂。
as_real_imag([deep])	对 'self' 执行复杂的扩展，并返回一个包含收集到的实部和虚部的元组。
as_terms()	将一个表达式转换为项的列表。
aseries([x, n, bound, hir])	自变量的渐近级数展开
atoms(*types)	返回构成当前对象的原子。
cancel(*gens, **args)	参见 sympy.polys 中的取消函数
class_key()	类的好顺序。
coeff(x[, n, right, _first])	返回包含 x**n 的项中的系数。
collect(syms[, func, evaluate, exact, ...])	请参阅 sympy.simplify 中的 collect 函数。
combsimp()	请参阅 sympy.simplify 中的 combsimp 函数。
compare(other)	如果对象在规范意义上小于、等于或大于其他对象，则返回 -1、0、1。
compute_leading_term(x[, logx])	已弃用的函数，用于计算级数的首项。
conjugate()	返回 'self' 的复数共轭。
could_extract_minus_sign()	如果 self 以 -1 作为前导因子，或在求和中有比正号更多的负号，则返回 True，否则返回 False。
count(query)	计算匹配的子表达式的数量。
count_ops([visual])
default_args()
doit(**hints)	评估默认情况下不评估的对象，如极限、积分、求和和乘积。
dummy_eq(other[, symbol])	比较两个表达式并处理哑符号。
equals(other[, failing_expression])	如果 self == other 则返回 True，如果不相等则返回 False，或者返回 None。
evalf([n, subs, maxn, chop, strict, quad, ...])	将给定的公式计算到 n 位精度。
expand([deep, modulus, power_base, ...])	使用提示扩展表达式。
extract_additively(c)	如果可以从自身减去 c 并且使所有匹配的系数趋向于零，则返回 self - c，否则返回 None。
extract_branch_factor([allow_half])	尝试以 exp_polar(2*pi*I*n)*z 的方式优雅地表达自身。
extract_multiplicatively(c)	如果无法以一种良好的方式将 self 表示为 c * something，即保留 self 参数的属性，则返回 None。
factor(*gens, **args)	参见 sympy.polys.polytools 中的 factor() 函数
find(query[, group])	查找所有匹配查询的子表达式。
fourier_series([limits])	计算自身的傅里叶正弦/余弦级数。
fps([x, x0, dir, hyper, order, rational, full])	计算自身的形式幂级数。
fromiter(args, **assumptions)	从可迭代对象创建一个新对象。
gammasimp()	参见 sympy.simplify 中的 gammasimp 函数
getO()	如果有加法 O(..) 符号，则返回该符号，否则返回 None。
getn()	返回表达式的顺序。
has(*patterns)	测试是否有任何子表达式匹配任何模式。
has_free(*patterns)	如果 self 包含对象 x 作为自由表达式，则返回 True，否则返回 False。
has_xfree(s)	如果 self 有 s 中的任何一个模式作为自由参数，则返回 True，否则返回 False。
integrate(*args, **kwargs)	请参阅 sympy.integrals 中的 integrate 函数。
invert(g, *gens, **args)	返回 self 对 g 的乘法逆元，其中 self``（和 ``g）可以是符号表达式。
is_algebraic_expr(*syms)	此测试给定的表达式是否在给定的符号 syms 中是代数的。
is_constant(*wrt, **flags)	如果 self 是常量则返回 True，如果不是则返回 False，如果无法明确确定常量性则返回 None。
is_meromorphic(x, a)	此测试表达式是否作为给定符号 x 的函数在点 a 处是亚纯的。
is_polynomial(*syms)	如果 self 是 syms 中的多项式，则返回 True，否则返回 False。
is_rational_function(*syms)	测试函数是否是给定符号 syms 中的两个多项式的比率。
is_same(b[, approx])	如果 a 和 b 结构相同则返回 True，否则返回 False。
leadterm(x[, logx, cdir])	返回前导项 a*x**b 作为元组 (a, b)。
limit(x, xlim[, dir])	计算极限 x->xlim。
lseries([x, x0, dir, logx, cdir])	用于生成序列项的迭代器的包装器。
match(pattern[, old])	模式匹配。
matches(expr[, repl_dict, old])	用于 match() 的辅助方法，用于在 self 中的通配符符号与 expr 中的表达式之间寻找匹配。
n([n, subs, maxn, chop, strict, quad, verbose])	将给定的公式计算到 n 位精度。
normal()	返回表达式为分数形式。
nseries([x, x0, n, dir, logx, cdir])	如果假设允许，则包装到 _eval_nseries，否则包装到 series。
nsimplify([constants, tolerance, full])	参见 sympy.simplify 中的 nsimplify 函数
powsimp(*args, **kwargs)	请参阅 sympy.simplify 中的 powsimp 函数
primitive()	返回可以从自身每个项中非递归提取的正有理数（即，将自身视为一个加法）。
radsimp(**kwargs)	参见 sympy.simplify 中的 radsimp 函数
ratsimp()	参见 sympy.simplify 中的 ratsimp 函数。
rcall(*args)	通过表达式树递归应用于参数。
refine([assumption])	请参阅 sympy.assumptions 中的 refine 函数。
removeO()	如果存在，移除加性的 O(..) 符号
replace(query, value[, map, simultaneous, exact])	将 self 中匹配的子表达式替换为 value。
rewrite(*args[, deep])	使用定义的规则重写 self。
round([n])	返回 x 四舍五入到给定的十进制位数。
separate([deep, force])	参见 sympy.simplify 中的单独函数
series([x, x0, n, dir, logx, cdir])	在 x = x0 附近对 "self" 进行级数展开，当 n=None 时逐项给出级数项（即惰性级数），否则当 n != None 时一次性给出所有项。
simplify(**kwargs)	请参阅 sympy.simplify 中的 simplify 函数。
sort_key([order])
subs(*args, **kwargs)	在简化参数后，在表达式中用新内容替换旧内容。
taylor_term(n, x, *previous_terms)	泰勒项的一般方法。
together(*args, **kwargs)	请参阅 sympy.polys 中的 together 函数。
trigsimp(**args)	参见 sympy.simplify 中的 trigsimp 函数
xreplace(rule)	替换表达式中对象的出现。

伴随
as_base_exp
复制
差异
目录
inv
反向
is_hypergeometric
矩阵元素
转置

参考文献

[1]

https://zh.wikipedia.org/wiki/%E7%AE%97%E5%AD%90_(%E7%89%A9%E7%90%86%E5%AD%A6)

[2]

https://en.wikipedia.org/wiki/Observable

示例

创建一个操作符并检查其属性:

>>> from sympy.physics.quantum import Operator
>>> from sympy import I
>>> A = Operator('A')
>>> A
A
>>> A.hilbert_space
H
>>> A.label
(A,)
>>> A.is_commutative
False

创建另一个操作符并执行一些算术运算:

>>> B = Operator('B')
>>> C = 2*A*A + I*B
>>> C
2*A**2 + I*B

算子不交换:

>>> A.is_commutative
False
>>> B.is_commutative
False
>>> A*B == B*A
False

算子的多项式尊重交换性质:

>>> e = (A+B)**3
>>> e.expand()
A*B*A + A*B**2 + A**2*B + A**3 + B*A*B + B*A**2 + B**2*A + B**3

运算符逆是通过符号处理的:

>>> A.inv()
A**(-1)
>>> A*A.inv()
1

class sympy.physics.quantum.operator.OuterProduct(*args, **old_assumptions)

一个未计算的 ket 和 bra 之间的外积。

这构建了 KetBase 和 BraBase 任何子类的外积，表示为 |a><b|。 OuterProduct 继承自 Operator，因为它们在量子表达式中充当运算符。 参考见 [1]。

参数:

ketKetBase

外积左侧的 ket。

barBraBase

外积右侧的括号。

属性:

args

返回 ‘self’ 的参数元组。

assumptions0

返回对象 \(type\) 假设。

bra

返回外积右侧的括号。

canonical_variables

返回一个字典，将 self.bound_symbols 中定义的任何变量映射到与表达式中任何自由符号不冲突的符号。

expr_free_symbols

类似于 free_symbols，但仅在自由符号包含在表达式节点中时返回它们。

free_symbols

从自身的原子中返回那些自由符号。

func

表达式中的顶级函数。

希尔伯特空间

is_antihermitian

is_comparable

如果 self 可以计算为一个具有精度的实数（或已经是一个实数），则返回 True，否则返回 False。

is_finite

is_hermitian

is_infinite

is_number

如果 self 没有自由符号且没有未定义的函数（确切地说，是 AppliedUndef），则返回 True。

is_polar

is_symbolic

is_unitary

ket

返回外积左侧的 ket。

label

标签是对象的唯一标识符集。

方法

apart([x])	请参阅 sympy.polys 中的 apart 函数。
args_cnc([cset, warn, split_1])	返回 [交换因子, 非交换因子] 的自身。
as_coeff_Add([rational])	高效地提取求和的系数。
as_coeff_Mul([rational])	高效地提取乘积的系数。
as_coeff_add(*deps)	返回元组 (c, args)，其中 self 被写成一个 Add，a。
as_coeff_exponent(x)	c*x**e -> c,e 其中 x 可以是任何符号表达式。
as_coeff_mul(*deps, **kwargs)	返回元组 (c, args)，其中 self 被写成一个 Mul，m。
as_coefficient(expr)	提取给定表达式中的符号系数。
as_coefficients_dict(*syms)	返回一个字典，将术语映射到它们的 Rational 系数。
as_content_primitive([radical, clear])	此方法应递归地从所有参数中移除一个 Rational，并返回该内容和新的 self（原始类型）。
as_dummy()	返回表达式，其中任何具有结构绑定符号的对象都被替换为在其出现的对象中唯一的规范符号，并且仅对交换性具有默认假设为True。
as_expr(*gens)	将多项式转换为 SymPy 表达式。
as_independent(*deps, **hint)	将 Mul 或 Add 的大部分天真分离为不依赖于 deps 的参数。
as_leading_term(*symbols[, logx, cdir])	返回自身级数展开的主导（非零）项。
as_numer_denom()	返回一个表达式的分子和分母。
as_ordered_factors([order])	返回有序因子列表（如果是 Mul），否则返回 [self]。
as_ordered_terms([order, data])	将表达式转换为有序的项列表。
as_poly(*gens, **args)	将 self 转换为多项式，或返回 None。
as_powers_dict()	将自身作为一个因子的字典返回，每个因子都被视为一个幂。
as_real_imag([deep])	对 'self' 执行复杂的扩展，并返回一个包含收集到的实部和虚部的元组。
as_terms()	将一个表达式转换为项的列表。
aseries([x, n, bound, hir])	自变量的渐近级数展开
atoms(*types)	返回构成当前对象的原子。
cancel(*gens, **args)	参见 sympy.polys 中的取消函数
class_key()	类的好顺序。
coeff(x[, n, right, _first])	返回包含 x**n 的项中的系数。
collect(syms[, func, evaluate, exact, ...])	请参阅 sympy.simplify 中的 collect 函数。
combsimp()	请参阅 sympy.simplify 中的 combsimp 函数。
compare(other)	如果对象在规范意义上小于、等于或大于其他对象，则返回 -1、0、1。
compute_leading_term(x[, logx])	已弃用的函数，用于计算级数的首项。
conjugate()	返回 'self' 的复数共轭。
could_extract_minus_sign()	如果 self 以 -1 作为前导因子，或在求和中有比正号更多的负号，则返回 True，否则返回 False。
count(query)	计算匹配的子表达式的数量。
count_ops([visual])
default_args()
doit(**hints)	评估默认情况下不评估的对象，如极限、积分、求和和乘积。
dummy_eq(other[, symbol])	比较两个表达式并处理哑符号。
equals(other[, failing_expression])	如果 self == other 则返回 True，如果不相等则返回 False，或者返回 None。
evalf([n, subs, maxn, chop, strict, quad, ...])	将给定的公式计算到 n 位精度。
expand([deep, modulus, power_base, ...])	使用提示扩展表达式。
extract_additively(c)	如果可以从自身减去 c 并且使所有匹配的系数趋向于零，则返回 self - c，否则返回 None。
extract_branch_factor([allow_half])	尝试以 exp_polar(2*pi*I*n)*z 的方式优雅地表达自身。
extract_multiplicatively(c)	如果无法以一种良好的方式将 self 表示为 c * something，即保留 self 参数的属性，则返回 None。
factor(*gens, **args)	参见 sympy.polys.polytools 中的 factor() 函数
find(query[, group])	查找所有匹配查询的子表达式。
fourier_series([limits])	计算自身的傅里叶正弦/余弦级数。
fps([x, x0, dir, hyper, order, rational, full])	计算自身的形式幂级数。
fromiter(args, **assumptions)	从可迭代对象创建一个新对象。
gammasimp()	参见 sympy.simplify 中的 gammasimp 函数
getO()	如果有加法 O(..) 符号，则返回该符号，否则返回 None。
getn()	返回表达式的顺序。
has(*patterns)	测试是否有任何子表达式匹配任何模式。
has_free(*patterns)	如果 self 包含对象 x 作为自由表达式，则返回 True，否则返回 False。
has_xfree(s)	如果 self 有 s 中的任何一个模式作为自由参数，则返回 True，否则返回 False。
integrate(*args, **kwargs)	请参阅 sympy.integrals 中的 integrate 函数。
invert(g, *gens, **args)	返回 self 对 g 的乘法逆元，其中 self``（和 ``g）可以是符号表达式。
is_algebraic_expr(*syms)	此测试给定的表达式是否在给定的符号 syms 中是代数的。
is_constant(*wrt, **flags)	如果 self 是常量则返回 True，如果不是则返回 False，如果无法明确确定常量性则返回 None。
is_meromorphic(x, a)	此测试表达式是否作为给定符号 x 的函数在点 a 处是亚纯的。
is_polynomial(*syms)	如果 self 是 syms 中的多项式，则返回 True，否则返回 False。
is_rational_function(*syms)	测试函数是否是给定符号 syms 中的两个多项式的比率。
is_same(b[, approx])	如果 a 和 b 结构相同则返回 True，否则返回 False。
leadterm(x[, logx, cdir])	返回前导项 a*x**b 作为元组 (a, b)。
limit(x, xlim[, dir])	计算极限 x->xlim。
lseries([x, x0, dir, logx, cdir])	用于生成序列项的迭代器的包装器。
match(pattern[, old])	模式匹配。
matches(expr[, repl_dict, old])	用于 match() 的辅助方法，用于在 self 中的通配符符号与 expr 中的表达式之间寻找匹配。
n([n, subs, maxn, chop, strict, quad, verbose])	将给定的公式计算到 n 位精度。
normal()	返回表达式为分数形式。
nseries([x, x0, n, dir, logx, cdir])	如果假设允许，则包装到 _eval_nseries，否则包装到 series。
nsimplify([constants, tolerance, full])	参见 sympy.simplify 中的 nsimplify 函数
powsimp(*args, **kwargs)	请参阅 sympy.simplify 中的 powsimp 函数
primitive()	返回可以从自身每个项中非递归提取的正有理数（即，将自身视为一个加法）。
radsimp(**kwargs)	参见 sympy.simplify 中的 radsimp 函数
ratsimp()	参见 sympy.simplify 中的 ratsimp 函数。
rcall(*args)	通过表达式树递归应用于参数。
refine([assumption])	请参阅 sympy.assumptions 中的 refine 函数。
removeO()	如果存在，移除加性的 O(..) 符号
replace(query, value[, map, simultaneous, exact])	将 self 中匹配的子表达式替换为 value。
rewrite(*args[, deep])	使用定义的规则重写 self。
round([n])	返回 x 四舍五入到给定的十进制位数。
separate([deep, force])	参见 sympy.simplify 中的单独函数
series([x, x0, n, dir, logx, cdir])	在 x = x0 附近对 "self" 进行级数展开，当 n=None 时逐项给出级数项（即惰性级数），否则当 n != None 时一次性给出所有项。
simplify(**kwargs)	请参阅 sympy.simplify 中的 simplify 函数。
sort_key([order])
subs(*args, **kwargs)	在简化参数后，在表达式中用新内容替换旧内容。
taylor_term(n, x, *previous_terms)	泰勒项的一般方法。
together(*args, **kwargs)	请参阅 sympy.polys 中的 together 函数。
trigsimp(**args)	参见 sympy.simplify 中的 trigsimp 函数
xreplace(rule)	替换表达式中对象的出现。

伴随
as_base_exp
复制
差异
目录
inv
反向
is_hypergeometric
矩阵元素
转置

参考文献

[1]

https://en.wikipedia.org/wiki/外积

示例

手动创建一个简单的外积并取其dagger:

>>> from sympy.physics.quantum import Ket, Bra, OuterProduct, Dagger
>>> from sympy.physics.quantum import Operator

>>> k = Ket('k')
>>> b = Bra('b')
>>> op = OuterProduct(k, b)
>>> op
|k><b|
>>> op.hilbert_space
H
>>> op.ket
|k>
>>> op.bra
<b|
>>> Dagger(op)
|b><k|

在ket和bra的简单乘积中，外积将被自动识别并创建:

>>> k*b
|k><b|

但在更复杂的表达式中，外积不会自动创建:

>>> A = Operator('A')
>>> A*k*b
A*|k>*<b|

用户可以通过使用括号将ket和bra分组，在复杂表达式中强制创建外积:

>>> A*(k*b)
A*|k><b|

property bra

返回外积右侧的括号。

property ket

返回外积左侧的 ket。

class sympy.physics.quantum.operator.UnitaryOperator(*args, **kwargs)

满足 U*Dagger(U) == 1 的幺正算子。

参数:

参数元组

唯一指定操作符的数字或参数列表。对于依赖时间的操作符，这将包括时间。

属性:

args

返回 ‘self’ 的参数元组。

assumptions0

返回对象 \(type\) 假设。

canonical_variables

返回一个字典，将 self.bound_symbols 中定义的任何变量映射到与表达式中任何自由符号不冲突的符号。

expr_free_symbols

类似于 free_symbols，但仅在自由符号包含在表达式节点中时返回它们。

free_symbols

从自身的原子中返回那些自由符号。

func

表达式中的顶级函数。

希尔伯特空间

is_antihermitian

is_comparable

如果 self 可以计算为一个具有精度的实数（或已经是一个实数），则返回 True，否则返回 False。

is_finite

is_hermitian

is_infinite

is_number

如果 self 没有自由符号且没有未定义的函数（确切地说，是 AppliedUndef），则返回 True。

is_polar

is_symbolic

label

标签是对象的唯一标识符集。

方法

apart([x])	请参阅 sympy.polys 中的 apart 函数。
args_cnc([cset, warn, split_1])	返回 [交换因子, 非交换因子] 的自身。
as_coeff_Add([rational])	高效地提取求和的系数。
as_coeff_Mul([rational])	高效地提取乘积的系数。
as_coeff_add(*deps)	返回元组 (c, args)，其中 self 被写成一个 Add，a。
as_coeff_exponent(x)	c*x**e -> c,e 其中 x 可以是任何符号表达式。
as_coeff_mul(*deps, **kwargs)	返回元组 (c, args)，其中 self 被写成一个 Mul，m。
as_coefficient(expr)	提取给定表达式中的符号系数。
as_coefficients_dict(*syms)	返回一个字典，将术语映射到它们的 Rational 系数。
as_content_primitive([radical, clear])	此方法应递归地从所有参数中移除一个 Rational，并返回该内容和新的 self（原始类型）。
as_dummy()	返回表达式，其中任何具有结构绑定符号的对象都被替换为在其出现的对象中唯一的规范符号，并且仅对交换性具有默认假设为True。
as_expr(*gens)	将多项式转换为 SymPy 表达式。
as_independent(*deps, **hint)	将 Mul 或 Add 的大部分天真分离为不依赖于 deps 的参数。
as_leading_term(*symbols[, logx, cdir])	返回自身级数展开的主导（非零）项。
as_numer_denom()	返回一个表达式的分子和分母。
as_ordered_factors([order])	返回有序因子列表（如果是 Mul），否则返回 [self]。
as_ordered_terms([order, data])	将表达式转换为有序的项列表。
as_poly(*gens, **args)	将 self 转换为多项式，或返回 None。
as_powers_dict()	将自身作为一个因子的字典返回，每个因子都被视为一个幂。
as_real_imag([deep])	对 'self' 执行复杂的扩展，并返回一个包含收集到的实部和虚部的元组。
as_terms()	将一个表达式转换为项的列表。
aseries([x, n, bound, hir])	自变量的渐近级数展开
atoms(*types)	返回构成当前对象的原子。
cancel(*gens, **args)	参见 sympy.polys 中的取消函数
class_key()	类的好顺序。
coeff(x[, n, right, _first])	返回包含 x**n 的项中的系数。
collect(syms[, func, evaluate, exact, ...])	请参阅 sympy.simplify 中的 collect 函数。
combsimp()	请参阅 sympy.simplify 中的 combsimp 函数。
compare(other)	如果对象在规范意义上小于、等于或大于其他对象，则返回 -1、0、1。
compute_leading_term(x[, logx])	已弃用的函数，用于计算级数的首项。
conjugate()	返回 'self' 的复数共轭。
could_extract_minus_sign()	如果 self 以 -1 作为前导因子，或在求和中有比正号更多的负号，则返回 True，否则返回 False。
count(query)	计算匹配的子表达式的数量。
count_ops([visual])
default_args()
doit(**hints)	评估默认情况下不评估的对象，如极限、积分、求和和乘积。
dummy_eq(other[, symbol])	比较两个表达式并处理哑符号。
equals(other[, failing_expression])	如果 self == other 则返回 True，如果不相等则返回 False，或者返回 None。
evalf([n, subs, maxn, chop, strict, quad, ...])	将给定的公式计算到 n 位精度。
expand([deep, modulus, power_base, ...])	使用提示扩展表达式。
extract_additively(c)	如果可以从自身减去 c 并且使所有匹配的系数趋向于零，则返回 self - c，否则返回 None。
extract_branch_factor([allow_half])	尝试以 exp_polar(2*pi*I*n)*z 的方式优雅地表达自身。
extract_multiplicatively(c)	如果无法以一种良好的方式将 self 表示为 c * something，即保留 self 参数的属性，则返回 None。
factor(*gens, **args)	参见 sympy.polys.polytools 中的 factor() 函数
find(query[, group])	查找所有匹配查询的子表达式。
fourier_series([limits])	计算自身的傅里叶正弦/余弦级数。
fps([x, x0, dir, hyper, order, rational, full])	计算自身的形式幂级数。
fromiter(args, **assumptions)	从可迭代对象创建一个新对象。
gammasimp()	参见 sympy.simplify 中的 gammasimp 函数
getO()	如果有加法 O(..) 符号，则返回该符号，否则返回 None。
getn()	返回表达式的顺序。
has(*patterns)	测试是否有任何子表达式匹配任何模式。
has_free(*patterns)	如果 self 包含对象 x 作为自由表达式，则返回 True，否则返回 False。
has_xfree(s)	如果 self 有 s 中的任何一个模式作为自由参数，则返回 True，否则返回 False。
integrate(*args, **kwargs)	请参阅 sympy.integrals 中的 integrate 函数。
invert(g, *gens, **args)	返回 self 对 g 的乘法逆元，其中 self``（和 ``g）可以是符号表达式。
is_algebraic_expr(*syms)	此测试给定的表达式是否在给定的符号 syms 中是代数的。
is_constant(*wrt, **flags)	如果 self 是常量则返回 True，如果不是则返回 False，如果无法明确确定常量性则返回 None。
is_meromorphic(x, a)	此测试表达式是否作为给定符号 x 的函数在点 a 处是亚纯的。
is_polynomial(*syms)	如果 self 是 syms 中的多项式，则返回 True，否则返回 False。
is_rational_function(*syms)	测试函数是否是给定符号 syms 中的两个多项式的比率。
is_same(b[, approx])	如果 a 和 b 结构相同则返回 True，否则返回 False。
leadterm(x[, logx, cdir])	返回前导项 a*x**b 作为元组 (a, b)。
limit(x, xlim[, dir])	计算极限 x->xlim。
lseries([x, x0, dir, logx, cdir])	用于生成序列项的迭代器的包装器。
match(pattern[, old])	模式匹配。
matches(expr[, repl_dict, old])	用于 match() 的辅助方法，用于在 self 中的通配符符号与 expr 中的表达式之间寻找匹配。
n([n, subs, maxn, chop, strict, quad, verbose])	将给定的公式计算到 n 位精度。
normal()	返回表达式为分数形式。
nseries([x, x0, n, dir, logx, cdir])	如果假设允许，则包装到 _eval_nseries，否则包装到 series。
nsimplify([constants, tolerance, full])	参见 sympy.simplify 中的 nsimplify 函数
powsimp(*args, **kwargs)	请参阅 sympy.simplify 中的 powsimp 函数
primitive()	返回可以从自身每个项中非递归提取的正有理数（即，将自身视为一个加法）。
radsimp(**kwargs)	参见 sympy.simplify 中的 radsimp 函数
ratsimp()	参见 sympy.simplify 中的 ratsimp 函数。
rcall(*args)	通过表达式树递归应用于参数。
refine([assumption])	请参阅 sympy.assumptions 中的 refine 函数。
removeO()	如果存在，移除加性的 O(..) 符号
replace(query, value[, map, simultaneous, exact])	将 self 中匹配的子表达式替换为 value。
rewrite(*args[, deep])	使用定义的规则重写 self。
round([n])	返回 x 四舍五入到给定的十进制位数。
separate([deep, force])	参见 sympy.simplify 中的单独函数
series([x, x0, n, dir, logx, cdir])	在 x = x0 附近对 "self" 进行级数展开，当 n=None 时逐项给出级数项（即惰性级数），否则当 n != None 时一次性给出所有项。
simplify(**kwargs)	请参阅 sympy.simplify 中的 simplify 函数。
sort_key([order])
subs(*args, **kwargs)	在简化参数后，在表达式中用新内容替换旧内容。
taylor_term(n, x, *previous_terms)	泰勒项的一般方法。
together(*args, **kwargs)	请参阅 sympy.polys 中的 together 函数。
trigsimp(**args)	参见 sympy.simplify 中的 trigsimp 函数
xreplace(rule)	替换表达式中对象的出现。

伴随
as_base_exp
复制
差异
目录
inv
反向
is_hypergeometric
矩阵元素
转置

示例

>>> from sympy.physics.quantum import Dagger, UnitaryOperator
>>> U = UnitaryOperator('U')
>>> U*Dagger(U)
1