[GiNaC-list] About non commutative transformations in GiNaC

abpetrov abpetrov at ufacom.ru
Thu Jan 26 17:40:11 CET 2017

Thank you for your answer.
I will try regular expressions in program.

Best regards Petrov A.B.

On 01/25/2017 12:41 AM, Vladimir V. Kisil wrote:
> 	Hi,
>
>>>>>> On Wed, 25 Jan 2017 00:21:11 +0500, abpetrov <abpetrov at ufacom.ru> said:
>     ABP> Can I get latex output for a and ap like
>     ABP> a^{- i_1 ... i_n}_{j_1 ... j_n} with contravariant and
>     ABP> covariant indexes?
>
>     ABP> For ncsymbol class I can do it.  When I tried to do it with
>     ABP> clifford with program
>
>     ABP> cout << latex << endl; cout << indexed(a,nu) << endl;
>
>     ABP> I got next result:
>
>     ABP> {\clifford[0]{e}_{{0} }}_{{\nu} }
>
>     ABP> It contains excess symbols like {\clifford[0]{e}_{{0} }} and
>     ABP> don't contains a^{-} or a^{+}
>
>     Here is a quote from the tutorial with some ideas:
>
> LaTeX output for Clifford units looks like '\clifford[1]{e}^{{\nu}}',
> where '1' is the 'representation_label' and '\nu' is the index of the
> corresponding unit.  This provides a flexible typesetting with a
> suitable definition of the '\clifford' command.  For example, the
> definition
>          \newcommand{\clifford}[1][]{e}
> typesets all Clifford units identically, while the alternative
> definition
>          \newcommand{\clifford}[2][]{\ifcase #1 #2\or \tilde{#2} \or \breve{#2} \fi}
> prints units with 'representation_label=0' as 'e', with
> 'representation_label=1' as '\tilde{e}' and with
> 'representation_label=2' as '\breve{e}'.
>
>   Alternatively, you can use a tool like sed to modify GiNaC output to
>   something suitable.
>
>   Best wishes,