Decide ideal membership and compute canonical normal forms modulo an ideal

Original label: Decide ideal membership and compute canonical normal forms modulo an ideal