域

class Bint

基类: object

有界整数类型的工厂

Bint[5]           # integers ranging in {0,1,2,3,4}
Bint[2, 3, 3]     # 3x3 matrices with entries in {0,1}

dtype = None

shape = None

class BintType

基类: ArrayType

property size

class Dependent(fn)

基类: object

用于依赖类型修饰函数的类型提示。

示例

Dependent[Real]  # a constant known domain
Dependent[lambda x: Array[x.dtype, x.shape[1:]]  # args are Domains
Dependent[lambda x, y: Bint[x.size + y.size]]

参数

fn (callable) – 一个 lambda 函数，接受命名参数（顺序任意），这些参数将用作装饰函数的同名 funsor 参数的域。此 lambda 应根据参数的域计算所需的最终域。

Domain

别名: type

class Real

基类: object

shape = ()

class Reals

基类: object

已知形状的实数值数组类型

Reals[()] = Real  # scalar
Reals[8]          # vector of length 8
Reals[3, 3]       # 3x3 matrix

shape = None

class RealsType

基类: ArrayType

dtype = 'real'

bint(size)

find_domain(op, *domains)

find_domain(op: UnaryOp, domain)

find_domain(op: AstypeOp, domain)

find_domain(op: ExpOp, domain)

find_domain(op: LogOp, domain)

find_domain(op: ReductionOp, domain)

find_domain(op: ReshapeOp, domain)

find_domain(op: GetitemOp, lhs_domain, rhs_domain)

find_domain(op: GetsliceOp, domain)

find_domain(op: BinaryOp, lhs, rhs)

find_domain(op: ComparisonOp, lhs, rhs)

find_domain(op: FloordivOp, lhs, rhs)

find_domain(op: ModOp, lhs, rhs)

find_domain(op: MatmulOp, lhs, rhs)

find_domain(op: AssociativeOp, *domains)

find_domain(op: WrappedTransformOp, domain)

find_domain(op: LogAbsDetJacobianOp, domain, codomain)

find_domain(op: StackOp, parts)

find_domain(op: CatOp, parts)

find_domain(op: EinsumOp, operands)

查找将 op 应用到 domains 时产生的 Domain。:param callable op: 一个操作。:param Domain *domains: 一个或多个输入域。

reals(*args)