My suggestion is to preface any of these by mathml or xml notations, e.g.
mathml_prime_numbers
or
%mathml_prime_numbers
or %MathML_PrimeNumbers
and %MathML_Root ..
There is also (at least in commercial Macsyma, and I suppose it might be
used in Maxima)
a notation like RootOf, in Maple, Mathematica ...
Consider your notation x^(1/n).
I do not not what MathML means by this, nor is is entirely clear what Maxima
means by it.
There are 6 roots of 1^(1/6).
Which is denoted by MathML? Which is denoted by Maxima?
How many roots are denoted by (x^6)^(1/6)?
To say that these two concepts are "the same" is problematical if you are
doing any serious with MathML.
Perhaps a study of RootOf would help.
The saving grace to all this is that MathML is not being used for anything
serious (yet), just display.
There is a problem looking forward to more extensive use of MathML.
> -----Original Message-----
> From: maxima-bounces at math.utexas.edu
> [mailto:maxima-bounces at math.utexas.edu] On Behalf Of fred.wang at free.fr
> Sent: Sunday, June 15, 2008 11:34 PM
> To: maxima at math.utexas.edu
> Subject: XML package and MathML
>
> Thanks Robert,
>
> I took into account what you proposed to make changes in my
> package (not on line
> for the moment). I have some remarks:
>
> 1) For the sets of numbers, maybe we should use a "%" (
> %prime_numbers,
> %natural_numbers...), just as it is the case with other
> constants (%e, %gamma)?
> By the way, I forgot to mention the "NaN" (not a number
> constant). The spec
> defines it as "The result of an ill-posed floating
> computation", but I don't
> think it is used in Maxima. Let's translate it as "%NaN".
>
> 2) For the logical operations, maybe we can use infix notations:
> - a => b rather than implies(a,b)
> - a <=> b rather than equivalent(a,b)
>
> Also, I try to translate some operations using combination of
> Maxima functions,
> but please indicate me if there are more direct functions to do that.
>
> 1) 4.4.1.12 root (<root/>) - For the nth root of x, I use x^(1/n)
>
> 2) 4.4.10.1 factorof (<factorof/>) - For a "is a factor of" b, I use
> "is(remainder(b,a)=0)"
>
> 3) 4.4.27.1 log (<log/>) - For the log of x in the base b, I
> use log(x)/log(b)
>
> Finally there are other operations that I was not able to
> translate. Here are
> some of them:
>
> 1) Operations on functions. I guess they do not exist in
> Maxima since it was the
> case for the set related to functions (domain, image...):
>
> ;; 4.4.2.5 left_inverse
> ;; 4.4.2.6 right_inverse
> ;; 4.4.2.7 inverse (<inverse/>)
> ;; 4.4.2.8 left_compose (<compose/>)
>
> 2) Selectors on vector/matrix:
> - 4.4.3.6 vector_selector (<selector/>). A function
> that returns the ith
> coordinate of a vector.
> - 4.4.3.7 matrix_selector (<matrix_selector/>). A
> function to get the element
> (i,j) of a matrix. I only found functions to extract a column/row.
>
> 3) Definition of matrix by column: 4.4.17.3 matrix (<matrix.column/>)
> I propose matrix_column(C1, C2, ... Cn) where Ci are lists.
> Otherwise I can translate it as transpose(matrix(C1, ... Cn))
>
> Best regards,
>
> Fr?d?ric
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>