Feature for testing the presence of lrslib¶
- class sage.features.lrs.Lrs(*args, **kwds)[source]¶
- Bases: - Executable- A - Featuredescribing the presence of the- lrsbinary which comes as a part of- lrslib.- EXAMPLES: - sage: from sage.features.lrs import Lrs sage: Lrs().is_present() # optional - lrslib FeatureTestResult('lrs', True) - >>> from sage.all import * >>> from sage.features.lrs import Lrs >>> Lrs().is_present() # optional - lrslib FeatureTestResult('lrs', True) - is_functional()[source]¶
- Test whether - lrsworks on a trivial input.- EXAMPLES: - sage: from sage.features.lrs import Lrs sage: Lrs().is_functional() # optional - lrslib FeatureTestResult('lrs', True) - >>> 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)[source]¶
- Bases: - Executable- A - Featuredescribing the presence of the- lrsnashbinary which comes as a part of- lrslib.- EXAMPLES: - sage: from sage.features.lrs import LrsNash sage: LrsNash().is_present() # optional - lrslib FeatureTestResult('lrsnash', True) - >>> from sage.all import * >>> from sage.features.lrs import LrsNash >>> LrsNash().is_present() # optional - lrslib FeatureTestResult('lrsnash', True) - is_functional()[source]¶
- Test whether - lrsnashworks on a trivial input.- EXAMPLES: - sage: from sage.features.lrs import LrsNash sage: LrsNash().is_functional() # optional - lrslib FeatureTestResult('lrsnash', True) - >>> 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)[source]¶
- Bases: - JoinFeature- A - Featuredescribing the presence of the executables- lrsand- lrsnashprovided by the lrslib package.- EXAMPLES: - sage: from sage.features.lrs import Lrslib sage: Lrslib().is_present() # optional - lrslib FeatureTestResult('lrslib', True) - >>> from sage.all import * >>> from sage.features.lrs import Lrslib >>> Lrslib().is_present() # optional - lrslib FeatureTestResult('lrslib', True)