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_definition_*.html | 478 ----------
docs/htmldoc/index_definition_A.html | 1059 ---------------------
docs/htmldoc/index_definition_B.html | 500 ----------
docs/htmldoc/index_definition_C.html | 1372 ---------------------------
docs/htmldoc/index_definition_D.html | 997 --------------------
docs/htmldoc/index_definition_E.html | 1009 --------------------
docs/htmldoc/index_definition_F.html | 1522 ------------------------------
docs/htmldoc/index_definition_G.html | 1724 ----------------------------------
docs/htmldoc/index_definition_H.html | 495 ----------
docs/htmldoc/index_definition_I.html | 1047 ---------------------
docs/htmldoc/index_definition_J.html | 481 ----------
docs/htmldoc/index_definition_K.html | 487 ----------
docs/htmldoc/index_definition_L.html | 992 -------------------
docs/htmldoc/index_definition_M.html | 1089 ---------------------
docs/htmldoc/index_definition_N.html | 1206 ------------------------
docs/htmldoc/index_definition_O.html | 969 -------------------
docs/htmldoc/index_definition_P.html | 1125 ----------------------
docs/htmldoc/index_definition_Q.html | 508 ----------
docs/htmldoc/index_definition_R.html | 1063 ---------------------
docs/htmldoc/index_definition_S.html | 1196 -----------------------
docs/htmldoc/index_definition_T.html | 972 -------------------
docs/htmldoc/index_definition_U.html | 973 -------------------
docs/htmldoc/index_definition_V.html | 508 ----------
docs/htmldoc/index_definition_W.html | 483 ----------
docs/htmldoc/index_definition_X.html | 487 ----------
docs/htmldoc/index_definition_Y.html | 478 ----------
docs/htmldoc/index_definition_Z.html | 507 ----------
docs/htmldoc/index_definition__.html | 478 ----------
28 files changed, 24205 deletions(-)
delete mode 100644 docs/htmldoc/index_definition_*.html
delete mode 100644 docs/htmldoc/index_definition_A.html
delete mode 100644 docs/htmldoc/index_definition_B.html
delete mode 100644 docs/htmldoc/index_definition_C.html
delete mode 100644 docs/htmldoc/index_definition_D.html
delete mode 100644 docs/htmldoc/index_definition_E.html
delete mode 100644 docs/htmldoc/index_definition_F.html
delete mode 100644 docs/htmldoc/index_definition_G.html
delete mode 100644 docs/htmldoc/index_definition_H.html
delete mode 100644 docs/htmldoc/index_definition_I.html
delete mode 100644 docs/htmldoc/index_definition_J.html
delete mode 100644 docs/htmldoc/index_definition_K.html
delete mode 100644 docs/htmldoc/index_definition_L.html
delete mode 100644 docs/htmldoc/index_definition_M.html
delete mode 100644 docs/htmldoc/index_definition_N.html
delete mode 100644 docs/htmldoc/index_definition_O.html
delete mode 100644 docs/htmldoc/index_definition_P.html
delete mode 100644 docs/htmldoc/index_definition_Q.html
delete mode 100644 docs/htmldoc/index_definition_R.html
delete mode 100644 docs/htmldoc/index_definition_S.html
delete mode 100644 docs/htmldoc/index_definition_T.html
delete mode 100644 docs/htmldoc/index_definition_U.html
delete mode 100644 docs/htmldoc/index_definition_V.html
delete mode 100644 docs/htmldoc/index_definition_W.html
delete mode 100644 docs/htmldoc/index_definition_X.html
delete mode 100644 docs/htmldoc/index_definition_Y.html
delete mode 100644 docs/htmldoc/index_definition_Z.html
delete mode 100644 docs/htmldoc/index_definition__.html
(limited to 'docs/htmldoc/index_definition_*.html')
diff --git a/docs/htmldoc/index_definition_*.html b/docs/htmldoc/index_definition_*.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_definition_*.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_definition_A.html b/docs/htmldoc/index_definition_A.html
deleted file mode 100644
index e503a78..0000000
--- a/docs/htmldoc/index_definition_A.html
+++ /dev/null
@@ -1,1059 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_B.html b/docs/htmldoc/index_definition_B.html
deleted file mode 100644
index b7652af..0000000
--- a/docs/htmldoc/index_definition_B.html
+++ /dev/null
@@ -1,500 +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) |
-
-
-
B (definition)
-
baseField_lmodMixin [in
mathcomp.field.fieldext]
-
baseField_scale [in
mathcomp.field.fieldext]
-
baseField_type [in
mathcomp.field.fieldext]
-
baseVspace [in
mathcomp.field.fieldext]
-
basis_of [in
mathcomp.algebra.vector]
-
behead [in
mathcomp.ssreflect.seq]
-
belast [in
mathcomp.ssreflect.seq]
-
Bezout_rec [in
mathcomp.ssreflect.div]
-
BigOp.bigop [in
mathcomp.ssreflect.bigop]
-
binomial [in
mathcomp.ssreflect.binomial]
-
binomial_rec [in
mathcomp.ssreflect.binomial]
-
bin_of_nat [in
mathcomp.ssreflect.ssrnat]
-
bitseq [in
mathcomp.ssreflect.seq]
-
block_mxAx [in
mathcomp.algebra.matrix]
-
block_mx [in
mathcomp.algebra.matrix]
-
bool_groupMixin [in
mathcomp.solvable.alt]
-
bool_countMixin [in
mathcomp.ssreflect.choice]
-
bool_choiceMixin [in
mathcomp.ssreflect.choice]
-
bool_finMixin [in
mathcomp.ssreflect.fintype]
-
bound_in_itv [in
mathcomp.algebra.interval]
-
bump [in
mathcomp.ssreflect.fintype]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_C.html b/docs/htmldoc/index_definition_C.html
deleted file mode 100644
index ff6927f..0000000
--- a/docs/htmldoc/index_definition_C.html
+++ /dev/null
@@ -1,1372 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_D.html b/docs/htmldoc/index_definition_D.html
deleted file mode 100644
index f9fccff..0000000
--- a/docs/htmldoc/index_definition_D.html
+++ /dev/null
@@ -1,997 +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 (definition)
-
daddv_pi [in
mathcomp.algebra.vector]
-
dadd_grepr [in
mathcomp.character.character]
-
dchi [in
mathcomp.character.vcharacter]
-
decidable_embedding [in
mathcomp.field.algebraics_fundamentals]
-
defaultEncModRelClass [in
mathcomp.ssreflect.generic_quotient]
-
degree_mxminpoly [in
mathcomp.algebra.mxpoly]
-
delta_mx [in
mathcomp.algebra.matrix]
-
denq [in
mathcomp.algebra.rat]
-
denq_ge0 [in
mathcomp.algebra.rat]
-
Deprecation.exposed [in
mathcomp.ssreflect.ssreflect]
-
Deprecation.hidden [in
mathcomp.ssreflect.ssreflect]
-
Deprecation.hide [in
mathcomp.ssreflect.ssreflect]
-
Deprecation.reject_hint [in
mathcomp.ssreflect.ssreflect]
-
Deprecation.silent_hint [in
mathcomp.ssreflect.ssreflect]
-
deriv [in
mathcomp.algebra.poly]
-
Derivation [in
mathcomp.field.separable]
-
derivCE [in
mathcomp.algebra.poly]
-
derivE [in
mathcomp.algebra.poly]
-
derived_at [in
mathcomp.solvable.commutator]
-
derived_at_rec [in
mathcomp.solvable.commutator]
-
derivn [in
mathcomp.algebra.poly]
-
determinant [in
mathcomp.algebra.matrix]
-
detRepr [in
mathcomp.character.character]
-
det_repr_mx [in
mathcomp.character.character]
-
dfinfun_of [in
mathcomp.ssreflect.finfun]
-
dfs [in
mathcomp.ssreflect.fingraph]
-
diag_mx [in
mathcomp.algebra.matrix]
-
diffmx [in
mathcomp.algebra.mxalgebra]
-
diffmx_def [in
mathcomp.algebra.mxalgebra]
-
diffv [in
mathcomp.algebra.vector]
-
diff_roots [in
mathcomp.algebra.poly]
-
dihedral_gtype [in
mathcomp.solvable.extremal]
-
dIirr [in
mathcomp.character.vcharacter]
-
dimv [in
mathcomp.algebra.vector]
-
dinjectiveb [in
mathcomp.ssreflect.fintype]
-
directv_def [in
mathcomp.algebra.vector]
-
direct_product [in
mathcomp.fingroup.gproduct]
-
dirr [in
mathcomp.character.vcharacter]
-
dirr_constt [in
mathcomp.character.vcharacter]
-
dirr_dIirr [in
mathcomp.character.vcharacter]
-
dirr1 [in
mathcomp.character.vcharacter]
-
dir_iso3l [in
mathcomp.solvable.burnside_app]
-
dir_iso3 [in
mathcomp.solvable.burnside_app]
-
disjoint [in
mathcomp.ssreflect.fintype]
-
divgr [in
mathcomp.fingroup.gproduct]
-
divisors [in
mathcomp.ssreflect.prime]
-
divn [in
mathcomp.ssreflect.div]
-
divq [in
mathcomp.algebra.rat]
-
divz [in
mathcomp.algebra.intdiv]
-
div_annihilant [in
mathcomp.algebra.polyXY]
-
dlsubmx [in
mathcomp.algebra.matrix]
-
dom [in
mathcomp.fingroup.morphism]
-
dom_hom_mx [in
mathcomp.character.mxrepresentation]
-
double [in
mathcomp.ssreflect.ssrnat]
-
double_inj [in
mathcomp.ssreflect.ssrnat]
-
double_rec [in
mathcomp.ssreflect.ssrnat]
-
dpair [in
mathcomp.fingroup.perm]
-
dprodl_Iirr [in
mathcomp.character.character]
-
dprodm [in
mathcomp.fingroup.gproduct]
-
dprodr_Iirr [in
mathcomp.character.character]
-
dprod_Iirr [in
mathcomp.character.character]
-
drop [in
mathcomp.ssreflect.seq]
-
drsubmx [in
mathcomp.algebra.matrix]
-
dsubmx [in
mathcomp.algebra.matrix]
-
dtuple_on [in
mathcomp.solvable.primitive_action]
-
dvdA [in
mathcomp.field.algnum]
-
dvdn [in
mathcomp.ssreflect.div]
-
dvdz [in
mathcomp.algebra.intdiv]
-
-
-| 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_definition_E.html b/docs/htmldoc/index_definition_E.html
deleted file mode 100644
index 29dfa39..0000000
--- a/docs/htmldoc/index_definition_E.html
+++ /dev/null
@@ -1,1009 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_F.html b/docs/htmldoc/index_definition_F.html
deleted file mode 100644
index 3c940c8..0000000
--- a/docs/htmldoc/index_definition_F.html
+++ /dev/null
@@ -1,1522 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_G.html b/docs/htmldoc/index_definition_G.html
deleted file mode 100644
index c8b82f5..0000000
--- a/docs/htmldoc/index_definition_G.html
+++ /dev/null
@@ -1,1724 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_H.html b/docs/htmldoc/index_definition_H.html
deleted file mode 100644
index b6fbea7..0000000
--- a/docs/htmldoc/index_definition_H.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) |
-
-
-
H (definition)
-
half [in
mathcomp.ssreflect.ssrnat]
-
half_double [in
mathcomp.ssreflect.ssrnat]
-
Hall [in
mathcomp.solvable.pgroup]
-
has [in
mathcomp.ssreflect.seq]
-
has_algid [in
mathcomp.field.falgebra]
-
has_mxring_id [in
mathcomp.algebra.mxalgebra]
-
head [in
mathcomp.ssreflect.seq]
-
homg [in
mathcomp.fingroup.morphism]
-
homocyclic [in
mathcomp.solvable.abelian]
-
horner [in
mathcomp.algebra.poly]
-
hornerE [in
mathcomp.algebra.poly]
-
hornerE_comm [in
mathcomp.algebra.poly]
-
horner_mx [in
mathcomp.algebra.mxpoly]
-
horner_eval [in
mathcomp.algebra.poly]
-
horner_morph [in
mathcomp.algebra.poly]
-
horner_rec [in
mathcomp.algebra.poly]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_I.html b/docs/htmldoc/index_definition_I.html
deleted file mode 100644
index fb2b931..0000000
--- a/docs/htmldoc/index_definition_I.html
+++ /dev/null
@@ -1,1047 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_J.html b/docs/htmldoc/index_definition_J.html
deleted file mode 100644
index 553825b..0000000
--- a/docs/htmldoc/index_definition_J.html
+++ /dev/null
@@ -1,481 +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) |
-
-
-
J (definition)
-
joinG [in
mathcomp.fingroup.fingroup]
-
joing [in
mathcomp.fingroup.fingroup]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_K.html b/docs/htmldoc/index_definition_K.html
deleted file mode 100644
index 5fd2dd0..0000000
--- a/docs/htmldoc/index_definition_K.html
+++ /dev/null
@@ -1,487 +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 (definition)
-
kAut [in
mathcomp.field.galois]
-
ker [in
mathcomp.fingroup.morphism]
-
kermx [in
mathcomp.algebra.mxalgebra]
-
ker_cprod_by [in
mathcomp.solvable.center]
-
kHom [in
mathcomp.field.galois]
-
kHomExtend [in
mathcomp.field.galois]
-
kHom_rmorphism [in
mathcomp.field.galois]
-
kquo_mx [in
mathcomp.character.mxrepresentation]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_L.html b/docs/htmldoc/index_definition_L.html
deleted file mode 100644
index bab8c77..0000000
--- a/docs/htmldoc/index_definition_L.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) |
-
-
-
L (definition)
-
last [in
mathcomp.ssreflect.seq]
-
lcmn [in
mathcomp.ssreflect.div]
-
lcoset [in
mathcomp.fingroup.fingroup]
-
lcosets [in
mathcomp.fingroup.fingroup]
-
Ldiv [in
mathcomp.solvable.abelian]
-
lead_coef [in
mathcomp.algebra.poly]
-
leC_nat [in
mathcomp.field.algC]
-
left_mx_ideal [in
mathcomp.algebra.mxalgebra]
-
leq [in
mathcomp.ssreflect.ssrnat]
-
leqif [in
mathcomp.ssreflect.ssrnat]
-
lersif [in
mathcomp.algebra.interval]
-
lersif_sub_addl [in
mathcomp.algebra.interval]
-
lersif_sub_addr [in
mathcomp.algebra.interval]
-
lersif_add2 [in
mathcomp.algebra.interval]
-
lersif_oppE [in
mathcomp.algebra.interval]
-
le_rat [in
mathcomp.algebra.rat]
-
le_boundr [in
mathcomp.algebra.interval]
-
le_boundl [in
mathcomp.algebra.interval]
-
lfun_algType [in
mathcomp.algebra.vector]
-
lfun_lalgType [in
mathcomp.algebra.vector]
-
lfun_ringType [in
mathcomp.algebra.vector]
-
lfun_ringMixin [in
mathcomp.algebra.vector]
-
lfun_comp_ringType [in
mathcomp.algebra.vector]
-
lfun_comp_ringMixin [in
mathcomp.algebra.vector]
-
lfun_simp [in
mathcomp.algebra.vector]
-
lfun_vectMixin [in
mathcomp.algebra.vector]
-
lfun_lmodMixin [in
mathcomp.algebra.vector]
-
lfun_zmodMixin [in
mathcomp.algebra.vector]
-
lfun_choiceMixin [in
mathcomp.algebra.vector]
-
lfun_eqMixin [in
mathcomp.algebra.vector]
-
lfun_preim [in
mathcomp.algebra.vector]
-
lfun_img [in
mathcomp.algebra.vector]
-
lfun_img_def [in
mathcomp.algebra.vector]
-
lift [in
mathcomp.ssreflect.fintype]
-
lift_perm [in
mathcomp.fingroup.perm]
-
lift_perm_fun [in
mathcomp.fingroup.perm]
-
lift0_mx [in
mathcomp.algebra.matrix]
-
lift0_perm [in
mathcomp.algebra.matrix]
-
linear_irr [in
mathcomp.character.mxrepresentation]
-
linear_char [in
mathcomp.character.character]
-
linfun [in
mathcomp.algebra.vector]
-
linfun_def [in
mathcomp.algebra.vector]
-
lin_mul_row [in
mathcomp.algebra.matrix]
-
lin_mulmx [in
mathcomp.algebra.matrix]
-
lin_mulmxr [in
mathcomp.algebra.matrix]
-
lin_mx [in
mathcomp.algebra.matrix]
-
lin1_mx [in
mathcomp.algebra.matrix]
-
lker [in
mathcomp.algebra.vector]
-
logn [in
mathcomp.ssreflect.prime]
-
logn_rec [in
mathcomp.ssreflect.prime]
-
looping [in
mathcomp.ssreflect.path]
-
lower_central_at [in
mathcomp.solvable.nilpotent]
-
lower_central_at_rec [in
mathcomp.solvable.nilpotent]
-
lshift [in
mathcomp.ssreflect.fintype]
-
lsubmx [in
mathcomp.algebra.matrix]
-
ltC_nat [in
mathcomp.field.algC]
-
lteNz_nat [in
mathcomp.algebra.ssrint]
-
ltezN_nat [in
mathcomp.algebra.ssrint]
-
ltez_natE [in
mathcomp.algebra.ssrint]
-
ltez_nat [in
mathcomp.algebra.ssrint]
-
ltmx [in
mathcomp.algebra.mxalgebra]
-
ltn [in
mathcomp.ssreflect.ssrnat]
-
lt_rat [in
mathcomp.algebra.rat]
-
-
-| 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_definition_M.html b/docs/htmldoc/index_definition_M.html
deleted file mode 100644
index e8019a7..0000000
--- a/docs/htmldoc/index_definition_M.html
+++ /dev/null
@@ -1,1089 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_N.html b/docs/htmldoc/index_definition_N.html
deleted file mode 100644
index d617029..0000000
--- a/docs/htmldoc/index_definition_N.html
+++ /dev/null
@@ -1,1206 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_O.html b/docs/htmldoc/index_definition_O.html
deleted file mode 100644
index f22a33b..0000000
--- a/docs/htmldoc/index_definition_O.html
+++ /dev/null
@@ -1,969 +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 (definition)
-
odd [in
mathcomp.ssreflect.ssrnat]
-
odd_perm [in
mathcomp.fingroup.perm]
-
of_irr [in
mathcomp.character.vcharacter]
-
ohead [in
mathcomp.ssreflect.seq]
-
Ohm [in
mathcomp.solvable.abelian]
-
oneg [in
mathcomp.fingroup.fingroup]
-
oneq [in
mathcomp.algebra.rat]
-
opair_of_sum [in
mathcomp.ssreflect.choice]
-
opp [in
mathcomp.solvable.burnside_app]
-
oppmx [in
mathcomp.algebra.matrix]
-
oppq [in
mathcomp.algebra.rat]
-
oppq_subdef [in
mathcomp.algebra.rat]
-
oppz_add [in
mathcomp.algebra.ssrint]
-
opp_pair [in
mathcomp.algebra.ssralg]
-
opp_lfun [in
mathcomp.algebra.vector]
-
opp_poly [in
mathcomp.algebra.poly]
-
opp_poly_def [in
mathcomp.algebra.poly]
-
option_countMixin [in
mathcomp.ssreflect.choice]
-
option_choiceMixin [in
mathcomp.ssreflect.choice]
-
option_finMixin [in
mathcomp.ssreflect.fintype]
-
option_enum [in
mathcomp.ssreflect.fintype]
-
opt_eq [in
mathcomp.ssreflect.eqtype]
-
orbit [in
mathcomp.fingroup.action]
-
orbit [in
mathcomp.ssreflect.fingraph]
-
orbit_transversal [in
mathcomp.fingroup.action]
-
order [in
mathcomp.fingroup.fingroup]
-
order [in
mathcomp.ssreflect.fingraph]
-
orderC [in
mathcomp.field.algnum]
-
order_set [in
mathcomp.ssreflect.fingraph]
-
ordinal_finMixin [in
mathcomp.ssreflect.fintype]
-
ordinal_countMixin [in
mathcomp.ssreflect.fintype]
-
ordinal_choiceMixin [in
mathcomp.ssreflect.fintype]
-
ordinal_eqMixin [in
mathcomp.ssreflect.fintype]
-
ord_tuple [in
mathcomp.ssreflect.tuple]
-
ord_max [in
mathcomp.ssreflect.fintype]
-
ord_enum [in
mathcomp.ssreflect.fintype]
-
ord0 [in
mathcomp.ssreflect.fintype]
-
orthogonal [in
mathcomp.character.classfun]
-
orthonormal [in
mathcomp.character.classfun]
-
ortho_rec [in
mathcomp.character.classfun]
-
-
-| 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_definition_P.html b/docs/htmldoc/index_definition_P.html
deleted file mode 100644
index 6f794ee..0000000
--- a/docs/htmldoc/index_definition_P.html
+++ /dev/null
@@ -1,1125 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_Q.html b/docs/htmldoc/index_definition_Q.html
deleted file mode 100644
index b5d9171..0000000
--- a/docs/htmldoc/index_definition_Q.html
+++ /dev/null
@@ -1,508 +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) |
-
-
-
Q (definition)
-
qact [in
mathcomp.fingroup.action]
-
qact_dom [in
mathcomp.fingroup.action]
-
Qint [in
mathcomp.algebra.rat]
-
qisom [in
mathcomp.fingroup.quotient]
-
Qnat [in
mathcomp.algebra.rat]
-
quaternion_gtype [in
mathcomp.solvable.extremal]
-
quaternion_kernel [in
mathcomp.solvable.extremal]
-
quotient [in
mathcomp.fingroup.quotient]
-
Quotient.add [in
mathcomp.algebra.ring_quotient]
-
Quotient.equiv [in
mathcomp.algebra.ring_quotient]
-
Quotient.mul [in
mathcomp.algebra.ring_quotient]
-
Quotient.one [in
mathcomp.algebra.ring_quotient]
-
Quotient.opp [in
mathcomp.algebra.ring_quotient]
-
Quotient.rquot_ringQuotMixin [in
mathcomp.algebra.ring_quotient]
-
Quotient.rquot_comRingMixin [in
mathcomp.algebra.ring_quotient]
-
Quotient.rquot_zmodQuotMixin [in
mathcomp.algebra.ring_quotient]
-
Quotient.rquot_zmodMixin [in
mathcomp.algebra.ring_quotient]
-
Quotient.type [in
mathcomp.algebra.ring_quotient]
-
Quotient.type_of [in
mathcomp.algebra.ring_quotient]
-
Quotient.zero [in
mathcomp.algebra.ring_quotient]
-
quotm [in
mathcomp.fingroup.quotient]
-
QuotSubType.choiceMixin [in
mathcomp.ssreflect.generic_quotient]
-
QuotSubType.countMixin [in
mathcomp.ssreflect.generic_quotient]
-
QuotSubType.eqMixin [in
mathcomp.ssreflect.generic_quotient]
-
QuotSubType.finMixin [in
mathcomp.ssreflect.generic_quotient]
-
QuotSubType.Sub [in
mathcomp.ssreflect.generic_quotient]
-
QuotType_clone [in
mathcomp.ssreflect.generic_quotient]
-
quo_mx [in
mathcomp.character.mxrepresentation]
-
quo_Iirr [in
mathcomp.character.character]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_R.html b/docs/htmldoc/index_definition_R.html
deleted file mode 100644
index bdf8547..0000000
--- a/docs/htmldoc/index_definition_R.html
+++ /dev/null
@@ -1,1063 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_S.html b/docs/htmldoc/index_definition_S.html
deleted file mode 100644
index fffbc73..0000000
--- a/docs/htmldoc/index_definition_S.html
+++ /dev/null
@@ -1,1196 +0,0 @@
-
-
-
-
-
-mathcomp.test_suite.hierarchy_test
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_T.html b/docs/htmldoc/index_definition_T.html
deleted file mode 100644
index 8faaa9b..0000000
--- a/docs/htmldoc/index_definition_T.html
+++ /dev/null
@@ -1,972 +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 (definition)
-
tagged_as [in
mathcomp.ssreflect.eqtype]
-
tag_countMixin [in
mathcomp.ssreflect.choice]
-
tag_of_pair [in
mathcomp.ssreflect.choice]
-
tag_finMixin [in
mathcomp.ssreflect.fintype]
-
tag_enum [in
mathcomp.ssreflect.fintype]
-
tag_eq [in
mathcomp.ssreflect.eqtype]
-
take [in
mathcomp.ssreflect.seq]
-
tally [in
mathcomp.ssreflect.seq]
-
tally_seq [in
mathcomp.ssreflect.seq]
-
tcast [in
mathcomp.ssreflect.tuple]
-
tfgraph [in
mathcomp.ssreflect.finfun]
-
tfgraph_inv [in
mathcomp.ssreflect.finfun]
-
thead [in
mathcomp.ssreflect.tuple]
-
tnth [in
mathcomp.ssreflect.tuple]
-
to [in
mathcomp.solvable.burnside_app]
-
TotalAction [in
mathcomp.fingroup.action]
-
total_fun [in
mathcomp.ssreflect.finfun]
-
totient [in
mathcomp.ssreflect.prime]
-
to_dirr [in
mathcomp.character.vcharacter]
-
to_g [in
mathcomp.solvable.burnside_app]
-
tperm [in
mathcomp.fingroup.perm]
-
tperm_mx [in
mathcomp.algebra.matrix]
-
tprod [in
mathcomp.character.character]
-
traject [in
mathcomp.ssreflect.path]
-
transfer [in
mathcomp.solvable.finmodule]
-
transversal [in
mathcomp.ssreflect.finset]
-
transversal_repr [in
mathcomp.ssreflect.finset]
-
tree_countMixin [in
mathcomp.ssreflect.choice]
-
tree_choiceMixin [in
mathcomp.ssreflect.choice]
-
tree_eqMixin [in
mathcomp.ssreflect.choice]
-
trivGfun [in
mathcomp.solvable.gfunctor]
-
trivIset [in
mathcomp.ssreflect.finset]
-
trivm [in
mathcomp.fingroup.morphism]
-
trmx [in
mathcomp.algebra.matrix]
-
trow [in
mathcomp.character.character]
-
trowb [in
mathcomp.character.character]
-
trunc_log [in
mathcomp.ssreflect.prime]
-
tsize [in
mathcomp.ssreflect.tuple]
-
tuple [in
mathcomp.ssreflect.tuple]
-
tuple_finMixin [in
mathcomp.ssreflect.tuple]
-
tuple_countMixin [in
mathcomp.ssreflect.tuple]
-
tuple_choiceMixin [in
mathcomp.ssreflect.tuple]
-
tuple_eqMixin [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_definition_U.html b/docs/htmldoc/index_definition_U.html
deleted file mode 100644
index 10d6bf4..0000000
--- a/docs/htmldoc/index_definition_U.html
+++ /dev/null
@@ -1,973 +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 (definition)
-
ucycle [in
mathcomp.ssreflect.path]
-
ucycleb [in
mathcomp.ssreflect.path]
-
ulsubmx [in
mathcomp.algebra.matrix]
-
unbump [in
mathcomp.ssreflect.fintype]
-
undup [in
mathcomp.ssreflect.seq]
-
uniq [in
mathcomp.ssreflect.seq]
-
uniq_roots [in
mathcomp.algebra.poly]
-
unitmx [in
mathcomp.algebra.matrix]
-
UnitRingQuotMixin_pack [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuotType_clone [in
mathcomp.algebra.ring_quotient]
-
UnitRingQuotType_pack [in
mathcomp.algebra.ring_quotient]
-
units_Zp [in
mathcomp.algebra.zmodp]
-
UnityRootTheory.eq_prim_root_expr [in
mathcomp.algebra.poly]
-
UnityRootTheory.fmorph_primitive_root [in
mathcomp.algebra.poly]
-
UnityRootTheory.fmorph_unity_root [in
mathcomp.algebra.poly]
-
UnityRootTheory.max_unity_roots [in
mathcomp.algebra.poly]
-
UnityRootTheory.mem_unity_roots [in
mathcomp.algebra.poly]
-
UnityRootTheory.prim_rootP [in
mathcomp.algebra.poly]
-
UnityRootTheory.prim_order_dvd [in
mathcomp.algebra.poly]
-
UnityRootTheory.prim_expr_mod [in
mathcomp.algebra.poly]
-
UnityRootTheory.prim_order_exists [in
mathcomp.algebra.poly]
-
UnityRootTheory.rmorph_unity_root [in
mathcomp.algebra.poly]
-
UnityRootTheory.unity_rootP [in
mathcomp.algebra.poly]
-
UnityRootTheory.unity_rootE [in
mathcomp.algebra.poly]
-
unit_ring_eq_quot_class [in
mathcomp.algebra.ring_quotient]
-
unit_ring_zmod_quot_class [in
mathcomp.algebra.ring_quotient]
-
unit_ring_ring_quot_class [in
mathcomp.algebra.ring_quotient]
-
unit_ring_quot_class [in
mathcomp.algebra.ring_quotient]
-
unit_countMixin [in
mathcomp.ssreflect.choice]
-
unit_choiceMixin [in
mathcomp.ssreflect.choice]
-
unit_finMixin [in
mathcomp.ssreflect.fintype]
-
unit_eqMixin [in
mathcomp.ssreflect.eqtype]
-
unlift [in
mathcomp.ssreflect.fintype]
-
unpickle [in
mathcomp.ssreflect.choice]
-
unpickle_tagged [in
mathcomp.ssreflect.choice]
-
unpickle_seq [in
mathcomp.ssreflect.choice]
-
unsplit [in
mathcomp.ssreflect.fintype]
-
unzip1 [in
mathcomp.ssreflect.seq]
-
unzip2 [in
mathcomp.ssreflect.seq]
-
uphalf [in
mathcomp.ssreflect.ssrnat]
-
upper_central_at [in
mathcomp.solvable.nilpotent]
-
upper_central_at_rec [in
mathcomp.solvable.nilpotent]
-
ursubmx [in
mathcomp.algebra.matrix]
-
usubmx [in
mathcomp.algebra.matrix]
-
-
-| 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_definition_V.html b/docs/htmldoc/index_definition_V.html
deleted file mode 100644
index 73677c3..0000000
--- a/docs/htmldoc/index_definition_V.html
+++ /dev/null
@@ -1,508 +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) |
-
-
-
V (definition)
-
val_factmod [in
mathcomp.character.mxrepresentation]
-
val_submod [in
mathcomp.character.mxrepresentation]
-
vbasis [in
mathcomp.algebra.vector]
-
vbasis_def [in
mathcomp.algebra.vector]
-
Vector.axiom_def [in
mathcomp.algebra.vector]
-
Vector.choiceType [in
mathcomp.algebra.vector]
-
Vector.class [in
mathcomp.algebra.vector]
-
Vector.clone [in
mathcomp.algebra.vector]
-
Vector.dim [in
mathcomp.algebra.vector]
-
Vector.eqType [in
mathcomp.algebra.vector]
-
Vector.InternalTheory.b2mx [in
mathcomp.algebra.vector]
-
Vector.InternalTheory.f2mx [in
mathcomp.algebra.vector]
-
Vector.InternalTheory.mx2vs [in
mathcomp.algebra.vector]
-
Vector.InternalTheory.r2v [in
mathcomp.algebra.vector]
-
Vector.InternalTheory.vs2mx [in
mathcomp.algebra.vector]
-
Vector.InternalTheory.v2r [in
mathcomp.algebra.vector]
-
Vector.lmodType [in
mathcomp.algebra.vector]
-
Vector.pack [in
mathcomp.algebra.vector]
-
Vector.zmodType [in
mathcomp.algebra.vector]
-
vec_mx [in
mathcomp.algebra.matrix]
-
vline [in
mathcomp.algebra.vector]
-
vpick [in
mathcomp.algebra.vector]
-
vrefl_rect [in
mathcomp.ssreflect.eqtype]
-
vsolve_eq [in
mathcomp.algebra.vector]
-
vspaceOver [in
mathcomp.field.fieldext]
-
vsproj [in
mathcomp.algebra.vector]
-
vsproj_def [in
mathcomp.algebra.vector]
-
vsval [in
mathcomp.algebra.vector]
-
vs2mx_sum_expr_subproof [in
mathcomp.algebra.vector]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_W.html b/docs/htmldoc/index_definition_W.html
deleted file mode 100644
index d2f33bd..0000000
--- a/docs/htmldoc/index_definition_W.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) |
-
-
-
W (definition)
-
Wedderburn_id [in
mathcomp.character.mxrepresentation]
-
Wedderburn_subring [in
mathcomp.character.mxrepresentation]
-
wf_tally [in
mathcomp.ssreflect.seq]
-
widen_ord [in
mathcomp.ssreflect.fintype]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_X.html b/docs/htmldoc/index_definition_X.html
deleted file mode 100644
index 84071b7..0000000
--- a/docs/htmldoc/index_definition_X.html
+++ /dev/null
@@ -1,487 +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) |
-
-
-
X (definition)
-
xcfun [in
mathcomp.character.character]
-
xcfun_r_head [in
mathcomp.character.character]
-
xchoose [in
mathcomp.ssreflect.choice]
-
xcol [in
mathcomp.algebra.matrix]
-
xcprod [in
mathcomp.solvable.center]
-
xcprodm [in
mathcomp.solvable.center]
-
xrow [in
mathcomp.algebra.matrix]
-
xsdprodm [in
mathcomp.fingroup.gproduct]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition_Y.html b/docs/htmldoc/index_definition_Y.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_definition_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_definition_Z.html b/docs/htmldoc/index_definition_Z.html
deleted file mode 100644
index 727ea53..0000000
--- a/docs/htmldoc/index_definition_Z.html
+++ /dev/null
@@ -1,507 +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 (definition)
-
Zchar [in
mathcomp.character.vcharacter]
-
zchinese [in
mathcomp.algebra.intdiv]
-
zcontents [in
mathcomp.algebra.intdiv]
-
zeroq [in
mathcomp.algebra.rat]
-
zero_lfun [in
mathcomp.algebra.vector]
-
Zgroup [in
mathcomp.solvable.sylow]
-
zip [in
mathcomp.ssreflect.seq]
-
ZmodQuotMixin_pack [in
mathcomp.algebra.ring_quotient]
-
ZmodQuotType_clone [in
mathcomp.algebra.ring_quotient]
-
ZmodQuotType_pack [in
mathcomp.algebra.ring_quotient]
-
zmodule [in
mathcomp.algebra.ssrint]
-
zmod_eq_quot_class [in
mathcomp.algebra.ring_quotient]
-
zmod_quot_class [in
mathcomp.algebra.ring_quotient]
-
Znat [in
mathcomp.algebra.ssrint]
-
Zp [in
mathcomp.algebra.zmodp]
-
Zpm [in
mathcomp.solvable.cyclic]
-
zprimitive [in
mathcomp.algebra.intdiv]
-
Zp_trunc [in
mathcomp.algebra.zmodp]
-
Zp_unitRingMixin [in
mathcomp.algebra.zmodp]
-
Zp_ringMixin [in
mathcomp.algebra.zmodp]
-
Zp_zmodMixin [in
mathcomp.algebra.zmodp]
-
Zp_inv [in
mathcomp.algebra.zmodp]
-
Zp_mul [in
mathcomp.algebra.zmodp]
-
Zp_add [in
mathcomp.algebra.zmodp]
-
Zp_opp [in
mathcomp.algebra.zmodp]
-
Zp_unitm [in
mathcomp.solvable.cyclic]
-
Zp0 [in
mathcomp.algebra.zmodp]
-
Zp1 [in
mathcomp.algebra.zmodp]
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/docs/htmldoc/index_definition__.html b/docs/htmldoc/index_definition__.html
deleted file mode 100644
index ecb788b..0000000
--- a/docs/htmldoc/index_definition__.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