doc ► factory Multivariate polynomial factorization (factory) ► include ► factory ► templates Templates for new sources and headers ftmpl_afactor.h ftmpl_array.h ftmpl_factor.h ftmpl_list.h ftmpl_matrix.h cf_gmp.h ► templates ftmpl_afactor.cc ftmpl_array.cc ftmpl_factor.cc ftmpl_functions.h Some useful template functions ftmpl_list.cc ftmpl_matrix.cc canonicalform.cc canonicalform.h Header for factory's main class CanonicalForm cf_algorithm.cc cf_algorithm.h Declarations of higher level algorithms cf_assert.h Assertions for Factory cf_binom.cc cf_binom.h cf_char.cc Getting and setting the characteristic of a finite field cf_chinese.cc Algorithms for chinese remaindering and rational reconstruction cf_cyclo.cc Compute cyclotomic polynomials and factorize integers by brute force cf_cyclo.h Compute cyclotomic polynomials and factorize integers by brute force cf_defs.h Factory switches cf_eval.cc cf_eval.h Evaluate polynomials at points cf_factor.cc Interface to factorization and square free factorization algorithms cf_factory.cc cf_factory.h Interface to generate InternalCF 's over various domains from intrinsic types or mpz_t's cf_gcd.cc Gcd/content/lcm of polynomials cf_generator.cc cf_generator.h Generate integers, elements of finite fields cf_globals.cc Definitions of global variables cf_globals.h cf_hnf.cc HNF/LLL of NTL cf_hnf.h cf_inline.cc Definition of configurable inline ‘CanonicalForm ’ methods cf_irred.cc cf_irred.h Generate random irreducible univariate polynomials cf_iter.cc cf_iter.h Iterators for CanonicalForm 's cf_iter_inline.cc Definition of configurable inline ‘CFIterator ’ methods cf_linsys.cc Solve linear systems and compute determinants of matrices cf_map.cc Definition of class CFMap cf_map.h Map polynomials cf_map_ext.cc This file implements functions to map between extensions of finite fields cf_map_ext.h This file implements functions to map between extensions of finite fields cf_ops.cc Simple structural algorithms cf_primes.cc cf_primes.h Access to prime tables cf_primetab.h cf_random.cc cf_random.h Generate random integers, random elements of finite fields cf_resultant.cc Algorithms for calculating resultants cf_reval.cc cf_reval.h Generate random evaluation points cf_roots.cc cf_roots.h cf_switches.cc Definition of class CFSwitches cf_switches.h Header to cf_switches.cc cf_util.cc Miscellaneous functions, not necessarily related to canonical forms cf_util.h cfCharSets.cc This file provides functions to compute characteristic sets cfCharSets.h This file provides functions to compute characteristic sets cfCharSetsUtil.cc This file provides utility functions to compute characteristic sets cfCharSetsUtil.h This file provides utility functions to compute characteristic sets cfEzgcd.cc 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 cfEzgcd.h Extended Zassenhaus GCD over finite fields and Z cfGcdAlgExt.cc cfGcdAlgExt.h GCD over Q(a) cfGcdUtil.cc cfGcdUtil.h Coprimality check and change of representation mod n cfModGcd.cc This file implements the GCD of two polynomials over cfModGcd.h Modular and sparse modular GCD algorithms over finite fields and Z cfModResultant.cc Modular resultant algorithm cfModResultant.h Modular resultant algorithm as described by G cfNewtonPolygon.cc This file provides functions to compute the Newton polygon of a bivariate polynomial cfNewtonPolygon.h This file provides functions to compute the Newton polygon of a bivariate polynomial cfNTLzzpEXGCD.cc cfNTLzzpEXGCD.h This file defines functions for univariate GCD and extended GCD over Z/p[t]/(f)[x] for reducible f cfSubResGcd.cc cfSubResGcd.h Subresultant pseudo remainder sequence GCD over finite fields and Z cfUnivarGcd.cc cfUnivarGcd.h Univariate Gcd over finite fields and Z, extended GCD over finite fields and Q debug.cc debug.h Functions to print debug output DegreePattern.cc This file provides functions for manipulating DegreePatterns DegreePattern.h This file provides a class to handle degree patterns ExtensionInfo.cc This file provides member functions for ExtensionInfo ExtensionInfo.h This file provides a class to store information about finite fields and extensions thereof fac_berlekamp.cc fac_berlekamp.h fac_cantzass.cc fac_cantzass.h fac_distrib.cc fac_distrib.h fac_iterfor.cc fac_iterfor.h fac_multihensel.cc fac_multihensel.h fac_multivar.cc fac_multivar.h fac_sqrfree.cc fac_sqrfree.h Squarefree part and factorization over Q, Q(a) fac_univar.cc fac_univar.h fac_util.cc fac_util.h Operations mod p^k and some other useful functions for factorization facAbsBiFact.cc facAbsBiFact.h Bivariate absolute factorization over Q described in "Modular Las Vegas
Algorithms for Polynomial Absolute Factorization" by Bertone, Chèze, Galligo facAbsFact.cc facAbsFact.h Absolute multivariate factorization over Q facAlgExt.cc Univariate factorization over algebraic extension of Q using Trager's algorithm facAlgExt.h Univariate factorization over algebraic extension of Q using Trager's algorithm facAlgFunc.cc This file provides functions to factorize polynomials over alg facAlgFunc.h Factorization over algebraic function fields facAlgFuncUtil.cc This file provides utility functions to factorize polynomials over alg facAlgFuncUtil.h Utility functions for factorization over algebraic function fields facBivar.cc Bivariate factorization over Q(a) facBivar.h Bivariate factorization over Q(a) facFactorize.cc Multivariate factorization over Q(a) facFactorize.h Multivariate factorization over Q(a) facFqBivar.cc This file provides functions for factorizing a bivariate polynomial over facFqBivar.h This file provides functions for factorizing a bivariate polynomial over facFqBivarUtil.cc This file provides utility functions for bivariate factorization facFqBivarUtil.h This file provides utility functions for bivariate factorization facFqFactorize.cc This file implements functions for factoring a multivariate polynomial over a finite field facFqFactorize.h This file provides functions for factorizing a multivariate polynomial over facFqFactorizeUtil.cc This file provides utility functions for multivariate factorization facFqFactorizeUtil.h This file provides utility functions for multivariate factorization facFqSquarefree.cc This file provides functions for squarefrees factorizing over facFqSquarefree.h This file provides functions for squarefrees factorizing over facHensel.cc This file implements functions to lift factors via Hensel lifting facHensel.h This file defines functions for Hensel lifting facIrredTest.cc This file implements a probabilistic irreducibility test for polynomials over Z/p facIrredTest.h This file provides a probabilistic irreducibility test for polynomials over Z/p facMul.cc This file implements functions for fast multiplication and division with remainder facMul.h This file defines functions for fast multiplication and division with remainder facSparseHensel.cc This file implements functions for sparse heuristic Hensel lifting facSparseHensel.h This file provides functions for sparse heuristic Hensel lifting ffops.cc ffops.h Operations in a finite prime field F_p FLINTconvert.cc This file implements functions for conversion to FLINT (www.flintlib.org) and back FLINTconvert.h This file defines functions for conversion to FLINT (www.flintlib.org) and back ftmpl_inst.cc Factory's template instantiations gengftables-conway.cc Generate addition tables used by Factory to calculate in GF(q) gf_tabutil.cc gf_tabutil.h Utility functions to access GF Tables gfops.cc gfops.h Operations in GF, where GF is a finite field of size less than 2^16 represented by a root of Conway polynomial globaldefs.h gmpext.h Utility functions for gmp imm.cc imm.h Operations on immediates, that is elements of F_p, GF, Z, Q that fit into intrinsic int, long int_cf.cc int_cf.h Factory's internal CanonicalForm 's int_int.cc int_int.h Factory's internal integers int_intdiv.cc 'InternalInteger ' division algorithms int_poly.cc int_poly.h Factory's internal polynomials int_pp.cc int_pp.h int_rat.cc int_rat.h Factory's internal rationals NTLconvert.cc NTLconvert.h Conversion to and from NTL parseutil.cc parseutil.h si_log2.h singext.cc singext.h Helper functions for conversion to and from Singular test_install.cc threadsupport.cc timing.h variable.cc variable.h Operations on variables ► kernel Several involved mathematical algorithms (kernel) ► combinatorics Combinatorial algorithms hdegree.cc hilb.cc hilb.h hutil.cc hutil.h stairc.h ► fglm FGLM algorithms fglm.h fglmcomb.cc fglmgauss.cc fglmgauss.h fglmhom.cc fglmvec.cc fglmvec.h fglmzero.cc ► GBEngine GB-based and related algorithms f5data.cc f5data.h f5gb.cc f5gb.h f5lists.cc f5lists.h gr_kstd2.cc janet.cc janet.h kChinese.cc kChinese.h kChinese2.cc khstd.cc khstd.h kInline.h kLiftstd.cc kpolys.cc kspoly.cc kstd1.cc kstd1.h kstd2.cc kstdfac.cc kstdfac.h kutil.cc kutil.h kverify.cc kverify.h nc.cc nc.h ratgring.cc ratgring.h ringgb.cc ringgb.h sca.cc shiftgb.cc shiftgb.h syz.cc syz.h syz0.cc syz1.cc syz2.cc syz3.cc syz4.cc tgb.cc tgb.h tgb_internal.h tgbgauss.cc tgbgauss.h units.cc units.h ► groebner_walk Groebner-Walk algorithms walkMain.cc walkMain.h walkProc.cc walkProc.h walkSupport.cc walkSupport.h ► linear_algebra Linear algebra related algorithms Cache.h CacheImplementation.h eigenval.cc eigenval.h interpolation.cc interpolation.h linearAlgebra.cc linearAlgebra.h Minor.cc Minor.h MinorInterface.cc MinorInterface.h MinorProcessor.cc MinorProcessor.h minpoly.cc minpoly.h ► maps Fast polynomial maps fast_maps.cc fast_maps.h find_perm.cc find_perm.h gen_maps.cc gen_maps.h subst_maps.cc ► numeric Numerical algorithms mpr_base.cc mpr_base.h mpr_inout.cc mpr_inout.h mpr_numeric.cc mpr_numeric.h ► oswrapper Wrappers over host OS functions feread.cc feread.h fereadl.c rlimit.c rlimit.h timer.cc timer.h vspace.cc vspace.h ► spectrum Spectrum-related algorithms GMPrat.cc GMPrat.h kmatrix.h multicnt.cc multicnt.h npolygon.cc npolygon.h semic.cc semic.h spectrum.cc spectrum.h splist.cc splist.h digitech.cc digitech.h fast_mult.cc fast_mult.h ideals.cc ideals.h mod2.h polys.cc polys.h Compatibility layer for legacy polynomial operations (over currRing ) preimage.cc preimage.h structs.h tmult.cc ► libpolys Basic Data Structures ► coeffs Coefficients for Singular rings and algebras bigintmat.cc bigintmat.h coeffs.h Coefficient rings, fields and other domains suitable for Singular polynomials Enumerator.h Abstract API for enumerators ffields.cc ffields.h flintcf_Q.cc flintcf_Q.h flintcf_Qrat.cc flintcf_Qrat.h flintcf_Zn.cc flintcf_Zn.h generics.cc generics.h gnumpc.cc gnumpc.h gnumpfl.cc gnumpfl.h longrat.cc longrat.h longrat0.cc modulop.cc modulop.h modulop_inl.h mpr_complex.cc mpr_complex.h mpr_global.h ntupel.cc ntupel.h numbers.cc numbers.h rintegers.cc rintegers.h rintegers2.cc rintegers3.cc rmodulo2m.cc rmodulo2m.h rmodulon.cc rmodulon.h shortfl.cc shortfl.h si_gmp.h ► misc Miscellaneous things auxiliary.h All the auxiliary stuff distrib.h int64vec.cc int64vec.h intvec.cc intvec.h mylimits.h options.c options.h prime.cc prime.h sirandom.c sirandom.h ► polys ► ext_fields algext.cc algext.h transext.cc transext.h ► monomials maps.cc maps.h monomials.h p_polys.cc p_polys.h ring.cc ring.h ► nc gb_hack.h nc.h ncSACache.cc ncSACache.h ncSAFormula.cc ncSAFormula.h ncSAMult.cc ncSAMult.h old.gring.cc sca.cc sca.h summator.cc summator.h ► operations p_Mult_q.cc p_Mult_q.h pShallowCopyDelete.cc pShallowCopyDelete.h ► templates p_Add_q__T.cc p_Copy__T.cc p_Delete__T.cc p_kBucketSetLm__T.cc p_MemAdd.h p_MemCmp.h p_MemCopy.h p_Merge_q__T.cc p_Minus_mm_Mult_qq__T.cc p_Mult_mm__T.cc p_Mult_nn__T.cc p_Neg__T.cc p_Numbers.h p_Procs.h p_Procs_Dynamic.cc p_Procs_Dynamic.h p_Procs_Impl.h p_Procs_Lib.cc p_Procs_Set.h p_Procs_Static.cc p_Procs_Static.h p_ShallowCopyDelete__T.cc pp_Mult_Coeff_mm_DivSelect__T.cc pp_Mult_Coeff_mm_DivSelectMult__T.cc pp_Mult_mm__T.cc pp_Mult_mm_Noether__T.cc pp_Mult_nn__T.cc clapconv.cc clapconv.h clapsing.cc clapsing.h flint_mpoly.cc flint_mpoly.h flintconv.cc flintconv.h This file is work in progress and currently not part of the official Singular kbuckets.cc kbuckets.h matpol.cc matpol.h mod_raw.cc mod_raw.h p_Procs_Generate.cc pCoeff.cc pCoeff.h pDebug.cc PolyEnumerator.cc PolyEnumerator.h Concrete implementation of enumerators over polynomials polys0.cc prCopy.cc prCopy.h prCopyMacros.h prCopyTemplate.cc sbuckets.cc sbuckets.h shiftop.cc shiftop.h simpleideals.cc simpleideals.h sparsmat.cc sparsmat.h weight.cc weight.h weight0.cc ► reporter Reporter dError.cc reporter.cc reporter.h s_buff.cc s_buff.h si_signals.h ► tests ► cxxtest Descriptions.cpp Descriptions.h DummyDescriptions.cpp DummyDescriptions.h ErrorFormatter.h ErrorPrinter.h Flags.h GlobalFixture.cpp GlobalFixture.h Gui.h LinkedList.cpp LinkedList.h Mock.h ParenPrinter.h QtGui.h RealDescriptions.cpp RealDescriptions.h Root.cpp SelfTest.h StdHeaders.h StdioFilePrinter.h StdioPrinter.h StdValueTraits.h TeeListener.h TestListener.h TestRunner.h TestSuite.cpp TestSuite.h TestTracker.cpp TestTracker.h ValueTraits.cpp ValueTraits.h Win32Gui.h X11Gui.h YesNoRunner.h coeffs_test.h common.h polys_test.h rings_test.h simple_test.h ► omalloc Singular memory manager for small chunks (omalloc) om_Alloc.c omalloc.c omalloc.h omalloc_debug.c omalloc_provide.c omallocClass.cc omallocClass.h omAllocDecl.h omAllocFunc.c omAllocFunc.h omAllocPrivate.h omAllocSystem.c omAllocSystem.h omBin.c omBin.h omBinPage.c omBinPage.h omDebug.c omDebug.h omDebugCheck.c omDebugTrack.c omError.c omError.h omGetBackTrace.c omGetBackTrace.h omGetPageSize.h omInline.h omInlineDecl.h omList.c omList.h omMalloc.h omMallocSystem.h omMemOps.h omMmap.c omOpts.c omOpts.h omPage.h omRet2Info.c omRet2Info.h omReturn.h omStats.c omStats.h omStructs.h omTables.c omTables1.c omtTest.c omtTest.h omtTestAlloc.c omtTestDebug.c omtTestError.c omtTestKeep.c omtTestReal.c xalloc.h ► resources System environment and resource management feFopen.cc feFopen.h fegetopt.c fegetopt.h feResource.cc feResource.h omFindExec.c omFindExec.h ► Singular Singular Interpreter and related functionality ► dyn_modules ► bigintm dynmodules_bigintm_page bigintm.cc bigintm.h mod_main.cc ► cohomo cohomo.cc cohomo.h ► customstd customstd.cc ► freealgebra freealgebra.cc ► gfanlib dynmodules_gfanlib_page adjustWeights.cc adjustWeights.h bbcone.cc bbcone.h bbfan.cc bbfan.h bbpolytope.cc bbpolytope.h callgfanlib_conversion.cc callgfanlib_conversion.h containsMonomial.cc containsMonomial.h flip.cc flip.h gfan.h gfanlib.cc gfanlib_exceptions.h groebnerComplex.cc groebnerComplex.h groebnerCone.cc groebnerCone.h Implementation of the class groebnerCone groebnerFan.cc groebnerFan.h initial.cc initial.h lift.cc lift.h ppinitialReduction.cc ppinitialReduction.h singularWishlist.cc singularWishlist.h startingCone.cc startingCone.h std_wrapper.cc std_wrapper.h tropical.cc tropical.h tropicalCurves.cc tropicalCurves.h tropicalDebug.cc tropicalDebug.h tropicalStrategy.cc tropicalStrategy.h Implementation of the class tropicalStrategy tropicalTraversal.cc tropicalTraversal.h tropicalVariety.cc tropicalVariety.h tropicalVarietyOfIdeals.cc tropicalVarietyOfIdeals.h tropicalVarietyOfPolynomials.cc tropicalVarietyOfPolynomials.h witness.cc witness.h ► gitfan gitfan.cc gitfan.h ► interval interval.cc interval.h ► loctriv loctriv.cc ► machinelearning ► tests test_bufsize.c test_init_ml.c machinelearning.cc mlpredict.c Functions for using python to do machine learning in Singular mlpredict.h Function definitions for using python to do machine learning in Singular ► Order lattice.cc lattice.h nforder.cpp nforder.h nforder_elt.cc nforder_elt.h nforder_ideal.cc nforder_ideal.h singular.cc temptest.cc temptest.h ► partialgb partialgb.cc ► polymake dynmodules_polymake_page polymake_conversion.cc polymake_conversion.h polymake_documentation.cc polymake_documentation.h polymake_wrapper.cc ► pyobject dynmodules_pyobject_page pyobject.cc ► python CF_wrap.cc CF_wrap.h Ideal.h ideal_wrap.cc ideal_wrap.h IIntvec.h interpreter_support.cc interpreter_support.h intvec_wrap.cc intvec_wrap.h Number.h number_wrap.cc number_wrap.h playground.cc Poly.h poly_wrap.cc poly_wrap.h PowerSeries.h python_module.cc ring_wrap.cc ring_wrap.h vector_wrap.cc vector_wrap.h wrapper.h ► singmathic dynmodules_singmathic_page singmathic.cc ► sispasm sispasm.cc ► staticdemo staticdemo.cc ► subsets subsets.cc ► systhreads doc basictest.cc bytebuf.cc bytebuf.h channel.h libthread.h lintree.cc lintree.h shared.cc singthreads.h syncvar.h thread.cc thread.h threadconf.h ► syzextra dynmodules_syzextra_page mod_main.cc syzextra.h Computation of Syzygies ► links asciiLink.cc dbm_sl.h ndbm.cc ndbm.h pipeLink.cc pipeLink.h semaphore.c silink.cc silink.h simpleipc.h sing_dbm.cc sing_dbm.h slInit.h slInit_Dynamic.cc slInit_Static.cc ssiLink.cc ssiLink.h ► svd ► libs amp.cpp amp.h ap.cpp ap.h stdafx.h ► tests testsvdunit.h bdsvd.h bidiagonal.h blas.h lq.h qr.h reflections.h rotations.h svd.h attrib.cc attrib.h blackbox.cc blackbox.h calcSVD.cc checklibs.c claptmpl.cc cntrlc.cc cntrlc.h countedref.cc countedref.h This file defines reusable classes supporting reference counted interpreter objects and initiates the blackbox operations for high-level types 'reference' and 'shared' denom_list.cc eigenval_ip.cc eigenval_ip.h emacs.cc extra.cc febase.cc fehelp.cc fehelp.h feOpenWinntUrl.c feOpt.cc feOpt.h feOptGen.cc feOptGen.h feOptTab.h fevoices.cc fevoices.h fglm.cc fglm.h gentable.cc gms.cc gms.h grammar.cc grammar.h idrec.h iparith.cc ipassign.cc ipconv.cc ipconv.h ipid.cc ipid.h iplib.cc ipprint.cc ipprint.h ipshell.cc ipshell.h libparse.cc libparse.h libsingular.h linearAlgebra_ip.cc linearAlgebra_ip.h lists.cc lists.h locals.h maps_ip.cc maps_ip.h misc_ip.cc This file provides miscellaneous functionality misc_ip.h This file provides miscellaneous functionality mmalloc.h mmstd.c mod_lib.cc mod_lib.h newstruct.cc newstruct.h number2.cc number2.h pcv.cc pcv.h pyobject_setup.cc pyobject_setup.h scanner.cc sdb.cc sdb.h sprof.c stype.h subexpr.cc subexpr.h svd_si.h table.h tesths.cc tok.h utils.cc utils.h walk.cc walk.h walk_ip.cc wrapper.cc ► templates template.c template.cc This file implements the class Template template.h This file defines the class Template templateForC.h This is our template for C headers test.h Let's try to put parameters where they should be, compare F1 and F2
