generated at
dual
双対