gap> LoadPackage( "IntrinsicGradedModules", false ); true gap> Q := GradedRing( HomalgFieldOfRationalsInSingular( ) ); Q (weights: yet unset) gap> S := Q["x,y,z"]; Q[x,y,z] (weights: yet unset) gap> A := CategoryOfHomalgFinitelyPresentedGradedLeftModules( S ); IntrinsicCategory( CategoryWithAmbientObjects( Freyd( GradedRows( Q[x,y,z] (with weights [ 1, 1, 1 ]) ) ) ) ) gap> CAP_INTERNAL_GENERATE_DOCUMENTATION_FOR_CATEGORY_INSTANCES( > [ > [ A, "Category of of finitely presented graded modules" ], > ], > "IntrinsicGradedModules", > "FpGradedModulesByFreyd.autogen.gd", > "Categories of finitely presented graded modules", > "Supported CAP operations" > );
generated by GAPDoc2HTML