] gives True if expr is an even integer, and False otherwise.
] returns False unless expr is manifestly an even integer (i.e., has head Integer, and is even).
You can use EvenQ[
True to override the normal operation of EvenQ, and effectively define x to be an even integer.
See the Mathematica book: Section 2.3.5, Section 3.1.1.
See also: IntegerQ, OddQ, TrueQ.
This command forrces int1 to be even.
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.