(文字列の代数的評価クラス)
なし
Algebra::AlgebraicParser.eval(string, ring)
なし
変数の値は、その変数名を引数として ring のクラスメソ ッド indeterminate の引数として渡され、その戻り値 として評価されます。また数値は ring.ground のクラス メソッド indterminate で評価されます。
require "algebraic-parser" class A def self.indeterminate(str) case str when "x"; 7 when "y"; 11 end end def A.ground Integer end end p Algebraic::AlgebraicParser.eval("x * y - x^2 + x/8", A) #=> 7*11 - 7**2 + 7/8 = 28
ここで、Integer の indeterminate は algebraic-parser.rb が require している algebra-supplement.rb で次のように定義されています。
def Integer.indeterminate(x) eval(x) end
識別子は、「英字1文字+数字0文字以上」で定義されます。したがって
"a13bc04def0"
は、
"a13 * b * c04 * d * e * f0"
と解釈されます。
演算子を結合の弱い順に並べます。
; 中間評価 +, - 和, 差 +, - 単項 +, 単項 - *, / 積, 商 並置 積 **, ^ 冪
クラス Algebra::Polynomial、クラス Algebra::MPolynomial には適 切に indeterminate, ground が定義されています。したがって次のように文字列評価ができます。
require "algebraic-parser" require "rational" require "m-polynomial" F = Algebra::MPolynomial(Rational) p Algebra::AlgebraicParser.eval("- (2*y)**3 + x", F) #=> -8y^3 + x
Algebra::MPolynomial では、indeterminate は変数を表現するオブジェ クトの登録も行うので、登録順が変数間の順序になります。したがって ; を 使って先に変数を評価させる事によって、順序の変更をする事ができます。
F.variables.clear p Algebra::AlgebraicParser.eval("x; y; - (2*y)**3 + x", F) #=> x - 8y^3