Feature for testing the presence of (lib)brial

class sage.features.brial.Brial(*args, **kwds)[source]

Bases: BuildModule

A sage.features.Feature describing the presence of sage.rings.polynomial.pbori.

The sage.rings.polynomial.pbori module in turn depends on the presence and usability of libbrial – a slightly more modern fork of PolyBoRi, which hopefully explains the name.

EXAMPLES:

sage: from sage.features.brial import Brial
sage: Brial().is_present()  # needs brial
FeatureTestResult('brial', True)
sage: Brial().is_present()  # needs !brial
FeatureTestResult('brial', False)
>>> from sage.all import *
>>> from sage.features.brial import Brial
>>> Brial().is_present()  # needs brial
FeatureTestResult('brial', True)
>>> Brial().is_present()  # needs !brial
FeatureTestResult('brial', False)
from sage.features.brial import Brial
Brial().is_present()  # needs brial
Brial().is_present()  # needs !brial

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