| 1 | // $Id: all.lib,v 1.31 2000-12-22 13:37:10 greuel Exp $ |
|---|
| 2 | /////////////////////////////////////////////////////////////////////////////// |
|---|
| 3 | version="$Id: all.lib,v 1.31 2000-12-22 13:37:10 greuel Exp $"; |
|---|
| 4 | category="General purpose"; |
|---|
| 5 | info=" |
|---|
| 6 | LIBRARY: all.lib Load all libraries |
|---|
| 7 | |
|---|
| 8 | General purpose |
|---|
| 9 | general_lib: ELEMENTARY COMPUTATIONS OF GENERAL TYPE |
|---|
| 10 | inout_lib: PRINTING AND MANIPULATING IN- AND OUTPUT |
|---|
| 11 | poly_lib: CREATING AND MANIPULATING POLYS, IDEALS, MODULES |
|---|
| 12 | random_lib: CREATING RANDOM AND SPARSE MATRICES, IDEALS, POLYS |
|---|
| 13 | ring_lib: MANIPULATING RINGS AND MAPS |
|---|
| 14 | |
|---|
| 15 | Linear algebra |
|---|
| 16 | jordan_lib: JORDAN NORMAL FORM OF A MATRIX WITH RATIONAL EIGENVALUES |
|---|
| 17 | linalg_lib: ALGORITHMIC LINEAR ALGEBRA |
|---|
| 18 | matrix_lib: ELEMENTARY MATRIX OPERATIONS |
|---|
| 19 | |
|---|
| 20 | Commutative algebra |
|---|
| 21 | algebra_lib: COMPUTE WITH ALGBRAS AND ALGEBRA MAPS |
|---|
| 22 | elim_lib: ELIMINATION, SATURATION AND BLOWING UP |
|---|
| 23 | homolog_lib: HOMOLOGICAL ALGEBRA AND CUP PRODUCT |
|---|
| 24 | intprog_lib: INTEGER PROGRAMMING WITH GROEBNER BASIS METHODS |
|---|
| 25 | mregular_lib: CASTELNUOVO-MUMFORD REGULARITY OF CM-SCHEMES AND CURVES |
|---|
| 26 | normal_lib: NORMALIZATION OF AN AFFINE RING |
|---|
| 27 | primdec_lib: PRIMARY DECOMPOSITION AND RADICAL OF IDEALS |
|---|
| 28 | primitiv_lib: COMPUTING A PRIMITIVE ELEMENT |
|---|
| 29 | reesclos_lib: REES ALGEBRA AND INTEGRAL CLOSURE OF IDEALS |
|---|
| 30 | toric_lib: STANDARD BASIS OF TORIC IDEALS |
|---|
| 31 | |
|---|
| 32 | Singularities |
|---|
| 33 | classify_lib: ARNOLD CLASSIFIER OF SINGULARTIES |
|---|
| 34 | deform_lib: MINIVERSAL DEFORMATION OF SINGULARITIES AND MODULES |
|---|
| 35 | equising_lib: EQUISINGULARITY STRATUM OF A FAMILY OF PLANE CURVES |
|---|
| 36 | gaussman_lib: GAUSS-MANIN CONNECTION OF A HYPERSURFACE SINGULARITY |
|---|
| 37 | hnoether_lib: HAMBURGER-NOETHER (PUISEUX) DEVELOPMENT |
|---|
| 38 | mondromy_lib: MONODROMY OF AN ISOLATED HYPERSURFACE SINGULARITY |
|---|
| 39 | qhmoduli.lib: MODULI SPACES OF SEMI-QUASIHOMOGENEOUS SINGULARITIES |
|---|
| 40 | sing_lib: INVARIANTS OF SINGULARITIES |
|---|
| 41 | spcurve_lib: DEFORMATIONS AND INVARIANTS OF CM-CODIM 2 SINGULARITIES |
|---|
| 42 | spectrum_lib: SINGULARITY SPECTRA FOR NONDEGENERATE SINGULARITIES |
|---|
| 43 | |
|---|
| 44 | Invariant theory |
|---|
| 45 | ainvar_lib: INVARIANTS RINGS OF THE ADDITIVE GROUP |
|---|
| 46 | finvar_lib: INVARIANT RINGS OF FINITE GROUPS |
|---|
| 47 | rinvar_lib: INVARIANT RINGS OF REDUCTIVE GROUPS |
|---|
| 48 | stratify_lib: ALGORITHMIC STRATIFICATION FOR UNIPOTENT GROUP-ACTIONS |
|---|
| 49 | |
|---|
| 50 | Symbolic-numerical solving |
|---|
| 51 | ntsolve_lib: REAL NEWTON SOLVING OF POLYNOMIAL SYSTEMS |
|---|
| 52 | presolve_lib: PRE-SOLVING OF POLYNOMIAL EQUATIONS |
|---|
| 53 | solve_lib: COMPLEX SOLVING OF POLYNOMIAL SYSTEMS |
|---|
| 54 | triang_lib: DECOMPOSE ZERO-DIMENSIONAL IDEALS INTO TRIANGULAR SETS |
|---|
| 55 | zeroset_lib: procedures for roots and factorization |
|---|
| 56 | |
|---|
| 57 | Visualization |
|---|
| 58 | graphics_lib: PROCEDURES TO USE GRAPHICS WITH MATHEMATICA |
|---|
| 59 | latex_lib: TYPESETTING OF SINGULAR-OBJECTS IN LATEX2E |
|---|
| 60 | paramet_lib: PARAMETRIZATION OF VARIETIES |
|---|
| 61 | surf_lib: PROCEDURES FOR GRAPHICS WITH SURF |
|---|
| 62 | |
|---|
| 63 | Coding theory |
|---|
| 64 | brnoeth_lib: BRILL-NOETHER ALGORITHM, WEIERSTRASS-SG AND AG-CODES |
|---|
| 65 | |
|---|
| 66 | Miscellaneous |
|---|
| 67 | makedbm_lib: DATA BASE OF SINGULARITIES FOR THE ARNOLD-CLASSIFIER |
|---|
| 68 | template_lib: A TEMPLATE FOR A SINGULAR LIBRARY |
|---|
| 69 | |
|---|
| 70 | Utilities |
|---|
| 71 | tst_lib: PROCEDURES FOR RUNNING AUTOMATIC TST TESTS |
|---|
| 72 | "; |
|---|
| 73 | |
|---|
| 74 | /////////////////////////////////////////////////////////////////////////////// |
|---|
| 75 | |
|---|
| 76 | //General purpose |
|---|
| 77 | LIB "general.lib"; |
|---|
| 78 | LIB "inout.lib"; |
|---|
| 79 | LIB "poly.lib"; |
|---|
| 80 | LIB "random.lib"; |
|---|
| 81 | LIB "ring.lib"; |
|---|
| 82 | //Linear algebra |
|---|
| 83 | LIB "matrix.lib"; |
|---|
| 84 | LIB "jordan.lib"; |
|---|
| 85 | LIB "linalg.lib"; |
|---|
| 86 | //Commutative algebra |
|---|
| 87 | LIB "algebra.lib"; |
|---|
| 88 | LIB "elim.lib"; |
|---|
| 89 | LIB "homolog.lib"; |
|---|
| 90 | LIB "mregular.lib"; |
|---|
| 91 | LIB "normal.lib"; |
|---|
| 92 | LIB "primdec.lib"; |
|---|
| 93 | LIB "primitiv.lib"; |
|---|
| 94 | LIB "reesclos.lib"; |
|---|
| 95 | LIB "intprog.lib"; |
|---|
| 96 | LIB "toric.lib"; |
|---|
| 97 | //Singularities |
|---|
| 98 | LIB "classify.lib"; |
|---|
| 99 | LIB "deform.lib"; |
|---|
| 100 | LIB "equising.lib"; |
|---|
| 101 | LIB "gaussman.lib"; |
|---|
| 102 | LIB "hnoether.lib"; |
|---|
| 103 | LIB "mondromy.lib"; |
|---|
| 104 | LIB "qhmoduli.lib"; |
|---|
| 105 | LIB "sing.lib"; |
|---|
| 106 | LIB "spcurve.lib"; |
|---|
| 107 | LIB "spectrum.lib"; |
|---|
| 108 | //Invariant theory |
|---|
| 109 | LIB "ainvar.lib"; |
|---|
| 110 | LIB "finvar.lib"; |
|---|
| 111 | LIB "rinvar.lib"; |
|---|
| 112 | LIB "stratify.lib"; |
|---|
| 113 | //Symbolic-numerical solving |
|---|
| 114 | LIB "presolve.lib"; |
|---|
| 115 | LIB "solve.lib"; |
|---|
| 116 | LIB "triang.lib"; |
|---|
| 117 | LIB "ntsolve.lib"; |
|---|
| 118 | LIB "zeroset.lib"; |
|---|
| 119 | //Visualization |
|---|
| 120 | LIB "graphics.lib"; |
|---|
| 121 | LIB "latex.lib"; |
|---|
| 122 | LIB "surf.lib"; |
|---|
| 123 | LIB "paramet.lib"; |
|---|
| 124 | //Coding theory |
|---|
| 125 | LIB "brnoeth.lib"; |
|---|
| 126 | //Miscellaneous |
|---|
| 127 | LIB "makedbm.lib"; |
|---|
| 128 | LIB "template.lib"; |
|---|
| 129 | //Utilities |
|---|
| 130 | LIB "tst.lib"; |
|---|
| 131 | |
|---|
