prodigy.analysis.evtinvariants.heuristics.positivity.positivity

class PositivityHeuristic(sub_heuristic=None)[source]

Bases: ABC

Parameters:

sub_heuristic (PositivityHeuristic | None)

is_positive(f)[source]

Checks heuristically whether a function _f_ has a non-negative power series expansion.

..returns:
  • None: We do not know

  • True: It has a non-negative power series expansion

  • False: There exists at least one negative coefficient in the power series expansion

Parameters:

f (str)

Return type:

bool | None