takesAlgebraicValuesAt

P161272
predicate

Indicates that a function or expression assumes values that are algebraic (i.e., roots of non-zero polynomials with rational or specified field coefficients) at the specified points or arguments.

Sample triples (1)

Subject Object
modular j-invariant CM points