sympy-mcp/vars.py at main · sdiehl/sympy-mcp · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
from enum import Enum


class Assumption(Enum):
    ALGEBRAIC = "algebraic"
    COMMUTATIVE = "commutative"
    COMPLEX = "complex"
    EXTENDED_NEGATIVE = "extended_negative"
    EXTENDED_NONNEGATIVE = "extended_nonnegative"
    EXTENDED_NONPOSITIVE = "extended_nonpositive"
    EXTENDED_NONZERO = "extended_nonzero"
    EXTENDED_POSITIVE = "extended_positive"
    EXTENDED_REAL = "extended_real"
    FINITE = "finite"
    HERMITIAN = "hermitian"
    IMAGINARY = "imaginary"
    INFINITE = "infinite"
    INTEGER = "integer"
    IRATIONAL = "irrational"
    NEGATIVE = "negative"
    NONINTEGER = "noninteger"
    NONNEGATIVE = "nonnegative"
    NONPOSITIVE = "nonpositive"
    NONZERO = "nonzero"
    POSITIVE = "positive"
    RATIONAL = "rational"
    REAL = "real"
    TRANSCENDENTAL = "transcendental"
    ZERO = "zero"


class Domain(Enum):
    COMPLEX = "complex"
    REAL = "real"
    INTEGERS = "integers"
    NATURALS = "naturals"


class ODEHint(Enum):
    FACTORABLE = "factorable"
    NTH_ALGEBRAIC = "nth_algebraic"
    SEPARABLE = "separable"
    FIRST_EXACT = "1st_exact"
    FIRST_LINEAR = "1st_linear"
    BERNOULLI = "Bernoulli"
    FIRST_RATIONAL_RICCATI = "1st_rational_riccati"
    RICCATI_SPECIAL_MINUS2 = "Riccati_special_minus2"
    FIRST_HOMOGENEOUS_COEFF_BEST = "1st_homogeneous_coeff_best"
    FIRST_HOMOGENEOUS_COEFF_SUBS_INDEP_DIV_DEP = (
        "1st_homogeneous_coeff_subs_indep_div_dep"
    )
    FIRST_HOMOGENEOUS_COEFF_SUBS_DEP_DIV_INDEP = (
        "1st_homogeneous_coeff_subs_dep_div_indep"
    )
    ALMOST_LINEAR = "almost_linear"
    LINEAR_COEFFICIENTS = "linear_coefficients"
    SEPARABLE_REDUCED = "separable_reduced"
    FIRST_POWER_SERIES = "1st_power_series"
    LIE_GROUP = "lie_group"
    NTH_LINEAR_CONSTANT_COEFF_HOMOGENEOUS = "nth_linear_constant_coeff_homogeneous"
    NTH_LINEAR_EULER_EQ_HOMOGENEOUS = "nth_linear_euler_eq_homogeneous"
    NTH_LINEAR_CONSTANT_COEFF_UNDETERMINED_COEFFICIENTS = (
        "nth_linear_constant_coeff_undetermined_coefficients"
    )
    NTH_LINEAR_EULER_EQ_NONHOMOGENEOUS_UNDETERMINED_COEFFICIENTS = (
        "nth_linear_euler_eq_nonhomogeneous_undetermined_coefficients"
    )
    NTH_LINEAR_CONSTANT_COEFF_VARIATION_OF_PARAMETERS = (
        "nth_linear_constant_coeff_variation_of_parameters"
    )
    NTH_LINEAR_EULER_EQ_NONHOMOGENEOUS_VARIATION_OF_PARAMETERS = (
        "nth_linear_euler_eq_nonhomogeneous_variation_of_parameters"
    )
    LIOUVILLE = "Liouville"
    SECOND_LINEAR_AIRY = "2nd_linear_airy"
    SECOND_LINEAR_BESSEL = "2nd_linear_bessel"
    SECOND_HYPERGEOMETRIC = "2nd_hypergeometric"
    SECOND_HYPERGEOMETRIC_INTEGRAL = "2nd_hypergeometric_Integral"
    NTH_ORDER_REDUCIBLE = "nth_order_reducible"
    SECOND_POWER_SERIES_ORDINARY = "2nd_power_series_ordinary"
    SECOND_POWER_SERIES_REGULAR = "2nd_power_series_regular"
    NTH_ALGEBRAIC_INTEGRAL = "nth_algebraic_Integral"
    SEPARABLE_INTEGRAL = "separable_Integral"
    FIRST_EXACT_INTEGRAL = "1st_exact_Integral"
    FIRST_LINEAR_INTEGRAL = "1st_linear_Integral"
    BERNOULLI_INTEGRAL = "Bernoulli_Integral"
    FIRST_HOMOGENEOUS_COEFF_SUBS_INDEP_DIV_DEP_INTEGRAL = (
        "1st_homogeneous_coeff_subs_indep_div_dep_Integral"
    )
    FIRST_HOMOGENEOUS_COEFF_SUBS_DEP_DIV_INDEP_INTEGRAL = (
        "1st_homogeneous_coeff_subs_dep_div_indep_Integral"
    )
    ALMOST_LINEAR_INTEGRAL = "almost_linear_Integral"
    LINEAR_COEFFICIENTS_INTEGRAL = "linear_coefficients_Integral"
    SEPARABLE_REDUCED_INTEGRAL = "separable_reduced_Integral"
    NTH_LINEAR_CONSTANT_COEFF_VARIATION_OF_PARAMETERS_INTEGRAL = (
        "nth_linear_constant_coeff_variation_of_parameters_Integral"
    )
    NTH_LINEAR_EULER_EQ_NONHOMOGENEOUS_VARIATION_OF_PARAMETERS_INTEGRAL = (
        "nth_linear_euler_eq_nonhomogeneous_variation_of_parameters_Integral"
    )
    LIOUVILLE_INTEGRAL = "Liouville_Integral"
    SECOND_NONLINEAR_AUTONOMOUS_CONSERVED = "2nd_nonlinear_autonomous_conserved"
    SECOND_NONLINEAR_AUTONOMOUS_CONSERVED_INTEGRAL = (
        "2nd_nonlinear_autonomous_conserved_Integral"
    )


class PDEHint(Enum):
    FIRST_LINEAR_CONSTANT_COEFF_HOMOGENEOUS = "1st_linear_constant_coeff_homogeneous"
    FIRST_LINEAR_CONSTANT_COEFF = "1st_linear_constant_coeff"
    FIRST_LINEAR_CONSTANT_COEFF_INTEGRAL = "1st_linear_constant_coeff_Integral"
    FIRST_LINEAR_VARIABLE_COEFF = "1st_linear_variable_coeff"


class Metric(Enum):
    ALCUBIERRE_WARP = "AlcubierreWarp"
    BARRIOLA_VILEKIN = "BarriolaVilekin"
    BERTOTTI_KASNER = "BertottiKasner"
    BESSEL_GRAVITATIONAL_WAVE = "BesselGravitationalWave"
    C_METRIC = "CMetric"
    DAVIDSON = "Davidson"
    ANTI_DE_SITTER = "AntiDeSitter"
    ANTI_DE_SITTER_STATIC = "AntiDeSitterStatic"
    DE_SITTER = "DeSitter"
    ERNST = "Ernst"
    GODEL = "Godel"
    JANIS_NEWMAN_WINICOUR = "JanisNewmanWinicour"
    MINKOWSKI = "Minkowski"
    MINKOWSKI_CARTESIAN = "MinkowskiCartesian"
    MINKOWSKI_POLAR = "MinkowskiPolar"
    KERR = "Kerr"
    KERR_NEWMAN = "KerrNewman"
    REISSNER_NORDSTROM = "ReissnerNordstorm"
    SCHWARZSCHILD = "Schwarzschild"


class Tensor(Enum):
    RICCI_SCALAR = "RicciScalar"
    RICCI_TENSOR = "RicciTensor"
    RIEMANN_CURVATURE_TENSOR = "RiemannCurvatureTensor"
    SCHOUTEN_TENSOR = "SchoutenTensor"
    STRESS_ENERGY_MOMENTUM_TENSOR = "StressEnergyMomentumTensor"
    WEYL_TENSOR = "WeylTensor"
    EINSTEIN_TENSOR = "EinsteinTensor"


class UnitSystem(Enum):
    MKS = "MKS"
    MKSA = "MKSA"
    NATURAL = "natural"
    SI = "SI"
    CGS = "cgs"