Returns if the algebra A is the product of CM fields.
If the algebra A of the element x is a product of CM fields, it returns the complex conjugate of the argument.
Given an order O in a CM-étale algebra, it returns whether O is conjugate stable and the complex conjugate.
Given an order O in a CM-étale algebra, it returns the complex conjugate of O.
Given a fractional ideal I in a CM-étale algebra, it returns whether I is conjugate stable and the complex conjugate. Note: if the order of I is not conjugate stable, then the second output will be defined over the complex conjugate of the order.
If A is a product of CM fields, it returns the complex conjugate of the fractional ideal I. Note: if the order of I is not conjugate stable, then the output will be defined over the complex conjugate of the order.
V2.29, 21 October 2025