Hi Tobias > For me, negation should always be proper negation in terms of set theory. If > a filter defines a set, then its negation needs to define the exact > complement with respect to all available members, so that A && !A = ALL.
You’ve made this point before. However, it is not true of the current filter operators, nor can we retrospectively fix it. So, that boat has sailed, and we have no choice but to continue to use “!” for the more informal sense of “inversion” that we use at the moment. Best wishes Jeremy. > > In which case "[has[F]] -[!has[F]]" -- would return those tiddlers with a > non-empty value for field F (the original output of "[has[F]]") > > While this kind of optimization would work as you intend, I find it highly > confusing. > > So, considering how things stand atm, to me it should be: > has[f] > all items where the field f is defined and non-empty (as is) > > !has[1] > all items where the field f is not defined or empty (as is) > > has:field[f] > all items where the field f is defined, empty or otherwise (tbd) > > !has:field[f] > all items where the field f is not defined at all (tbd) > Best wishes, > > — tb > > -- > You received this message because you are subscribed to the Google Groups > "TiddlyWiki" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at http://groups.google.com/group/tiddlywiki > <http://groups.google.com/group/tiddlywiki>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/ca8b2d01-7750-43ca-8023-408f440941dc%40googlegroups.com > > <https://groups.google.com/d/msgid/tiddlywiki/ca8b2d01-7750-43ca-8023-408f440941dc%40googlegroups.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/E5F334EC-D980-4CE3-81D3-D78EF5B10C42%40gmail.com. For more options, visit https://groups.google.com/d/optout.
