localring.cpp File Reference

#include "localring.hpp"
#include "interface/factory.h"
#include "text-io.hpp"
#include "ringmap.hpp"
#include "monoid.hpp"
#include "gbring.hpp"
#include "relem.hpp"
#include "debug.hpp"
#include "matrix.hpp"
#include "matrix-con.hpp"
#include "mutablecomplex.hpp"
#include "exceptions.hpp"

Go to the source code of this file.

Functions
Matrix *	rawLiftLocalMatrix (const Ring *R, const Matrix *f)
M2_bool	rawIsLocalUnit (const RingElement *f)