On 11 Mrz., 11:31, William Hughes <wpihug...@gmail.com> wrote: > On Mar 11, 10:47 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > On 10 Mrz., 20:52, William Hughes <wpihug...@gmail.com> wrote: > > > > Let l be a line of L > > > > Do you agree with the statement > > > > For every n, the nth FIS of d is > > > contained in l iff > > > l is coFIS to (d) > > > or, more precisely: to the sequence 1, 2, 3, ..., max defined by (d). > > Yes, that is right. > > Do you agree with the statement > > If G is a subset of lines of L > and G has a fixed last element > then there is no line, l, in G > for which it is true that > For every n, the nth > FIS of d is contained in l
This holds if you fix a line l but do not fix the findable part of d. Otherwise for every findable part of d there is an identical line.
You can also say that for every findable part of d there is a line twice as long, if you fix d_1, ..., d_n but do not fix the line.
Why do you think it is more important or in any way preferable to fix a line but to extend d than vice versa?