Feature for testing the presence of lrslib
#
- class sage.features.lrs.Lrs(*args, **kwds)#
Bases:
Executable
A
Feature
describing the presence of thelrs
binary which comes as a part oflrslib
.EXAMPLES:
sage: from sage.features.lrs import Lrs sage: Lrs().is_present() # optional - lrslib FeatureTestResult('lrs', 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('lrs', True)
- class sage.features.lrs.LrsNash(*args, **kwds)#
Bases:
Executable
A
Feature
describing the presence of thelrsnash
binary which comes as a part oflrslib
.EXAMPLES:
sage: from sage.features.lrs import LrsNash sage: LrsNash().is_present() # optional - lrslib FeatureTestResult('lrsnash', True)
- is_functional()#
Test whether
lrsnash
works on a trivial input.EXAMPLES:
sage: from sage.features.lrs import LrsNash sage: 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 which comes as a part oflrslib
.EXAMPLES:
sage: from sage.features.lrs import Lrslib sage: Lrslib().is_present() # optional - lrslib FeatureTestResult('lrslib', True)
- sage.features.lrs.all_features()#