单词 | covariant |
释义 | BETA Examples ofcovariantDictionary> Examples ofcovariant covariantisn’t in the Cambridge Dictionary yet. You can help! Add a definition Using negation, we can restrict attention tocovariantconnectives: acovariantconnective is increasing with respect to inclusion, that is, compatible with 'subtyping'. From theCambridge English Corpus It follows that itself is acovarianthomotopy equivalence. From theCambridge English Corpus But similar results can be derived using our techniques for other common type constructs, such as products, sums, andcovariantrecursive types built from them. From theCambridge English Corpus The elements of this tensor can be substituted directly into the eigenvalue problem for general coordinate systems written incovariantnotation. From theCambridge English Corpus Contravariant occurrences of the type variable in a generalised binary method can be turned intocovariantones by interpreting methods as graphs instead of functions. From theCambridge English Corpus Our policy is contravariant with respect to argument types andcovariantwith respect to result types. From theCambridge English Corpus In that theory the nature of the dual state space and fullycovariantmomentum maps can be properly defined. From theCambridge English Corpus Our main purpose is to find 'product-type'covariantrepresentations for it. From theCambridge English Corpus Let us now turn to thecovariantequations of motion. From theCambridge English Corpus This means that, as usual, the spatialcovariantcomponents of any 4-vector coincide with the contravariant components. From theCambridge English Corpus A connective may becovariantor contravariant in each parameter. From theCambridge English Corpus Only in the strictly unphysical formal limit of an infinitely large speed of light c do thecovariantforms reduce to the standard expressions. From theCambridge English Corpus We present acovarianttheory of photon acceleration in time-varying plasmas. From theCambridge English Corpus This is achieved through acovariantversion of a conventional derivation based on correlation functions for fluctuations in the plasma. From theCambridge English Corpus First, one has to make thiscovariant; and second, it has to be defined on infinite-dimensional spaces. From theCambridge English Corpus First we define the tensor product of paracomplexes ofcovariantmodules. From theCambridge English Corpus 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. |
随便看 |
|
英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。