Class: SyMath::Definition::Fact

Inherits:
Function show all
Defined in:
lib/symath/definition/fact.rb

Instance Attribute Summary

Attributes inherited from Operator

#args, #exp

Attributes inherited from SyMath::Definition

#name

Instance Method Summary collapse

Methods inherited from Function

#check_pi_fraction, functions, init_builtin, #is_function?, #latex_format

Methods inherited from Operator

#<=>, #==, #arity, #call, #compose_with_simplify, #dump, #evaluate_call, init_builtin, #is_operator?, #latex_format, operators, #replace, #validate_args

Methods inherited from SyMath::Definition

#<=>, #==, #arity, define, defined?, definitions, get, #hash, init_builtin, #inspect, #is_constant?, #is_function?, #is_operator?, #replace, 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 ⇒ Fact

Returns a new instance of Fact.



5
6
7
 
# File 'lib/symath/definition/fact.rb', line 5

def initialize()
  super(:fact)
end

Instance Method Details

#description ⇒ Object 



9
10
11
 
# File 'lib/symath/definition/fact.rb', line 9

def description()
  return 'fact(x) - factorial'
end

#reduce_call(c) ⇒ Object 



13
14
15
16
17
18
19
20
21
22
23
 
# File 'lib/symath/definition/fact.rb', line 13

def reduce_call(c)
  arg = c.args[0]
  
  if arg.is_number?
    if arg.value <= SyMath.setting(:max_calculated_factorial)
      return (2..arg.value).reduce(1, :*).to_m
    end
  end

  return c
end

#to_latex(args = nil) ⇒ Object 



40
41
42
43
44
45
46
47
48
49
50
51
52
53
 
# File 'lib/symath/definition/fact.rb', line 40

def to_latex(args = nil)
  if args
    if args[0].is_a?(SyMath::Definition::Variable) or
      args[0].is_a?(SyMath::Definition::Constant)
      arg = args[0].to_latex
    else
      arg = "(#{args[0].to_latex})"
    end
  else
    arg = '(...)'
  end
  
  return "#{arg}!"
end

#to_s(args = nil) ⇒ Object 



25
26
27
28
29
30
31
32
33
34
35
36
37
38
 
# File 'lib/symath/definition/fact.rb', line 25

def to_s(args = nil)
  if args
    if args[0].is_a?(SyMath::Definition::Variable) or
      args[0].is_a?(SyMath::Definition::Constant)
      arg = args[0].to_s
    else
      arg = "(#{args[0].to_s})"
    end
  else
    arg = '(...)'
  end

  return "#{arg}!"
end