Re: New writeup for intent examples

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'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?


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
> 
> 
>