syz => Strategy
syz(f,Strategy => v)
-- an option for
syz
which can be used to specify the strategy to be used in the computation.
The value of the option is simply passed to
gb
, so see the documentation there for details.