From 748d716efb2f2f75946c8386e441ce1789806a39 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 May 2019 13:43:08 +0200
Subject: htmldoc regenerated
---
docs/htmldoc/index_definition_R.html | 86 +++++++++++++++---------------------
1 file changed, 36 insertions(+), 50 deletions(-)
(limited to 'docs/htmldoc/index_definition_R.html')
diff --git a/docs/htmldoc/index_definition_R.html b/docs/htmldoc/index_definition_R.html
index 0e57c02..bdf8547 100644
--- a/docs/htmldoc/index_definition_R.html
+++ b/docs/htmldoc/index_definition_R.html
@@ -4,7 +4,7 @@
-mathcomp.ssreflect.tuple
+mathcomp.test_suite.hierarchy_test
@@ -47,7 +47,7 @@
| Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -79,14 +79,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -111,7 +111,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -143,7 +143,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -175,7 +175,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -207,7 +207,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -239,7 +239,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -271,7 +271,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -303,14 +303,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -335,7 +335,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -367,7 +367,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -399,7 +399,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -431,14 +431,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -463,7 +463,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
R (definition)
@@ -490,15 +490,11 @@
rcons [in mathcomp.ssreflect.seq]
rcoset [in mathcomp.fingroup.fingroup]
rcosets [in mathcomp.fingroup.fingroup]
-rdivpT [in mathcomp.field.closed_field]
-rdvdpT [in mathcomp.field.closed_field]
-redivpT [in mathcomp.field.closed_field]
-redivp_rec_loop [in mathcomp.field.closed_field]
-redivp_rec_loopT [in mathcomp.field.closed_field]
reducebig [in mathcomp.ssreflect.bigop]
refBaseField [in mathcomp.field.fieldext]
regular_mx [in mathcomp.character.mxrepresentation]
regular_vectMixin [in mathcomp.algebra.vector]
+relpre [in mathcomp.ssreflect.ssrbool]
rel_base [in mathcomp.ssreflect.path]
rem [in mathcomp.ssreflect.seq]
remgr [in mathcomp.fingroup.gproduct]
@@ -519,13 +515,7 @@
rfd [in mathcomp.solvable.alt]
rfd_fun [in mathcomp.solvable.alt]
rfix_mx [in mathcomp.character.mxrepresentation]
-rgcdpT [in mathcomp.field.closed_field]
-rgcdpTs [in mathcomp.field.closed_field]
-rgcdp_loopT [in mathcomp.field.closed_field]
-rgcdp_loop [in mathcomp.field.closed_field]
rgd [in mathcomp.solvable.alt]
-rgdcopT [in mathcomp.field.closed_field]
-rgdcop_recT [in mathcomp.field.closed_field]
rgd_fun [in mathcomp.solvable.alt]
rgraph [in mathcomp.ssreflect.fingraph]
right_mx_ideal [in mathcomp.algebra.mxalgebra]
@@ -536,7 +526,6 @@
ring_zmod_quot_class [in mathcomp.algebra.ring_quotient]
ring_quot_class [in mathcomp.algebra.ring_quotient]
rker [in mathcomp.character.mxrepresentation]
-rmodpT [in mathcomp.field.closed_field]
root [in mathcomp.algebra.poly]
root [in mathcomp.ssreflect.fingraph]
roots [in mathcomp.ssreflect.fingraph]
@@ -558,9 +547,6 @@
row_free [in mathcomp.algebra.mxalgebra]
row_ebase [in mathcomp.algebra.mxalgebra]
row' [in mathcomp.algebra.matrix]
-rpoly [in mathcomp.field.closed_field]
-rscalpT [in mathcomp.field.closed_field]
-rseq_poly [in mathcomp.field.closed_field]
rshift [in mathcomp.ssreflect.fintype]
rstab [in mathcomp.character.mxrepresentation]
rstabs [in mathcomp.character.mxrepresentation]
@@ -646,7 +632,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -678,14 +664,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -710,7 +696,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -742,7 +728,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -774,7 +760,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -806,7 +792,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -838,7 +824,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -870,7 +856,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -902,14 +888,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -934,7 +920,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -966,7 +952,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -998,7 +984,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1030,14 +1016,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1062,7 +1048,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3