IndexNotation/Extra.m at master · gywn/IndexNotation · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
(* ::Package:: *)

Begin["IndexNotation`Private`"];


With[
    {
        DI = IndexNotation`DummyIndex
    },

    (* Rules outside of IndexNotation` *)

    MakeBoxes[k : KroneckerDelta[i__], StandardForm] := With[
        { boxes = SubscriptBox[ "\[Delta]", ToBoxes @ {i} ] },

        InterpretationBox[boxes, k]
    ];

    MakeBoxes[is : {__DI}, StandardForm] := With[
        { boxes = RowBox[ToBoxes /@ is] },

        InterpretationBox[boxes, is]
    ];

    MakeBoxes[v : Inverse[s_Symbol], StandardForm] := With[
        { boxes = SuperscriptBox[ ToBoxes[s], "-1" ] },

        InterpretationBox[boxes, v]
    ];
]


End[];