def d9.from
import emerging-ezaudio@0.4.0.0/src/mp3_syn.bend as Mp3Synimport Base
251# assemble the nine DCT outputs from the even and odd parts
252def d9.from(
253 +t0: F32, +s0: F32, +t4: F32, +t2: F32, +s6: F32, +s4: F32, +s3: F32, +u0: F32, +u4: F32,
254 +u2: F32, +s1: F32
255) -> D9:
256 D9{d9.s2(s0, s4), d9.y4(s4, s0), d9.s8c(t0, t2, s6), d9.s0c(t0, t4, t2), d9.s4c(t0, t4, s6), s1,
257 d9.s5c(u0, s3, u2), d9.s7c(u4, s3, u0), d9.s3c(u4, s3, u2)}