diff --git a/src/sage/doctest/external.py b/src/sage/doctest/external.py index ceec70230d0..aa158c76671 100644 --- a/src/sage/doctest/external.py +++ b/src/sage/doctest/external.py @@ -356,7 +356,9 @@ def external_features(): import sage.features.ffmpeg yield from sage.features.ffmpeg.all_features() import sage.features.interfaces - yield from sage.features.interfaces.all_features() + for feature in sage.features.interfaces.all_features(): + if feature.name != 'mathics': + yield feature from sage.features.mip_backends import CPLEX, Gurobi yield CPLEX() yield Gurobi() @@ -398,7 +400,6 @@ class AvailableSoftware(): 'magma', 'maple', 'mathematica', - 'mathics', 'matlab', 'octave', 'pdflatex',