From ed05182cece6bb3706e09b2ce14af4a41a2e8141 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Apr 2018 10:54:22 +0200 Subject: generate the documentation for 1.7 --- docs/htmldoc/index_variable_R.html | 1154 ++++++++++++++++++++++++++++++++++++ 1 file changed, 1154 insertions(+) create mode 100644 docs/htmldoc/index_variable_R.html (limited to 'docs/htmldoc/index_variable_R.html') diff --git a/docs/htmldoc/index_variable_R.html b/docs/htmldoc/index_variable_R.html new file mode 100644 index 0000000..159d769 --- /dev/null +++ b/docs/htmldoc/index_variable_R.html @@ -0,0 +1,1154 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

R (variable)

+RawAction.ActsSetop.A [in mathcomp.fingroup.action]
+RawAction.ActsSetop.AactS [in mathcomp.fingroup.action]
+RawAction.ActsSetop.AactT [in mathcomp.fingroup.action]
+RawAction.ActsSetop.S [in mathcomp.fingroup.action]
+RawAction.ActsSetop.T [in mathcomp.fingroup.action]
+RawAction.aT [in mathcomp.fingroup.action]
+RawAction.D [in mathcomp.fingroup.action]
+RawAction.Reindex.idx [in mathcomp.fingroup.action]
+RawAction.Reindex.op [in mathcomp.fingroup.action]
+RawAction.Reindex.S [in mathcomp.fingroup.action]
+RawAction.Reindex.vT [in mathcomp.fingroup.action]
+RawAction.rT [in mathcomp.fingroup.action]
+RawAction.to [in mathcomp.fingroup.action]
+RawGroupAction.A [in mathcomp.fingroup.action]
+RawGroupAction.a [in mathcomp.fingroup.action]
+RawGroupAction.aT [in mathcomp.fingroup.action]
+RawGroupAction.B [in mathcomp.fingroup.action]
+RawGroupAction.D [in mathcomp.fingroup.action]
+RawGroupAction.Da [in mathcomp.fingroup.action]
+RawGroupAction.R [in mathcomp.fingroup.action]
+RawGroupAction.rT [in mathcomp.fingroup.action]
+RawGroupAction.S [in mathcomp.fingroup.action]
+RawGroupAction.sAD [in mathcomp.fingroup.action]
+RawGroupAction.sSR [in mathcomp.fingroup.action]
+RawGroupAction.to [in mathcomp.fingroup.action]
+ReflectProp.aT [in mathcomp.fingroup.morphism]
+ReflectProp.Defs.A [in mathcomp.fingroup.morphism]
+ReflectProp.Defs.B [in mathcomp.fingroup.morphism]
+ReflectProp.Defs.MorphicProps.f [in mathcomp.fingroup.morphism]
+ReflectProp.f [in mathcomp.fingroup.morphism]
+ReflectProp.G [in mathcomp.fingroup.morphism]
+ReflectProp.Main.f [in mathcomp.fingroup.morphism]
+ReflectProp.Main.G [in mathcomp.fingroup.morphism]
+ReflectProp.Main.H [in mathcomp.fingroup.morphism]
+ReflectProp.Main.isoGH [in mathcomp.fingroup.morphism]
+ReflectProp.rT [in mathcomp.fingroup.morphism]
+RegularVectType.R [in mathcomp.algebra.vector]
+RelAdjunction.a [in mathcomp.ssreflect.fingraph]
+RelAdjunction.ccl_a [in mathcomp.ssreflect.fingraph]
+RelAdjunction.cl_a [in mathcomp.ssreflect.fingraph]
+RelAdjunction.e [in mathcomp.ssreflect.fingraph]
+RelAdjunction.e' [in mathcomp.ssreflect.fingraph]
+RelAdjunction.h [in mathcomp.ssreflect.fingraph]
+RelAdjunction.sym_e' [in mathcomp.ssreflect.fingraph]
+RelAdjunction.sym_e [in mathcomp.ssreflect.fingraph]
+RelAdjunction.T [in mathcomp.ssreflect.fingraph]
+RelAdjunction.T' [in mathcomp.ssreflect.fingraph]
+Rem.T [in mathcomp.ssreflect.seq]
+Rem.x [in mathcomp.ssreflect.seq]
+Repr.gT [in mathcomp.fingroup.fingroup]
+RestrictActionTheory.A [in mathcomp.fingroup.action]
+RestrictActionTheory.aT [in mathcomp.fingroup.action]
+RestrictActionTheory.D [in mathcomp.fingroup.action]
+RestrictActionTheory.rT [in mathcomp.fingroup.action]
+RestrictActionTheory.sAD [in mathcomp.fingroup.action]
+RestrictActionTheory.to [in mathcomp.fingroup.action]
+RestrictedMorphism.A [in mathcomp.fingroup.morphism]
+RestrictedMorphism.aT [in mathcomp.fingroup.morphism]
+RestrictedMorphism.D [in mathcomp.fingroup.morphism]
+RestrictedMorphism.Props.f [in mathcomp.fingroup.morphism]
+RestrictedMorphism.Props.sAD [in mathcomp.fingroup.morphism]
+RestrictedMorphism.rT [in mathcomp.fingroup.morphism]
+RestrictPerm.S [in mathcomp.fingroup.action]
+RestrictPerm.T [in mathcomp.fingroup.action]
+Restrict.A [in mathcomp.fingroup.action]
+Restrict.A [in mathcomp.character.classfun]
+Restrict.aT [in mathcomp.fingroup.action]
+Restrict.B [in mathcomp.character.classfun]
+Restrict.card_T [in mathcomp.solvable.alt]
+Restrict.D [in mathcomp.fingroup.action]
+Restrict.G [in mathcomp.character.character]
+Restrict.gT [in mathcomp.character.character]
+Restrict.gT [in mathcomp.character.classfun]
+Restrict.H [in mathcomp.character.character]
+Restrict.rT [in mathcomp.fingroup.action]
+Restrict.sAD [in mathcomp.fingroup.action]
+Restrict.T [in mathcomp.solvable.alt]
+Restrict.to [in mathcomp.fingroup.action]
+Restrict.x [in mathcomp.solvable.alt]
+Resultant.dS [in mathcomp.algebra.mxpoly]
+Resultant.p [in mathcomp.algebra.mxpoly]
+Resultant.q [in mathcomp.algebra.mxpoly]
+Resultant.R [in mathcomp.algebra.mxpoly]
+Rev.T [in mathcomp.ssreflect.seq]
+RingQuot.addT [in mathcomp.algebra.ring_quotient]
+RingQuot.eqT [in mathcomp.algebra.ring_quotient]
+RingQuot.mulT [in mathcomp.algebra.ring_quotient]
+RingQuot.oneT [in mathcomp.algebra.ring_quotient]
+RingQuot.oppT [in mathcomp.algebra.ring_quotient]
+RingQuot.T [in mathcomp.algebra.ring_quotient]
+RingQuot.zeroT [in mathcomp.algebra.ring_quotient]
+RingRepr.ChangeGroup.G [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.gT [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.H [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.n [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.rG [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SameGroup.eqGH [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SameGroup.Stabiliser.m [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SameGroup.Stabiliser.U [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SubGroup.sHG [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SubGroup.Stabiliser.m [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SubGroup.Stabiliser.U [in mathcomp.character.mxrepresentation]
+RingRepr.Conjugate.B [in mathcomp.character.mxrepresentation]
+RingRepr.Conjugate.G [in mathcomp.character.mxrepresentation]
+RingRepr.Conjugate.gT [in mathcomp.character.mxrepresentation]
+RingRepr.Conjugate.n [in mathcomp.character.mxrepresentation]
+RingRepr.Conjugate.rG [in mathcomp.character.mxrepresentation]
+RingRepr.Conjugate.uB [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.aT [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.D [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.f [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.G [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.n [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.rGf [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.rT [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.sGD [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.sG_f'fG [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.Stabiliser.m [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.Stabiliser.U [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.aT [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.D [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.f [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.G [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.n [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.rG [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.rT [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.Stabiliser.m [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.Stabiliser.U [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.CentHom.f [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.G [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.gT [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.n [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.rG [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.Stabiliser.m [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.Stabiliser.U [in mathcomp.character.mxrepresentation]
+RingRepr.Proper.G [in mathcomp.character.mxrepresentation]
+RingRepr.Proper.gT [in mathcomp.character.mxrepresentation]
+RingRepr.Proper.n' [in mathcomp.character.mxrepresentation]
+RingRepr.Proper.rG [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.G [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.gT [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.n [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.rG [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.SubQuotient.H [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.SubQuotient.krH [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.SubQuotient.nHG [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.SubQuotient.nHGs [in mathcomp.character.mxrepresentation]
+RingRepr.R [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.G [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.GringMx.n [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.GringMx.rG [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.GringOp.n [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.GringOp.rG [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.gT [in mathcomp.character.mxrepresentation]
+RintMod.R [in mathcomp.algebra.ssrint]
+RotCompLemmas.T [in mathcomp.ssreflect.seq]
+RotrLemmas.n0 [in mathcomp.ssreflect.seq]
+RotrLemmas.T [in mathcomp.ssreflect.seq]
+RotrLemmas.T' [in mathcomp.ssreflect.seq]
+RowPoly.d [in mathcomp.algebra.mxpoly]
+RowPoly.R [in mathcomp.algebra.mxpoly]
+RowSpaceTheory.AddsmxSub.A [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.AddsmxSub.B [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.AddsmxSub.m1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.AddsmxSub.m2 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.AddsmxSub.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.addsmx_nop_id [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.addsmx_nop0 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.addsmx_nop_eq0 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.addsmx_nop [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.BinaryDirect.m1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.BinaryDirect.m2 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.BinaryDirect.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_nop_id [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_eq_norm [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_nopP [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_norm_eq [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_normP [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_witnessP [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_nop [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_norm [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.capmx_witness [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Defs.A [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Defs.LUr [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Defs.m [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Defs.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Eigenspace.g [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Eigenspace.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.eqmx_sum_nop [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.equivmx [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.equivmx_spec [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.F [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.genmx_witnessP [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.I [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.LtmxIdentities.A [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.LtmxIdentities.B [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.LtmxIdentities.m1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.LtmxIdentities.m2 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.LtmxIdentities.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.NaryDirect.mxdirect_sums_recP [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.NaryDirect.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.NaryDirect.P [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.NaryDirect.TIsum [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.qidmx [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.qidmx_cap [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.qidmx_eq1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx.A [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx.B1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx.B2 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx.m [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx.m1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx.m2 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDsumsmx.A [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDsumsmx.B [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDsumsmx.m [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDsumsmx.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDsumsmx.P [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.sub_qidmx [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr.Binary.m1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr.Binary.m2 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr.Binary.n [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr.Binary.S1 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr.Binary.S2 [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.unitmx1F [in mathcomp.algebra.mxalgebra]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file -- cgit v1.2.3