![]() |
#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 |
|
static |
Definition at line 108 of file fac_util.cc.
|
static |
Definition at line 98 of file fac_util.cc.
CanonicalForm replaceLc | ( | const CanonicalForm & | f, |
const CanonicalForm & | c | ||
) |
Definition at line 89 of file fac_util.cc.
Definition at line 14 of file fac_util.cc.
STATIC_INST_VAR CanonicalForm PKHALF |
Definition at line 14 of file fac_util.cc.