nath: \wall and \return doesn't work?

nath: \wall and \return doesn't work?

[Christopher Creutzig]

Salvete,

\usemodule[nath]
\starttext
\startformula
   F(\beta, E_{min}, E_{max}, m) = \wall\{0,\infty,-\infty\}
   \return
   \cup \left\{\left.s\,\beta^e\sum_{i=0}^{m}a_i\beta^{-i}\right\vert
   s\in\{-1,1\}, 0\leq a_i<\beta, e\in\integers, E_{min}\leq e\leq
   E_{max}\right\}.
\stopformula
\stoptext

I thought the \return were to go to the horizontal position of the 
\wall, in the next line?  For me, both lines are flush left.

pdftex 1.20a, ConTeXt 2004.10.07, t-nath.tex 2003.12.08, with the 
patches I sent to this list.

regards,
	Christopher

Re: nath: \wall and \return doesn't work?

[Giuseppe Bilotta]

Thursday, October 14, 2004 Christopher Creutzig wrote:

> Salvete,

> \usemodule[nath]
> \starttext
> \startformula
>    F(\beta, E_{min}, E_{max}, m) = \wall\{0,\infty,-\infty\}
>    \return
>    \cup
> \left\{\left.s\,\beta^e\sum_{i=0}^{m}a_i\beta^{-i}\right\vert
>    s\in\{-1,1\}, 0\leq a_i<\beta, e\in\integers, E_{min}\leq e\leq
>    E_{max}\right\}.
> \stopformula
> \stoptext

> I thought the \return were to go to the horizontal position of the
> \wall, in the next line?  For me, both lines are flush left.

> pdftex 1.20a, ConTeXt 2004.10.07, t-nath.tex 2003.12.08, with the
> patches I sent to this list.

You are returning too soon. Lines should be ended by \\, not
\return, unless they are the last indented line; your snipped
should rather go:

\startformula
   F(\beta, E_{min}, E_{max}, m) = \wall\{0,\infty,-\infty\} \\
   \cup \left\{\left.s\,\beta^e\sum_{i=0}^{m}a_i\beta^{-i}\right\vert
   s\in\{-1,1\}, 0\leq a_i<\beta, e\in\integers, E_{min}\leq e\leq
   E_{max}\right\}.
   \return
\stopformula


Or something like this (you can also split the part between
\left\{ ... \right\}, i.e. the second set; delimiters should
get enlarged correctly).

-- 
Giuseppe "Oblomov" Bilotta

Re: nath: \wall and \return doesn't work?

[Christopher Creutzig]

Giuseppe Bilotta wrote:

>>I thought the \return were to go to the horizontal position of the
>>\wall, in the next line?  For me, both lines are flush left.

> You are returning too soon. Lines should be ended by \\, not
> \return, unless they are the last indented line; your snipped
> should rather go:

  I see -- \return is not “return to the horizontal position,” but 
rather, \return is the end of the \wall-indented part, right?

merci,
	Christopher

Re[2]: nath: \wall and \return doesn't work?

[Giuseppe Bilotta]

Saturday, October 16, 2004 Christopher Creutzig wrote:

> Giuseppe Bilotta wrote:

>>>I thought the \return were to go to the horizontal position of the
>>>\wall, in the next line?  For me, both lines are flush left.

>> You are returning too soon. Lines should be ended by \\, not
>> \return, unless they are the last indented line; your snipped
>> should rather go:

>   I see -- \return is not “return to the horizontal position,” but
> rather, \return is the end of the \wall-indented part, right?

Exactly. \wall sets a "new home position" that gets obeyed by
all *subsequent* lines (each of them ended by \\) until a
\return is met, which "backtracks" the home position to the
previous one (you can have multiple \walls).

-- 
Giuseppe "Oblomov" Bilotta