n. (of an objectO1 subject to constriants)
an objectO2 that if the specified constraints are satisfied
by O1 without any modification might or might not be identical
to O1, or else that must be a freshobject that
resembles a copy of O1 except that it has been modified as
necessary to satisfy the constraints.
adj. (of a value returned by a Common Lispfunction that
implements a mathematically irrational or transcendental
function defined in the complex domain)
of possibly many (sometimes an infinite number of) correct values for the
mathematical function, being the particular value which the corresponding
Common Lispfunction has been defined to return.