Feature for testing the presence of lrslib

class sage.features.lrs.Lrs

Bases: sage.features.Executable

A Feature describing the presence of the lrs binary which comes as a part of lrslib.

EXAMPLES:

sage: from sage.features.lrs import Lrs
sage: Lrs().is_present()  # optional - lrslib
FeatureTestResult('lrslib', True)
is_functional()

Test whether lrs works on a trivial input.

EXAMPLES:

sage: from sage.features.lrs import Lrs
sage: Lrs().is_functional()  # optional - lrslib
FeatureTestResult('lrslib', True)
sage.features.lrs.all_features()