Re: Small Set Theory,Updated.
zuhair wrote:
were P is a Predicate in one variable, that doesn't use x,
nor it is equivalent to any Predicate Q in one variable that use x.
It would be a quagmire just trying to sort that out with you.
MoeBlee
.
Relevant Pages
- Re: Name For - Functions that indicate order?
... earlier in a sequence and false if not. ... At the moment the function is called CompareItem, I am trying to come up ... Predicate used to sort entire vector". ...
(comp.programming) - Re: randomize-list
... implementations of sort can either ... If the key and predicate always return, ... and does not require predicate or key to be consistent: ...
(comp.lang.lisp) - Am I abusing SORT? It sure aint working for me....
... According to the CLHS in re SORT: ... "Predicate should return true if and only if the first argument is strictly less than the second. ... My only requirement on the sort result is that no node precede any of its ancestors (its parent or its parent's parent or etc). ... So nil means either that arg2 is an ascendant of arg1, or that neither is an ascendant of the other. ...
(comp.lang.lisp) - Re: Small Set Theory,Updated.
... Small Set Theory: ... nor it is equivalent to any Predicate Q in one variable that use x. ... of zuhair set theory:) ... equivalent means biconditioning. ...
(sci.math) - sorting std::list with function predicate
... I need to sort elements of a std::list using a function predicate, ... So since I must not call std::sort on a list, how can I sort it in a way ...
(comp.lang.cpp) |
|
