DeclareOperation( "GBNPGroebnerBasis",
    [ IsList, IsPathAlgebra ] );

DeclareOperation( "GBNPGroebnerBasisNC",
    [ IsList, IsPathAlgebra ] );

DeclareOperation( "GBNPGroebnerBasis",
    [ IsFLMLOR ] );

DeclareOperation( "QPA_Path2Cohen",
    [ IsList ] );

DeclareOperation( "QPA_Path2CohenFree",
    [ IsList ] );

DeclareOperation( "QPA_Cohen2Path",
    [ IsList, IsPathAlgebra ] );

DeclareOperation( "MakeUniform",
    [ IsElementOfMagmaRingModuloRelations ] );

DeclareOperation( "MakeUniform",
    [ IsList ] );

DeclareOperation( "QPA_InArrowIdeal",
    [ IsList, IsPathAlgebra ] );

DeclareOperation( "QPA_RelationsForPathAlgebra",
    [ IsPathAlgebra ] );

