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_S.html | 1194 ++++++++++++++++++++++++++++++++++ 1 file changed, 1194 insertions(+) create mode 100644 docs/htmldoc/index_definition_S.html (limited to 'docs/htmldoc/index_definition_S.html') diff --git a/docs/htmldoc/index_definition_S.html b/docs/htmldoc/index_definition_S.html new file mode 100644 index 0000000..9a3e457 --- /dev/null +++ b/docs/htmldoc/index_definition_S.html @@ -0,0 +1,1194 @@ + + + + + +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)
+

S (definition)

+scalar_mx [in mathcomp.algebra.matrix]
+scalemx [in mathcomp.algebra.matrix]
+scale_pair [in mathcomp.algebra.ssralg]
+scale_lfun [in mathcomp.algebra.vector]
+scale_poly [in mathcomp.algebra.poly]
+scale_poly_def [in mathcomp.algebra.poly]
+scale_act [in mathcomp.character.mxabelem]
+scalq [in mathcomp.algebra.rat]
+scalq_def [in mathcomp.algebra.rat]
+scanl [in mathcomp.ssreflect.seq]
+SCN [in mathcomp.solvable.maximal]
+SCN_at [in mathcomp.solvable.maximal]
+sdpair1 [in mathcomp.fingroup.gproduct]
+sdpair2 [in mathcomp.fingroup.gproduct]
+sdprodm [in mathcomp.fingroup.gproduct]
+sdprod_mul [in mathcomp.fingroup.gproduct]
+sdprod_inv [in mathcomp.fingroup.gproduct]
+sdprod_one [in mathcomp.fingroup.gproduct]
+sdprod_finMixin [in mathcomp.fingroup.gproduct]
+sdprod_countMixin [in mathcomp.fingroup.gproduct]
+sdprod_choiceMixin [in mathcomp.fingroup.gproduct]
+sdprod_eqMixin [in mathcomp.fingroup.gproduct]
+sdprod_Iirr [in mathcomp.character.character]
+sd1 [in mathcomp.solvable.burnside_app]
+Sd1 [in mathcomp.solvable.burnside_app]
+sd2 [in mathcomp.solvable.burnside_app]
+Sd2 [in mathcomp.solvable.burnside_app]
+section_repr [in mathcomp.character.mxrepresentation]
+section_repr [in mathcomp.solvable.jordanholder]
+section_isog [in mathcomp.solvable.jordanholder]
+section_finMixin [in mathcomp.solvable.jordanholder]
+section_countMixin [in mathcomp.solvable.jordanholder]
+section_choiceMixin [in mathcomp.solvable.jordanholder]
+section_eqMixin [in mathcomp.solvable.jordanholder]
+semidihedral_gtype [in mathcomp.solvable.extremal]
+semidirect_product [in mathcomp.fingroup.gproduct]
+semiprime [in mathcomp.solvable.frobenius]
+semiregular [in mathcomp.solvable.frobenius]
+separable [in mathcomp.field.separable]
+separable_generator [in mathcomp.field.separable]
+separable_element [in mathcomp.field.separable]
+separable_poly [in mathcomp.field.separable]
+seqn [in mathcomp.ssreflect.seq]
+seqn_rec [in mathcomp.ssreflect.seq]
+seqn_type [in mathcomp.ssreflect.seq]
+seq_countMixin [in mathcomp.ssreflect.choice]
+seq_of_opt [in mathcomp.ssreflect.choice]
+seq_sub_choiceMixin [in mathcomp.ssreflect.fintype]
+seq_sub_finMixin [in mathcomp.ssreflect.fintype]
+seq_sub_countMixin [in mathcomp.ssreflect.fintype]
+seq_sub_unpickle [in mathcomp.ssreflect.fintype]
+seq_sub_pickle [in mathcomp.ssreflect.fintype]
+seq_sub_enum [in mathcomp.ssreflect.fintype]
+seq_sub_eqMixin [in mathcomp.ssreflect.fintype]
+seq_iso3_L [in mathcomp.solvable.burnside_app]
+seq_iso_L [in mathcomp.solvable.burnside_app]
+series_repr [in mathcomp.character.mxrepresentation]
+setact [in mathcomp.fingroup.action]
+setC [in mathcomp.ssreflect.finset]
+setD [in mathcomp.ssreflect.finset]
+SetDef.finset [in mathcomp.ssreflect.finset]
+SetDef.pred_of_set [in mathcomp.ssreflect.finset]
+setI [in mathcomp.ssreflect.finset]
+setTfor [in mathcomp.ssreflect.finset]
+setU [in mathcomp.ssreflect.finset]
+setX [in mathcomp.ssreflect.finset]
+set_nth [in mathcomp.ssreflect.seq]
+set_invg [in mathcomp.fingroup.fingroup]
+set_mulg [in mathcomp.fingroup.fingroup]
+set_finMixin [in mathcomp.ssreflect.finset]
+set_countMixin [in mathcomp.ssreflect.finset]
+set_choiceMixin [in mathcomp.ssreflect.finset]
+set_eqMixin [in mathcomp.ssreflect.finset]
+set_of [in mathcomp.ssreflect.finset]
+set0 [in mathcomp.ssreflect.finset]
+set1 [in mathcomp.ssreflect.finset]
+sgval [in mathcomp.fingroup.fingroup]
+sgz [in mathcomp.algebra.ssrint]
+sgzE [in mathcomp.algebra.ssrint]
+sh [in mathcomp.solvable.burnside_app]
+Sh [in mathcomp.solvable.burnside_app]
+shape [in mathcomp.ssreflect.seq]
+shorten [in mathcomp.ssreflect.path]
+sig_countMixin [in mathcomp.ssreflect.choice]
+sig_choiceMixin [in mathcomp.ssreflect.choice]
+sig_finMixin [in mathcomp.ssreflect.fintype]
+sig_eqMixin [in mathcomp.ssreflect.eqtype]
+simple [in mathcomp.solvable.gseries]
+size [in mathcomp.ssreflect.seq]
+sizeT [in mathcomp.field.closed_field]
+sizeY [in mathcomp.algebra.polyXY]
+Socle [in mathcomp.character.mxrepresentation]
+socle_finMixin [in mathcomp.character.mxrepresentation]
+socle_countMixin [in mathcomp.character.mxrepresentation]
+socle_choiceMixin [in mathcomp.character.mxrepresentation]
+socle_eqMixin [in mathcomp.character.mxrepresentation]
+socle_repr [in mathcomp.character.mxrepresentation]
+socle_module [in mathcomp.character.mxrepresentation]
+socle_mult [in mathcomp.character.mxrepresentation]
+socle_base [in mathcomp.character.mxrepresentation]
+socle_enum [in mathcomp.character.mxrepresentation]
+socle_of_Iirr [in mathcomp.character.character]
+solvable [in mathcomp.solvable.nilpotent]
+sop [in mathcomp.solvable.burnside_app]
+sort [in mathcomp.ssreflect.path]
+sorted [in mathcomp.ssreflect.path]
+space_choiceMixin [in mathcomp.algebra.vector]
+space_eqMixin [in mathcomp.algebra.vector]
+span [in mathcomp.algebra.vector]
+span_expanded_def [in mathcomp.algebra.vector]
+special [in mathcomp.solvable.maximal]
+split [in mathcomp.ssreflect.fintype]
+splits_over [in mathcomp.fingroup.gproduct]
+splittingFieldFor [in mathcomp.field.galois]
+SplittingField.algType [in mathcomp.field.galois]
+SplittingField.axiom [in mathcomp.field.galois]
+SplittingField.choiceType [in mathcomp.field.galois]
+SplittingField.class [in mathcomp.field.galois]
+SplittingField.clone [in mathcomp.field.galois]
+SplittingField.comRingType [in mathcomp.field.galois]
+SplittingField.comUnitRingType [in mathcomp.field.galois]
+SplittingField.eqType [in mathcomp.field.galois]
+SplittingField.FalgType [in mathcomp.field.galois]
+SplittingField.fieldExtType [in mathcomp.field.galois]
+SplittingField.fieldType [in mathcomp.field.galois]
+SplittingField.idomainType [in mathcomp.field.galois]
+SplittingField.lalgType [in mathcomp.field.galois]
+SplittingField.lmodType [in mathcomp.field.galois]
+SplittingField.pack [in mathcomp.field.galois]
+SplittingField.ringType [in mathcomp.field.galois]
+SplittingField.unitAlgType [in mathcomp.field.galois]
+SplittingField.unitRingType [in mathcomp.field.galois]
+SplittingField.vectType [in mathcomp.field.galois]
+SplittingField.zmodType [in mathcomp.field.galois]
+square [in mathcomp.solvable.burnside_app]
+square_coloring_number8 [in mathcomp.solvable.burnside_app]
+square_coloring_number4 [in mathcomp.solvable.burnside_app]
+square_coloring_number2 [in mathcomp.solvable.burnside_app]
+ssetI [in mathcomp.ssreflect.finset]
+stable_factor [in mathcomp.solvable.gseries]
+standard_grepr [in mathcomp.character.character]
+standard_irr_coef [in mathcomp.character.character]
+standard_socle [in mathcomp.character.character]
+standard_irr [in mathcomp.character.character]
+subact [in mathcomp.fingroup.action]
+subact_dom [in mathcomp.fingroup.action]
+SubEqMixin [in mathcomp.ssreflect.eqtype]
+subFExtend [in mathcomp.field.fieldext]
+subfext_idomainMixin [in mathcomp.field.fieldext]
+subfext_fieldMixin [in mathcomp.field.fieldext]
+subfext_unitRingMixin [in mathcomp.field.fieldext]
+subfext_inv [in mathcomp.field.fieldext]
+subfext_comRingMixin [in mathcomp.field.fieldext]
+subfext_mul [in mathcomp.field.fieldext]
+subfext_zmodMixin [in mathcomp.field.fieldext]
+subfext_opp [in mathcomp.field.fieldext]
+subfext_add [in mathcomp.field.fieldext]
+subfext0 [in mathcomp.field.fieldext]
+subfext1 [in mathcomp.field.fieldext]
+SubFieldExtType [in mathcomp.field.fieldext]
+subFinGroupMixin [in mathcomp.fingroup.fingroup]
+SubFinMixin [in mathcomp.ssreflect.fintype]
+SubFinMixin_for [in mathcomp.ssreflect.fintype]
+subFin_mixin [in mathcomp.ssreflect.fintype]
+SubfxFalgType [in mathcomp.field.fieldext]
+SubfxVectMixin [in mathcomp.field.fieldext]
+SubfxVectType [in mathcomp.field.fieldext]
+subfx_lmodMixin [in mathcomp.field.fieldext]
+subfx_scale [in mathcomp.field.fieldext]
+subfx_root [in mathcomp.field.fieldext]
+subfx_eval [in mathcomp.field.fieldext]
+subfx_inv_rep [in mathcomp.field.fieldext]
+subfx_poly_inv [in mathcomp.field.fieldext]
+subfx_mul_rep [in mathcomp.field.fieldext]
+subfx_inj [in mathcomp.field.fieldext]
+subg [in mathcomp.fingroup.fingroup]
+subgroups [in mathcomp.fingroup.fingroup]
+subg_repr [in mathcomp.character.mxrepresentation]
+subg_mul [in mathcomp.fingroup.fingroup]
+subg_inv [in mathcomp.fingroup.fingroup]
+subg_one [in mathcomp.fingroup.fingroup]
+subg_finMixin [in mathcomp.fingroup.fingroup]
+subg_countMixin [in mathcomp.fingroup.fingroup]
+subg_choiceMixin [in mathcomp.fingroup.fingroup]
+subg_eqMixin [in mathcomp.fingroup.fingroup]
+subitv [in mathcomp.algebra.interval]
+submod_mx [in mathcomp.character.mxrepresentation]
+submx [in mathcomp.algebra.mxalgebra]
+submx_def [in mathcomp.algebra.mxalgebra]
+subn [in mathcomp.ssreflect.ssrnat]
+subnormal [in mathcomp.solvable.gseries]
+subn_rec [in mathcomp.ssreflect.ssrnat]
+subq [in mathcomp.algebra.rat]
+subseq [in mathcomp.ssreflect.seq]
+subseries_repr [in mathcomp.character.mxrepresentation]
+SubsetDef.subset [in mathcomp.ssreflect.fintype]
+SubsetDef.subsetEdef [in mathcomp.ssreflect.fintype]
+subsetv [in mathcomp.algebra.vector]
+subvs_mul_eq0 [in mathcomp.field.fieldext]
+subvs_mulC [in mathcomp.field.fieldext]
+subvs_vectMixin [in mathcomp.algebra.vector]
+subvs_lmodMixin [in mathcomp.algebra.vector]
+subvs_zmodMixin [in mathcomp.algebra.vector]
+subvs_choiceMixin [in mathcomp.algebra.vector]
+subvs_eqMixin [in mathcomp.algebra.vector]
+subvs_ringMixin [in mathcomp.field.falgebra]
+subvs_mul [in mathcomp.field.falgebra]
+subvs_one [in mathcomp.field.falgebra]
+sub_annihilant [in mathcomp.algebra.polyXY]
+sub_countMixin [in mathcomp.ssreflect.choice]
+sub_choiceClass [in mathcomp.ssreflect.choice]
+sub_choiceMixin [in mathcomp.ssreflect.choice]
+sub_ord [in mathcomp.ssreflect.fintype]
+sub_enum [in mathcomp.ssreflect.fintype]
+sub_eqMixin [in mathcomp.ssreflect.eqtype]
+sumn [in mathcomp.ssreflect.seq]
+sumpT [in mathcomp.field.closed_field]
+sumv_pi_for [in mathcomp.algebra.vector]
+sum_countMixin [in mathcomp.ssreflect.choice]
+sum_choiceMixin [in mathcomp.ssreflect.choice]
+sum_of_opair [in mathcomp.ssreflect.choice]
+sum_finMixin [in mathcomp.ssreflect.fintype]
+sum_enum [in mathcomp.ssreflect.fintype]
+sum_eq [in mathcomp.ssreflect.eqtype]
+support_for [in mathcomp.ssreflect.finfun]
+sv [in mathcomp.solvable.burnside_app]
+Sv [in mathcomp.solvable.burnside_app]
+swapXY [in mathcomp.algebra.polyXY]
+swapXY_def [in mathcomp.algebra.polyXY]
+swizzle_mx [in mathcomp.algebra.matrix]
+Syl [in mathcomp.solvable.pgroup]
+Sylow [in mathcomp.solvable.pgroup]
+Sylvester_mx [in mathcomp.algebra.mxpoly]
+Sym [in mathcomp.solvable.alt]
+s0 [in mathcomp.solvable.burnside_app]
+S0 [in mathcomp.solvable.burnside_app]
+S0f [in mathcomp.solvable.burnside_app]
+s05 [in mathcomp.solvable.burnside_app]
+S05 [in mathcomp.solvable.burnside_app]
+S05f [in mathcomp.solvable.burnside_app]
+s1 [in mathcomp.solvable.burnside_app]
+S1 [in mathcomp.solvable.burnside_app]
+S1f [in mathcomp.solvable.burnside_app]
+s14 [in mathcomp.solvable.burnside_app]
+S14 [in mathcomp.solvable.burnside_app]
+S14f [in mathcomp.solvable.burnside_app]
+s2 [in mathcomp.solvable.burnside_app]
+S2 [in mathcomp.solvable.burnside_app]
+S2f [in mathcomp.solvable.burnside_app]
+s2val [in mathcomp.ssreflect.eqtype]
+s23 [in mathcomp.solvable.burnside_app]
+S23 [in mathcomp.solvable.burnside_app]
+S23f [in mathcomp.solvable.burnside_app]
+s3 [in mathcomp.solvable.burnside_app]
+S3 [in mathcomp.solvable.burnside_app]
+S3f [in mathcomp.solvable.burnside_app]
+s4 [in mathcomp.solvable.burnside_app]
+S4 [in mathcomp.solvable.burnside_app]
+S4f [in mathcomp.solvable.burnside_app]
+s5 [in mathcomp.solvable.burnside_app]
+S5 [in mathcomp.solvable.burnside_app]
+S5f [in mathcomp.solvable.burnside_app]
+s6 [in mathcomp.solvable.burnside_app]
+S6 [in mathcomp.solvable.burnside_app]
+S6f [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