Module: LyambdaGem::Reducer

Defined in:
lib/lyambda_gem/reducer.rb

Class Method Summary collapse

Class Method Details

.to_normal(term, strategy: :normal_order, verbose: false) ⇒ Object 



3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
# File 'lib/lyambda_gem/reducer.rb', line 3

def self.to_normal(term, strategy: :normal_order, verbose: false)
  step = 0
  puts "##{step} #{term}" if verbose
  while term.reduceable?
    term = term.reduce(strategy: strategy)

    step += 1
    puts "##{step} #{term}" if verbose
    if (step > 1000)
      puts "Редукция не завершилась за 1000 шагов, возможно бесконечный цикл. Прерывание."
      break
    end
  end
  term
end