qif.refinement

Refinement relations.

qif.refinement.add_metric(*args, **kwargs)

Overloaded function.

  1. add_metric(pi: Row<double>, A: Mat<double>, B: Mat<double>) -> Tuple[float, Mat<double>]

  2. add_metric(pi: Row<rat>, A: Mat<rat>, B: Mat<rat>) -> Tuple[mppp::rational<1>, Mat<rat>]

qif.refinement.add_metric_bound(*args, **kwargs)

Overloaded function.

  1. add_metric_bound(pi: Row<double>, A: Mat<double>, B: Mat<double>) -> float

  2. add_metric_bound(pi: Row<rat>, A: Mat<rat>, B: Mat<rat>) -> mppp::rational<1>

qif.refinement.max_refined_by(*args, **kwargs)

Overloaded function.

  1. max_refined_by(A: Mat<double>, B: Mat<double>) -> bool

  2. max_refined_by(A: Mat<rat>, B: Mat<rat>) -> bool

qif.refinement.priv_refined_by(A: Mat<double>, B: Mat<double>) → bool
qif.refinement.refined_by(*args, **kwargs)

Overloaded function.

  1. refined_by(A: Mat<double>, B: Mat<double>, method: str = ‘factorize’) -> object

  2. refined_by(A: Mat<rat>, B: Mat<rat>, method: str = ‘factorize’) -> object