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


Subindex: IrreducibleRootSystem  ..    IsChainMap




IrreducibleRootSystem

   IrreducibleRootSystem(X, n) : MonStgElt, RngIntElt -> RootSys

   RootSys_IrreducibleRootSystem (Example H79E4)


Irreducibles

   KnownIrreducibles(R) : AlgChtr -> SeqEnum

   RemoveIrreducibles(I, C) : [ AlgChtrElt ], [ AlgChtrElt ] -> [ AlgChtrElt ], [ AlgChtrElt ]


irreducibles

   Finding Irreducibles (CHARACTERS OF FINITE GROUPS)


IrreducibleSecondaryInvariants

   IrreducibleSecondaryInvariants(R) : RngInvar -> [ RngMPolElt ]


Irregular

   HasIrregularFibres(s) : GrphSpl -> BoolElt


is

   The where ... is Construction (STATEMENTS AND EXPRESSIONS)


ISA

   ISA(T, U) : Cat, Cat -> BoolElt


IsAbelian

   IsAbelian(L) : AlgLie -> BoolElt

   IsAbelian(A) : FldAb -> BoolElt

   IsAbelian(F) : FldAlg -> BoolElt

   IsAbelian(G) : GrpAb -> BoolElt

   IsAbelian(G) : GrpFin -> BoolElt

   IsAbelian(G) : GrpGPC -> BoolElt

   IsAbelian(G) : GrpMat -> BoolElt

   IsAbelian(G) : GrpPC -> BoolElt

   IsAbelian(G) : GrpPerm -> BoolElt


IsAbsoluteField

   IsAbsoluteField(K) : FldAlg -> BoolElt


IsAbsolutelyIrreducible

   IsAbsolutelyIrreducible(C) : Crv -> BoolElt

   IsAbsolutelyIrreducible(G) : GrpMat -> BoolElt

   IsAbsolutelyIrreducible(M) : ModRng -> BoolElt, AlgMatElt, RngIntElt


IsAbsoluteOrder

   IsAbsoluteOrder(O) : RngFunOrd -> BoolElt

   IsAbsoluteOrder(O) : RngOrd -> BoolElt


IsAdjoint

   IsAdjoint( G ) : GrpLie-> BoolElt

   IsAdjoint( R ) : RootDtm-> BoolElt


IsAffine

   IsAffine( W ) : GrpFPCox -> BoolElt

   IsAffine(G) : GrpPerm -> BoolElt, GrpPerm

   IsAffine(X) : Sch -> BoolElt


IsAffineLinear

   IsAffineLinear(f) : MapSch -> BoolElt


IsAffineSpace

   IsAffineSpace(X) : Sch -> BoolElt


IsAlgebraicallyDependent

   IsAlgebraicallyDependent(S) : RngMPolElt -> BoolElt


IsAlgebraicallyIsomorphic

   IsAlgebraicallyIsomorphic( G, H ) : GrpLie, GrpLie -> BoolElt


IsAlgebraicGeometric

   IsAlgebraicGeometric(C) : Code -> BoolElt


IsAlternating

   IsAlternating(G) : GrpPerm -> BoolElt


IsAltsym

   IsAltsym(G) : GrpPerm -> BoolElt


IsAmbient

   IsAmbient(M) : ModBrdt -> BoolElt


IsAmbientFunction

   IsAmbientFunction(A,f) : Sch,RngElt -> BoolElt, RngElt


IsAmbientRationalFunction

   IsAmbientRationalFunction(A,f) : Sch,RngElt -> BoolElt


IsAmbientSpace

   IsAmbientSpace(M) : ModFrm -> BoolElt

   IsAmbientSpace(M) : ModSS -> BoolElt


IsAnalyticallyIrreducible

   IsAnalyticallyIrreducible(p) : Crv,Pt -> BoolElt


IsArc

   IsArc(P, A) : Plane, { PlanePt } -> BoolElt


IsArcTransitive

   [Future release] IsArcTransitive(G, t) : GrphUnd, RngIntElt -> BoolElt


IsAssociative

   IsAssociative(A) : AlgGen -> BoolElt


IsAutomorphism

   IsAutomorphism(f) : MapSch -> BoolElt,AutSch


IsBalanced

   IsBalanced(D, t: parameters) : Inc, RngIntElt -> BoolElt, RngIntElt


IsBasePointFree

   IsFree(L) : LinSys -> BoolElt

   IsBasePointFree(L) : LinSys -> BoolElt


IsBiconnected

   IsBiconnected(G) : GrphUnd -> BoolElt


IsBijective

   IsBijective(a) : ModMatRngElt -> BoolElt


IsBipartite

   IsBipartite(G) : GrphUnd -> BoolElt


IsBlock

   IsBlock(G, S) : GrpPerm, { Elt } -> BoolElt

   IsBlock(D, S) : Inc, IncBlk -> BoolElt, IncBlk


IsBlockTransitive

   IsBlockTransitive(D) : Inc -> BoolElt


IsBoundary

   IsBoundary(N, p) : NwtnPgon,Tup -> BoolElt


IsCanonical

   IsCanonical(D) : DivCrvElt -> BoolElt, DiffFunElt

   IsCanonical(D) : DivFunElt -> BoolElt, DiffFunElt

   IsCanonical(D) : DivFunElt -> BoolElt, DiffFunElt


IsCartanEquivalent

   IsCartanEquivalent( C1, C2 ) : AlgMatElt, AlgMatElt -> BoolElt

   IsCartanEquivalent( W1, W2 ) : GrpFPCox, GrpFPCox -> BoolElt

   IsCartanEquivalent( W1, W2 ) : GrpMat, GrpMat -> BoolElt

   IsCartanEquivalent( N1, N2 ) : MonStgElt, MonStgElt -> BoolElt

   IsCartanEquivalent( R1, R2 ) : RootDtm, RootDtm -> BoolElt

   IsCartanEquivalent(R1, R2) : RootSys, RootSys -> BoolElt


IsCartanMatrix

   IsCartanMatrix( C ) : AlgMatElt -> BoolElt


IsCentral

   IsCentral(A) : FldAb -> BoolElt

   IsCentral(G, H) : GrpAb, GrpAb -> BoolElt

   IsCentral(G, H) : GrpFin -> BoolElt

   IsCentral(G, H) : GrpGPC, GrpGPC -> BoolElt

   IsCentral(G, H) : GrpMat -> BoolElt

   IsCentral(G, H) : GrpPC, GrpPC -> BoolElt

   IsCentral(G, H) : GrpPerm -> BoolElt


IsCentralCollineation

   IsCentralCollineation(P, g) : Plane, GrpPermElt -> BoolElt, PlanePt, PlaneLn


IsChainMap

   IsChainMap(L, C, D, n) : List, ModCpx, ModCpx, RngIntElt -> BoolElt

   IsChainMap(f) : MapChn -> BoolElt




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