gap> LoadPackage( "IntrinsicModules", false );
true
gap> Q := HomalgFieldOfRationalsInSingular( );
Q
gap> R := Q["x,y,z"];
Q[x,y,z]
gap> A := CategoryOfHomalgFinitelyPresentedLeftModules( R );
IntrinsicCategory( CategoryWithAmbientObjects( Freyd( Rows( Q[x,y,z] ) ) ) )
gap> CAP_INTERNAL_GENERATE_DOCUMENTATION_FOR_CATEGORY_INSTANCES(
>     [
>         [ A, "Category of finitely presented modules" ],
>     ],
>     "IntrinsicModules",
>     "FpModulesByFreyd.autogen.gd",
>     "Categories of finitely presented modules",
>     "Supported CAP operations"
> );