From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 16 Oct 2019 11:26:43 +0200
Subject: removing everything but index which redirects to the new page
---
docs/htmldoc/index_variable_*.html | 478 ------------
docs/htmldoc/index_variable_A.html | 1029 -------------------------
docs/htmldoc/index_variable_B.html | 992 ------------------------
docs/htmldoc/index_variable_C.html | 1208 -----------------------------
docs/htmldoc/index_variable_D.html | 994 ------------------------
docs/htmldoc/index_variable_E.html | 1256 -------------------------------
docs/htmldoc/index_variable_F.html | 1328 --------------------------------
docs/htmldoc/index_variable_G.html | 1306 --------------------------------
docs/htmldoc/index_variable_H.html | 483 ------------
docs/htmldoc/index_variable_I.html | 1188 -----------------------------
docs/htmldoc/index_variable_J.html | 478 ------------
docs/htmldoc/index_variable_K.html | 494 ------------
docs/htmldoc/index_variable_L.html | 976 ------------------------
docs/htmldoc/index_variable_M.html | 1458 ------------------------------------
docs/htmldoc/index_variable_N.html | 1080 --------------------------
docs/htmldoc/index_variable_O.html | 966 ------------------------
docs/htmldoc/index_variable_P.html | 1178 -----------------------------
docs/htmldoc/index_variable_Q.html | 991 ------------------------
docs/htmldoc/index_variable_R.html | 1154 ----------------------------
docs/htmldoc/index_variable_S.html | 1144 ----------------------------
docs/htmldoc/index_variable_T.html | 992 ------------------------
docs/htmldoc/index_variable_U.html | 509 -------------
docs/htmldoc/index_variable_V.html | 991 ------------------------
docs/htmldoc/index_variable_W.html | 478 ------------
docs/htmldoc/index_variable_X.html | 478 ------------
docs/htmldoc/index_variable_Y.html | 478 ------------
docs/htmldoc/index_variable_Z.html | 495 ------------
docs/htmldoc/index_variable__.html | 478 ------------
28 files changed, 25080 deletions(-)
delete mode 100644 docs/htmldoc/index_variable_*.html
delete mode 100644 docs/htmldoc/index_variable_A.html
delete mode 100644 docs/htmldoc/index_variable_B.html
delete mode 100644 docs/htmldoc/index_variable_C.html
delete mode 100644 docs/htmldoc/index_variable_D.html
delete mode 100644 docs/htmldoc/index_variable_E.html
delete mode 100644 docs/htmldoc/index_variable_F.html
delete mode 100644 docs/htmldoc/index_variable_G.html
delete mode 100644 docs/htmldoc/index_variable_H.html
delete mode 100644 docs/htmldoc/index_variable_I.html
delete mode 100644 docs/htmldoc/index_variable_J.html
delete mode 100644 docs/htmldoc/index_variable_K.html
delete mode 100644 docs/htmldoc/index_variable_L.html
delete mode 100644 docs/htmldoc/index_variable_M.html
delete mode 100644 docs/htmldoc/index_variable_N.html
delete mode 100644 docs/htmldoc/index_variable_O.html
delete mode 100644 docs/htmldoc/index_variable_P.html
delete mode 100644 docs/htmldoc/index_variable_Q.html
delete mode 100644 docs/htmldoc/index_variable_R.html
delete mode 100644 docs/htmldoc/index_variable_S.html
delete mode 100644 docs/htmldoc/index_variable_T.html
delete mode 100644 docs/htmldoc/index_variable_U.html
delete mode 100644 docs/htmldoc/index_variable_V.html
delete mode 100644 docs/htmldoc/index_variable_W.html
delete mode 100644 docs/htmldoc/index_variable_X.html
delete mode 100644 docs/htmldoc/index_variable_Y.html
delete mode 100644 docs/htmldoc/index_variable_Z.html
delete mode 100644 docs/htmldoc/index_variable__.html
(limited to 'docs/htmldoc/index_variable_*.html')
diff --git a/docs/htmldoc/index_variable_*.html b/docs/htmldoc/index_variable_*.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_variable_*.html
+++ /dev/null
@@ -1,478 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_A.html b/docs/htmldoc/index_variable_A.html
deleted file mode 100644
index 9b52cda..0000000
--- a/docs/htmldoc/index_variable_A.html
+++ /dev/null
@@ -1,1029 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_B.html b/docs/htmldoc/index_variable_B.html
deleted file mode 100644
index 9fa953f..0000000
--- a/docs/htmldoc/index_variable_B.html
+++ /dev/null
@@ -1,992 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_C.html b/docs/htmldoc/index_variable_C.html
deleted file mode 100644
index 2b963f5..0000000
--- a/docs/htmldoc/index_variable_C.html
+++ /dev/null
@@ -1,1208 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_D.html b/docs/htmldoc/index_variable_D.html
deleted file mode 100644
index 469645e..0000000
--- a/docs/htmldoc/index_variable_D.html
+++ /dev/null
@@ -1,994 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
D (variable)
-
DecField.F [in
mathcomp.algebra.poly]
-
DecideRed.Definitions.F [in
mathcomp.character.mxrepresentation]
-
DecideRed.Definitions.G [in
mathcomp.character.mxrepresentation]
-
DecideRed.Definitions.gT [in
mathcomp.character.mxrepresentation]
-
DecideRed.Definitions.n [in
mathcomp.character.mxrepresentation]
-
DecideRed.Definitions.rG [in
mathcomp.character.mxrepresentation]
-
DecideRed.F [in
mathcomp.character.mxrepresentation]
-
DecideRed.G [in
mathcomp.character.mxrepresentation]
-
DecideRed.gT [in
mathcomp.character.mxrepresentation]
-
DecideRed.n [in
mathcomp.character.mxrepresentation]
-
DecideRed.rG [in
mathcomp.character.mxrepresentation]
-
DefaultEncodingModuloRel.D [in
mathcomp.ssreflect.generic_quotient]
-
DefaultEncodingModuloRel.r [in
mathcomp.ssreflect.generic_quotient]
-
Definitions.FrobeniusAction.G [in
mathcomp.solvable.frobenius]
-
Definitions.FrobeniusAction.H [in
mathcomp.solvable.frobenius]
-
Definitions.FrobeniusAction.S [in
mathcomp.solvable.frobenius]
-
Definitions.FrobeniusAction.sT [in
mathcomp.solvable.frobenius]
-
Definitions.FrobeniusAction.to [in
mathcomp.solvable.frobenius]
-
Definitions.gT [in
mathcomp.solvable.frobenius]
-
Defs.Automorphism.u [in
mathcomp.character.classfun]
-
Defs.B [in
mathcomp.character.classfun]
-
Defs.gT [in
mathcomp.fingroup.gproduct]
-
Defs.gT [in
mathcomp.solvable.maximal]
-
Defs.gT [in
mathcomp.character.classfun]
-
Defs.gT [in
mathcomp.solvable.center]
-
Def.aT [in
mathcomp.ssreflect.finfun]
-
Def.n [in
mathcomp.ssreflect.tuple]
-
Def.rT [in
mathcomp.ssreflect.finfun]
-
Def.T [in
mathcomp.ssreflect.tuple]
-
DepPlainTheory.aT [in
mathcomp.ssreflect.finfun]
-
DepPlainTheory.F [in
mathcomp.ssreflect.finfun]
-
DepPlainTheory.pT [in
mathcomp.ssreflect.finfun]
-
DepPlainTheory.rT [in
mathcomp.ssreflect.finfun]
-
DerivedBasics.gT [in
mathcomp.solvable.commutator]
-
DerivedGroup.gT [in
mathcomp.character.character]
-
DetOrder.DetRepr.n [in
mathcomp.character.character]
-
DetOrder.DetRepr.rG [in
mathcomp.character.character]
-
DetOrder.G [in
mathcomp.character.character]
-
DetOrder.gT [in
mathcomp.character.character]
-
DirectSums.F [in
mathcomp.algebra.mxalgebra]
-
DirectSums.I [in
mathcomp.algebra.mxalgebra]
-
DirectSums.P [in
mathcomp.algebra.mxalgebra]
-
DirprodIsom.gT [in
mathcomp.fingroup.gproduct]
-
Distributivity.one [in
mathcomp.ssreflect.bigop]
-
Distributivity.plus [in
mathcomp.ssreflect.bigop]
-
Distributivity.R [in
mathcomp.ssreflect.bigop]
-
Distributivity.times [in
mathcomp.ssreflect.bigop]
-
Distributivity.zero [in
mathcomp.ssreflect.bigop]
-
DotProduct.G [in
mathcomp.character.classfun]
-
DotProduct.gT [in
mathcomp.character.classfun]
-
DProduct.cKH [in
mathcomp.character.classfun]
-
DProduct.G [in
mathcomp.character.classfun]
-
DProduct.gT [in
mathcomp.character.classfun]
-
DProduct.H [in
mathcomp.character.classfun]
-
DProduct.K [in
mathcomp.character.classfun]
-
DProduct.KxH [in
mathcomp.character.classfun]
-
DProduct.nsHG [in
mathcomp.character.classfun]
-
DProduct.nsKG [in
mathcomp.character.classfun]
-
DProduct.sHG [in
mathcomp.character.classfun]
-
DProduct.sKG [in
mathcomp.character.classfun]
-
DProd.G [in
mathcomp.character.character]
-
DProd.gT [in
mathcomp.character.character]
-
DProd.H [in
mathcomp.character.character]
-
DProd.K [in
mathcomp.character.character]
-
DProd.KxH [in
mathcomp.character.character]
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_E.html b/docs/htmldoc/index_variable_E.html
deleted file mode 100644
index b5bd7f0..0000000
--- a/docs/htmldoc/index_variable_E.html
+++ /dev/null
@@ -1,1256 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_F.html b/docs/htmldoc/index_variable_F.html
deleted file mode 100644
index 0fd189f..0000000
--- a/docs/htmldoc/index_variable_F.html
+++ /dev/null
@@ -1,1328 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_G.html b/docs/htmldoc/index_variable_G.html
deleted file mode 100644
index 73ced8b..0000000
--- a/docs/htmldoc/index_variable_G.html
+++ /dev/null
@@ -1,1306 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_H.html b/docs/htmldoc/index_variable_H.html
deleted file mode 100644
index 0f5aef9..0000000
--- a/docs/htmldoc/index_variable_H.html
+++ /dev/null
@@ -1,483 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
H (variable)
-
HallCorollaries.gT [in
mathcomp.solvable.hall]
-
HornerMx.A [in
mathcomp.algebra.mxpoly]
-
HornerMx.n' [in
mathcomp.algebra.mxpoly]
-
HornerMx.R [in
mathcomp.algebra.mxpoly]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_I.html b/docs/htmldoc/index_variable_I.html
deleted file mode 100644
index 7ce3d3b..0000000
--- a/docs/htmldoc/index_variable_I.html
+++ /dev/null
@@ -1,1188 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_J.html b/docs/htmldoc/index_variable_J.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_variable_J.html
+++ /dev/null
@@ -1,478 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_K.html b/docs/htmldoc/index_variable_K.html
deleted file mode 100644
index d7338b2..0000000
--- a/docs/htmldoc/index_variable_K.html
+++ /dev/null
@@ -1,494 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
K (variable)
-
Kernel.G [in
mathcomp.character.character]
-
Kernel.gT [in
mathcomp.character.character]
-
Kernel.KerLin.lin_xi [in
mathcomp.character.character]
-
Kernel.KerLin.Nxi [in
mathcomp.character.character]
-
Kernel.KerLin.xi [in
mathcomp.character.character]
-
kHom.F [in
mathcomp.field.galois]
-
kHom.kHomExtend.E [in
mathcomp.field.galois]
-
kHom.kHomExtend.f [in
mathcomp.field.galois]
-
kHom.kHomExtend.fPx_y_0 [in
mathcomp.field.galois]
-
kHom.kHomExtend.homKf [in
mathcomp.field.galois]
-
kHom.kHomExtend.K [in
mathcomp.field.galois]
-
kHom.kHomExtend.sKE [in
mathcomp.field.galois]
-
kHom.kHomExtend.x [in
mathcomp.field.galois]
-
kHom.kHomExtend.y [in
mathcomp.field.galois]
-
kHom.L [in
mathcomp.field.galois]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_L.html b/docs/htmldoc/index_variable_L.html
deleted file mode 100644
index 64e6e90..0000000
--- a/docs/htmldoc/index_variable_L.html
+++ /dev/null
@@ -1,976 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
L (variable)
-
Lagrange.gT [in
mathcomp.fingroup.fingroup]
-
LersifField.b [in
mathcomp.algebra.interval]
-
LersifField.F [in
mathcomp.algebra.interval]
-
LersifField.x [in
mathcomp.algebra.interval]
-
LersifField.y [in
mathcomp.algebra.interval]
-
LersifField.z [in
mathcomp.algebra.interval]
-
LersifOrdered.b [in
mathcomp.algebra.interval]
-
LersifOrdered.e [in
mathcomp.algebra.interval]
-
LersifOrdered.R [in
mathcomp.algebra.interval]
-
LersifOrdered.x [in
mathcomp.algebra.interval]
-
LersifOrdered.y [in
mathcomp.algebra.interval]
-
LersifOrdered.z [in
mathcomp.algebra.interval]
-
LersifPo.R [in
mathcomp.algebra.interval]
-
LfunAlgebra.R [in
mathcomp.algebra.vector]
-
LfunAlgebra.vT [in
mathcomp.algebra.vector]
-
LfunAlgebra.vT_proper [in
mathcomp.algebra.vector]
-
LfunDefs.R [in
mathcomp.algebra.vector]
-
LfunVectType.aT [in
mathcomp.algebra.vector]
-
LfunVectType.R [in
mathcomp.algebra.vector]
-
LfunVectType.rT [in
mathcomp.algebra.vector]
-
LfunVspaceDefs.K [in
mathcomp.algebra.vector]
-
LfunZmodType.aT [in
mathcomp.algebra.vector]
-
LfunZmodType.R [in
mathcomp.algebra.vector]
-
LfunZmodType.rT [in
mathcomp.algebra.vector]
-
LiftPerm.n [in
mathcomp.fingroup.perm]
-
LinAut.f [in
mathcomp.algebra.vector]
-
LinAut.K [in
mathcomp.algebra.vector]
-
LinAut.kerf0 [in
mathcomp.algebra.vector]
-
LinAut.vT [in
mathcomp.algebra.vector]
-
LinearImageComp.aT [in
mathcomp.algebra.vector]
-
LinearImageComp.K [in
mathcomp.algebra.vector]
-
LinearImageComp.rT [in
mathcomp.algebra.vector]
-
LinearImageComp.vT [in
mathcomp.algebra.vector]
-
LinearImage.aT [in
mathcomp.algebra.vector]
-
LinearImage.K [in
mathcomp.algebra.vector]
-
LinearImage.rT [in
mathcomp.algebra.vector]
-
LinearPreimage.aT [in
mathcomp.algebra.vector]
-
LinearPreimage.K [in
mathcomp.algebra.vector]
-
LinearPreimage.rT [in
mathcomp.algebra.vector]
-
Linear.G [in
mathcomp.character.character]
-
Linear.gT [in
mathcomp.character.character]
-
Linear.OneChar.CFxi [in
mathcomp.character.character]
-
Linear.OneChar.xi [in
mathcomp.character.character]
-
Linear.OneChar.xiMV [in
mathcomp.character.character]
-
LMod.R [in
mathcomp.algebra.ssrint]
-
LMod.V [in
mathcomp.algebra.ssrint]
-
LowerCentral.gT [in
mathcomp.solvable.nilpotent]
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_M.html b/docs/htmldoc/index_variable_M.html
deleted file mode 100644
index 8f46b25..0000000
--- a/docs/htmldoc/index_variable_M.html
+++ /dev/null
@@ -1,1458 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_N.html b/docs/htmldoc/index_variable_N.html
deleted file mode 100644
index 176eb2c..0000000
--- a/docs/htmldoc/index_variable_N.html
+++ /dev/null
@@ -1,1080 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_O.html b/docs/htmldoc/index_variable_O.html
deleted file mode 100644
index 22b4cb3..0000000
--- a/docs/htmldoc/index_variable_O.html
+++ /dev/null
@@ -1,966 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
O (variable)
-
OhmProps.char.D [in
mathcomp.solvable.abelian]
-
OhmProps.char.G [in
mathcomp.solvable.abelian]
-
OhmProps.char.gT [in
mathcomp.solvable.abelian]
-
OhmProps.char.n [in
mathcomp.solvable.abelian]
-
OhmProps.char.rT [in
mathcomp.solvable.abelian]
-
OhmProps.Generic.gT [in
mathcomp.solvable.abelian]
-
OhmProps.Generic.n [in
mathcomp.solvable.abelian]
-
OhmProps.gT [in
mathcomp.solvable.abelian]
-
OpsTheory.EnumPick.P [in
mathcomp.ssreflect.fintype]
-
OpsTheory.T [in
mathcomp.ssreflect.fintype]
-
OptionEqType.T [in
mathcomp.ssreflect.eqtype]
-
OptionFinType.T [in
mathcomp.ssreflect.fintype]
-
Orbit.f [in
mathcomp.ssreflect.fingraph]
-
Orbit.injf [in
mathcomp.ssreflect.fingraph]
-
Orbit.Loop.f_p [in
mathcomp.ssreflect.fingraph]
-
Orbit.Loop.p [in
mathcomp.ssreflect.fingraph]
-
Orbit.Loop.p_x [in
mathcomp.ssreflect.fingraph]
-
Orbit.Loop.Up [in
mathcomp.ssreflect.fingraph]
-
Orbit.Loop.x [in
mathcomp.ssreflect.fingraph]
-
Orbit.orbit_in.injf [in
mathcomp.ssreflect.fingraph]
-
Orbit.orbit_in.f_in [in
mathcomp.ssreflect.fingraph]
-
Orbit.orbit_in.S [in
mathcomp.ssreflect.fingraph]
-
Orbit.symf [in
mathcomp.ssreflect.fingraph]
-
Orbit.T [in
mathcomp.ssreflect.fingraph]
-
OrdinalEnum.n [in
mathcomp.ssreflect.fintype]
-
OrdinalPos.n' [in
mathcomp.ssreflect.fintype]
-
OrdinalSub.n [in
mathcomp.ssreflect.fintype]
-
OrthogonalityRelations.A [in
mathcomp.character.character]
-
OrthogonalityRelations.aT [in
mathcomp.character.character]
-
OrthogonalityRelations.G [in
mathcomp.character.character]
-
OrthogonalityRelations.gT [in
mathcomp.character.character]
-
OrthogonalityRelations.uX [in
mathcomp.character.character]
-
OrthogonalityRelations.XX'_1 [in
mathcomp.character.character]
-
OrthogonalityRelations.X' [in
mathcomp.character.character]
-
OtherEncodings.T [in
mathcomp.ssreflect.choice]
-
OtherEncodings.T1 [in
mathcomp.ssreflect.choice]
-
OtherEncodings.T2 [in
mathcomp.ssreflect.choice]
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_P.html b/docs/htmldoc/index_variable_P.html
deleted file mode 100644
index fe6efcd..0000000
--- a/docs/htmldoc/index_variable_P.html
+++ /dev/null
@@ -1,1178 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_Q.html b/docs/htmldoc/index_variable_Q.html
deleted file mode 100644
index 43a713a..0000000
--- a/docs/htmldoc/index_variable_Q.html
+++ /dev/null
@@ -1,991 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_R.html b/docs/htmldoc/index_variable_R.html
deleted file mode 100644
index 2a7a8e6..0000000
--- a/docs/htmldoc/index_variable_R.html
+++ /dev/null
@@ -1,1154 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_S.html b/docs/htmldoc/index_variable_S.html
deleted file mode 100644
index a1a9e94..0000000
--- a/docs/htmldoc/index_variable_S.html
+++ /dev/null
@@ -1,1144 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_T.html b/docs/htmldoc/index_variable_T.html
deleted file mode 100644
index 1df9169..0000000
--- a/docs/htmldoc/index_variable_T.html
+++ /dev/null
@@ -1,992 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
T (variable)
-
TagCountType.I [in
mathcomp.ssreflect.choice]
-
TagCountType.T_ [in
mathcomp.ssreflect.choice]
-
TagEqType.I [in
mathcomp.ssreflect.eqtype]
-
TagEqType.T_ [in
mathcomp.ssreflect.eqtype]
-
TagFinType.I [in
mathcomp.ssreflect.fintype]
-
TagFinType.T_ [in
mathcomp.ssreflect.fintype]
-
TaggedAs.I [in
mathcomp.ssreflect.eqtype]
-
TaggedAs.T_ [in
mathcomp.ssreflect.eqtype]
-
Tensor.F [in
mathcomp.character.character]
-
Tensor.tprod_tr [in
mathcomp.character.character]
-
Tensor.trow_mul [in
mathcomp.character.character]
-
Theory.T [in
mathcomp.fingroup.perm]
-
ThirdIsomorphism.G [in
mathcomp.fingroup.quotient]
-
ThirdIsomorphism.gT [in
mathcomp.fingroup.quotient]
-
ThirdIsomorphism.H [in
mathcomp.fingroup.quotient]
-
ThirdIsomorphism.K [in
mathcomp.fingroup.quotient]
-
ThirdIsomorphism.sHK [in
mathcomp.fingroup.quotient]
-
ThirdIsomorphism.snHG [in
mathcomp.fingroup.quotient]
-
ThirdIsomorphism.snKG [in
mathcomp.fingroup.quotient]
-
TotalActions.aT [in
mathcomp.fingroup.action]
-
TotalActions.rT [in
mathcomp.fingroup.action]
-
TotalActions.to [in
mathcomp.fingroup.action]
-
TotalAction.aT [in
mathcomp.fingroup.action]
-
TotalAction.rT [in
mathcomp.fingroup.action]
-
TotalAction.to [in
mathcomp.fingroup.action]
-
TotalAction.toM [in
mathcomp.fingroup.action]
-
TotalAction.to1 [in
mathcomp.fingroup.action]
-
Trajectory.f [in
mathcomp.ssreflect.path]
-
Trajectory.T [in
mathcomp.ssreflect.path]
-
TransferEqType.eT [in
mathcomp.ssreflect.eqtype]
-
TransferEqType.f [in
mathcomp.ssreflect.eqtype]
-
TransferEqType.T [in
mathcomp.ssreflect.eqtype]
-
TransferFinType.eT [in
mathcomp.ssreflect.fintype]
-
TransferFinType.f [in
mathcomp.ssreflect.fintype]
-
TransferFinType.fT [in
mathcomp.ssreflect.fintype]
-
Transfer.abelA [in
mathcomp.solvable.finmodule]
-
Transfer.alpha [in
mathcomp.solvable.finmodule]
-
Transfer.aT [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.actsgHG [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.defHGg [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.g [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.Gg [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.HGg [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.H_g_rcosets [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.injHg [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.injHGg [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.n_ [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.partHG [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.partHGg [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.sgG [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.sXG [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.trX [in
mathcomp.solvable.finmodule]
-
Transfer.FactorTransfer.X [in
mathcomp.solvable.finmodule]
-
Transfer.fmalpha [in
mathcomp.solvable.finmodule]
-
Transfer.G [in
mathcomp.solvable.finmodule]
-
Transfer.gT [in
mathcomp.solvable.finmodule]
-
Transfer.H [in
mathcomp.solvable.finmodule]
-
Transfer.sHG [in
mathcomp.solvable.finmodule]
-
Transfer.V [in
mathcomp.solvable.finmodule]
-
TrivMorphism.aT [in
mathcomp.fingroup.morphism]
-
TrivMorphism.rT [in
mathcomp.fingroup.morphism]
-
TupleQuantifiers.n [in
mathcomp.ssreflect.tuple]
-
TupleQuantifiers.T [in
mathcomp.ssreflect.tuple]
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_U.html b/docs/htmldoc/index_variable_U.html
deleted file mode 100644
index 4e17710..0000000
--- a/docs/htmldoc/index_variable_U.html
+++ /dev/null
@@ -1,509 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
U (variable)
-
UniqCycleRev.T [in
mathcomp.ssreflect.path]
-
UniqCycle.e [in
mathcomp.ssreflect.path]
-
UniqCycle.n0 [in
mathcomp.ssreflect.path]
-
UniqCycle.p [in
mathcomp.ssreflect.path]
-
UniqCycle.T [in
mathcomp.ssreflect.path]
-
UniqCycle.Up [in
mathcomp.ssreflect.path]
-
UniqRotrCycle.n0 [in
mathcomp.ssreflect.path]
-
UniqRotrCycle.p [in
mathcomp.ssreflect.path]
-
UniqRotrCycle.T [in
mathcomp.ssreflect.path]
-
UniqRotrCycle.Up [in
mathcomp.ssreflect.path]
-
UnitRingQuot.addT [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.eqT [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.invT [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.mulT [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.oneT [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.oppT [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.T [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.unitT [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuot.zeroT [in
mathcomp.algebra.ring_quotient]
-
UpperCentralFunctor.G [in
mathcomp.solvable.nilpotent]
-
UpperCentralFunctor.gT [in
mathcomp.solvable.nilpotent]
-
UpperCentralFunctor.n [in
mathcomp.solvable.nilpotent]
-
UpperCentral.gT [in
mathcomp.solvable.nilpotent]
-
UseFinTuple.ImageTuple.A [in
mathcomp.ssreflect.tuple]
-
UseFinTuple.ImageTuple.f [in
mathcomp.ssreflect.tuple]
-
UseFinTuple.ImageTuple.T' [in
mathcomp.ssreflect.tuple]
-
UseFinTuple.MkTuple.f [in
mathcomp.ssreflect.tuple]
-
UseFinTuple.MkTuple.T' [in
mathcomp.ssreflect.tuple]
-
UseFinTuple.n [in
mathcomp.ssreflect.tuple]
-
UseFinTuple.T [in
mathcomp.ssreflect.tuple]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_V.html b/docs/htmldoc/index_variable_V.html
deleted file mode 100644
index 227ce17..0000000
--- a/docs/htmldoc/index_variable_V.html
+++ /dev/null
@@ -1,991 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_W.html b/docs/htmldoc/index_variable_W.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_variable_W.html
+++ /dev/null
@@ -1,478 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_X.html b/docs/htmldoc/index_variable_X.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_variable_X.html
+++ /dev/null
@@ -1,478 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_Y.html b/docs/htmldoc/index_variable_Y.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_variable_Y.html
+++ /dev/null
@@ -1,478 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_Z.html b/docs/htmldoc/index_variable_Z.html
deleted file mode 100644
index a9ba044..0000000
--- a/docs/htmldoc/index_variable_Z.html
+++ /dev/null
@@ -1,495 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
Z (variable)
-
Zchar.G [in
mathcomp.character.vcharacter]
-
Zchar.gT [in
mathcomp.character.vcharacter]
-
Zgroups.D [in
mathcomp.solvable.sylow]
-
Zgroups.f [in
mathcomp.solvable.sylow]
-
Zgroups.gT [in
mathcomp.solvable.sylow]
-
Zgroups.rT [in
mathcomp.solvable.sylow]
-
ZintLmod.M [in
mathcomp.algebra.ssrint]
-
Zip.S [in
mathcomp.ssreflect.seq]
-
Zip.T [in
mathcomp.ssreflect.seq]
-
ZmodQuot.addT [in
mathcomp.algebra.ring_quotient]
-
ZmodQuot.eqT [in
mathcomp.algebra.ring_quotient]
-
ZmodQuot.oppT [in
mathcomp.algebra.ring_quotient]
-
ZmodQuot.T [in
mathcomp.algebra.ring_quotient]
-
ZmodQuot.zeroT [in
mathcomp.algebra.ring_quotient]
-
ZpDef.p' [in
mathcomp.algebra.zmodp]
-
ZpRing.p' [in
mathcomp.algebra.zmodp]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable__.html b/docs/htmldoc/index_variable__.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_variable__.html
+++ /dev/null
@@ -1,478 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
-
-
-
-
-| Global Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(23836 entries) |
-
-
-| Notation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1409 entries) |
-
-
-| Module Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(221 entries) |
-
-
-| Variable Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3574 entries) |
-
-
-| Library Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(90 entries) |
-
-
-| Lemma Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(12096 entries) |
-
-
-| Constructor Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(368 entries) |
-
-
-| Axiom Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(45 entries) |
-
-
-| Inductive Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(107 entries) |
-
-
-| Projection Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(273 entries) |
-
-
-| Section Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(1140 entries) |
-
-
-| Abbreviation Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(728 entries) |
-
-
-| Definition Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(3596 entries) |
-
-
-| Record Index |
-A |
-B |
-C |
-D |
-E |
-F |
-G |
-H |
-I |
-J |
-K |
-L |
-M |
-N |
-O |
-P |
-Q |
-R |
-S |
-T |
-U |
-V |
-W |
-X |
-Y |
-Z |
-_ |
-other |
-(189 entries) |
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
--
cgit v1.2.3