GWIBL DSL

Access token Input
Demos

Syntax

Syntax examples:
  :deg x 1                         set or change a generator degree
  p := a@b + b@a + 2*b@b            arbitrary symmetric insertion tensor
  pcheck(p)                         verify graded symmetry of p
  X := <x|y>.<z>                    symmetric product of cyclic words
  delta(<x|y>, p)                   little delta^p
  mu(<x>, <y|z>, p)                 little mu^p
  muShape(<x>, <z>, p)              displayed-shape formula for little mu^p
  Dplus(X, p)                       raw first-slot extension, no 1/2 factors
  Dminus(X, p)                      raw first-two-slots extension, no 1/2 factors
  DplusFixed(X, p)                  divides by (b-1)!
  DminusFixed(X, p)                 divides by 2(b-2)!
  deltaLR(<x|y>, p)                 L/R formula for little delta^p
  DplusComponent(X, p)              component formula for Delta_+^p
  DminusTex(X, p)                   displayed TeX shape for Delta_-^p
  eq(A, B)                          exact equality after expansion
  ratio(A, B)                       scalar multiple check after expansion

LaTeX-ish aliases:
  \delta(<x|y>, p), \mu(<x>,<y>,p), \Delta_+(X,p), \Delta_-(X,p)
  a \ot b, a \otimes b, and a⊗b are aliases for a@b
  . is symmetric multiplication.

Output notation:
  <x|y> is input notation for Cyc(xy).
  Expanded tensor words print as (xy), so <x|y> prints as (xy) + (yx).
  Symmetric tensor factors print by juxtaposition, e.g. (x)(z) + (z)(x).

Commands:
  :env                              show assigned variables
  :degrees                          show degrees
  :reset                            reset assigned variables, keep degrees
  :help                             show this help