source: git/Singular/LIB/all.lib @ 16ad44

// $Id: all.lib,v 1.46 2005-06-06 11:26:46 Singular Exp $
///////////////////////////////////////////////////////////////////////////////
version="$Id: all.lib,v 1.46 2005-06-06 11:26:46 Singular Exp $";
category = "General purpose";
info="
LIBRARY:  all.lib   Load all libraries (commutative case)

@format
General purpose
  general_lib:     Elementary Computations of General Type
  inout_lib:       Printing and Manipulating In- and Output
  poly_lib:        Procedures for Manipulating Polys, Ideals, Modules
  random_lib:      Creating Random and Sparse Matrices, Ideals, Polys
  ring_lib:        Manipulating Rings and Maps

Linear algebra
  linalg_lib:      Algorithmic Linear Algebra
  matrix_lib:      Elementary Matrix Operations

Commutative algebra
  algebra_lib:     Compute with Algbras and Algebra Maps
  elim_lib:        Elimination, Saturation and Blowing up
  grwalk_lib:      Groebner Walk Conversion Algorithms
  homolog_lib:     Procedures for Homological Algebra
  intprog_lib:     Integer Programming with Groebner Basis Methods
  lll_lib:         Integral LLL-Algorithm
  mprimdec_lib:    Primary Decomposition of Modules
  mregular_lib:    Castelnuovo-Mumford Regularity of CM-Schemes and Curves
  normal_lib:      Normalization of Affine Rings
  primdec_lib:     Primary Decomposition and Radical of Ideals
  primitiv_lib:    Computing a Primitive Element
  reesclos_lib:    Rees Algebra and Integral Closure of Ideals
  resol_lib:       Resolution of Singularities
  toric_lib:       Standard Basis of Toric Ideals
  zeta_lib:        Applications of Resolution of Singularities

Singularities
  alexpoly_lib:    Resolution Graph and Alexander Polynomial
  classify_lib:    Arnold Classifier of Singularities
  deform_lib:      Miniversal Deformation of Singularities and Modules
  equising_lib:    Equisingularity Stratum of a Family of Plane Curves
  gmssing_lib:     Gauss-Manin System of Isolated Singularities
                   (obsoletes gaussman_lib)
  gmspoly.lib:     Gauss-Manin System of Tame Polynomials
  hnoether_lib:    Hamburger-Noether (Puiseux) Development
  mondromy_lib:    Monodromy of an Isolated Hypersurface Singularity
  qhmoduli_lib:    Moduli Spaces of Semi-Quasihomogeneous Singularities
  sing_lib:        Invariants of Singularities
  spcurve_lib:     Deformations and Invariants of CM-codim 2 Singularities
  spectrum_lib:    Singularity Spectrum for Nondegenerate Singularities

Invariant theory
  ainvar_lib:      Invariant Rings of the Additive Group
  finvar_lib:      Invariant Rings of Finite Groups
  rinvar_lib:      Invariant Rings of Reductive Groups
  stratify_lib:    Algorithmic Stratification for Unipotent Group-Actions

Symbolic-numerical solving
  rootsmr_lib:     Number of Real Roots of Polynomial Systems
  ntsolve_lib:     Real Newton Solving of Polynomial Systems
  presolve_lib:    Pre-Solving of Polynomial Equations
  signcond_lib:    Computing realizable sign conditions
  solve_lib:       Complex Solving of Polynomial Systems
  triang_lib:      Decompose Zero-dimensional Ideals into Triangular Sets
  rootsur_lib:     Counting number of real roots of univariate polynomial
  zeroset_lib:     Procedures For Roots and Factorization

Visualization
  graphics_lib:    Procedures to use Graphics with Mathematica
  latex_lib:       Typesetting of Singular-Objects in LaTex2e
  surf_lib:        Procedures for Graphics with Surf

Coding theory
  brnoeth_lib:     Brill-Noether Algorithm, Weierstrass-SG and AG-codes

System and Control Theory
  control_lib:     Algebraic analysis tools for System and Control Theory

Miscellaneous
  makedbm_lib:     Data Base of Singularities for the Arnold-Classifier


Noncommutative
  To load all libraries for the non-commutative case (Plural), please load
  the library ncall.lib.

@end format
";

///////////////////////////////////////////////////////////////////////////////

//General purpose
LIB "general.lib";
LIB "inout.lib";
LIB "poly.lib";
LIB "random.lib";
LIB "ring.lib";
//Linear algebra
LIB "matrix.lib";
LIB "linalg.lib";
//Commutative algebra
LIB "algebra.lib";
LIB "elim.lib";
LIB "homolog.lib";
LIB "lll.lib";
LIB "mprimdec.lib";
LIB "mregular.lib";
LIB "normal.lib";
LIB "primdec.lib";
LIB "primitiv.lib";
LIB "reesclos.lib";
LIB "resol.lib";
LIB "zeta.lib";
LIB "intprog.lib";
LIB "toric.lib";
LIB "grwalk.lib";
//Singularities
LIB "alexpoly.lib";
LIB "classify.lib";
LIB "deform.lib";
LIB "equising.lib";
LIB "gmssing.lib";
LIB "gmspoly.lib";
LIB "hnoether.lib";
LIB "mondromy.lib";
LIB "qhmoduli.lib";
LIB "sing.lib";
LIB "spcurve.lib";
LIB "spectrum.lib";
//Invariant theory
LIB "ainvar.lib";
LIB "finvar.lib";
LIB "rinvar.lib";
LIB "stratify.lib";
//Symbolic-numerical solving
LIB "presolve.lib";
LIB "solve.lib";
LIB "signcond.lib";
LIB "triang.lib";
LIB "rootsur.lib";
LIB "rootsmr.lib";
LIB "ntsolve.lib";
LIB "zeroset.lib";
//Visualization
LIB "graphics.lib";
LIB "latex.lib";
LIB "surf.lib";
//Coding theory
LIB "brnoeth.lib";
//System and Control Theory
LIB "control.lib";
//Miscellaneous
LIB "makedbm.lib";