Features for testing the presence of tdlib

class sage.features.tdlib.Tdlib(*args, **kwds)

Bases: BuildModule

A Feature describing the presence of the SageMath interface to the treedec (formerly tdlib) library.

EXAMPLES:

Sage

sage: from sage.features.tdlib import Tdlib
sage: Tdlib().is_present()  # needs tdlib
FeatureTestResult('tdlib', True)
sage: Tdlib().is_present()  # needs !tdlib
FeatureTestResult('tdlib', False)

Python

>>> from sage.all import *
>>> from sage.features.tdlib import Tdlib
>>> Tdlib().is_present()  # needs tdlib
FeatureTestResult('tdlib', True)
>>> Tdlib().is_present()  # needs !tdlib
FeatureTestResult('tdlib', False)

Sage Live

from sage.features.tdlib import Tdlib
Tdlib().is_present()  # needs tdlib
Tdlib().is_present()  # needs !tdlib

A runtime check. We only check the “present” case because, if feature checks are _not_ deferred, the needs !tdlib can be satisfied (disabled at build time) at the same time we are able to import a module that was installed for a previous build of sage:

Sage

sage: from sage.features.tdlib import Tdlib
sage: Tdlib().is_present_at_runtime()  # needs tdlib
FeatureTestResult('tdlib', True)

Python

>>> from sage.all import *
>>> from sage.features.tdlib import Tdlib
>>> Tdlib().is_present_at_runtime()  # needs tdlib
FeatureTestResult('tdlib', True)

Sage Live

from sage.features.tdlib import Tdlib
Tdlib().is_present_at_runtime()  # needs tdlib

sage.features.tdlib.all_features()

Make live