Re: New writeup for intent examples

On Thu, Nov 12, 2020 at 6:06 AM David Farmer <farmer@aimath.org> wrote:

>
> I'll repeat a point I made earlier about integrals with a
> weight function.
>
> The following expression is natural in the context of Chebyshev
> polynomials (similarly for any set of orthogonal polynomials):
>
> \int_{-1}^1 f(x) \frac{dx}{\sqrt{1-x^2}}
>
> The " 1/\sqrt{1-x^2} " is distinguished.  A similar situation
> arises in integral transforms.
>
> I suggest these "weighted integrals" should have a way of denoting
> the weight.
>

I see no problem with that.


> I'd like to know how Sam's  "Differential alone in the numerator"
> compares to
>
> \int_0^1 \frac{1}{x^2 + 1} dx .
>
> Does that have the same intent?
>

Yes.


> On Wed, 11 Nov 2020, Neil Soiffer wrote:
>
> > I figured I should read more carefully what you wrote in
> > https://mathml-refresh.github.io/mathml/docs/intent.html even though
> you hadn't done an update yet.
> > In case you didn't fix it, the MathML for "Binomial as stacked numbers"
> is not right. Probably you
> > want it to be an mfrac, but an mtable could also be used. Kind of
> garbled in the version I read.
> >
> > I still don't like the way you handle plus/minus, but that's not really
> a criticism of the intent
> > idea...
> >
> > I don't think the "Differential alone in the numerator" is correct. The
> 'intent' on the mfrac should
> > block the higher level intent from seeing the 'x' inside it. Further,
> the 'x' should not be in an
> > <mtext>. Same issues for the next differential examples.
> >
> >     Neil
> >
> >
> >
> >
> > On Wed, Oct 21, 2020 at 12:41 PM Sam Dooley <samdooley64@gmail.com>
> wrote:
> >       Hello all,
> >
> >       Regrets for tomorrow's meeting, I will be having cataract surgery.
> >
> >       https://mathml-refresh.github.io/mathml/docs/intent.html
> >
> >       On the plus side, I did my homework, and created a new document to
> describe as best I
> >       can what I believe is the latest consensus on the intent
> attribute.  Not the final word,
> >       as there are still things to discuss, and it is certainly biased
> toward my preferences,
> >       but hopefully not too badly.
> >
> >       I was able to include examples that should address Bruce's
> concerns with the handling of
> >       transpose.  To be continued.
> >
> >       If an element has sub elements with intent, then intent="fn" will
> collect them as
> >       arguments to fn.  If an element has no such sub elements, then
> intent="transpose" gives
> >       the intent of the transpose function itself, with no arguments.
> If an operator has no
> >       arguments, and you want the intent of the application of the
> function, use
> >       intent="fn()".  Easy as pi, but we should discuss.
> >
> >       The operator name can be placed on the enclosing element for the
> apply, or on an element
> >       that gives markup for the operator.  This should allow for what
> folks want, but we
> >       should discuss.
> >
> >       I've included examples with both argument index references, and
> argument name
> >       references.  I'd really like to avoid XPath references.
> >
> >       I was able to expand on Bruce's examples where multiple
> infix/prefix/postfix operators
> >       appear in a single mrow, and I marked up both minimal-mrow and
> complete-mrow versions of
> >       each example.  To be discussed.
> >
> >       I've included examples with integrals of fractions where the
> differential is included in
> >       the fraction.  We should discuss scoping of argument name
> references.
> >
> >       I've not said anything about literal references, which I intend to
> add.
> >
> >       Oh yes, and I still need to convert this to markdown, once we stop
> adding examples to
> >       it.  I've not gone through the entire encyclopaedia.
> >
> >       This version is intended to be more descriptive than
> prescriptive.  The examples are
> >       informally grouped to illustrate how to use the syntax.
> >
> >       Enjoy,
> >       Sam
> >
> >
> >