factory Directory Reference

Multivariate polynomial factorization (factory)

More...

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 , , 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 , 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 , 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 , 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 , 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 , 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)