Global variable
trivial_solutions
Default value: true
true
When trivial_solutions is true, Zeilberger returns solutions which have certificate equal to zero, or all coefficients equal to zero.
Zeilberger