algebraic-number public under complex-number 16 List Picture As a command %3 n0 algebraic-number n2 rational-number n0->n2 n1 complex-number n1->n0