**Project 6** (Computations with Algebraic Varieties based on T

RIADE)

*Based on the MAPLE or AXIOM version of TRIADE,
the aim is to write a package for manipulating algebraic varieties.
Each algebraic variety will be encoded by a square-free triangular decomposition.
To save on the cost of factorization, these triangular decompositions will
not be necessarily prime decompositions.
The main operations provided by the package will be =, , ,
and the (explicit) Zariski closure of a quasi-component.
*