If a litigant chooses to enforce a Federal right in a State court, he cannot be heard to object if he is treated exactly as are plaintiffs who press like claims arising under State law with regard to the form in which the claim must be stated -- the particularity, for instance, with which a cause of action must be described.

If, at any time during the assignment pass, the compiler finds that there are no more index words available for assignment, the warning message `` No More Index Words Available '' will be placed in the object program listing, the table will be altered to show that index words 1 through 96 are available, and the assignment will continue as before.

If the compiler finds that there are no more electronic switches available for assignment, the warning message `` No More Electronic Switches Available '' will be placed in the object program listing, the table will be altered to show that electronic switches 1 through 30 are available, and assignment will continue as before.

If the automorphisms of an object X form a set ( instead of a proper class ), then they form a group under composition of morphisms.

If this article / noun pair is used as the object of a verb, it ( usually ) changes to the accusative case, which entails an article shift in German – Ich sehe den Wagen.

If the object point be infinitely distant, all rays received by the first member of the system are parallel, and their intersections, after traversing the system, vary according to their perpendicular height of incidence, i. e. their distance from the axis.

If the object point O is infinitely distant, u1 and u2 are to be replaced by h1 and h2, the perpendicular heights of incidence ; the sine condition then becomes sin u ' 1 / h1 = sin u ' 2 / h2.

If, in an unsharp image, a patch of light corresponds to an object point, the center of gravity of the patch may be regarded as the image point, this being the point where the plane receiving the image, e. g., a focusing screen, intersects the ray passing through the middle of the stop.

If we look at this situation from far above, so that we cannot see the supporters, we see the large balloon as a small object animated by erratic movement.

If there be any party which is more pledged than another to resist a policy of restrictive legislation, having for its object social coercion, that party is the Liberal party.

If F and G are ( covariant ) functors between the categories C and D, then a natural transformation η from F to G associates to every object X in C a morphism in D such that for every morphism in C, we have ; this means that the following diagram is commutative:

If a pixel-by-pixel ( image order ) approach to rendering is impractical or too slow for some task, then a primitive-by-primitive ( object order ) approach to rendering may prove useful.

If a rotating frame is chosen so that just the angular position of an object is held fixed, more complicated motion, such as elliptical and open orbits, appears because the centripetal and centrifugal forces will not balance.

If there is a direct object, the indirect object can be expressed by an object pronoun placed between the verb and the direct object.

If the average density ( including any air below the waterline ) of an object is less than water it will float in water and if it is more than water's it will sink in water.

If the obstructing object provides multiple, closely spaced openings, a complex pattern of varying intensity can result.

If a particular object did not support a, it could be easily added in the module.

Frege, however, did not conceive of objects as forming parts of senses: If a proper name denotes a non-existent object, it does not have a reference, hence concepts with no objects have no truth value in arguments.

If the occulting object has an atmosphere, however, some of the luminosity of the star can be refracted into the volume of the umbra.

If a physical object statement is to be translatable into a sense-data statement, the former must be at least deducible from the latter.

Likewise, a functor from G to the category of vector spaces, Vect < sub > K </ sub >, is a linear representation of G. In general, a functor G → C can be considered as an " action " of G on an object in the category C. If C is a group, then this action is a group homomorphism.

If a laser is swept across a distant object, the spot of laser light can easily be made to move across the object at a speed greater than c. Similarly, a shadow projected onto a distant object can be made to move across the object faster than c. In neither case does the light travel from the source to the object faster than c, nor does any information travel faster than light.

If the circumstances are faced frankly it is not reasonable to expect this to be true.

If his dancers are sometimes made to look as if they might be creatures from Mars, this is consistent with his intention of placing them in the orbit of another world, a world in which they are freed of their pedestrian identities.

If a work is divided into several large segments, a last-minute drawing of random numbers may determine the order of the segments for any particular performance.

If they avoid the use of the pungent, outlawed four-letter word it is because it is taboo ; ;

If Wilhelm Reich is the Moses who has led them out of the Egypt of sexual slavery, Dylan Thomas is the poet who offers them the Dionysian dialectic of justification for their indulgence in liquor, marijuana, sex, and jazz.

If he is the child of nothingness, if he is the predestined victim of an age of atomic wars, then he will consult only his own organic needs and go beyond good and evil.

If it is an honest feeling, then why should she not yield to it??

If he thus achieves a lyrical, dreamlike, drugged intensity, he pays the price for his indulgence by producing work -- Allen Ginsberg's `` Howl '' is a striking example of this tendency -- that is disoriented, Dionysian but without depth and without Apollonian control.

If love reflects the nature of man, as Ortega Y Gasset believes, if the person in love betrays decisively what he is by his behavior in love, then the writers of the beat generation are creating a new literary genre.

If he is good, he may not be legal ; ;

If the man on the sidewalk is surprised at this question, it has served as an exclamation.

If the existent form is to be retained new factors that reinforce it must be introduced into the situation.

If we remove ourselves for a moment from our time and our infatuation with mental disease, isn't there something absurd about a hero in a novel who is defeated by his infantile neurosis??

If many of the characters in contemporary novels appear to be the bloodless relations of characters in a case history it is because the novelist is often forgetful today that those things that we call character manifest themselves in surface behavior, that the ego is still the executive agency of personality, and that all we know of personality must be discerned through the ego.

If he is a traditionalist, he is an eclectic traditionalist.

If our sincerity is granted, and it is granted, the discrepancy can only be explained by the fact that we have come to believe hearsay and legend about ourselves in preference to an understanding gained by earnest self-examination.

If to be innocent is to be helpless, then I had been -- as are we all -- helpless at the start.

If T is a linear operator on an arbitrary vector space and if there is a monic polynomial P such that Af, then parts ( A ) and ( B ) of Theorem 12 are valid for T with the proof which we gave.

If we are discussing differentiable complex-valued functions, then Af and V are complex vector spaces, and Af may be any complex numbers.

If the rake angle **yc of the knife is high enough and the friction angle **yt between the front of the knife and the back of the chip is low enough to give a positive value for Af, the resultant vector R will lie above the plane of the substrate.

If T is the total `` length '' of the process, its feed state may be denoted by a vector p(T) and the product state by p(Q).

If the same state vector appears on both bra and ket side,

If the vector field represents the flow velocity of a moving fluid, then the curl is the circulation density of the fluid.

If is any unit vector, the projection of the curl of F onto is defined to be the limiting value of a closed line integral in a plane orthogonal to as the path used in the integral becomes infinitesimally close to the point, divided by the area enclosed.

If is an outward pointing in-plane normal, whereas is the unit vector perpendicular to the plane ( see caption at right ), then the orientation of C is chosen so that a tangent vector to C is positively oriented if and only if forms a positively oriented basis for R < sup > 3 </ sup > ( right-hand rule ).

If φ is a scalar valued function and F is a vector field, then

If is a convex set, for any in, and any nonnegative numbers such that, then the vector

If the coordinates represent spatial positions ( displacements ), it is common to represent the vector from the origin to the point of interest as.

If the earlier completion procedure is applied to a normed vector space, the result is a Banach space containing the original space as a dense subspace, and if it is applied to an inner product space, the result is a Hilbert space containing the original space as a dense subspace.

If a vector field F with zero divergence is defined on a ball in R < sup > 3 </ sup >, then there exists some vector field G on the ball with F = curl ( G ).

If T is a ( p, q )- tensor ( p for the contravariant vector and q for the covariant one ), then we define the divergence of T to be the ( p, q − 1 )- tensor

If the source is located at an arbitrary source point, denoted by the vector and the field point is located at the point, then we may represent the scalar Green's function ( for arbitrary source location ) as:

If is defined as the unitary DFT of the vector then

If we view the DFT as just a coordinate transformation which simply specifies the components of a vector in a new coordinate system, then the above is just the statement that the dot product of two vectors is preserved under a unitary DFT transformation.

If y is a point where the vector field v ( y ) ≠ 0, then there is a change of coordinates for a region around y where the vector field becomes a series of parallel vectors of the same magnitude.

If the next time the orbit loops around phase space in a different way, then it is impossible to rectify the vector field in the whole series of patches.

Tensor products: If C denotes the category of vector spaces over a fixed field, with linear maps as morphisms, then the tensor product defines a functor C × C → C which is covariant in both arguments.