Index H

[____] [____] [_____] [____] [__] [Index] [Root]

Index H

h

Overview (OVERVIEW)

H-key

H
h

h-key

H
h

Has

HasAttribute

HasCentreType

HasCentreType(X,i) : VSrfK3,RngIntElt -> BoolElt

HasClique

HasClique(G, k) : GrphUnd, RngIntEl -> BoolElt, { GrphVert }
HasClique(G, k, m: parameters) : GrphUnd, RngIntEl, BoolElt -> BoolElt, { GrphVert }
HasClique(G, k, m, f: parameters) : GrphUnd, RngIntEl, BoolElt, RngIntEl -> BoolElt, { GrphVert }

HasClosedCosetTable

HasCompleteCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
HasClosedCosetTable(P) : GrpFPCosetEnumProc -> BoolElt

HasComplement

HasComplement(G, M) : GrpPerm, GrpPerm -> BoolElt, GrpPerm
HasComplement(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp

HasCompleteCosetTable

HasCompleteCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
HasClosedCosetTable(P) : GrpFPCosetEnumProc -> BoolElt

HasComputableLCS

HasComputableLCS(G) : GrpGPC -> BoolElt

HasDefinedModuleMap

HasDefinedModuleMap(C,n) : ModCpx, RngIntElt -> BoolElt

HasFiniteOrder

HasFiniteOrder(g) : GrpMatElt -> BoolElt, RngIntElt
HasFiniteOrder(A) : Mtrx -> BoolElt

HasGCD

HasGCD(R) : Rng -> BoolElt

HasGroebnerBasis

HasGroebnerBasis(I) : RngMPol -> BoolElt

Hash

Hash(x) : Elt -> RngIntElt

HasIrregularFibres

HasIrregularFibres(s) : GrphSpl -> BoolElt

HasLeviSubalgebra

HasLeviSubalgebra(L) : AlgLie -> BoolElt

HasLinearGrayMapImage

HasLinearGrayMapImage(C) : Code -> BoolElt, Code

HasNonsingularPoint

HasNonsingularPoint(X) : Sch -> BoolElt,Pt

HasOddDegreeModel

HasOddDegreeModel(C) : CrvHyp -> BoolElt, CrvHyp, MapCrvHyp

HasOrder

HasOrder(P, n) : JacHypPt, RngIntElt -> BoolElt

HasOutputFile

HasOutputFile() : -> BoolElt

HasParallelClass

HasParallelClass(D) : Inc -> BoolElt, { IncBlk }

HasParallelism

HasParallelism(D: parameters) : Inc, RngIntElt -> BoolElt, { SetEnum }

HasPoint

HasReducedPoint(C) : CrvCon -> BoolElt, Pt
HasPoint(C) : CrvCon -> BoolElt, Pt

HasPointsOverExtension

HasPointsOverExtension(X) : Sch -> BoolElt

HasPolynomial

HasPolynomial(N) : NwtnPgon -> BoolElt

HasPolynomialFactorization

HasPolynomialFactorization(R) : Rng -> BoolElt

HasPRoot

HasPRoot(L) : RngLoc -> BoolElt

HasReducedAffinePoint

HasReducedAffinePoint(C) : CrvCon -> BoolElt, Pt

HasReducedPoint

HasReducedPoint(C) : CrvCon -> BoolElt, Pt
HasPoint(C) : CrvCon -> BoolElt, Pt

HasResolution

HasResolution(D) : Inc -> BoolElt, { SetEnum }, RngIntElt
HasResolution(D, lambda) : Inc, RngIntElt -> BoolElt, { SetEnum }

HasRoot

HasRoot(p) : RngUPolElt -> BoolElt, RngElt
HasRoot(g) : RngUPolElt -> BoolElt, RngLocElt
HasRoot(g) : RngUPolElt -> BoolElt, RngLocElt
HasRoot(f) : RngUPolElt -> BoolElt, RngSerElt
HasRoot(p, S) : RngUPolElt, Rng -> BoolElt, RngElt

Hasse

HasseWittInvariant(F) : FldFunG -> RngIntElt
HasseWittInvariant(F) : FldFunG -> RngIntElt

HasseWittInvariant

HasseWittInvariant(F) : FldFunG -> RngIntElt
HasseWittInvariant(F) : FldFunG -> RngIntElt

HasSingularPointsOverExtension

HasSingularPointsOverExtension(C) : Sch -> BoolElt

HasSolubilityCertificate

HasSolubilityCertificate(C) : CrvCon -> BoolElt, SeqEnum
HasSolubilityCertificate(S) : SeqEnum[RngIntElt] -> BoolElt, SeqEnum

HasSupplement

HasSupplement(G, M) : GrpPerm, GrpPerm -> BoolElt, GrpPerm

HasValidCosetTable

HasValidCosetTable(P) : GrpFPCosetEnumProc -> BoolElt

HasValidIndex

HasValidIndex(P) : GrpFPCosetEnumProc -> BoolElt

Hecke

DiscriminantOfHeckeAlgebra(M : Bound) : ModSym -> RngIntElt
DualHeckeOperator(M, n) : ModSym, RngIntElt -> AlgMatElt
HeckeAlgebra(M : Bound) : ModSym -> AlgMat
HeckeBound(M) : ModSym -> RngIntElt
HeckeEigenvalueField(M) : ModSym -> Fld, Map
HeckeEigenvalueRing(M : parameters) : ModSym -> Rng, Map
HeckeOperator(M, n) : ModBrdt, RngIntElt -> AlgMatElt
HeckeOperator(M, n) : ModFrm, RngIntElt -> AlgMatElt
HeckeOperator(M, n) : ModSym, RngIntElt -> AlgMatElt
HeckePolynomial(M, n) : ModSym, RngIntElt -> RngUPolResElt
HeckePolynomial(M, n : parameters ) : ModFrm, RngIntElt -> RngUPolElt
IntegralHeckeOperator(M, n) : ModSym, RngIntElt -> AlgMatElt
SetHeckeBound(M, n) : ModSym, RngIntElt -> RngIntElt

hecke

Hecke Operators (BRANDT MODULES)
The Hecke Algebra (MODULAR SYMBOLS)

hecke-algebra

The Hecke Algebra (MODULAR SYMBOLS)

hecke-operators

Hecke Operators (BRANDT MODULES)

HeckeAlgebra

HeckeAlgebra(M : Bound) : ModSym -> AlgMat
ModSym_HeckeAlgebra (Example H88E17)

HeckeBound

HeckeBound(M) : ModSym -> RngIntElt

HeckeEigenvalueField

HeckeEigenvalueField(M) : ModSym -> Fld, Map

HeckeEigenvalueRing

HeckeEigenvalueRing(M : parameters) : ModSym -> Rng, Map

HeckeOperator

HeckeOperator(M, n) : ModBrdt, RngIntElt -> AlgMatElt
HeckeOperator(M, n) : ModFrm, RngIntElt -> AlgMatElt
HeckeOperator(M, n) : ModSym, RngIntElt -> AlgMatElt

HeckeOperators

ModSym_HeckeOperators (Example H88E14)

HeckePolynomial

HeckePolynomial(M, n) : ModSym, RngIntElt -> RngUPolResElt
HeckePolynomial(M, n : parameters ) : ModFrm, RngIntElt -> RngUPolElt

HeckePolynomials

ModForm_HeckePolynomials (Example H90E12)

HeighestRoots

RootDtm_HeighestRoots (Example H35E10)

Height

AbsoluteLogarithmicHeight(a) : FldAlgElt -> FldPrElt
Height(P: parameters) : PtEll -> FldPrElt
Height(P: Precision) : JacHypPt -> FldPrElt
HeightConstant(J: parameters) : JacHyp -> FldPrElt, FldPrElt
HeightPairing(P, Q: parameters) : PtEll, PtEll -> FldPrElt
HeightPairing(P, Q: Precision) : JacHypPt, JacHypPt -> FldPrElt
HeightPairingMatrix(S: Precision) : [JacHypPt] -> AlgMat
LocalHeight(P, p) : PtEll, RngIntElt -> FldPrElt
NaiveHeight(P) : JacHypPt -> FldPrElt
NaiveHeight(P) : PtEll -> FldPrElt
RootHeight( RD, r ) : RootDtm, RngIntElt -> RngIntElt

height

Heights and Height Pairing (ELLIPTIC CURVES)

HeightConstant

HeightConstant(J: parameters) : JacHyp -> FldPrElt, FldPrElt

HeightPairing

HeightPairing(P, Q: parameters) : PtEll, PtEll -> FldPrElt
HeightPairing(P, Q: Precision) : JacHypPt, JacHypPt -> FldPrElt
CrvHyp_HeightPairing (Example H86E12)

HeightPairingMatrix

HeightPairingMatrix(S: Precision) : [JacHypPt] -> AlgMat

heights

Heights and Mordell--Weil Group (HYPERELLIPTIC CURVES)

Help

GetHelpExternalBrowser() : -> MonStgElt, MonStgElt
GetHelpExternalSystem() : -> MonStgElt
GetHelpUseExternal() : -> BoolElt, BoolElt
SetHelpExternalBrowser(S, T) : MonStgElt, MonStgElt ->
SetHelpExternalSystem(s) : MonStgElt ->
SetHelpUseExternalBrowser(b) : BoolElt ->
SetHelpUseExternalSystem(b) : BoolElt ->

help

Internal Help Browser (ENVIRONMENT AND OPTIONS)
Overview (OVERVIEW)
The Magma Help System (ENVIRONMENT AND OPTIONS)

HELP_

MAGMA_HELP_DIR

Hensel

HenselLift(g, r) : RngUPolElt, RngLocElt -> RngLocElt
HenselLift(g, r) : RngUPolElt, RngLocElt -> RngLocElt
HenselLift(g, r) : RngUPolElt, RngLocElt -> RngLocElt
HenselLift(g, r) : RngUPolElt, RngLocElt -> RngLocElt
HenselLift(g, r) : RngUPolElt, RngLocElt -> RngLocElt
HenselLift(f, g, h) : RngUPolElt, RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt
HenselLift(f, g, h) : RngUPolElt, RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt
HenselLift(f, s, P) : RngUPolElt, [ RngUPolElt ], RngRes -> [ RngUPolElt ]
RngLoc_Hensel (Example H59E15)
RngPad_Hensel (Example H42E13)
RngPol_Hensel (Example H44E6)

hensel

Hensel Lifting (UNIVARIATE POLYNOMIAL RINGS)
Hensel Lifting of Roots (LOCAL RINGS AND FIELDS)
Hensel Lifting of Roots (p-ADIC RINGS AND FIELDS)

hensel-roots

Hensel Lifting of Roots (LOCAL RINGS AND FIELDS)
Hensel Lifting of Roots (p-ADIC RINGS AND FIELDS)

HenselLift

HenselLift(g, r) : RngUPolElt, RngLocElt -> RngLocElt
HenselLift(g, r) : RngUPolElt, RngLocElt -> RngLocElt
HenselLift(f, g, h) : RngUPolElt, RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt
HenselLift(f, g, h) : RngUPolElt, RngUPolElt, RngUPolElt -> RngUPolElt, RngUPolElt
HenselLift(f, s, P) : RngUPolElt, [ RngUPolElt ], RngRes -> [ RngUPolElt ]

Hermite

HermiteForm(X) : AlgMatElt -> AlgMatElt, AlgMatElt
HermiteForm(A) : Mtrx -> Mtrx, ModMatRngElt
HermitePolynomial(n) : RngIntElt -> RngUPolElt

HermiteForm

HermiteForm(X) : AlgMatElt -> AlgMatElt, AlgMatElt
HermiteForm(A) : Mtrx -> Mtrx, ModMatRngElt

HermitePolynomial

HermitePolynomial(n) : RngIntElt -> RngUPolElt

Hermitian

HermitianCode(q, r) : RngIntElt, RngIntElt -> Code
HermitianFunctionField(p, d) : RngIntElt, RngIntElt -> FldFun

HermitianCode

HermitianCode(q, r) : RngIntElt, RngIntElt -> Code

HermitianFunctionField

HermitianFunctionField(p, d) : RngIntElt, RngIntElt -> FldFun

Heron

RngMPol_Heron (Example H45E9)

Hessenberg

HessenbergForm(a) : AlgMatElt -> AlgMatElt
HessenbergForm(A) : Mtrx -> AlgMatElt

HessenbergForm

HessenbergForm(a) : AlgMatElt -> AlgMatElt
HessenbergForm(A) : Mtrx -> AlgMatElt

Hessian

HessianMatrix(X) : Sch -> ModMatRngElt
HessianMatrix(C) : Sch -> Mtrx
GrpPerm_Hessian (Example H20E3)

HessianMatrix

HessianMatrix(X) : Sch -> ModMatRngElt
HessianMatrix(C) : Sch -> Mtrx

Highest

HighestLongRoot( RD ) : RootDtm -> .
HighestRoot( RD ) : RootDtm -> .
HighestShortRoot( RD ) : RootDtm -> .

HighestLongRoot

HighestLongRoot( RD ) : RootDtm -> .
HighestRoot( RD ) : RootDtm -> .

HighestRoot

HighestLongRoot( RD ) : RootDtm -> .
HighestRoot( RD ) : RootDtm -> .

HighestShortRoot

HighestShortRoot( RD ) : RootDtm -> .

Hilbert

HilbertClassPolynomial(D) : RngIntElt -> RngUPolElt
HilbertClassPolynomial(D) : RngIntElt -> RngUPolElt
HilbertCoefficients(X,n) : VSrfK3,RngIntElt -> SeqEnum
HilbertForm(X) : VSrfK3 -> SeqEnum
HilbertGroebnerBasis(S, H) : [ RngMPolElt ], FldFunRatUElt -> BoolElt, [ RngMPolElt ]
HilbertNumerator(X) : VSrfK3 -> RngUPolElt
HilbertPolynomial(M) : RngMPol -> RngUPolElt, RngIntElt
R`HilbertSeries
HilbertSeries(M) : ModMPol -> FldFunElt
HilbertSeries(g,B) : RngIntElt,SeqEnum -> FldFunRatUElt
HilbertSeries(R) : RngInvar -> FldFunUElt
HilbertSeries(I) : RngMPol -> FldFunUElt
HilbertSeries(F,V) : SeqEnum,SeqEnum -> FldFunRatUElt
HilbertSeries(X) : VSrfK3 -> FldFunRatUElt
HilbertSeries(X,W) : VSrfK3,SeqEnum -> FldFunRatUElt
GB_Hilbert (Example H50E22)
PMod_Hilbert (Example H52E4)
PMod_Hilbert (Example H52E5)

hilbert

Hilbert Series and Hilbert Polynomial (IDEAL THEORY AND GRÖBNER BASES)
Hilbert-driven Gröbner Basis Construction (IDEAL THEORY AND GRÖBNER BASES)

hilbert-groebner

Hilbert-driven Gröbner Basis Construction (IDEAL THEORY AND GRÖBNER BASES)

HilbertClassPolynomial

HilbertClassPolynomial(D) : RngIntElt -> RngUPolElt
HilbertClassPolynomial(D) : RngIntElt -> RngUPolElt

HilbertCoefficients

HilbertCoefficients(X,n) : VSrfK3,RngIntElt -> SeqEnum

HilbertForm

EnriquesForm(X) : VSrfK3 -> SeqEnum
NoetherForm(X) : VSrfK3 -> SeqEnum
HilbertForm(X) : VSrfK3 -> SeqEnum

HilbertGroebner

GB_HilbertGroebner (Example H50E23)

HilbertGroebnerBasis

HilbertGroebnerBasis(S, H) : [ RngMPolElt ], FldFunRatUElt -> BoolElt, [ RngMPolElt ]

HilbertNumerator

HilbertNumerator(X) : VSrfK3 -> RngUPolElt

HilbertPolynomial

HilbertPolynomial(M) : RngMPol -> RngUPolElt, RngIntElt

HilbertSeries

R`HilbertSeries
HilbertSeries(M) : ModMPol -> FldFunElt
HilbertSeries(g,B) : RngIntElt,SeqEnum -> FldFunRatUElt
HilbertSeries(R) : RngInvar -> FldFunUElt
HilbertSeries(I) : RngMPol -> FldFunUElt
HilbertSeries(F,V) : SeqEnum,SeqEnum -> FldFunRatUElt
HilbertSeries(X) : VSrfK3 -> FldFunRatUElt
HilbertSeries(X,W) : VSrfK3,SeqEnum -> FldFunRatUElt

Hirsch

HirschNumber(G) : GrpGPC -> RngIntElt

HirschNumber

HirschNumber(G) : GrpGPC -> RngIntElt

History

GetHistorySize() : ->
SetHistorySize(n) : RngIntElt ->

history

History (ENVIRONMENT AND OPTIONS)
History (OVERVIEW)
Magma Updates (OVERVIEW)

HN

GrpFP_1_HN (Example H22E32)

Holes

DeepHoles(L) : Lat -> [ ModTupFldElt ]
Holes(L) : Lat -> [ ModTupFldElt ]

Holomorphic

BasisOfHolomorphicDifferentials(F) : FldFunG -> SeqEnum[DiffFunElt]
BasisOfDifferentialsFirstKind(F) : FldFunG -> SeqEnum[DiffFunElt]
SpaceOfDifferentialsFirstKind(C) : Crv -> ModFld, Map
SpaceOfDifferentialsFirstKind(F) : FldFunG -> ModFld, Map

Hom

Hom(G, H) : GrpAb, GrpAb -> GrpAb, Map
Hom(M, N, "left") : ModMatRng, ModMatRng, MonStgElt -> ModMatRng
Hom(M, N, "right") : ModMatRng, ModMatRng, MonStgElt -> ModMatRng
Hom(M, N) : ModOrd, ModOrd -> ModOrd, Map
Hom(M, N) : ModRng, ModRng -> ModMatRng
Hom(V, W) : ModTupFld, ModTupFld -> ModMat
Hom(M, N) : ModTupRng, ModTupRng -> ModMatRng
HomGenerators(G, H) : GrpAb, GrpAb -> GrpAb, Map
HomGenerators(G, U) : GrpPC, GrpPC -> [<AlgMatElt, RngIntElt>]

hom

öm_(R)(M, N) for matrix modules (FREE MODULES)
Computation of Hom (ABELIAN GROUPS)
Endomorphisms (LATTICES)
Homomorphisms (OVERVIEW)
Homomorphisms (STRUCTURE CONSTANT ALGEBRAS)
hom< G -> H | x : -> e(x) > : Grp, Grp -> Map
hom< A -> B | x : -> e(x) > : Struct, Struct -> Map
hom< A -> B | Q > : AlgGen, AlgGen, [ AlgGenElt ] -> Map
hom< A -> B | f > : AlgMat, AlgMat, Map -> Map
hom< F -> R | r > : FldAlg, Rng, RngElt -> Map
hom< F -> G | x > : FldFin, Rng -> Map
hom S | f, y_1, ..., y_n > : FldFunRat, Rng -> Map
hom< G -> H | L > : Grp, Grp -> Map
hom< A -> B | L> : Grp, Grp, List -> Map
hom<G | L> : GrpMat, List -> Map
hom< G -> H | L > : GrpPC, GrpPC, List -> Map
hom<G | L> : GrpPerm, List -> Map
hom<M -> N | T> : ModOrd, ModOrd, Map -> Map
hom< M -> N | X > : ModRng, ModRng, ModMatElt -> ModMatRng
hom< G -> H | L: parameters> : GrpSLP, Grp -> Map
hom G | S : parameters> : Struct , Struct -> Map
hom< Z -> R | > : RngInt, Rng -> Map
hom< R -> S | > : RngIntRes, Rng -> Map
hom S | f, y_1, ..., y_n > : RngMPol, Rng -> Map
hom< O -> R | r > : RngOrd, Rng, RngElt -> Map
hom S | f, y > : RngUPol, Rng, Map, RngElt -> Map
hom< A -> G | S > : Struct , Struct -> Map
hom< M -> N | S > : Struct , Struct -> Map
hom G | S > : Struct , Struct -> Map
hom< R -> G | S > : Struct , Struct -> Map
hom< A -> B | G > : Struct, Struct -> Map
hom< A -> B | y_1, ..., y_n > : Struct, Struct -> Map
FldQuad_hom (Example H54E2)
ModOrd_hom (Example H65E3)
RngInt_hom (Example H40E1)

hom-spaces

Scheme_hom-spaces (Example H81E14)

HomGenerators

HomGenerators(G, H) : GrpAb, GrpAb -> GrpAb, Map
HomGenerators(G, U) : GrpPC, GrpPC -> [<AlgMatElt, RngIntElt>]

Homogeneous

HomogeneousComponent(f, d) : RngMPolElt, RngIntElt -> RngMPolElt
HomogeneousComponents(f) : RngMPolElt -> [ RngMPolElt ]
HomogeneousModuleTest(P, S, F) : [ RngMPol ], [ RngMPol ], RngMPol -> BoolElt, [ RngMPol ]
HomogeneousModuleTest(P, S, F) : [ RngMPol ], [ RngMPol ], RngMPol -> BoolElt, [ RngMPol ]
HomogeneousModuleTest(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
HomogeneousModuleTest(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
HomogeneousModuleTestBasis(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
IsHomogeneous(M) : ModMPol -> BoolElt
IsHomogeneous(I) : RngMPol -> BoolElt
IsHomogeneous(f) : RngMPolElt -> BoolElt
IsHomogeneous(X,f) : Sch,RngMPolElt -> BoolElt

HomogeneousComponent

HomogeneousComponent(f, d) : RngMPolElt, RngIntElt -> RngMPolElt

HomogeneousComponents

HomogeneousComponents(f) : RngMPolElt -> [ RngMPolElt ]

HomogeneousModuleTest

HomogeneousModuleTest(P, S, F) : [ RngMPol ], [ RngMPol ], RngMPol -> BoolElt, [ RngMPol ]
HomogeneousModuleTest(P, S, F) : [ RngMPol ], [ RngMPol ], RngMPol -> BoolElt, [ RngMPol ]
HomogeneousModuleTest(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
HomogeneousModuleTest(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]

HomogeneousModuleTest1

GB_HomogeneousModuleTest1 (Example H50E27)

HomogeneousModuleTest2

RngInvar_HomogeneousModuleTest2 (Example H78E14)

HomogeneousModuleTestBasis

HomogeneousModuleTestBasis(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]

Homogenization

Homogenization(I, b) : RngMPol, RngIntElt, BoolElt -> RngMPol, Map

homogenization

Homogenization of Ideals (IDEAL THEORY AND GRÖBNER BASES)

Homological

HomologicalDimension(M) : ModMPol -> RngInt
HomologicalDimension(M) : ModMPol -> RngInt

HomologicalDimension

HomologicalDimension(M) : ModMPol -> RngInt
HomologicalDimension(M) : ModMPol -> RngInt

Homology

DimensionOfHomology(C, n) : ModCpx, RngIntElt -> RngIntElt
DimensionsOfHomology(C) : ModCpx -> SeqEnum
Homology(C) : ModCpx -> SeqEnum
Homology(C, n) : ModCpx, RngIntElt -> SeqEnum
InducedMapOnHomology(f,n) : MapChn, RngIntElt -> ModTupFldElt
LongExactSequenceOnHomology(f,g) : MapChn, MapChn -> ModCpx
SimpleHomologyDimensions(M) : ModAlg -> SeqEnum

homologymaps

Maps on Homology (CHAIN COMPLEXES)

HomologyOfChainComplex

HomologyOfChainComplex(C) : ModCpx -> SeqEnum
Homology(C) : ModCpx -> SeqEnum

Homomorphism

ConnectingHomomorphism(f,g,n) : MapChn, MapChn, RngIntElt -> ModMatFldElt
Homomorphism(A, B, gens, images) : Grp, Grp, [ GrpElt ], [ GrpElt ] -> Map
IdentityHomomorphism(G) : Grp -> Map
IdentityHomomorphism(G) : GrpPC -> Map
IsHomomorphism(G, H, Q) : GrpMat, GrpMat, SeqEnum[GrpMatElt] -> Bool, Map
IsHomomorphism(G, H, L) : GrpPC, GrpPC, SeqEnum -> BoolElt, Map
IsHomomorphism(G, H, Q) : GrpPerm, GrpPerm, SeqEnum[GrpPermElt] -> Bool, Map
IsModuleHomomorphism(X) : ModMatElt -> BoolElt
IsModuleHomomorphism(f) : ModMatFldElt -> BoolElt
LiftHomomorphism(x, n) : ModAlgElt, RngIntElt -> ModMatFldElt
LiftHomomorphism(X, S) : SeqEnum[ModAlgElt], SeqEnum[RngIntElt] -> ModMatFldElt
FldFunRat_Homomorphism (Example H46E2)
GrpFP_1_Homomorphism (Example H22E17)
GrpGPC_Homomorphism (Example H24E4)
GrpMat_Homomorphism (Example H21E7)
GrpPerm_Homomorphism (Example H20E6)
RngMPol_Homomorphism (Example H45E3)
RngPol_Homomorphism (Example H44E4)

homomorphism

öm(M, N) (MODULES OVER A MATRIX ALGEBRA)
Action on a G-Space (PERMUTATION GROUPS)
Coset Spaces: Induced Homomorphism (FINITELY PRESENTED GROUPS)
Creating Homomorphisms (MODULES OVER A MATRIX ALGEBRA)
Creation of Homomorphisms (MAPPINGS)
Creation of Homomorphisms (ORDERS AND ALGEBRAIC FIELDS)
Elements of M_n as Homomorphisms (MATRIX ALGEBRAS)
Homomorphisms (AUTOMATIC GROUPS)
Homomorphisms (FINITE FIELDS)
Homomorphisms (FINITELY PRESENTED GROUPS)
Homomorphisms (GROUPS DEFINED BY REWRITE SYSTEMS)
Homomorphisms (GROUPS)
Homomorphisms (MAPPINGS)
Homomorphisms (MATRIX GROUPS)
Homomorphisms (MODULES OVER A MATRIX ALGEBRA)
Homomorphisms (MONOIDS GIVEN BY REWRITE SYSTEMS)
Homomorphisms (MULTIVARIATE POLYNOMIAL RINGS)
Homomorphisms (OVERVIEW)
Homomorphisms (PERMUTATION GROUPS)
Homomorphisms (POLYCYCLIC GROUPS)
Homomorphisms (RATIONAL FIELD)
Homomorphisms (RATIONAL FUNCTION FIELDS)
Homomorphisms (REAL AND COMPLEX FIELDS)
Homomorphisms (RING OF INTEGERS)
Homomorphisms (RING OF INTEGERS)
Homomorphisms (UNIVARIATE POLYNOMIAL RINGS)
Modules (OVERVIEW)
Subgroups, Quotient Groups, Homomorphisms and Extensions (POLYCYCLIC GROUPS)
Subspaces, Quotient Spaces and Homomorphisms (VECTOR SPACES)
FldRat_homomorphism (Example H41E2)

homomorphism-element

Elements of M_n as Homomorphisms (MATRIX ALGEBRAS)

homomorphism_access

Accessing Homomorphisms (FINITELY PRESENTED GROUPS)

homomorphism_constr

Construction of Homomorphisms (AUTOMATIC GROUPS)
Construction of Homomorphisms (FINITELY PRESENTED GROUPS)
Construction of Homomorphisms (GROUPS DEFINED BY REWRITE SYSTEMS)
Construction of Homomorphisms (MONOIDS GIVEN BY REWRITE SYSTEMS)
Construction of Homomorphisms (POLYCYCLIC GROUPS)

homomorphism_general

General remarks (AUTOMATIC GROUPS)
General remarks (FINITELY PRESENTED GROUPS)
General remarks (GROUPS DEFINED BY REWRITE SYSTEMS)
General remarks (MONOIDS GIVEN BY REWRITE SYSTEMS)
General remarks (POLYCYCLIC GROUPS)

Homomorphisms

Homomorphisms(G, H) : GrpAb, GrpAb -> GrpAb, Map
Homomorphisms(G, H) : GrpPC, GrpPC -> SeqEnum
AlgBas_Homomorphisms (Example H79E3)
FldRe_Homomorphisms (Example H43E2)
GrpAbGen_Homomorphisms (Example H27E8)
Grp_Homomorphisms (Example H19E1)
RngOrd_Homomorphisms (Example H53E8)

homomorphisms

Creating Homomorphisms (GROUPS WHOSE ELEMENTS ARE STRAIGHT-LINE PROGRAMS)
Homomorphisms (BASIC ALGEBRAS)
Homomorphisms (FINITE SOLUBLE GROUPS)
Homomorphisms (FREE MODULES)
Homomorphisms (GENERIC ABELIAN GROUPS)
Homomorphisms between Modules (MODULES OVER ORDERS)

HomomorphismSpeed

GrpSLP_HomomorphismSpeed (Example H32E3)

Hook

HookLength(P, i, j) : Tableau,RngIntElt,RngIntElt -> RngIntElt

HookLength

HookLength(P, i, j) : Tableau,RngIntElt,RngIntElt -> RngIntElt

Horizontal

HorizontalJoin(X, Y) : ModMatRngElt, ModMatRngElt -> ModMatRngElt
HorizontalJoin(X, Y) : Mtrx, Mtrx -> Mtrx
HorizontalJoin(Q) : [ ModMatRngElt ] -> ModMatRngElt
HorizontalJoin(Q) : [ Mtrx ] -> Mtrx

HorizontalJoin

HorizontalJoin(X, Y) : ModMatRngElt, ModMatRngElt -> ModMatRngElt
HorizontalJoin(X, Y) : Mtrx, Mtrx -> Mtrx
HorizontalJoin(Q) : [ ModMatRngElt ] -> ModMatRngElt
HorizontalJoin(Q) : [ Mtrx ] -> Mtrx

Hull

InjectiveHull(M) : ModAlg -> ModAlg, ModMatFldElt, SeqEnum[ModMatFldElt], SeqEnum[ModMatFldElt], SeqEnum[RngIntElt]

hyp

Heights and Mordell--Weil Group (HYPERELLIPTIC CURVES)

hypcurve

Creation of a Hyperelliptic Curve (HYPERELLIPTIC CURVES)
Creation Predicates (HYPERELLIPTIC CURVES)

hyperbolic

Hyperbolic Functions (REAL AND COMPLEX FIELDS)
Hyperbolic Functions and their Inverses (POWER, LAURENT AND PUISEUX SERIES)
Inverse Hyperbolic Functions (REAL AND COMPLEX FIELDS)

Hypercenter

Hypercenter(G) : GrpAb -> GrpAb
Hypercentre(G) : GrpAb -> GrpAb
Hypercentre(G) : GrpFin -> GrpFin
Hypercentre(G) : GrpPC -> GrpPC
Hypercentre(G) : GrpPerm -> GrpPerm

Hypercentre

Hypercenter(G) : GrpAb -> GrpAb
Hypercentre(G) : GrpAb -> GrpAb
Hypercentre(G) : GrpFin -> GrpFin
Hypercentre(G) : GrpPC -> GrpPC
Hypercentre(G) : GrpPerm -> GrpPerm

Hyperelliptic

HyperellipticCurve(h, f) : RngUPolElt, RngUPolElt -> CrvHyp
HyperellipticCurve(E) : SchEll -> CrvHyp, Map
HyperellipticCurveFromIgusa(S) : SeqEnum -> CrvHyp
HyperellipticCurveOfGenus(g, h, f) : RngIntElt, RngUPolElt, RngUPolElt -> CrvHyp
IsHyperellipticCurve([h, g]) : [ RngUPolElt ] -> BoolElt, CrvHyp
IsHyperellipticCurveOfGenus(g, [h, f]) : RngIntElt, [RngUPolElt] -> BoolElt, CrvHyp
IsHyperellipticWeierstrass(C) : Crv -> BoolElt

hyperelliptic

RationalPoints(J, P) : JacHyp, SrfKumPt -> SetIndx
HYPERELLIPTIC CURVES

hyperelliptic-curve

RationalPoints(J, P) : JacHyp, SrfKumPt -> SetIndx
HYPERELLIPTIC CURVES

HyperellipticCurve

HyperellipticCurve(h, f) : RngUPolElt, RngUPolElt -> CrvHyp
HyperellipticCurve(E) : SchEll -> CrvHyp, Map

HyperellipticCurveFromIgusa

HyperellipticCurveFromIgusa(S) : SeqEnum -> CrvHyp

HyperellipticCurveOfGenus

HyperellipticCurveOfGenus(g, h, f) : RngIntElt, RngUPolElt, RngUPolElt -> CrvHyp

Hypergeometric

HypergeometricSeries(a,b,c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt
HypergeometricSeries(a,b,c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt
HypergeometricU(a, b, s) : FldPrElt, FldPrElt, FldPrElt -> FldPrElt

hypergeometric

The Hypergeometric Function (REAL AND COMPLEX FIELDS)
The Hypergeometric series (POWER, LAURENT AND PUISEUX SERIES)

HypergeometricSeries

HypergeometricSeries(a,b,c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt
HypergeometricSeries(a,b,c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt

HypergeometricU

HypergeometricU(a, b, s) : FldPrElt, FldPrElt, FldPrElt -> FldPrElt

Hyperplane

HyperplaneAtInfinity(X) : Sch -> Sch

HyperplaneAtInfinity

HyperplaneAtInfinity(X) : Sch -> Sch

Hypersurface

IsHypersurface(X) : Sch -> BoolElt, RngMPolElt

[____] [____] [_____] [____] [__] [Index] [Root]