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('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()¶