strange that we have either (0;1) or [0;1] but never (0;1]

the system might need reworking

Comment #2: Re: ga'o/ke'i

Curtis W Franks (Tue Feb 23 22:12:56 2016)

gleki wrote: > strange that we have either (0;1) or [0;1] but never (0;1] > > the system might need reworking Examples [16.5, 16.8] at https://lojban.github.io/cll/14/16/

Comment #3: Re: ga'o/ke'i gleki (Wed Feb 24 06:51:23 2016) krtisfranks wrote: > gleki wrote: > > strange that we have either (0;1) or [0;1] but never (0;1] > > > > the system might need reworking > > > Examples [16.5, 16.8] at https://lojban.github.io/cll/14/16/ What about more than multidimensional intervals? Comment #4: Re: ga'o/ke'i Curtis W Franks (Wed Feb 24 14:53:03 2016) gleki wrote: > krtisfranks wrote: > > gleki wrote: > > > strange that we have either (0;1) or [0;1] but never (0;1] > > > > > > the system might need reworking > > > > > > Examples [16.5, 16.8] at https://lojban.github.io/cll/14/16/ > > > What about more than multidimensional intervals? I have a way to handle the simple cases of multidimensional intervals. Harder versions would require set operations. I have a way to outline anot orthotope so that its sides are fully dashed (open/exclusive) or solid (closed/included). The words that I included yesterday are part of this scheme. I just have to write up how they work, which I hope to do tomorrow or so. I do not know what you mean by "more than" these. Comment #5: Re: ga'o/ke'i gleki (Wed Feb 24 14:56:44 2016) krtisfranks wrote: > gleki wrote: > > krtisfranks wrote: > > > gleki wrote: > > > > strange that we have either (0;1) or [0;1] but never (0;1] > > > > > > > > the system might need reworking > > > > > > > > > Examples [16.5, 16.8] at https://lojban.github.io/cll/14/16/ > > > > > > What about more than multidimensional intervals? > > > I have a way to handle the simple cases of multidimensional intervals. > Harder versions would require set operations. I have a way to outline anot > orthotope so that its sides are fully dashed (open/exclusive) or solid > (closed/included). The words that I included yesterday are part of this > scheme. I just have to write up how they work, which I hope to do tomorrow > or so. > > I do not know what you mean by "more than" these. u'u ignore that "more than".