Feature for testing the presence of lrslib
#
- class sage.features.lrs.Lrs#
Bases:
sage.features.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#
Bases:
sage.features.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#
Bases:
sage.features.join_feature.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()#