网站首页  词典首页

请输入您要查询的英文单词:

 

单词 covariant
释义
BETA

Examples ofcovariant

Dictionary> 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条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/27 22:41:57