Multivariate polynomial factorization (factory)

Directory dependency graph for factory:

Directories
directory	include

directory	templates

Files
file	canonicalform.cc [code]

file	canonicalform.h [code]
	Header for factory's main class CanonicalForm.

file	cf_algorithm.cc [code]

file	cf_algorithm.h [code]
	declarations of higher level algorithms.

file	cf_assert.h [code]
	assertions for Factory

file	cf_binom.cc [code]

file	cf_binom.h [code]

file	cf_char.cc [code]
	getting and setting the characteristic of a finite field

file	cf_chinese.cc [code]
	algorithms for chinese remaindering and rational reconstruction

file	cf_cyclo.cc [code]
	Compute cyclotomic polynomials and factorize integers by brute force.

file	cf_cyclo.h [code]
	Compute cyclotomic polynomials and factorize integers by brute force.

file	cf_defs.h [code]
	factory switches.

file	cf_eval.cc [code]

file	cf_eval.h [code]
	evaluate polynomials at points

file	cf_factor.cc [code]
	Interface to factorization and square free factorization algorithms.

file	cf_factory.cc [code]

file	cf_factory.h [code]
	Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.

file	cf_gcd.cc [code]
	gcd/content/lcm of polynomials

file	cf_generator.cc [code]

file	cf_generator.h [code]
	generate integers, elements of finite fields

file	cf_globals.cc [code]
	definitions of global variables.

file	cf_globals.h [code]

file	cf_hnf.cc [code]
	HNF/LLL of NTL.

file	cf_hnf.h [code]

file	cf_inline.cc [code]
	definition of configurable inline ‘CanonicalForm’ methods.

file	cf_irred.cc [code]

file	cf_irred.h [code]
	generate random irreducible univariate polynomials

file	cf_iter.cc [code]

file	cf_iter.h [code]
	Iterators for CanonicalForm's.

file	cf_iter_inline.cc [code]
	definition of configurable inline ‘CFIterator’ methods.

file	cf_linsys.cc [code]
	solve linear systems and compute determinants of matrices

file	cf_map.cc [code]
	definition of class CFMap.

file	cf_map.h [code]
	map polynomials

file	cf_map_ext.cc [code]
	This file implements functions to map between extensions of finite fields.

file	cf_map_ext.h [code]
	This file implements functions to map between extensions of finite fields.

file	cf_ops.cc [code]
	simple structural algorithms.

file	cf_primes.cc [code]

file	cf_primes.h [code]
	access to prime tables

file	cf_primetab.h [code]

file	cf_random.cc [code]

file	cf_random.h [code]
	generate random integers, random elements of finite fields

file	cf_resultant.cc [code]
	algorithms for calculating resultants.

file	cf_reval.cc [code]

file	cf_reval.h [code]
	generate random evaluation points

file	cf_roots.cc [code]

file	cf_roots.h [code]

file	cf_switches.cc [code]
	definition of class CFSwitches.

file	cf_switches.h [code]
	header to cf_switches.cc.

file	cf_util.cc [code]
	miscellaneous functions, not necessarily related to canonical forms.

file	cf_util.h [code]

file	cfCharSets.cc [code]
	This file provides functions to compute characteristic sets.

file	cfCharSets.h [code]
	This file provides functions to compute characteristic sets.

file	cfCharSetsUtil.cc [code]
	This file provides utility functions to compute characteristic sets.

file	cfCharSetsUtil.h [code]
	This file provides utility functions to compute characteristic sets.

file	cfEzgcd.cc [code]
	This file implements the GCD of two multivariate polynomials over Q or F_q using EZ-GCD as described in "Algorithms for Computer Algebra" by Geddes, Czapor, Labahnn.

file	cfEzgcd.h [code]
	Extended Zassenhaus GCD over finite fields and Z.

file	cfGcdAlgExt.cc [code]

file	cfGcdAlgExt.h [code]
	GCD over Q(a)

file	cfGcdUtil.cc [code]

file	cfGcdUtil.h [code]
	coprimality check and change of representation mod n

file	cfModGcd.cc [code]
	This file implements the GCD of two polynomials over $F_{p}$ , $F_{p}(\alpha )$ , GF or Z based on Alg.

file	cfModGcd.h [code]
	modular and sparse modular GCD algorithms over finite fields and Z.

file	cfModResultant.cc [code]
	modular resultant algorithm

file	cfModResultant.h [code]
	modular resultant algorithm as described by G.

file	cfNewtonPolygon.cc [code]
	This file provides functions to compute the Newton polygon of a bivariate polynomial.

file	cfNewtonPolygon.h [code]
	This file provides functions to compute the Newton polygon of a bivariate polynomial.

file	cfNTLzzpEXGCD.cc [code]

file	cfNTLzzpEXGCD.h [code]
	This file defines functions for univariate GCD and extended GCD over Z/p[t]/(f)[x] for reducible f.

file	cfSubResGcd.cc [code]

file	cfSubResGcd.h [code]
	subresultant pseudo remainder sequence GCD over finite fields and Z

file	cfUnivarGcd.cc [code]

file	cfUnivarGcd.h [code]
	univariate Gcd over finite fields and Z, extended GCD over finite fields and Q

file	debug.cc [code]

file	debug.h [code]
	functions to print debug output

file	DegreePattern.cc [code]
	This file provides functions for manipulating DegreePatterns.

file	DegreePattern.h [code]
	This file provides a class to handle degree patterns.

file	ExtensionInfo.cc [code]
	This file provides member functions for ExtensionInfo.

file	ExtensionInfo.h [code]
	This file provides a class to store information about finite fields and extensions thereof.

file	fac_berlekamp.cc [code]

file	fac_berlekamp.h [code]

file	fac_cantzass.cc [code]

file	fac_cantzass.h [code]

file	fac_distrib.cc [code]

file	fac_distrib.h [code]

file	fac_iterfor.cc [code]

file	fac_iterfor.h [code]

file	fac_multihensel.cc [code]

file	fac_multihensel.h [code]

file	fac_multivar.cc [code]

file	fac_multivar.h [code]

file	fac_sqrfree.cc [code]

file	fac_sqrfree.h [code]
	squarefree part and factorization over Q, Q(a)

file	fac_univar.cc [code]

file	fac_univar.h [code]

file	fac_util.cc [code]

file	fac_util.h [code]
	operations mod p^k and some other useful functions for factorization

file	facAbsBiFact.cc [code]

file	facAbsBiFact.h [code]
	bivariate absolute factorization over Q described in "Modular Las Vegas Algorithms for Polynomial Absolute Factorization" by Bertone, Chèze, Galligo

file	facAbsFact.cc [code]

file	facAbsFact.h [code]
	absolute multivariate factorization over Q

file	facAlgExt.cc [code]
	Univariate factorization over algebraic extension of Q using Trager's algorithm.

file	facAlgExt.h [code]
	Univariate factorization over algebraic extension of Q using Trager's algorithm.

file	facAlgFunc.cc [code]
	This file provides functions to factorize polynomials over alg.

file	facAlgFunc.h [code]
	Factorization over algebraic function fields.

file	facAlgFuncUtil.cc [code]
	This file provides utility functions to factorize polynomials over alg.

file	facAlgFuncUtil.h [code]
	Utility functions for factorization over algebraic function fields.

file	facBivar.cc [code]
	bivariate factorization over Q(a)

file	facBivar.h [code]
	bivariate factorization over Q(a)

file	facFactorize.cc [code]
	multivariate factorization over Q(a)

file	facFactorize.h [code]
	multivariate factorization over Q(a)

file	facFqBivar.cc [code]
	This file provides functions for factorizing a bivariate polynomial over $F_{p}$ , $F_{p}(\alpha )$ or GF, based on "Modern Computer Algebra, Chapter 15" by J. von zur Gathen & J. Gerhard and "Factoring multivariate polynomials over a finite field" by L.

file	facFqBivar.h [code]
	This file provides functions for factorizing a bivariate polynomial over $F_{p}$ , $F_{p}(\alpha )$ or GF.

file	facFqBivarUtil.cc [code]
	This file provides utility functions for bivariate factorization.

file	facFqBivarUtil.h [code]
	This file provides utility functions for bivariate factorization.

file	facFqFactorize.cc [code]
	This file implements functions for factoring a multivariate polynomial over a finite field.

file	facFqFactorize.h [code]
	This file provides functions for factorizing a multivariate polynomial over $F_{p}$ , $F_{p}(\alpha )$ or GF.

file	facFqFactorizeUtil.cc [code]
	This file provides utility functions for multivariate factorization.

file	facFqFactorizeUtil.h [code]
	This file provides utility functions for multivariate factorization.

file	facFqSquarefree.cc [code]
	This file provides functions for squarefrees factorizing over $F_{p}$ , $F_{p}(\alpha )$ or GF, as decribed in "Factoring multivariate polynomials over a finite field" by L.

file	facFqSquarefree.h [code]
	This file provides functions for squarefrees factorizing over $F_{p}$ , $F_{p}(\alpha )$ or GF.

file	facHensel.cc [code]
	This file implements functions to lift factors via Hensel lifting.

file	facHensel.h [code]
	This file defines functions for Hensel lifting.

file	facIrredTest.cc [code]
	This file implements a probabilistic irreducibility test for polynomials over Z/p.

file	facIrredTest.h [code]
	This file provides a probabilistic irreducibility test for polynomials over Z/p.

file	facMul.cc [code]
	This file implements functions for fast multiplication and division with remainder.

file	facMul.h [code]
	This file defines functions for fast multiplication and division with remainder.

file	facSparseHensel.cc [code]
	This file implements functions for sparse heuristic Hensel lifting.

file	facSparseHensel.h [code]
	This file provides functions for sparse heuristic Hensel lifting.

file	ffops.cc [code]

file	ffops.h [code]
	operations in a finite prime field F_p.

file	FLINTconvert.cc [code]
	This file implements functions for conversion to FLINT (www.flintlib.org) and back.

file	FLINTconvert.h [code]
	This file defines functions for conversion to FLINT (www.flintlib.org) and back.

file	ftmpl_inst.cc [code]
	Factory's template instantiations.

file	gengftables-conway.cc [code]
	generate addition tables used by Factory to calculate in GF(q).

file	gf_tabutil.cc [code]

file	gf_tabutil.h [code]
	utility functions to access GF Tables

file	gfops.cc [code]

file	gfops.h [code]
	Operations in GF, where GF is a finite field of size less than 2^16 represented by a root of Conway polynomial.

file	globaldefs.h [code]

file	gmpext.h [code]
	utility functions for gmp

file	imm.cc [code]

file	imm.h [code]
	operations on immediates, that is elements of F_p, GF, Z, Q that fit into intrinsic int, long

file	int_cf.cc [code]

file	int_cf.h [code]
	Factory's internal CanonicalForm's.

file	int_int.cc [code]

file	int_int.h [code]
	Factory's internal integers.

file	int_intdiv.cc [code]
	'InternalInteger' division algorithms.

file	int_poly.cc [code]

file	int_poly.h [code]
	Factory's internal polynomials.

file	int_pp.cc [code]

file	int_pp.h [code]

file	int_rat.cc [code]

file	int_rat.h [code]
	Factory's internal rationals.

file	NTLconvert.cc [code]

file	NTLconvert.h [code]
	Conversion to and from NTL.

file	parseutil.cc [code]

file	parseutil.h [code]

file	si_log2.h [code]

file	singext.cc [code]

file	singext.h [code]
	helper functions for conversion to and from Singular

file	test_install.cc [code]

file	threadsupport.cc [code]

file	timing.h [code]

file	variable.cc [code]

file	variable.h [code]
	operations on variables

Detailed Description

Multivariate polynomial factorization (factory)

Directories

Files

Detailed Description