Feature for testing the presence of lrslib¶
- class sage.features.lrs.Lrs(*args, **kwds)[source]¶
Bases:
ExecutableA
Featuredescribing the presence of thelrsbinary which comes as a part oflrslib.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:
ExecutableA
Featuredescribing the presence of thelrsnashbinary which comes as a part oflrslib.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:
JoinFeatureA
Featuredescribing the presence of the executableslrsandlrsnashprovided 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)