Bill Page wrote:
>
> I never noticed it before but now I find this behavior odd:
>
> (1) -> (p,q,r):EXPR INT
> Type: Void
> (2) -> smaller?(p,q)
>
> (2) true
> Type: Boolean
> (3) -> p*q
>
> (3) p q
> Type: Expression(Integer)
> (4) -> p+q
>
> (4) q + p
> Type: Expression(Integer)
> (5) -> smaller?(r,q)
>
> (5) false
> Type: Boolean
> (6) -> r*q
>
> (6) q r
> Type: Expression(Integer)
> (7) -> r+q
>
> (7) r + q
> Type: Expression(Integer)
>
> Of course the actual order of terms in Expression is arbitrary (and
> not even locally reproducible because of caching of kernels) but for
> simple expressions without kernels I was surprised that the normal
> form for + and * are opposite. Does anyone know why this is the case?
AFAICS this has nothing to do with Comparable or kernels. This
is just normal convention for polynomials (using alphabetic order
on variabls).
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
