factory.cpp File Reference

#include "interface/factory.h"
#include "interface/matrix.h"
#include "interface/ringelement.h"
#include <algorithm>
#include <cassert>
#include <cstdio>
#include <iostream>
#include <utility>
#include <vector>
#include <factory/factory.h>
#include <NTL/ZZ.h>
#include "buffer.hpp"
#include "error.h"
#include "exceptions.hpp"
#include "matrix.hpp"
#include "monoid.hpp"
#include "poly.hpp"
#include "polyring.hpp"
#include "relem.hpp"
#include "ring.hpp"
#include "ringelem.hpp"
#include "text-io.hpp"
#include "tower.hpp"
#include "util.hpp"

Go to the source code of this file.

Classes
struct	enter_factory

Macros
#define	Matrix   FactoryMatrix
#define	REVERSE_VARIABLES    1

Enumerations
enum	factoryCoeffMode {   modeError = 0 , modeQQ , modeZZ , modeZn ,   modeGF , modeUnknown }

Functions
static enum factoryCoeffMode	coeffMode (const PolynomialRing *P)
static void	init_seeds ()
static __mpz_struct	toInteger (CanonicalForm h)
static const RingElement *	convertToM2 (const PolynomialRing *R, CanonicalForm h)
static CanonicalForm	convertToFactory (mpz_srcptr p)
static CanonicalForm	convertToFactory (const RingElement &g, bool inExtension)
static Variable	set_GF_minimal_poly (const PolynomialRing *P)
static void	getGFRepresentation (const Ring *kk1, const ring_elem &a, std::vector< long > &result_rep)
static CanonicalForm	convertGFToFactory (const std::vector< long > &repr)
static CanonicalForm	convertGFToFactory (const ring_elem &q, const PolynomialRing *P)
void	displayCF (const PolynomialRing *R, const CanonicalForm &h)
bool	factoryGoodRing (const PolynomialRing *P)
const RingElement *	rawGCDRingElement (const RingElement *f, const RingElement *g, const RingElement *mipo, const M2_bool inExtension)
const RingElement *	rawExtendedGCDRingElement (const RingElement *f, const RingElement *g, const RingElement **A, const RingElement **B)
const RingElement *	rawPseudoRemainder (const RingElement *f, const RingElement *g)
void	rawFactorBase (const RingElement *g, engine_RawRingElementArrayOrNull *result_factors, M2_arrayintOrNull *result_powers, const RingElement *mipo=nullptr)
void	rawFactor (const RingElement *g, engine_RawRingElementArrayOrNull *result_factors, M2_arrayintOrNull *result_powers)
void	rawFactor2 (const RingElement *g, const RingElement *minpoly, engine_RawRingElementArrayOrNull *result_factors, M2_arrayintOrNull *result_powers)
M2_arrayintOrNull	rawIdealReorder (const Matrix *M)
engine_RawMatrixArrayOrNull	rawCharSeries (const Matrix *M)
CFList	convertToCFList (const Matrix &M, bool inExtension)

Variables
const bool	notInExtension = false
CanonicalForm	algebraicElement_Fac
const RingElement *	algebraicElement_M2
static struct enter_factory	foo1
static int	base_set = 0
static CanonicalForm	base
static struct enter_factory	foo2