NoneTrue

NoneTrue[{e1,e2,},test]

yields True if test[ei] is False for all of the ei.

NoneTrue[expr,test,level]

tests parts of expr at level level.

NoneTrue[test]

represents an operator form of NoneTrue that can be applied to an expression.

Details

  • NoneTrue[list,test] and NoneTrue[expr,test,level] only evaluate as many test[ei] as are necessary to determine the result.
  • NoneTrue[list,test] is equivalent to NoneTrue[list,test,1].
  • NoneTrue[test][list] is equivalent to NoneTrue[list,test].

Examples

open allclose all

Basic Examples  (4)

Check if no element of a list satisfies a condition:

Check if no element of a matrix satisfies a condition:

Check if no value of an association satisfies a condition:

A symbolic result may be returned:

Even when the condition applied to some elements is symbolic, a definitive result may be deduced:

TrueQ may be used to avoid getting a symbolic result:

Scope  (3)

NoneTrue may be applied to expressions with any head:

NoneTrue can operate on ragged expressions:

By default, NoneTrue always operates at level 1:

Generalizations & Extensions  (1)

NoneTrue[list,f] works efficiently on sparse vectors:

Properties & Relations  (4)

Compose the predicate with TrueQ to make the predicate stronger:

NoneTrue[list,f] is equivalent to AllTrue[list,Composition[Not,f]]:

NoneTrue[list,f] is equivalent to VectorQ[list,Composition[Not,f]] when f evaluates to True or False:

NoneTrue[list,test] checks the parts of list in order, stopping as soon as test returns True:

Possible Issues  (1)

A symbolic result may be returned:

Introduced in 2014
 (10.0)
 |
Updated in 2015
 (10.1)