2026a

# sym_in

符号输入的数字类型

函数库: TySymbolicMath

# 语法

sym_in(x,type)

# 说明

sym_in(x,type) 表达了 x 属于指定类型 type 的逻辑条件。示例

# 示例

在符号变量或表达式上表达条件

语法 sym_in(x,type) 表示 x 属于指定类型 type 的条件。表达 x 为 Real 类型的条件。

using TySymbolicMath
@variables x
cond = sym_in(x, "real")

cond = in(x, "real")

测试符号矩阵的元素是否为有理数

创建符号矩阵 M。

using TySymbolicMath
@variables x y z
M = ([1.22 Num(1)*im x; sin(y) 3*x 0; Inf sqrt(3) 22//7])

M = 3×3 Matrix{Complex{Num}}:
   1.22       im      x
 sin(y)       3x      0
    Inf  1.73205  22//7

sym_in(M, "rational")

ans = 3×3 Matrix{TySymbolicMath.In}:
 in(1.22, "rational")    in(im, "rational")                  in(x, "rational")
 in(sin(y), "rational")  in(3x, "rational")                  in(0, "rational")
 in(Inf, "rational")     in(1.7320508075688772, "rational")  in(22//7, "rational")

# 输入参数

x - 输入

输入，指定为符号数、符号向量、符号矩阵、符号多维数组、符号表达式或符号函数。

type - 输入类型

"real" | "positive" | "integer" | "rational"

输入类型，指定为 "real"、"positive"、"integer" 或 "rational"。