| 词汇 | example_english_commute |
| 释义 | Examples of commuteThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Second, the externality of its necessity, which might have promised to safeguard (so to speak) its surprise, gets commuted into an encephalic interiority. Many others now are commuting daily from the valleys to new industries nearer the coast. Most farmers would not need to resettle because the new lands are at commuting distances from the villages. Of those who migrated, 71 per cent were engaged in long distance migration while the remaining 21 per cent commuted with livestock. In the case of petty traffickers, the sentence was often commuted. Now, improving a nearly commuting diagram to a commuting one is a standard ^ procedure in hyperbolic dynamics. Two observables which do not have the special property of commuting with each other will not be simultaneously measurable. More precisely, here are the boundary versions of this kind of 'identity principle' for commuting holomorphic maps. Finally, for the left-hand component of, we must show that the outward square of the diagram commutes. We need to show that the upper left-hand square commutes. Of course, commuting is not a new phenomenon. The impact of such decisions on commuting behaviour, and attitudes towards different forms of transport, are examined below. Regularization commutes with exterior differentiation, and the extension is chosen so that it commutes with exterior differentiation as well. Under the legislation of the nineteenth century tithes were commuted into tithe rentcharge, an annual sum varying with the price of corn. Furthermore, each such commuting diagram corresponds to a transition. The bottom face commutes, since f is a homomorphism. Additionally, h3 commutes with respect to m3 because it is minimal. The point is that the differential d on the first complex commutes with 1 d on the last complex. Like many others, he commuted daily from his home,66 while those even further from home had to find local accommodation. Since the diagram commutes we deduce that g = 1, as required. By construction the following diagram commutes, where p and p f are surjective. From these points, we counted all bats that could b e observed commuting between islands. The recommendation to mercy and the custom of commuting those rare death sentences handed down to female felons to life imprisonment reinforced women's inferiority. Common singularities of commuting vector fields on 2-manifolds. We say that the centralizer of f is trivial if f commutes only with its integer powers. Any diffeomorphism g that commutes with f can be simultaneously linearized, and this linear map must preserve the same invariant set. We shall show below that the outer shape commutes. Thus, by the uniqueness of solutions, we know that the triangle (2.2) commutes. Since the diagram (4.3) commutes and since this class is respected by base change, we have the following proposition. Let us start with the notion of commuting relations. The calculus has the non-linear and linear implications as the basic constructs, and this design choice allows a technically manageable axiomatisation without commuting conversions. Again, we do not need any additional axiom for commuting conversions. Mixed substitution commutes with all other term forming operations, avoiding captures as necessary. There is a 'forgetful functor' from bihaviours to behaviours, which commutes with all connectives so far defined. Next we see that predicate lifting commutes with direct and inverse images. Thus, we only have to show that the naturality diagram commutes for them. The right square commutes by naturality of strength, and so does the perimeter. Thus, the front commutes, which shows that p is central. The next square commutes by naturality of ws and the fact that p is central. Note that the above two equations do not imply that a ?ed formula commutes with any context, only with a ?ed context. In a forthcoming paper we extend our construction to commuting toral automorphisms. Commuting integrals of the geodesic flow are just lifts of commuting functions in the space of geodesics. However, this is an overestimate since mill workers commuted. The notion of rotation number can be generalized to commuting pairs as follows. We want next to consider commuting pairs with a single critical point. The following theorem establishes a necessary and sufficient condition so that two parabolic commuting maps coincide. Identity principles for commuting holomorphic self-maps of the unit disc. In the first case the foliations are given by the suspensions of pairs of commuting diffeomorphisms of the circle. As a corollary we show that the limiting behavior of linear multiple ergodic averages is the same for commuting transformations. Any functor which has a right adjoint which itself also has a right adjoint and therefore commutes with inductive limits respects objects of finite presentation. The proof is by induction from the fact that a 2-cell of automata is a function between state objects that commutes with the action. The first case is when both reductions are performed independently, and hence can be commuted. Finally, we must show that commutes with vertical composition. Of course this supposes some commutation of the other logical connectives with provability; conjunction commutes with provability already in the classical case. We can prove that commutes with given further assumptions. In other words, we are to prove that the outward square of the diagram (29) commutes (here, inm denotes the injection into the middle summand). The left-hand square commutes by assumption and the right-hand one obviously does. Then the following diagram commutes; this is a consequence of the commutation of diagram 17. The second diagram is the same as the first up to coherent isomorphisms, and thus it also commutes. Two household-level variables, characterizing extent of migration from the household either on a permanent or a daily commuting basis, were defined. Such a model works well for plural nouns, because it is clear that the definite article commutes with zero in the context of plural nouns. Slow entropy type invariants and smooth realizations of commuting measure-preserving transformations. Competition from mechanized, urban industry had undermined many 'traditional ' rural industries by the 1870s, whilst most of the countryside remained out of commuting range. Finally, we show that the encoding commutes with substitution, establishing compositionality. To summarise, commutes with negative connectives, that is, we can freely extend or restrict the scope of the quantifier. Unfortunately, the two relations are not strongly commuting, since each of them can duplicate redexes of the other. Nets turn out to work much better here, because they deal with commuting conversions and exchange implicitly. In the following we show how the previous diagram commutes by illustrating the horizontal steps. The other property left to be shown is that commutes with vertical composition. In the second case, one adds equations expressing that every operation of one theory commutes with every operation of the other theory. The bottom triangle commutes by definition of p ; everything else commutes by ccc operations. The roads are often congested for commuting to work and for commercial transactions, and they are punctuated by numerous traffic lights. Note that figure 5 consists of commuting diagrams. The death sentence originally given for this lapse was later commuted to 20 years hard labour. In the early part of the century, thousands of ruralbased building workers commuted to the city on a daily basis. When the dynamics of cut-elimination is to be studied, the use of proofnets becomes virtually mandatory, cut-elimination in sequent calculus being blurred by countless commuting conversions of no computational value. The upper left-hand part commutes since e is a solution of e, the right-hand part commutes since h is a homomorphism, and the lower part is obvious. Products of coboundaries for commuting nonsingular automorphisms. The tracking data suggest a pattern of commuting distances of up to 700 m long and use of rather large areas up to c. 16 ha by individual bats. Unitary dilations for commuting contractions. C*-algebras of commuting endomorphisms. However, since remittance is not relevant in the context of commuting (the entire earning accrues to the rural household), the relevant variable is dropped in this context. The commuting diagram property is pivotal here. On fixed points of commuting analytic functions. The case where x contains two infinite-order supertiles is only slightly trickier-once one sees that preserves the boundary between these infinite-order supertiles, it is clear that commutes with all translations. However, when considering the interaction with an exciter or signal pickup from certain points of the resonator, the process of commuting and lumping linear blocks must be done with care. Basically, what is desired is a criterion for determining whether a diagram consisting of structural morphisms from (in this case) the theory of symmetric monoidal closed categories commutes. Of course, naturality just means that the diagram commutes, but we shall see that the requirement that it be a pullback captures the condition for a covariety to be behavioural. The proof of this diagram is by case where analysis on the -reduction step: in all cases the diagram commutes by applying either the same rule or performing no step. In these areas, daily commuting to a nearby town is a good alternative to distance migration, since it achieves a division of total family labour between the two. The right-hand triangle of this last diagram commutes. The upper part clearly commutes by the definition (5.9) of and by the naturality of parallel composition. Suppose the following diagram commutes. In fact, the diagram (48) obviously commutes. Then the first of the following three diagrams commutes by centrality. Indeed, (6) and (7) state that addition by a zero-term commutes with multiplication and reciprocal, so that if a zero-term occurs somewhere inside an expression, it can be moved outside. In fact, by construction, the diagram commutes. Basically, commutes with all complete connectives. Moreover, the diagram below commutes. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。