This looks like an attempt, together with 'over' and 'overbar' to implement the notion putting a symbol over another symbol between them -- much in the manner of a fraction.
See the TeXbook p.70 and The Joy of TeX p.146 (in my copies). Just last week I ran into issues with what Joy says should happen. The above is purely speculation on my part and could very easily hopelessly wrong. However my impression is that Axiom's were in active development around the time that those were being written and developed. You may be looking at something very half baked. Cheers, Gene On 7/7/2014 1:58 PM, Ralf Hemmecke wrote:
Does someone know a good use case for "overlabel"? http://fricas.github.io/api/OutputForm.html#index-53 overlabel: (%, %) -> % overlabel(x,f) creates the form f with "x overbar” over the top. It is used in tree.spad, but I cannot make sense of it. Ralf
-- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
