1 | // $Id: all.lib,v 1.29 2000-12-15 16:20:44 Singular Exp $ |
---|
2 | /////////////////////////////////////////////////////////////////////////////// |
---|
3 | |
---|
4 | version="$Id: all.lib,v 1.29 2000-12-15 16:20:44 Singular Exp $"; |
---|
5 | info=" |
---|
6 | LIBRARY: all.lib Load all libraries |
---|
7 | |
---|
8 | General purpose |
---|
9 | general_lib:: procedures of general type |
---|
10 | inout_lib:: procedures for manipulating in- and output |
---|
11 | poly_lib:: procedures for manipulating polynomials and ideals |
---|
12 | random_lib:: procedures of random/sparse matrix and poly operations |
---|
13 | ring_lib:: procedures for manipulating rings and maps |
---|
14 | |
---|
15 | Linear algebra |
---|
16 | matrix_lib:: procedures for matrix operations |
---|
17 | jordan_lib:: procedures to compute the jordan normal form |
---|
18 | linalg_lib:: procedures for algorithmic linear algebra |
---|
19 | |
---|
20 | Commutative algebra |
---|
21 | algebra_lib:: procedures for computing with algebras and maps |
---|
22 | elim_lib:: procedures for elimination, saturation and blowing up |
---|
23 | homolog_lib:: procedures for homological algebra |
---|
24 | mregular_lib:: procedures for Castelnuovo-Mumford regularity |
---|
25 | normal_lib:: procedure for normalization |
---|
26 | primdec_lib:: procedures for primary decomposition |
---|
27 | primitiv_lib:: procedures for finding a primitive element |
---|
28 | reesclos_lib:: Rees Algebra and integral closure of an ideal |
---|
29 | intprog_lib:: Integer Programming |
---|
30 | toric_lib:: toric ideals |
---|
31 | |
---|
32 | Singularities |
---|
33 | classify_lib:: procedures for the Arnold-classifier of singularities |
---|
34 | deform_lib:: procedures for computing miniversal deformation |
---|
35 | equising_lib:: procedures for equisingularity strata |
---|
36 | gaussman_lib:: procedures for gauss-manin connection of a singularity |
---|
37 | hnoether_lib:: procedures for the Hamburger-Noether (Puiseux) development |
---|
38 | mondromy_lib:: procedures to compute the monodromy of a singularity |
---|
39 | sing_lib:: procedures for computing invariants of singularities |
---|
40 | spcurve_lib:: procedures for cm codimension 2 singularities |
---|
41 | spectrum_lib:: procedures for computing singularity spectra |
---|
42 | |
---|
43 | Invariant theory |
---|
44 | finvar_lib:: procedures to compute invariant rings of finite groups |
---|
45 | ainvar_lib:: procedures to compute invariants rings of the additive group |
---|
46 | rinvar_lib:: procedures to compute invariants ring of reductive groups |
---|
47 | |
---|
48 | Symbolic-numerical solving |
---|
49 | presolve_lib:: procedures for pre-solving polynomial equations |
---|
50 | solve_lib:: procedures to solve polynomial systems |
---|
51 | triang_lib:: procedures for decomposing zero-dimensional ideals |
---|
52 | ntsolve_lib:: one real solution of polynomial systems (Newton iteration) |
---|
53 | zeroset_lib:: procedures for roots and factorization |
---|
54 | |
---|
55 | Visualization |
---|
56 | graphics_lib:: procedures to draw with Mathematica |
---|
57 | latex_lib:: procedures for typesetting in TeX |
---|
58 | surf_lib:: interface to the surf programm:: |
---|
59 | |
---|
60 | Coding theory |
---|
61 | brnoeth_lib:: Brill-Noether algorithm, Weierstrass semigroups and AG codes |
---|
62 | "; |
---|
63 | |
---|
64 | /////////////////////////////////////////////////////////////////////////////// |
---|
65 | |
---|
66 | //General purpose |
---|
67 | LIB "general.lib"; |
---|
68 | LIB "inout.lib"; |
---|
69 | LIB "poly.lib"; |
---|
70 | LIB "random.lib"; |
---|
71 | LIB "ring.lib"; |
---|
72 | //Linear algebra |
---|
73 | LIB "matrix.lib"; |
---|
74 | LIB "jordan.lib"; |
---|
75 | LIB "linalg.lib"; |
---|
76 | //Commutative algebra |
---|
77 | LIB "algebra.lib"; |
---|
78 | LIB "elim.lib"; |
---|
79 | LIB "homolog.lib"; |
---|
80 | LIB "mregular.lib"; |
---|
81 | LIB "normal.lib"; |
---|
82 | LIB "primdec.lib"; |
---|
83 | LIB "primitiv.lib"; |
---|
84 | LIB "reesclos.lib"; |
---|
85 | LIB "intprog.lib"; |
---|
86 | LIB "toric.lib"; |
---|
87 | //Singularities |
---|
88 | LIB "classify.lib"; |
---|
89 | LIB "deform.lib"; |
---|
90 | LIB "equising.lib"; |
---|
91 | LIB "gaussman.lib"; |
---|
92 | LIB "hnoether.lib"; |
---|
93 | LIB "mondromy.lib"; |
---|
94 | LIB "sing.lib"; |
---|
95 | LIB "spcurve.lib"; |
---|
96 | LIB "spectrum.lib"; |
---|
97 | //Invariant theory |
---|
98 | LIB "finvar.lib"; |
---|
99 | LIB "ainvar.lib"; |
---|
100 | LIB "rinvar.lib"; |
---|
101 | //Symbolic-numerical solving |
---|
102 | LIB "presolve.lib"; |
---|
103 | LIB "solve.lib"; |
---|
104 | LIB "triang.lib"; |
---|
105 | LIB "ntsolve.lib"; |
---|
106 | LIB "zeroset.lib"; |
---|
107 | //Visualization |
---|
108 | LIB "graphics.lib"; |
---|
109 | LIB "latex.lib"; |
---|
110 | LIB "surf.lib"; |
---|
111 | //Coding theory |
---|
112 | LIB "brnoeth.lib"; |
---|
113 | |
---|
114 | |
---|