prodigy.analysis.evtinvariants.heuristics.positivity.dominat_root_rejection¶

class DominantRootHeuristic(sub_heuristic=None)[source]¶

Bases: PositivityHeuristic

This heuristic tries to falsify positivity for univariate rational functions by using results about dominant roots in the characteristic polynomial of the linear recurrence sequence related to it. More details can be found in https://arxiv.org/pdf/1309.1550.pdf in particular Proposition 2.

Parameters:: sub_heuristic (PositivityHeuristic | None)

logger = <Logger DominantRootHeuristic (DEBUG)>¶