*.m2 loaded by ../NumericalAlgebraicGeometry.m2 :

     extraNAGtypes				-- NAGtypes that are not shared (yet) by other numerical packages
     track					-- core homotopy tracking routines
     refine 					-- refining/sharpening routines 
     BSS-certified				-- certified tracking that emulates Blum-Shub-Smale machine
     0-dim-methods				-- routines for 0-dim solution sets 
     decomposition				-- numerical irreducible decomposition
     witness-set				-- witness set manipulation routines 
     positive-dim-methods			-- routines for positive-dimensional solution sets 
     npd					-- numerical primary decomposition
     polynomial-space 				-- PolySpace and DualSpace operations
     
doc.m2		-- documentation

SYSTEMS/	-- examples of systems of polynomials: 
		-- load "SYSTEM/examplename.m2" makes F = list of polynomials
TST/		-- tests: loaded by the package via TEST

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/ ???

external_software_test.m2      -- TO DO: eliminate



