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"
> );