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_definition_R.html | 1077 ++++++++++++++++++++++++++++++++++ 1 file changed, 1077 insertions(+) create mode 100644 docs/htmldoc/index_definition_R.html (limited to 'docs/htmldoc/index_definition_R.html') diff --git a/docs/htmldoc/index_definition_R.html b/docs/htmldoc/index_definition_R.html new file mode 100644 index 0000000..0e57c02 --- /dev/null +++ b/docs/htmldoc/index_definition_R.html @@ -0,0 +1,1077 @@ + + + + + +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 (definition)

+ract [in mathcomp.fingroup.action]
+rank [in mathcomp.solvable.abelian]
+RatFieldIdomainMixin [in mathcomp.algebra.rat]
+RatFieldUnitMixin [in mathcomp.algebra.rat]
+Ratio [in mathcomp.algebra.fraction]
+ratio_ChoiceMixin [in mathcomp.algebra.fraction]
+ratio_EqMixin [in mathcomp.algebra.fraction]
+ratio_of [in mathcomp.algebra.fraction]
+ratio0 [in mathcomp.algebra.fraction]
+ratLeMixin [in mathcomp.algebra.rat]
+ratr [in mathcomp.algebra.rat]
+ratz [in mathcomp.algebra.rat]
+rat_comRingMixin [in mathcomp.algebra.rat]
+rat_ZmodMixin [in mathcomp.algebra.rat]
+rat_countMixin [in mathcomp.algebra.rat]
+rat_choiceMixin [in mathcomp.algebra.rat]
+rat_eqMixin [in mathcomp.algebra.rat]
+rcent [in mathcomp.character.mxrepresentation]
+rcenter [in mathcomp.character.mxrepresentation]
+rconj_mx [in mathcomp.character.mxrepresentation]
+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]
+rel_base [in mathcomp.ssreflect.path]
+rem [in mathcomp.ssreflect.seq]
+remgr [in mathcomp.fingroup.gproduct]
+repr [in mathcomp.fingroup.fingroup]
+reprGLm [in mathcomp.character.mxabelem]
+repr_of [in mathcomp.ssreflect.generic_quotient]
+Repr.E [in mathcomp.ssreflect.generic_quotient]
+Repr.f [in mathcomp.ssreflect.generic_quotient]
+reshape [in mathcomp.ssreflect.seq]
+reshape_offset [in mathcomp.ssreflect.seq]
+reshape_index [in mathcomp.ssreflect.seq]
+restrm [in mathcomp.fingroup.morphism]
+restr_perm [in mathcomp.fingroup.action]
+resultant [in mathcomp.algebra.mxpoly]
+Res_Iirr [in mathcomp.character.character]
+rev [in mathcomp.ssreflect.seq]
+rev_ord [in mathcomp.ssreflect.fintype]
+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]
+RingQuotMixin_pack [in mathcomp.algebra.ring_quotient]
+RingQuotType_clone [in mathcomp.algebra.ring_quotient]
+RingQuotType_pack [in mathcomp.algebra.ring_quotient]
+ring_eq_quot_class [in mathcomp.algebra.ring_quotient]
+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]
+root_of_unity [in mathcomp.algebra.poly]
+rot [in mathcomp.ssreflect.seq]
+rot [in mathcomp.solvable.burnside_app]
+rotations [in mathcomp.solvable.burnside_app]
+rotr [in mathcomp.ssreflect.seq]
+rot_inv [in mathcomp.solvable.burnside_app]
+row [in mathcomp.algebra.matrix]
+rowg [in mathcomp.character.mxabelem]
+rowg_mx [in mathcomp.character.mxabelem]
+row_hom_mx [in mathcomp.character.mxrepresentation]
+row_mxAx [in mathcomp.algebra.matrix]
+row_mx [in mathcomp.algebra.matrix]
+row_perm [in mathcomp.algebra.matrix]
+row_base [in mathcomp.algebra.mxalgebra]
+row_full [in mathcomp.algebra.mxalgebra]
+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]
+rsubmx [in mathcomp.algebra.matrix]
+rVabelem [in mathcomp.character.mxabelem]
+rVpoly [in mathcomp.algebra.mxpoly]
+r012 [in mathcomp.solvable.burnside_app]
+R012 [in mathcomp.solvable.burnside_app]
+R012f [in mathcomp.solvable.burnside_app]
+r013 [in mathcomp.solvable.burnside_app]
+R013 [in mathcomp.solvable.burnside_app]
+R013f [in mathcomp.solvable.burnside_app]
+r021 [in mathcomp.solvable.burnside_app]
+R021 [in mathcomp.solvable.burnside_app]
+R021f [in mathcomp.solvable.burnside_app]
+r024 [in mathcomp.solvable.burnside_app]
+R024 [in mathcomp.solvable.burnside_app]
+R024f [in mathcomp.solvable.burnside_app]
+r031 [in mathcomp.solvable.burnside_app]
+R031 [in mathcomp.solvable.burnside_app]
+R031f [in mathcomp.solvable.burnside_app]
+r034 [in mathcomp.solvable.burnside_app]
+R034 [in mathcomp.solvable.burnside_app]
+R034f [in mathcomp.solvable.burnside_app]
+r042 [in mathcomp.solvable.burnside_app]
+R042 [in mathcomp.solvable.burnside_app]
+R042f [in mathcomp.solvable.burnside_app]
+r043 [in mathcomp.solvable.burnside_app]
+R043 [in mathcomp.solvable.burnside_app]
+R043f [in mathcomp.solvable.burnside_app]
+r05 [in mathcomp.solvable.burnside_app]
+R05 [in mathcomp.solvable.burnside_app]
+R05f [in mathcomp.solvable.burnside_app]
+r1 [in mathcomp.solvable.burnside_app]
+R1 [in mathcomp.solvable.burnside_app]
+r14 [in mathcomp.solvable.burnside_app]
+R14 [in mathcomp.solvable.burnside_app]
+R14f [in mathcomp.solvable.burnside_app]
+r2 [in mathcomp.solvable.burnside_app]
+R2 [in mathcomp.solvable.burnside_app]
+r23 [in mathcomp.solvable.burnside_app]
+R23 [in mathcomp.solvable.burnside_app]
+R23f [in mathcomp.solvable.burnside_app]
+r3 [in mathcomp.solvable.burnside_app]
+R3 [in mathcomp.solvable.burnside_app]
+r32 [in mathcomp.solvable.burnside_app]
+R32 [in mathcomp.solvable.burnside_app]
+R32f [in mathcomp.solvable.burnside_app]
+r41 [in mathcomp.solvable.burnside_app]
+R41 [in mathcomp.solvable.burnside_app]
+R41f [in mathcomp.solvable.burnside_app]
+r50 [in mathcomp.solvable.burnside_app]
+R50 [in mathcomp.solvable.burnside_app]
+R50f [in mathcomp.solvable.burnside_app]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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