fac_util.cc File Reference

#include "config.h"
#include "cf_assert.h"
#include "cf_defs.h"
#include "canonicalform.h"
#include "cf_iter.h"
#include "fac_util.h"

Go to the source code of this file.

Functions
static CanonicalForm	mappk (const CanonicalForm &)
static CanonicalForm	mappksymmetric (const CanonicalForm &)
CanonicalForm	replaceLc (const CanonicalForm &f, const CanonicalForm &c)

Variables
STATIC_INST_VAR CanonicalForm	PK
STATIC_INST_VAR CanonicalForm	PKHALF

Function Documentation

mappk()

CanonicalForm mappk ( const CanonicalForm &  f )

static

Definition at line 108 of file fac_util.cc.

{
    return mod( f, PK );
}

mappksymmetric()

CanonicalForm mappksymmetric ( const CanonicalForm &  f )

static

Definition at line 98 of file fac_util.cc.

{
    CanonicalForm result = mod( f, PK );
    if ( result > PKHALF )
        return result - PK;
    else
        return result;
}

replaceLc()

CanonicalForm replaceLc	(	const CanonicalForm &	f,
		const CanonicalForm &	c
	)

Definition at line 89 of file fac_util.cc.

{
    if ( f.inCoeffDomain() )
        return c;
    else
        return f + ( c - LC( f ) ) * power( f.mvar(), degree( f ) );
}

Variable Documentation

PK

STATIC_INST_VAR CanonicalForm PK

Definition at line 14 of file fac_util.cc.

PKHALF

STATIC_INST_VAR CanonicalForm PKHALF

Definition at line 14 of file fac_util.cc.