Re: Canonical order...
- To: mathgroup at smc.vnet.net
- Subject: [mg55061] Re: Canonical order...
- From: "Carl K. Woll" <carlw at u.washington.edu>
- Date: Fri, 11 Mar 2005 04:20:35 -0500 (EST)
- Organization: University of Washington
- References: <d0mnbf$70o$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
Josef,
A few more details about what you are trying to achieve would probably
produce more helpful answers in this case. At any rate, if you are only
interested in the output form, you can write special rules for MakeBoxes
that will produce the output you desire. (this approach only works if you
use StandardForm or TraditionalForm). For example, if you want the order to
be reversed, then you could try:
MakeBoxes[Times[a__], f_] := RowBox[MakeBoxes[#, f] & /@ Reverse[{a}]]
Then we would have
In[11]:=
F[a]F[b]F[c]
Out[11]=
F[c]F[b]F[a]
The output has been sorted in reverse order. However, note that internally,
Mathematica still has the arguments to Times sorted in the usual way:
In[12]:=
FullForm[%11]
Out[12]//FullForm=
Times[F[a], F[b], F[c]]
If you have a more complicated sorting algorithm, just use Sort with the
appropriate sorting function instead of Reverse. Reversing the order of
output will produce ugly results (e.g. F[a] 10 instead of 10 F[a]) so you
will probably want to use Sort. Presumably you have a more limited context
where you want your sorting algorithm instead of the default. If you could
provide these details, it should be possible to achieve your sorting
criteria only where needed.
Carl Woll
"Josef Karthauser" <joe at tao.org.uk> wrote in message
news:d0mnbf$70o$1 at smc.vnet.net...
>
> I'm trying to adjust what Mathematica thinks is canonical order for
> a particular function F[], so that orderless functions such as
> Times[F[c], F[a], F[b]] automatically gets ordered according to my
> specified sort ordering function on F.
>
> I thought that I could do it by tweaking with Order, i.e.
>
> Order[F[a_], F[b_]] := -Order[a,b]
>
> for instance.
>
> I was hoping then that,
>
> Times[F[a],F[b]]
>
> would then become the canonical,
>
> Times[F[b],F[a]],
>
> but this doesn't happen:
>
> : Order[F[a], F[b]]
> = -1
>
> : Times[F[b], F[a]]
> = F[a] F[b]
>
> : % // FullForm
> = Times[F[a], F[b]]
>
> Ok, so it looks like Sort, isn't paying attention to Order[]. Should
> it? How do I go about changing the default sort order for a particular
> function?
>
> : Sort[{F[a], F[b]}]
> = {F[a], F[b]}
>
> Joe
>
> p.s. I've asked for a lot of help recently, but not given much in
> return. Many thanks to all of you who are helping me out with this
> learning curve! :) You're all stars!
> --
> Josef Karthauser (joe at tao.org.uk) http://www.josef-k.net/
> FreeBSD (cvs meister, admin and hacker) http://www.uk.FreeBSD.org/
> Physics Particle Theory (student) http://www.pact.cpes.sussex.ac.uk/
> ================ An eclectic mix of fact and theory. =================
>