Sentence examples for is routine to check from inspiring English sources

It is routine to check that.

Then, it is routine to check that is a Hilbert space equipped with the norm ||·||2.

It is routine to check that ((X,d)) is a complete quasi-metric space (note that every net in X converges to ∞ for (tau_{d^{-1}})).

It is routine to check that (tilde{mathcal{C}}:=(mathcal{C},Vert cdot Vert _{tilde{mathcal{C}}})) is a Banach space.

Under our assumptions it is routine to check that the integral operator T ( u 1, u 2 ) ( t ) : = ( T 1 ( u 1, u 2 ) ( t ), T 2 ( u 1, u 2 ) ( t ) ). leaves K invariant and is completely continuous.

It is routine to check that (Phi _{m+n}) is the composition begin{aligned} Phi _{m+n}, :, G overset{ Phi _n }{longrightarrow } G wr ^n S_d overset{ Phi _m wr 1_{d^n} }{longrightarrow } left( G wr ^m S_d right) wr ^n S_d = G wr ^{m+n} S_d end{aligned} (4 for all (m,n ge 0).

It is a routine to check that is a continuous mapping from to.

It is just routine to check that T is upper semicontinuous, i.e., if x n → x in K, y n ∈ T x n for all n ∈ N, and y n → y, then we have y ∈ T x.

(i) Similar to the proof of Lemma 2.7, it is also routine to check that a sequence is a generalized type I (resp., generalized type II) LP approximating solution sequence if and only if it is a generalized type I (resp., generalized type II) LP minimizing sequence of (P).

Now it is a routine to check that Ψ T Q is a worsener with respect to the complexity function h s (i.e., h s ≤ p C c Ψ T Q ( h s ) ) if and only if s ≤ min { j 2, c 4 + j 2 }, whence we deduce, by statement (1) in Theorem 18, that f T Q ∈ Ω ( h min { j 2, c 4 + j 2 } ).

It is a routine to check that Ψ T H is a worsener with respect to the complexity function h s (i.e., h s ≤ p C c Ψ T H ( h s ) ) if and only if s ≤ min { d, 2 c + d 3 }, whence we deduce, by statement (1) in Theorem 18, that f T H ∈ Ω ( h min { d, 2 c + d 3 } ).