# 符号数学基础
提供应用符号数学所需的基础函数
# 创建符号变量
使用符号值和变量
创建符号变量
| 函数名 | 简介 |
|---|---|
| @variables | 创建符号变量，符号数组 |
| @polyvar | 创建构成多项式的变量 |
| @syms | 创建符号变量，符号数组 |
| Set | 创建符号集合 |
| scalarize | 将创建的符号变量或数组标量化显示 |
| Tuple | 创建符号元组 |
| foldl | 从左往右使用函数组合（折叠）向量 |
| foldr | 从右往左使用函数组合（折叠）向量 |
| TySymbolicMath.ifelse | 创建判断语句 |
| PieceWise | 分段表达式 |
# 查找符号变量和项
设置符号变量首选项
查找符号变量和项
| 函数名 | 简介 |
|---|---|
| Num | 将输入封装成 Num 对象 |
| value | 将num型解封装 |
| get_variables | 确定符号表达式中的符号变量 |
| arguments | 获取 x 的参数，如果 istree(x) 为真，则必须定义。 |
| istree | 如果 x 是一个术语，则返回 true。 如果为真，操作，参数也必须为 x 适当地定义 |
| occursin | 确定第二个参数是否包含第一个参数 |
| operation | 如果 x 是 istree(x) 定义的项，则 operation(x) 返回项的头部，如果 x代表一个函数调用，例如head就是被调用的函数 |
| hash | 计算哈希编码 |
| symvar | 在符号输入中查找符号变量 |
# 运算符和基本运算
对符号对象执行算术、关系和逻辑运算
TySymbolicMath 包括用于符号对象上的算术、关系和逻辑运算以及模数运算的函数。
算术运算
关系运算
| 函数名 | 简介 |
|---|---|
| Equation | 两个表达式之间的相等关系,构建方程 |
| hasSymType | 确定符号对象是否包含特定类型 |
| istree | 如果 x 是一个术语，则返回 true。 如果为真，操作，参数也必须为 x 适当地定义 |
| operation | 返回操作 |
| sym_isequaln | 测试符号对象的相等性，将 NaN 值视为相等 |
| symtype | 返回 x 的符号类型 |
| promote_symtype | 将 f 应用于 symtype 的参数的结果 |
| == | 定义等于符号 |
| > | 定义大于符号 |
| >= | 定义大于等于符号 |
| <= | 定义小于等于符号 |
| < | 定义小于符号 |
| != | 定义不等于符号 |
| repr | 使用show函数从任何值创建一个字符串 |
| has | 检查表达式是否包含特定的子表达式 |
逻辑运算
数字运算
基本统计量
# 符号和数值转换
将符号数据转换为数值，将数值转换为符号对象
符号和数值转换
# 单位制
使用物理单位，转换单位，检查单位一致性和兼容性
单位制
| 函数名 | 简介 |
|---|---|
| basefactors | 查看单位制列表及换算进制 |
| convfact | 查找单位间转换的跨度 |
| Quantity | 创建一个带有数值 x 和单位 y 的量 |
| uparse | 将字符串解析为单位或数量 |
| promote_unit | 单位提升 |
| promotion | 查看国际单位制及基本单位 |
| unit | 数量或数量类型关联的单位 |
| uconvert | 将单位转换为其他计量单位 |
| * | 单位或维度相乘 |
| BracketStyle | 括号类型 |
| uconvertp | 将单位转换为其他计量单位 |
| TySymbolicMath.DefaultSymbols | 直接使用单位 |
| @unit | 定义一个单位 |
| @refunit | 定义一个单位，包含 SI 前缀 |
| @affineunit | 定义仿射单位的宏 |
| upreferred | 返回单位或维度的基本单位 |
| symunit2str | 将单位转换为字符向量 |
| unitConversionFactor | 单位之间的换算系数 |
| unitConvert | 将单位转换为其他度量单位 |
| findUnits | 查找输入的单位 |
| isUnit | 确定输入是否为符号单位 |
| mixedUnits | 将单位拆分为单位总和 |
| checkUnits | 检查量纲和单位的一致性 |
| unitInfo | 计量单位信息 |