Features for testing the presence of coxeter3

class sage.features.coxeter3.Coxeter3(*args, **kwds)[source]

Bases: BuildModule

A Feature which describes whether the sage.libs.coxeter3 module is available in this installation of Sage.

EXAMPLES:

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

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

from sage.features.coxeter3 import Coxeter3
Coxeter3().is_present()  # needs coxeter3
Coxeter3().is_present()  # needs !coxeter3

A runtime check. We only check the “present” case because, if feature checks are _not_ deferred, the needs !coxeter3 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: from sage.features.coxeter3 import Coxeter3
sage: Coxeter3().is_present_at_runtime()  # needs coxeter3
FeatureTestResult('coxeter3', True)

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

from sage.features.coxeter3 import Coxeter3
Coxeter3().is_present_at_runtime()  # needs coxeter3
sage.features.coxeter3.all_features()[source]