GaussDense.gd

#############################################################################
##
##  GaussDense.gd                Gauss package                Simon Goertzen
##
##  Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  Declaration stuff for Gauss algorithms on dense (IsMatrix) matrices.
##
#############################################################################

##
DeclareOperation( "EchelonMatTransformationDestructive", #RREF over a ring, returns the same record as SemiEchelonMatTransformation but with ordered vectors
        [ IsMatrix ] );

DeclareAttribute( "EchelonMatTransformation",
        IsMatrix );

##
DeclareOperation( "EchelonMatDestructive", #RREF over a ring, returns the same record as SemiEchelonMat but with ordered vectors
        [ IsMatrix ] );

DeclareAttribute( "EchelonMat",
        IsMatrix );

##
DeclareOperation( "ReduceMat",
        [ IsMatrix, IsMatrix ] );

DeclareOperation( "ReduceMatWithEchelonMat", #Reduce the rows of a matrix with another matrix, which MUST be at least in REF.
        [ IsMatrix, IsMatrix ] );

##
DeclareOperation( "ReduceMatTransformation",
        [ IsMatrix, IsMatrix ] );

DeclareOperation( "ReduceMatWithEchelonMatTransformation", #same as above, with transformation matrix.
        [ IsMatrix, IsMatrix ] );

##
DeclareOperation( "KernelEchelonMatDestructive", #REF over a ring, returns a record with relations (list: certain columns of relations) as only entry
        [ IsMatrix, IsList ] );

DeclareGlobalFunction( "KernelMat" );