|
LMCAS
Lamina Computer Algebra System
|
类 | |
| class | MeasurementRecursion |
变量 | |
| constexpr const char * | kDepthMessage = "equivalence rewrite depth budget exhausted" |
| constexpr const char * | kGrowthMessage = "equivalence node growth budget exhausted" |
| constexpr const char * | kStepMessage = "equivalence rewrite step budget exhausted" |
|
constexpr |
在文件 rewrite_budget.cpp 第 10 行定义.
|
constexpr |
在文件 rewrite_budget.cpp 第 11 行定义.
|
constexpr |
在文件 rewrite_budget.cpp 第 12 行定义.