frftの初期の定義はにより導入された。