From 3384c1df0f14a642d7e8f3992b5e46a90f334e6f Mon Sep 17 00:00:00 2001
From: selpo <planet_selpo@yahoo.co.jp>
Date: Sun, 25 Oct 2020 14:01:36 +0900
Subject: [PATCH] added table of contents

---
 README.md          |  5 +++++
 doc/CustomGroup.md |  8 ++++++++
 doc/IrrepLabels.md | 12 ++++++++++++
 3 files changed, 25 insertions(+)

diff --git a/README.md b/README.md
index 24658f0..ddc6da4 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,11 @@ or [An Automated Generation of Bootstrap Equations for Numerical Study of Critic
 
 Some usages also can be checked by typing `?someSymbolName` (for example, `?getGroup`) in [Mathematica](http://reference.wolfram.com/language/tutorial/GettingInformationAboutWolframLanguageObjects.html).
 ``?somePackageName`*`` (for example, ``?ClebschGordan`*``) will give package-lebel information.
+These usages are also documented in [inv.md](doc/inv.md), [group.md](doc/group.md).
+
+- [Setup](#setup)
+- [Usage](#usage)
+- [Example](#example)
 
 ## Setup
 
diff --git a/doc/CustomGroup.md b/doc/CustomGroup.md
index caf06a2..210bf19 100644
--- a/doc/CustomGroup.md
+++ b/doc/CustomGroup.md
@@ -6,6 +6,14 @@ You also attach labels of irrep-objects for all (unique) irreps.
 [`getO[3]`](https://github.com/selpoG/autoboot/tree/master/grouplie.m) is
 a good example for creating custom group-objects.
 
+- [`isrep`](#isrep)
+- [`minrep`](#minrep)
+- [`dim`](#dim)
+- [`dual`](#dual)
+- [`id`](#id)
+- [`prod`](#prod)
+- [`gG` and `gA`](#gg-and-ga)
+
 ## `isrep`
 
 `g[isrep[r]]` must give `True` or `False` (`True` if and only if `r` is a valid irrep-object for `g`).
diff --git a/doc/IrrepLabels.md b/doc/IrrepLabels.md
index 6ee659e..ffd5883 100644
--- a/doc/IrrepLabels.md
+++ b/doc/IrrepLabels.md
@@ -1,5 +1,17 @@
 # Labels for Irreps
 
+- [`G=group[g,i]`](#ggroupgi)
+- [`G=so[2]`](#gso2)
+- [`G=o[2]`](#go2)
+- [`G=so[3]`](#gso3)
+- [`G=o[3]`](#go3)
+- [`G=su[2]`](#gsu2)
+- [`G=su[4]`](#gsu4)
+- [`G=dih[N]` (`N`: even)](#gdihn-n-even)
+- [`G=dih[N]` (`N`: odd)](#gdihn-n-odd)
+- [`G=dic[N]`](#gdicn)
+- [`G=pGroup[G1,G2]`](#gpgroupg1g2)
+
 All labels of irreps are defined as follows:
 
 ## `G=group[g,i]`