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_global_R.html | 152 ++++++++++++++++----------------------- 1 file changed, 62 insertions(+), 90 deletions(-) (limited to 'docs/htmldoc/index_global_R.html') diff --git a/docs/htmldoc/index_global_R.html b/docs/htmldoc/index_global_R.html index 78fa42e..85289b0 100644 --- a/docs/htmldoc/index_global_R.html +++ b/docs/htmldoc/index_global_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,14 +463,13 @@ Z _ other -(185 entries) +(189 entries)

R

R [abbreviation, in mathcomp.field.finfield]
R [abbreviation, in mathcomp.field.finfield]
r [abbreviation, in mathcomp.character.mxabelem]
-rabstrX [lemma, in mathcomp.field.closed_field]
ract [definition, in mathcomp.fingroup.action]
ractE [lemma, in mathcomp.fingroup.action]
ractpermE [lemma, in mathcomp.fingroup.action]
@@ -480,7 +479,6 @@ raddfZ_Cint [lemma, in mathcomp.field.algC]
raddfZ_Cnat [lemma, in mathcomp.field.algC]
raddf_int_scalable [lemma, in mathcomp.algebra.ssrint]
-ramulXnT [lemma, in mathcomp.field.closed_field]
range [abbreviation, in mathcomp.fingroup.action]
rank [definition, in mathcomp.solvable.abelian]
rankJ [lemma, in mathcomp.solvable.abelian]
@@ -608,6 +606,9 @@ rcons_path [lemma, in mathcomp.ssreflect.path]
rcons_tupleP [lemma, in mathcomp.ssreflect.tuple]
rcons_uniq [lemma, in mathcomp.ssreflect.seq]
+rcons_injr [lemma, in mathcomp.ssreflect.seq]
+rcons_injl [lemma, in mathcomp.ssreflect.seq]
+rcons_inj [lemma, in mathcomp.ssreflect.seq]
rcons_cat [lemma, in mathcomp.ssreflect.seq]
rcons_cons [lemma, in mathcomp.ssreflect.seq]
rcoset [definition, in mathcomp.fingroup.fingroup]
@@ -641,21 +642,13 @@ rcoset_inj [lemma, in mathcomp.fingroup.fingroup]
rcoset1 [lemma, in mathcomp.fingroup.fingroup]
rdegree [projection, in mathcomp.character.character]
-rdivpT [definition, in mathcomp.field.closed_field]
-rdvdpT [definition, in mathcomp.field.closed_field]
RealLeAxiom [abbreviation, in mathcomp.algebra.ssrnum]
RealLeMixin [abbreviation, in mathcomp.algebra.ssrnum]
RealLtMixin [abbreviation, in mathcomp.algebra.ssrnum]
realz [lemma, in mathcomp.algebra.ssrint]
+real_lersif_normr [lemma, in mathcomp.algebra.interval]
+real_lersif_norml [lemma, in mathcomp.algebra.interval]
real_lersifN [lemma, in mathcomp.algebra.interval]
-redivpT [definition, in mathcomp.field.closed_field]
-redivpTP [lemma, in mathcomp.field.closed_field]
-redivpT_qf [lemma, in mathcomp.field.closed_field]
-redivp_rec_loopP [lemma, in mathcomp.field.closed_field]
-redivp_rec_loopT_qf [lemma, in mathcomp.field.closed_field]
-redivp_rec_loopTP [lemma, in mathcomp.field.closed_field]
-redivp_rec_loop [definition, in mathcomp.field.closed_field]
-redivp_rec_loopT [definition, in mathcomp.field.closed_field]
reducebig [definition, in mathcomp.ssreflect.bigop]
reducible_Socle1 [lemma, in mathcomp.character.mxrepresentation]
reducible_Socle [lemma, in mathcomp.character.mxrepresentation]
@@ -676,7 +669,7 @@ ReflectProp.Main.H [variable, in mathcomp.fingroup.morphism]
ReflectProp.Main.isoGH [variable, in mathcomp.fingroup.morphism]
ReflectProp.rT [variable, in mathcomp.fingroup.morphism]
-_ \isog _ [notation, in mathcomp.fingroup.morphism]
+_ \isog _ [notation, in mathcomp.fingroup.morphism]
RegularVectType [section, in mathcomp.algebra.vector]
RegularVectType.R [variable, in mathcomp.algebra.vector]
regular_splittingAxiom [lemma, in mathcomp.field.galois]
@@ -691,6 +684,7 @@ regular_vect_iso [lemma, in mathcomp.algebra.vector]
regular_fullv [lemma, in mathcomp.field.falgebra]
reindex [lemma, in mathcomp.ssreflect.bigop]
+reindex_perm [abbreviation, in mathcomp.fingroup.perm]
reindex_bigcprod [lemma, in mathcomp.fingroup.gproduct]
reindex_irr_class [lemma, in mathcomp.character.character]
reindex_cfclass [lemma, in mathcomp.character.inertia]
@@ -711,6 +705,7 @@ RelAdjunction.sym_e [variable, in mathcomp.ssreflect.fingraph]
RelAdjunction.T [variable, in mathcomp.ssreflect.fingraph]
RelAdjunction.T' [variable, in mathcomp.ssreflect.fingraph]
+relpre [definition, in mathcomp.ssreflect.ssrbool]
relU_sym [lemma, in mathcomp.ssreflect.fingraph]
rel_base [definition, in mathcomp.ssreflect.path]
rel_adjunction [abbreviation, in mathcomp.ssreflect.fingraph]
@@ -850,7 +845,6 @@ Res_Iirr0 [lemma, in mathcomp.character.character]
Res_Iirr [definition, in mathcomp.character.character]
Res_irr_neq0 [lemma, in mathcomp.character.character]
-Rev [section, in mathcomp.ssreflect.seq]
rev [definition, in mathcomp.ssreflect.seq]
revK [lemma, in mathcomp.ssreflect.seq]
rev_sorted [lemma, in mathcomp.ssreflect.path]
@@ -869,7 +863,6 @@ rev_ordK [lemma, in mathcomp.ssreflect.fintype]
rev_ord [definition, in mathcomp.ssreflect.fintype]
rev_ord_proof [lemma, in mathcomp.ssreflect.fintype]
-Rev.T [variable, in mathcomp.ssreflect.seq]
rF [abbreviation, in mathcomp.character.mxrepresentation]
rfd [definition, in mathcomp.solvable.alt]
rfdP [lemma, in mathcomp.solvable.alt]
@@ -901,23 +894,7 @@ rG [abbreviation, in mathcomp.character.mxabelem]
rGB [abbreviation, in mathcomp.character.mxrepresentation]
rGB [abbreviation, in mathcomp.character.mxrepresentation]
-rgcdpT [definition, in mathcomp.field.closed_field]
-rgcdpTP [lemma, in mathcomp.field.closed_field]
-rgcdpTs [definition, in mathcomp.field.closed_field]
-rgcdpTsP [lemma, in mathcomp.field.closed_field]
-rgcdpTs_qf [lemma, in mathcomp.field.closed_field]
-rgcdpT_qf [lemma, in mathcomp.field.closed_field]
-rgcdp_loopT_qf [lemma, in mathcomp.field.closed_field]
-rgcdp_loopP [lemma, in mathcomp.field.closed_field]
-rgcdp_loopT [definition, in mathcomp.field.closed_field]
-rgcdp_loop [definition, in mathcomp.field.closed_field]
rgd [definition, in mathcomp.solvable.alt]
-rgdcopT [definition, in mathcomp.field.closed_field]
-rgdcopTP [lemma, in mathcomp.field.closed_field]
-rgdcopT_qf [lemma, in mathcomp.field.closed_field]
-rgdcop_recT_qf [lemma, in mathcomp.field.closed_field]
-rgdcop_recTP [lemma, in mathcomp.field.closed_field]
-rgdcop_recT [definition, in mathcomp.field.closed_field]
rgdP [lemma, in mathcomp.solvable.alt]
rgd_fun [definition, in mathcomp.solvable.alt]
rGf [abbreviation, in mathcomp.character.mxrepresentation]
@@ -1067,7 +1044,6 @@ rker_normal [lemma, in mathcomp.character.mxrepresentation]
rker_norm [lemma, in mathcomp.character.mxrepresentation]
rker_abelem [lemma, in mathcomp.character.mxabelem]
-rmodpT [definition, in mathcomp.field.closed_field]
rmorphMz [lemma, in mathcomp.algebra.ssrint]
rmorphXz [lemma, in mathcomp.algebra.ssrint]
rmorphzP [lemma, in mathcomp.algebra.ssrint]
@@ -1075,7 +1051,6 @@ rmorph_unity_root [lemma, in mathcomp.algebra.poly]
rmorph_root [lemma, in mathcomp.algebra.poly]
rmorph_int [lemma, in mathcomp.algebra.ssrint]
-rmulpT [lemma, in mathcomp.field.closed_field]
root [definition, in mathcomp.algebra.poly]
root [definition, in mathcomp.ssreflect.fingraph]
rootC [lemma, in mathcomp.algebra.poly]
@@ -1087,6 +1062,7 @@ rootPf [lemma, in mathcomp.algebra.poly]
rootPt [lemma, in mathcomp.algebra.poly]
roots [definition, in mathcomp.ssreflect.fingraph]
+roots_geq_poly_eq0 [lemma, in mathcomp.algebra.poly]
roots_root [lemma, in mathcomp.ssreflect.fingraph]
rootX [lemma, in mathcomp.algebra.poly]
rootZ [lemma, in mathcomp.algebra.poly]
@@ -1117,6 +1093,8 @@ RotCompLemmas.T [variable, in mathcomp.ssreflect.seq]
rotK [lemma, in mathcomp.ssreflect.seq]
rotr [definition, in mathcomp.ssreflect.seq]
+RotRcons [section, in mathcomp.ssreflect.seq]
+RotRcons.T [variable, in mathcomp.ssreflect.seq]
rotrK [lemma, in mathcomp.ssreflect.seq]
RotrLemmas [section, in mathcomp.ssreflect.seq]
RotrLemmas.n0 [variable, in mathcomp.ssreflect.seq]
@@ -1255,22 +1233,22 @@ RowSpaceTheory.SumExpr.Binary.S2 [variable, in mathcomp.algebra.mxalgebra]
RowSpaceTheory.SumExpr.Nary [section, in mathcomp.algebra.mxalgebra]
RowSpaceTheory.unitmx1F [variable, in mathcomp.algebra.mxalgebra]
-_ :\: _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-\bigcap_ ( _ | _ ) _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ :&: _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-\sum_ ( _ <- _ | _ ) _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-\sum_ ( _ | _ ) _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ + _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-<< _ >> (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ :=: _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ < _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ == _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ <= _ <= _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ <= _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-_ ^C (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
-\rank _ (nat_scope) [notation, in mathcomp.algebra.mxalgebra]
-'M_ _ (type_scope) [notation, in mathcomp.algebra.mxalgebra]
-'M_ ( _ , _ ) (type_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ :\: _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+\bigcap_ ( _ | _ ) _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ :&: _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+\sum_ ( _ <- _ | _ ) _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+\sum_ ( _ | _ ) _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ + _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+<< _ >> (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ :=: _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ < _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ == _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ <= _ <= _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ <= _ (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+_ ^C (matrix_set_scope) [notation, in mathcomp.algebra.mxalgebra]
+\rank _ (nat_scope) [notation, in mathcomp.algebra.mxalgebra]
+'M_ _ (type_scope) [notation, in mathcomp.algebra.mxalgebra]
+'M_ ( _ , _ ) (type_scope) [notation, in mathcomp.algebra.mxalgebra]
rowV0P [lemma, in mathcomp.algebra.mxalgebra]
rowV0Pn [lemma, in mathcomp.algebra.mxalgebra]
row_full_dom_hom [lemma, in mathcomp.character.mxrepresentation]
@@ -1326,8 +1304,6 @@ row'_const [lemma, in mathcomp.algebra.matrix]
row0 [lemma, in mathcomp.algebra.matrix]
row1 [lemma, in mathcomp.algebra.matrix]
-rpoly [definition, in mathcomp.field.closed_field]
-rpoly_map_mul [lemma, in mathcomp.field.closed_field]
rpred [section, in mathcomp.algebra.ssrint]
rpredMz [lemma, in mathcomp.algebra.ssrint]
rpredXsign [lemma, in mathcomp.algebra.ssrint]
@@ -1346,9 +1322,6 @@ rreg_size [lemma, in mathcomp.algebra.poly]
rreg_lead0 [lemma, in mathcomp.algebra.poly]
rreg_lead [lemma, in mathcomp.algebra.poly]
-rscalpT [definition, in mathcomp.field.closed_field]
-rseq_poly_map [lemma, in mathcomp.field.closed_field]
-rseq_poly [definition, in mathcomp.field.closed_field]
rshift [definition, in mathcomp.ssreflect.fintype]
rshift_subproof [lemma, in mathcomp.ssreflect.fintype]
rshift1 [lemma, in mathcomp.algebra.zmodp]
@@ -1394,7 +1367,6 @@ rstab_abelem [lemma, in mathcomp.character.mxabelem]
rsubmx [definition, in mathcomp.algebra.matrix]
rsubmx_key [lemma, in mathcomp.algebra.matrix]
-rsumpT [lemma, in mathcomp.field.closed_field]
rT [abbreviation, in mathcomp.fingroup.fingroup]
rU [abbreviation, in mathcomp.character.mxrepresentation]
rU' [abbreviation, in mathcomp.character.mxrepresentation]
@@ -1527,7 +1499,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1559,14 +1531,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1591,7 +1563,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1623,7 +1595,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1655,7 +1627,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1687,7 +1659,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1719,7 +1691,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1751,7 +1723,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1783,14 +1755,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1815,7 +1787,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1847,7 +1819,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1879,7 +1851,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1911,14 +1883,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1943,7 +1915,7 @@ Z _ other -(185 entries) +(189 entries) -- cgit v1.2.3