Check for lrs¶
-
class
sage.features.lrs.Lrs¶ Bases:
sage.features.ExecutableA
sage.features.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('lrslib', True)
-
is_functional()¶ Test whether
lrsworks on a trivial input.EXAMPLES:
sage: from sage.features.lrs import Lrs sage: Lrs().is_functional() # optional: lrslib FeatureTestResult('lrslib', True)
-