See my following example:
f5 // ClearAll;
f5[args__] :=
Block[{eqs = Flatten@{args}},
ContourPlot[eqs//Evaluate, {x, -3, 3}, {y, -3, 3},
EvaluationMonitor ->
Print["f3 x=", x, ", y=", y, ", eqs=", Hold[eqs]]]];
f5[x^2 + y^2 == 5, Assumptions->Element[{x,y},PositiveIntegers]]
However, the results show that this option Assumptions does not take effect. Is there any way to use it like this?
Regards, Zhao