ByNobleID
    Polynomial automata: zeroness and applications | NobleID