\def\havemjoalgebra{1}
-% Needed for \operatorname.
-\usepackage{amsopn}
+\ifx\operatorname\undefined
+ \usepackage{amsopn}
+\fi
% The fraction field of its argument, an integral domain. The name
% "Frac" was chosen here instead of "Quot" because the latter