- related-diff-op
- related-diff-op-truncate-coefficients
- related-diff-ring-op-elts
- related-ex
- related-maps-diff-op-rings
- related-matrix
- related-struct
- related-structures
- related-structures-diff-op-rings
- related-structures-diff-rings
- related-structures-rat-ext
- Relation
- AddRelation(G, g) : GrpFP, GrpFPElt -> GrpFP
- AddRelation(G, g, i) : GrpFP, GrpFPElt, RngIntElt -> GrpFP
- AddRelation(G, r) : GrpFP, RelElt -> GrpFP
- AddRelation(G, r, i) : GrpFP, RelElt, RngIntElt -> GrpFP
- AddRelation(S, r) : SgpFP, Rel -> SgpFP
- DeleteRelation(G, g) : GrpFP, GrpFPElt -> GrpFP
- DeleteRelation(G, r) : GrpFP, RelElt -> GrpFP
- DeleteRelation(G, i) : GrpFP, RngIntElt -> GrpFP
- DeleteRelation(S, r) : SgpFP, Rel -> SgpFP
- DeleteRelation(S, i) : SgpFP, RngIntElt -> SgpFP
- IntegerRelation(q): SeqEnum -> SeqEnum, FldReElt
- LinearRelation(q: parameters) : [ FldComElt ] -> [ RngIntElt ]
- PowerRelation(x,n) : FldPadElt, RngIntElt -> RngUPolElt
- PowerRelation(r, k: parameters) : FldReElt, RngIntElt -> RngUPolElt
- RelationIdeal(R) : RngInvar -> RngMPol
- RelationIdeal(Q) : [ RngMPol ] -> RngMPol
- RelationMatrix(A) : GrpAb -> Mtrx
- RelationMatrix(M) : ModMPol -> ModMatRngElt
- RelationMatrix(O) : RngOrd -> ModHomElt
- RelationModule(M) : ModMPol -> [ ModMPol ]
- ReplaceRelation(G, s, r) : GrpFP, RelElt, RelElt -> GrpFP
- ReplaceRelation(G, i, g) : GrpFP, RngIntElt, GrpFPElt -> GrpFP
- ReplaceRelation(G, i, r) : GrpFP, RngIntElt, RelElt -> GrpFP
- ReplaceRelation(S, r1, r2) : SgpFP, Rel, Rel -> SgpFP
- ReplaceRelation(S, i, r) : SgpFP, RngIntElt, Rel -> SgpFP
- VerifyRelation(f, F) : RngUPolElt, RngSLPolElt -> BoolElt
- relation
- RelationIdeal
- RelationMatrix
- RelationModule
- Relations
- AddGroupRelations(Q, R) : L2Quotient, [ GrpFPElt ] -> [ L2Quotient ]
- AddGroupRelations(Q, r) : L2Quotient, [ GrpFPElt ] -> [ L2Quotient ]
- AddRingRelations(Q, R) : L2Quotient, [ RngMPolElt ] -> [ L2Quotient ]
- AllLinearRelations(q,p): SeqEnum, RngIntElt -> Lat
- CollectRelations(~P) : GrpPCpQuotientProc ->
- DixmierOhnoAlgebraicRelations(DOinv) : SeqEnum -> SeqEnum
- FindRelations(P) : NFSProc -> RngIntElt
- FindRelationsInCWIFormat(P) : NFSProc -> RngIntElt
- IgusaAlgebraicRelations(JI) : SeqEnum -> SeqEnum
- LinearRelations(f) : RngUPolElt -> Mtrx, GaloisData
- LinearRelations(f, I) : RngUPolElt, [RngSLPolElt] -> Mtrx, GaloisData
- MinimalRelations(R) : Rec -> SeqEnum
- NumberOfRelations(P) : GrpFPTietzeProc -> RngIntElt
- NumberOfRelations(G) : GrpRWS -> RngIntElt
- NumberOfRelations(M) : MonRWS -> RngIntElt
- NumberOfRelationsRequired(P) : NFSProc -> RngIntElt
- QuiverAndRelations(A) : AlgBas -> SeqEnum, SeqEnum, SeqEnum
- Relations(A) : GrpAb -> [ Rel ]
- Relations(G) : GrpFP -> [ GrpFPRel ]
- Relations(G) : GrpRWS -> [GrpFPRel]
- Relations(M, d, prec) : ModFrm, RngIntElt, RngIntElt -> SeqEnum
- Relations(M) : ModMPol -> [ ModMPol ]
- Relations(M) : MonRWS -> [MonFPRel]
- Relations(R) : RngInvar -> [ RngMPolElt ]
- Relations(O) : RngOrd -> ModHomElt
- Relations(L, R) : SeqEnum[ DiffFunElt ], Rng -> ModTupRng
- Relations(L, R) : SeqEnum[ FldFunElt ], Rng -> ModTupRng
- Relations(S) : SgpFP -> [ Rel ]
- Relations(L) : [DiffCrvElt] -> ModTupFld
- Relations(S) : [FldFunFracSchElt[Crv]] -> ModTupRng
- RemoveLinearRelations(X) : Sch -> Sch, MapIsoSch
- GrpAb_Relations (Example H75E14)
- GrpAb_Relations (Example H75E2)
- ModFrm_Relations (Example H141E20)
- RngInvar_Relations (Example H117E12)
V2.28, 13 July 2023