Glossary entry (derived from question below)
English term or phrase:
unequal to zero
Japanese translation:
ゼロに等しくない
Added to glossary by
Yuu Andou
Apr 30, 2015 07:30
9 yrs ago
English term
unequal to zero
English to Japanese
Tech/Engineering
Computers: Software
構文の解説
Type::NonZero is a type of objects unequal to zero. Type::NonZero is a property, too, which can be used in an assume call.
The call testtype(obj, Type::NonZero) checks, whether obj is not zero and returns TRUE, if it holds, otherwise FALSE.
testtype only performs a syntactical test and uses the function iszero to determine, whether the object is not zero. This implies that identifiers without a value, for example, are considered as being different from zero, see Example 1.
The call assume(x, Type::NonZero) marks the identifier x as a complex number ***unequal to zero***.
The call testtype(obj, Type::NonZero) checks, whether obj is not zero and returns TRUE, if it holds, otherwise FALSE.
testtype only performs a syntactical test and uses the function iszero to determine, whether the object is not zero. This implies that identifiers without a value, for example, are considered as being different from zero, see Example 1.
The call assume(x, Type::NonZero) marks the identifier x as a complex number ***unequal to zero***.
Proposed translations
(Japanese)
4 +3 | ゼロに等しくない、非零 | Kazuhiro Kondo |
Proposed translations
+3
17 mins
Selected
ゼロに等しくない、非零
これは単純にゼロではない値でよいと思います。
4 KudoZ points awarded for this answer.
Comment: "ありがとうございました!"
Something went wrong...