Jason Eisner

Could vquery list the variables in order of first appearance on the command line? So that vqueries like these would list the variables in the natural order A,B,C,D, which is...

Yes, I know there are no guarantees and we really want cardinality. I was suggesting a heuristic that might tend to work in the meantime (i.e., better than nothing) so...

Let me try to understand your current heuristic first. Why "much worse"? In both cases, you have nested loops over 3 variables, just in different orders (U,V,L versus U,[L,V]) and...

Yes, but if you bind 3 variables rather than 2 in the `edge` goal, then this pays off in the next step whenyou get to bind 0 rather than 1...

Yeah, concatenated in the order given. Seems a pretty standard Unix interpretation of giving a list of files to something that reads stdin. (There are times when one might want...

We don't have multiple dynabases yet (that comment was looking ahead). All we have is concatenation of stuff specified in different .dyna files. So in fact, this is a lot...

> Right now, I have to cat the files together and make up a name for the result and then run dyna on that, which is a pain. Especially since...

Great! So should we close this non-issue? :-) What's the retraction command? And what do you mean by " inspect intermediate results with debugger"?

Oh, I see, sorry.

> The way to fix this is by smoothing... In fact the program already has add-lambda smoothing, and it is true that the problem is sometimes cured by raising lambda...