集合

与集合成员关系相关的谓词的处理程序:integer、rational等。

class sympy.assumptions.handlers.sets.AskAlgebraicHandler[源代码]

Q.代数密钥的处理程序。

class sympy.assumptions.handlers.sets.AskAntiHermitianHandler[源代码]

Handler for Q.antihermitian. Test that an expression belongs to the field of anti-Hermitian operators, that is, operators in the form x*I, where x is Hermitian.

static Add(expr, assumptions)[源代码]

反厄米人+反厄米人!抗热剂->!抗热剂

static Mul(expr, assumptions)[源代码]

As long as there is at most only one noncommutative term:

Hermitian*Hermitian -> !Antihermitian Hermitian*Antihermitian -> Antihermitian Antihermitian*Antihermitian -> !Antihermitian

static Pow(expr, assumptions)[源代码]

赫米特人 Integer -> !Antihermitian Antihermitian 偶数->!抗热剂-抗热剂**奇数->抗热剂

class sympy.assumptions.handlers.sets.AskComplexHandler[源代码]

Handler for Q.complex. Test that an expression belongs to the field of complex numbers.

class sympy.assumptions.handlers.sets.AskExtendedRealHandler[源代码]

Handler for Q.extended_real. Test that an expression belongs to the field of extended real numbers, that is real numbers union {Infinity, -Infinity}.

class sympy.assumptions.handlers.sets.AskHermitianHandler[源代码]

Handler for Q.hermitian. Test that an expression belongs to the field of Hermitian operators.

static Add(expr, assumptions)[源代码]

赫米特+赫米特->赫米特-赫米特+!赫米特->!赫米特人

static Mul(expr, assumptions)[源代码]

As long as there is at most only one noncommutative term:

Hermitian*Hermitian -> Hermitian Hermitian*Antihermitian -> !Hermitian Antihermitian*Antihermitian -> Hermitian

static Pow(expr, assumptions)[源代码]

Hermitian**整数->Hermitian

class sympy.assumptions.handlers.sets.AskImaginaryHandler[源代码]

Handler for Q.imaginary. Test that an expression belongs to the field of imaginary numbers, that is, numbers in the form x*I, where x is real.

static Add(expr, assumptions)[源代码]

想象的+想象的->想象的想象的+复杂的->?想象+真实->!想像的

static Mul(expr, assumptions)[源代码]

真实的 Imaginary -> Imaginary Imaginary 虚->实

static Pow(expr, assumptions)[源代码]

想像的 Odd -> Imaginary Imaginary 偶数->实数b Imaginary -> !Imaginary if exponent is an integer multiple of I*pi/log(b) Imaginary 真->?积极的 Real -> Real Negative 整数->实数负 (Integer/2) -> Imaginary Negative 实数->如果指数不是有理数,则不是虚数

class sympy.assumptions.handlers.sets.AskIntegerHandler[源代码]

Handler for Q.integer. Test that an expression belongs to the field of integer numbers.

static Add(expr, assumptions)[源代码]

整数+整数->整数+!整数->!整数!整数+!整数->?

static Mul(expr, assumptions)[源代码]

整数 Integer -> Integer Integer 不合理->!整数奇偶->!整数整数*有理->?

static Pow(expr, assumptions)[源代码]

整数+整数->整数+!整数->!整数!整数+!整数->?

class sympy.assumptions.handlers.sets.AskRationalHandler[源代码]

Handler for Q.rational. Test that an expression belongs to the field of rational numbers.

static Add(expr, assumptions)[源代码]

理性+理性->理性理性+!理性->!理性!理性+!理性->?

static Mul(expr, assumptions)[源代码]

理性+理性->理性理性+!理性->!理性!理性+!理性->?

static Pow(expr, assumptions)[源代码]

理性的 ** Integer -> Rational Irrational ** 理性->非理性理性**非理性->?

class sympy.assumptions.handlers.sets.AskRealHandler[源代码]

Handler for Q.real. Test that an expression belongs to the field of real numbers.

static Add(expr, assumptions)[源代码]

实数+实数->实数+(复杂&!真的)->!真实的

static Mul(expr, assumptions)[源代码]

真实的 Real -> Real Real 想象->!实虚*虚->实

static Pow(expr, assumptions)[源代码]

真实的 Integer -> Real Positive 真实->真实 (Integer/Even) -> Real if base is nonnegative Real (整数/奇数)->实虚 (Integer/Even) -> Real Imaginary (整数/奇数)->非实虚 Real -> ? since Real could be 0 (giving real) or 1 (giving imaginary) b 虚->实,如果log(b)是虚的且b!=0和指数!=I的整数倍 pi/log(b) Real *真->?e、 g.sqrt(-1)是虚数,sqrt(2)不是