| 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 |
|