This directory contains

  * dynev.spad  --> axiom code for dynamic evaluation
  
  * daclos.spad --> axiom code for dynamic algebraic closure

  * dcclos.spad --> axiom code for dynamic constructible closure

  * dcharger.input --> to load what is needed for dynamic evaluation

  * acharger.input --> to load what is needed for algebraic closure

  * ccharger.input --> to load what is needed for constructible closure

Then
  * for dynamic algebraic closure     --> )read acharger
  * for dynamic constructible closure --> )read ccharger
