Fungrim entry: 0c7de4

Table of

\chi_{9 \, . \, \ell}

$\ell$ \ $n$	1	2	4	5	7	8
1	1	1	1	1	1	1
2	1	${e}^{\pi i / 3}$	${e}^{2 \pi i / 3}$	$-{e}^{2 \pi i / 3}$	$-{e}^{\pi i / 3}$	-1
4	1	${e}^{2 \pi i / 3}$	$-{e}^{\pi i / 3}$	$-{e}^{\pi i / 3}$	${e}^{2 \pi i / 3}$	1
5	1	$-{e}^{2 \pi i / 3}$	$-{e}^{\pi i / 3}$	${e}^{\pi i / 3}$	${e}^{2 \pi i / 3}$	-1
7	1	$-{e}^{\pi i / 3}$	${e}^{2 \pi i / 3}$	${e}^{2 \pi i / 3}$	$-{e}^{\pi i / 3}$	1
8	1	-1	1	-1	1	-1

Table data:

\left(\ell, n, y\right)

such that

\chi(n) = y\; \text{ where } \chi = \chi_{9 \, . \, \ell}

Definitions:

Fungrim symbol	Notation	Short description
`DirichletCharacter`	$\chi_{q \, . \, \ell}$	Dirichlet character
`Exp`	${e}^{z}$	Exponential function
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("0c7de4"),
    Description("Table of", DirichletCharacter(9, ell)),
    Table(TableRelation(Tuple(ell, n, y), Where(Equal(chi(n), y), Equal(chi, DirichletCharacter(9, ell)))), TableHeadings(Description(ell, "\", n), 0, 1, 2, 3, 4, 5, 6, 7, 8), TableColumnHeadings(1, 2, 4, 5, 7, 8), List(Tuple(0, 1, 1, 0, 1, 1, 0, 1, 1), Tuple(0, 1, Exp(Div(Mul(Pi, ConstI), 3)), 0, Exp(Div(Mul(Mul(2, Pi), ConstI), 3)), Neg(Exp(Div(Mul(Mul(2, Pi), ConstI), 3))), 0, Neg(Exp(Div(Mul(Pi, ConstI), 3))), -1), Tuple(0, 1, Exp(Div(Mul(Mul(2, Pi), ConstI), 3)), 0, Neg(Exp(Div(Mul(Pi, ConstI), 3))), Neg(Exp(Div(Mul(Pi, ConstI), 3))), 0, Exp(Div(Mul(Mul(2, Pi), ConstI), 3)), 1), Tuple(0, 1, Neg(Exp(Div(Mul(Mul(2, Pi), ConstI), 3))), 0, Neg(Exp(Div(Mul(Pi, ConstI), 3))), Exp(Div(Mul(Pi, ConstI), 3)), 0, Exp(Div(Mul(Mul(2, Pi), ConstI), 3)), -1), Tuple(0, 1, Neg(Exp(Div(Mul(Pi, ConstI), 3))), 0, Exp(Div(Mul(Mul(2, Pi), ConstI), 3)), Exp(Div(Mul(Mul(2, Pi), ConstI), 3)), 0, Neg(Exp(Div(Mul(Pi, ConstI), 3))), 1), Tuple(0, 1, -1, 0, 1, -1, 0, 1, -1))))

Topics using this entry

Dirichlet characters