def but.mid

emerging-ezaudio@0.4.0.0 · src/mp3_syn.bend:587

import Base

587# second stage: the 45-degree rotations
588def but.mid(ee: E8) -> E8:
589  match ee:
590    case E8{+z0, +z1, +z2, +z3, +z4, +z5, +z6, +z7}:
591      E8{f.add(z0, z1), f.mul(f.add(z3, z4), c.c707()), f.mul(f.add(z2, z6), c.c707()), z4,
592        f.mul(f.sub(z0, z1), c.c707()), f.add(z5, z2), f.add(z6, z7), z7}