Re: upload

[Mikael Sundqvist via ntg-context <ntg-context@ntg.nl>]

[-- Attachment #1: Type: text/plain, Size: 1811 bytes --]

On Wed, Jul 6, 2022 at 10:10 PM Hans Hagen via ntg-context
<ntg-context@ntg.nl> wrote:
>
> Hi,
>
> We're pleased to announce the first official release of the new math
> code. We're talking of:
>
> -- a reworked math engine (which happened stepwise so some already
> trickled into previous uploads)
>
> -- settling on one model for display math but with alignment variants as
> well as improving inline math (e.g. wrt linebreaks)
>
> -- redoing bit of the (sub) numbering
>
> -- improving the alignment features (the traditional one and the
> text/page mode one)
>
> -- fixing the math font using all kind of tweaks in the goodie file
>
> -- providing means to annotate formulas
>
> -- we ditched support for \over simply because it is too fragile wrt
> spacing (one can \usemodule[oldmath] to get it back
>
> -- we might move some more alien stuff to m-oldmath in due time
>
> We paid a lot of attention to details of positioning, sizing and spacing
> of glyphs. We do have some documents in the making that describe this
> (some are in the ontarget namespace) and the second half of this year we
> use for writing a math manual (Mikael) and updating the luametatex
> manual (Hans). For sure we will run into unforseen issues, come up with
> additional things and try to please users who have demands. There are
> 'hidden' features that will be revealed stepwise.
>
> An example of some usage will be posted next.
>
> The pragma-ade.com domain is still in transfer but the nl one should
> work fine. There is now also a https://www.luametatex.org that might be
> get some more than there is now (when i find it useful but best to have
> the domain for the ctx group).
>
> Mikael & Hans
>
> (on behalf of the CMS)

Hi,

Attached is a file with some example formulas and comments that might
be of help.

/Mikael

[-- Attachment #2: someformulas.tex --]
[-- Type: application/octet-stream, Size: 4955 bytes --]


\setuppapersize[A5]

\definereferenceformat[eqref][left=(,right=)]
% \showframe

\starttext

Just a simple formula (as before):

\startplaceformula
\startformula
f(x) = \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n
\stopformula
\stopplaceformula

A chain formula that runs over several lines. One formula, numbered at the end.

\startplaceformula
\startformula
f(x) \alignhere = \exp(x) \breakhere
                = 1 + x + x^2/2 + \ldots \breakhere
                = \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \breakhere
                = f'(x)
\stopformula
\stopplaceformula

As above, but with \tex{skiphere} at one place:
\startplaceformula
\startformula
f(x) \alignhere = \exp(x) \breakhere
                = 1 + x + x^2/2 + x^3/6 + x^4/24 \breakhere
                \skiphere[1em] + x^5/120 + x^6/720 \ldots \breakhere
                = \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \breakhere
                = f'(x)
\stopformula
\stopplaceformula

With \typ{align=slanted} we get first line flush left, last one flush right and the rest midaligned:
\startplaceformula
\startformula[align=slanted]
f(x) = \exp(x) = 1 + x + x^2/2 + x^3/6 + x^4/24 + \ldots \breakhere
                = \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n = f'(x)
\stopformula
\stopplaceformula


Don't do this (unclear what the number points to):
\startplaceformula[eq:all]
\startformula
\startalign
  \NC f(x) \EQ \exp(x)                                          \NR
  \NC      \EQ 1 + x + x^2/2 + \ldots                           \NR
  \NC      \EQ \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \NR
  \NC      \EQ f'(x)                                            \NR
\stopalign
\stopformula
\stopplaceformula

Better to brace the formula and give one number:

\definemathsimplealign[collected][
    left={\startmathfenced[sesac]},
    right=\stopmathfenced,
    align={1:right,2:left},
    strut=yes,
]

\startplaceformula[eq:All]
\startformula
\startcollected
  \NC f(x) = \NC \exp(x)                                          \NR
  \NC      = \NC 1 + x + x^2/2 + \ldots                           \NR
  \NC      = \NC \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \NR
  \NC      = \NC f'(x)                                            \NR
\stopcollected
\stopformula
\stopplaceformula


Or, if needed, to number each line:
\startplaceformula
\startformula
\startalign
  \NC f(x) \EQ \exp(x)                                          \NR[eq:X]
  \NC      \EQ 1 + x + x^2/2 + \ldots                           \NR[eq:Y]
  \NC      \EQ \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \NR
  \NC      \EQ f'(x)                                            \NR[eq:Z]
\stopalign
\stopformula
\stopplaceformula

We can get subnumbering with letters:

\startplaceformula
\startformula
\startalign
  \NC f(x) \EQ \exp(x)                                          \NR[eq:a][a]
  \NC      \EQ 1 + x + x^2/2 + \ldots                           \NR[eq:b][b]
  \NC      \EQ \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \NR[eq:c][c]
  \NC      \EQ f'(x)                                            \NR
\stopalign
\stopformula
\stopplaceformula

If we want no dot between we can do

\startbuffer
\defineseparatorset[none][][]
\setupformulas[numberseparatorset=none]
\stopbuffer

\getbuffer
\typebuffer

\startplaceformula
\startformula
\startalign
  \NC f(x) \EQ \exp(x)                                          \NR[eq:A][a]
  \NC      \EQ 1 + x + x^2/2 + \ldots                           \NR[eq:B][b]
  \NC      \EQ \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \NR[eq:C][c]
  \NC      \EQ f'(x)                                            \NR
\stopalign
\stopformula
\stopplaceformula

See \eqref[eq:B]. Fences can break over lines:

\startplaceformula
\startformula[textdistance=2em]
  \alignhere 
    P'(iy_1, \ldots, iy_n, i\eta_k) 
  \breakhere
  = (ir)^{k-1} \left[ 
    P_k' \left( z_ 1, \ldots, z_n, \frac{\eta_k}{r} \right) 
    \breakhere
    \skiphere[3] 
    + \frac{1}{ir}P_{k-1}'
      \left( z_ 1, \ldots, z_n, \frac{\eta_k}{r} \right)
    + \ldots
    \right] 
  \breakhere
  = (ir)^{k-1} 
      P_k'\left( z_ 1, \ldots, z_n, \frac{\eta_k}{r} \right) 
    + O(r^{k-2})
\stopformula
\stopplaceformula

Note that the alignment point is to the left of \im{P}. Then all lines are moved in the amount of \typ{textdistance}, which is set to 2em.
Here the \typ{\skiphere[3]} skips four units of \typ{textmargin}, which by default is set to 2em. In this case we could have used \typ{\skiphere[6em]}

We can add comments in the margin:

\startformula
\startalign[text:1={Foo},text:2={Bar}]
\NC x \EQ r \cos\theta \NR
\NC y \EQ r \sin\theta \NR
\stopalign
\stopformula

Likewise,

\startformula
\breakhere[below]{Foo} 
f(x) \alignhere = \exp(x) \breakhere[left]{Bar}
                = 1 + x + x^2/2 + \ldots \breakhere
                = \lim_{n\to+\infty}\left(1 + \frac{x}{n}\right)^n \breakhere[right]{Oh no!}
                = f'(x)
\stopformula

\stoptext

[-- Attachment #3: Type: text/plain, Size: 493 bytes --]

___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki     : http://contextgarden.net
___________________________________________________________________________________