Class: SyMath::Definition::D

Inherits:
Operator show all
Defined in:
lib/symath/definition/d.rb

Instance Attribute Summary

Attributes inherited from Operator

#args, #exp

Attributes inherited from SyMath::Definition

#name

Instance Method Summary collapse

Methods inherited from Operator

#<=>, #==, #arity, #call, #dump, init_builtin, #is_operator?, operators, #replace, #to_latex, #to_s

Methods inherited from SyMath::Definition

#<=>, #==, #arity, define, defined?, definitions, get, #hash, init_builtin, #inspect, #is_constant?, #is_function?, #is_operator?, #reduce_call, #replace, #to_latex, #to_s, undefine, #variables

Methods inherited from Value

#*, #**, #+, #-, #-@, #/, #<, #<=, #<=>, #>, #>=, #^, #add, #base, compose_with_simplify, create, #deep_clone, #div, #dump, #evaluate, #exponent, #factors, #inspect, #inv, #is_divisor_factor?, #is_finite?, #is_nan?, #is_negative?, #is_negative_number?, #is_number?, #is_positive?, #is_prod_exp?, #is_sum_exp?, #is_unit_quaternion?, #is_zero?, #mul, #neg, #power, #reduce, #reduce_modulo_sign, #sign, #sub, #terms, #to_m, #type, #wedge

Methods included from Operation::Exterior

#flat, #hodge, #sharp

Methods included from Operation::Integration

#anti_derivative, #get_linear_constants, initialize, #int_constant, #int_failure, #int_function, #int_inv, #int_pattern, #int_power, #int_product, #int_sum, #integral_bounds

Methods included from Operation::Differential

#_d_wedge, #d, #d_failure, #d_fraction, #d_function, #d_function_def, #d_power, #d_product, initialize

Methods included from Operation

#iterate, #recurse

Methods included from Operation::DistributiveLaw

#combfrac_add_term, #combfrac_sum, #combine_fractions, #expand, #expand_product, #expand_single_pass, #factorize, #factorize_integer_poly, #factorize_simple, #has_fractional_terms?

Methods included from Operation::Normalization

#combine_factors, #compare_factors_and_swap, #normalize, #normalize_matrix, #normalize_power, #normalize_product, #normalize_single_pass, #normalize_sum, #order_product, #product_on_fraction_form, #reduce_constant_factors, #replace_combined_factors, #swap_factors

Methods included from Operation::Match

#build_assoc_op, #match, #match_assoc, #match_replace

Constructor Details

#initialize ⇒ D

Returns a new instance of D.



7
8
9
 
# File 'lib/symath/definition/d.rb', line 7

def initialize()
  super(:d)
end

Instance Method Details

#compose_with_simplify(name, args) ⇒ Object 



29
30
31
32
33
34
35
36
37
38
39
40
 
# File 'lib/symath/definition/d.rb', line 29

def compose_with_simplify(name, args)
  exp = args[0]
  vars = args[1..-1]

  if exp.is_a?(SyMath::Definition::Variable) and
    exp.type.is_scalar? and
    vars.length == 0
    return exp.to_d
  end

  return
end

#description ⇒ Object 



11
12
13
 
# File 'lib/symath/definition/d.rb', line 11

def description()
  return 'd(f) - differential of f with respect to its input variables'
end

#evaluate_call(c) ⇒ Object 



42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
 
# File 'lib/symath/definition/d.rb', line 42

def evaluate_call(c)
  e = c.args[0]

  # If argument is a function, differentiate on all function
  # arguments.
  if e.is_a?(SyMath::Definition::Function)
    vars = e.args
  else
    # Find first free variable in expression.
    vars = [(e.variables)[0].to_m]
    e = lmd(e, *vars)
  end

  return lmd(e.d(vars), *vars)
end

#latex_format ⇒ Object 



58
59
60
 
# File 'lib/symath/definition/d.rb', line 58

def latex_format()
  return '\mathrm{d}(%s)'
end

#validate_args(e) ⇒ Object 



15
16
17
18
19
20
21
22
23
24
25
26
27
 
# File 'lib/symath/definition/d.rb', line 15

def validate_args(e)
  # Arguments 1, 2, ... are supposed to be variables to differentiate
  # over.
  e.args[1..-1].each do |v|
    if !v.is_a?(SyMath::Definition::Variable)
      raise "Expected variable, got #{v.class.name}"
    end

    if v.is_d?
      raise "Var is not allowed to be differential, got #{v}"
    end
  end
end