Feature for testing the presence of lrslib

class sage.features.lrs.Lrs(*args, **kwds)

Bases: Executable

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

EXAMPLES:

Sage

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

Python

>>> from sage.all import *
>>> from sage.features.lrs import Lrs
>>> Lrs().is_present()  # optional - lrslib
FeatureTestResult('lrs', True)

is_functional()

Test whether lrs works on a trivial input.

EXAMPLES:

Sage

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

Python

>>> from sage.all import *
>>> from sage.features.lrs import Lrs
>>> Lrs().is_functional()  # optional - lrslib
FeatureTestResult('lrs', True)

class sage.features.lrs.LrsNash(*args, **kwds)

Bases: Executable

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

EXAMPLES:

Sage

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

Python

>>> from sage.all import *
>>> from sage.features.lrs import LrsNash
>>> LrsNash().is_present()  # optional - lrslib
FeatureTestResult('lrsnash', True)

is_functional()

Test whether lrsnash works on a trivial input.

EXAMPLES:

Sage

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

Python

>>> from sage.all import *
>>> from sage.features.lrs import LrsNash
>>> LrsNash().is_functional()  # optional - lrslib
FeatureTestResult('lrsnash', True)

class sage.features.lrs.Lrslib(*args, **kwds)

Bases: JoinFeature

A Feature describing the presence of the executables lrs and lrsnash provided by the lrslib package.

EXAMPLES:

Sage

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

Python

>>> from sage.all import *
>>> from sage.features.lrs import Lrslib
>>> Lrslib().is_present()  # optional - lrslib
FeatureTestResult('lrslib', True)

sage.features.lrs.all_features()