Sven Verdoolaege wrote:
Am I correct if I say that you are interested in systems of what, IIRC, Masdupuy calls "trapezoid congruences", where a1, ..., an, l, u are rational numbers and k is a natural?
It was just an example. I'm interested in the general case as well. E.g., (Omega notation)
{[dm'] : (Exists k': 32dm' <= 4k'+800j+40000<=32dm'+31 && 0<=i,j,k<=199 && k<k'<=199 && (Exists dm: 32dm <= 800k+4i<=32dm+31 && (Exists x,y: 256x <= dm <= 256x+255 && 256y<= dm'<=256y+255 && 0<=dm-256x = dm'-256y<=255)))};
I'm not sure if that fits "trapezoid congruences". I'd have to look at that concept more closely.
If you do, please let us know what you concluded.
@PhDThesis{Masdupuy93th,
Do you have an electronic copy of that ?
Yes: just sent to your address. All the best,
Roberto