- residue-class-rings
- residue-field
- residue-ring
- ResidueClassDegree
- ResidueClassField
- ResidueClassField(L) : FldXPad -> FldFin, Map
- ResidueClassField(P) : PlcCrvElt -> Rng
- ResidueClassField(P) : PlcFunElt -> Rng, Map
- ResidueClassField(P) : PlcNumElt -> Fld
- ResidueClassField(P) : PlcNumElt -> Fld
- ResidueClassField(I) : Rng -> Fld, Map
- ResidueClassField(I) : RngFunOrdIdl -> Rng, Map
- ResidueClassField(p) : RngIntElt -> FldFin, Map
- ResidueClassField(L) : RngLocA -> Rng, Map
- ResidueClassField(O, I) : RngOrd, RngOrdIdl -> FldFin, Map
- ResidueClassField(L) : RngPad -> FldFin, Map
- ResidueClassField(R) : RngSer -> Rng, Map
- ResidueClassField(E) : RngSerExt -> FldFin
- ResidueClassRing
- ResidueField
- ResidueGenerator
- ResidueGRH
- ResidueGRHbound
- ResidueRing
- ResidueRingUnits
- residues
- ResidueSystem
- resol-parallel
- Resolution
- CompactInjectiveResolution(M, n) : ModAlg, RngIntElt -> Rec
- CompactProjectiveResolution(M, n) : ModAlg, RngIntElt -> Rec
- CompactProjectiveResolutionPGroup(M, n) : ModAlgBas, RngIntElt -> Rec
- DualResolutionGraph(dsd) : DesingData -> GrphMultUnd, SeqEnum, SeqEnum
- FreeResolution(M) : ModMPol -> ModCpx, ModMPolHom
- FreeResolution(R) : RngInvar -> [ ModMPol ]
- HasResolution(D) : Inc -> BoolElt, { SetEnum }, RngIntElt
- HasResolution(D, λ) : Inc, RngIntElt -> BoolElt, { SetEnum }
- InjectiveResolution(M, n) : ModAlg, RngIntElt -> ModCpx, ModMatFldElt
- IsResolution(D, P) : Inc, SetEnum[SetEnum] -> BoolElt, RngIntElt
- MakeResolutionGraph(g,s,t) : GrphDir,SeqEnum,SeqEnum -> GrphRes
- MakeResolutionGraph(N) : NwtnPgon -> GrphRes
- MinimalDualResolutionGraph(dsd) : DesingData -> GrphMultUnd, SeqEnum, SeqEnum, Mtrx
- MinimalFreeResolution(R) : RngInvar -> [ ModMPol ]
- NumberOfPointsOnMinimalResolutionFibre(dsd) : DesingData -> RngIntElt
- NumberOfPointsOnResolutionFibre(dsd) : DesingData -> RngIntElt
- ProjectiveResolution(M, n) : ModAlg, RngIntElt -> ModCpx, ModMatFldElt
- ProjectiveResolution(M, n) : ModAlgBas, RngIntElt -> ModCpx, ModMatFldElt
- ProjectiveResolution(PR) : Rec -> ModCpx, ModMatFldElt
- ProjectiveResolutionPGroup(PR) : Rec -> ModCpx
- Resolution(F) : TorFan -> TorFan
- Resolution(X) : TorVar -> TorVar,TorMap
- ResolutionData(A) : AlgBasGrpP -> Rec
- ResolutionGraph(v) : GrphResVert -> GrphRes
- ResolutionGraph(P) : LinearSys -> GrphRes
- ResolutionGraph(P,a,b) : LinearSys,RngElt,RngElt -> GrphRes
- ResolutionGraph(C, p) : Sch, Pt -> GrphRes
- ResolutionGraphVertex(g,i) : GrphRes,RngIntElt -> GrphResVert
- RestrictResolution(PR, RD) : Rec, Rec -> ModCpx
- ZetaFunctionOfMinimalResolutionFibre(dsd) : DesingData -> FldFunRatUElt
- ZetaFunctionOfResolutionFibre(dsd) : DesingData -> FldFunRatUElt
- ZetaFunctionOfResolutionFibre(dsd) : DesingData -> FldFunRatUElt
- resolution
- resolution-graphs
- resolution-to-splice
- ResolutionData
- ResolutionGraph
V2.29, 21 October 2025