////////////////////////////////////////////////////////////
// emacs edit mode for this file is -*- C++ -*-
///////////////////////////////////////////////////////////////////////////////
#ifndef TRUEFACTOR_H
#define TRUEFACTOR_H

CFFList Truefactors( const CanonicalForm Ua, int levelU, const SFormList & SubstitutionList, const CFFList & PiList);
CFFList TakeNorms(const CFFList & PiList);
#endif /* TRUEFACTOR_H */