LMCAS
Lamina Computer Algebra System
Toggle main menu visibility
载入中...
搜索中...
未找到
property_store_support.cpp
浏览该文件的文档.
1
#include "
internal/property_store_support.hpp
"
2
3
namespace
LMCAS::property_detail
{
4
5
std::string
domain_str
(
Domain
domain
) {
6
static
const
std::pair<Domain, const char*> names[] = {
7
{
Domain::Complex
,
"Complex"
},
8
{
Domain::Real
,
"Real"
},
9
{
Domain::Algebraic
,
"Algebraic"
},
10
{
Domain::Rational
,
"Rational"
},
11
{
Domain::Integer
,
"Integer"
},
12
{
Domain::Natural
,
"Natural"
},
13
{
Domain::PositiveInt
,
"PositiveInt"
}
14
};
15
for
(
const
auto
&
name
: names) {
16
if
(
domain
==
name
.first)
return
name
.second;
17
}
18
return
"Complex"
;
19
}
20
PropertyStoreResult
invalid_empty_symbol
(
const
std::string& operation) {
21
return
PropertyStoreResult::failure
(
22
CasErrc::InvalidArgument
,
"symbol name must not be empty"
, operation);
23
}
24
25
}
LMCAS::Result< void >::failure
static Result failure(CasErrc code, std::string message, std::string operation={})
定义
result.hpp:99
LMCAS::property_detail
定义
property_store_support.hpp:5
LMCAS::property_detail::domain_str
std::string domain_str(Domain domain)
定义
property_store_support.cpp:5
LMCAS::property_detail::invalid_empty_symbol
PropertyStoreResult invalid_empty_symbol(const std::string &operation)
定义
property_store_support.cpp:20
LMCAS::PropertyStoreResult
Result< void > PropertyStoreResult
定义
property_store.hpp:25
LMCAS::Domain
Domain
Mathematical domain hierarchy (least specific → most specific). Complex ⊃ Real ⊃ Algebraic ⊃ Rational...
定义
assumption.hpp:15
LMCAS::Domain::Complex
@ Complex
Complex numbers (default, least specific)
定义
assumption.hpp:16
LMCAS::Domain::Rational
@ Rational
Rational numbers
定义
assumption.hpp:19
LMCAS::Domain::Natural
@ Natural
Non-negative integers (0, 1, 2, ...)
定义
assumption.hpp:21
LMCAS::Domain::Real
@ Real
Real numbers
定义
assumption.hpp:17
LMCAS::Domain::Integer
@ Integer
Integers
定义
assumption.hpp:20
LMCAS::Domain::Algebraic
@ Algebraic
Algebraic numbers (roots of polynomials with rational coefficients)
定义
assumption.hpp:18
LMCAS::Domain::PositiveInt
@ PositiveInt
Positive integers (1, 2, 3, ...)
定义
assumption.hpp:22
LMCAS::CasErrc::InvalidArgument
@ InvalidArgument
定义
result.hpp:13
LMCAS::domain
const NumberDomainSet & domain
定义
expr.hpp:378
LMCAS::name
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std const std::string & name
定义
equivalence_options.hpp:41
property_store_support.hpp
src
property_store_support.cpp
生成于
, 为 LMCAS使用
1.18.0