GroebnerBasis::modflt
PolynomialReduce::modflt
GroebnerBasis`GroebnerWalk`GroebnerWalk::modflt
GroebnerBasis`DistributedTermsList::modflt
An error occurs in this example because a nonzero value for the Modulus option is not compatible with CoefficientDomain->InexactNumbers.