Inputs , , , | uses H, R, KTEF | Set , an empty sequence, | | Set (, , , , ), (, , , ) | (1) Set , . | While and do | , | If then | If then else | | else stop | (2) Set (, , , , ) | Calculate and from according to (3.6) | Call KTEF(, , , , , ) | on error (KTEF has stoped in a degenerate case) | set go to (2) | Set | Set | Set (, are part of the | output of KTEF). The new interval should be inserted | in the right place to preserve the increasing order of the | sequence | goto (1) | Output |
|