1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
.m2 files loaded by ../NumericalAlgebraicGeometry.m2 :
0-dim-methods -- routines for 0-dim solution sets
BSS-certified -- certified tracking that emulates Blum-Shub-Smale machine
SLP -- (deprecated) preSLPs, old way of handling straight line programs
decomposition -- numerical irreducible decomposition
deflation -- deflation (0- and positive-dimensional)
doc.m2 (and numericalAG.simpledoc) -- documentation
extraNAGtypes -- NAGtypes that are not shared (yet) by other numerical packages
intersection -- intersection of two numerical varieties
npd -- numerical primary decomposition
polynomial-space -- PolySpace and DualSpace operations
positive-dim-methods -- routines for positive-dimensional solution sets
refine -- refining/sharpening routines
track -- core homotopy tracking routines
witness-set -- witness set manipulation routines
SYSTEMS/ -- examples of systems of polynomials:
-- load "SYSTEM/examplename.m2" makes F = list of polynomials
TST/ -- tests loaded by the package via TEST, other tests
PHCpack/ -- interface wrappers for PHCpack
Bertini/ -- interface wrappers for Bertini
hom4ps2_in_out -- a helper script for HOM4PS2 wrapper
-- TO DO: check if still works... Does anybody want to develop an interface?
certifiedNAG.m2 -- implementation of the algorithm from
-- Beltran, Leykin. "Robust certified numerical homotopy continuation"
-- (not connected to the package)
benchmarks.m2 -- a script used to benchmark internal and external 0-dim solvers
-- TO DO: move examples to SYSTEMS/, create BENCHMARKS/ ???
showcase.m2 -- interesting examples
-- TO DO: split up in several "topics", create SHOWCASE/ ???
|
