This directory contains

  * dcc*.input    --> test files for dynamic constructible closure

      dcccurve -> for singular points on a curve
                  (without dynamic constructible singular points package) 
      dccgeo   -> for automatic theorem proving in elementary geometry
      dccpara  -> simple exemple for parametrizing a curve
      dccrank  -> simple exemple for using an AXIOM function with parameters
      dccsis1  -> for solving a linear system
      dccvar4  -> for solving a polynomial system
                  (without dynamic solve package)

  * dcsolex.input --> test file for dynamic solve package
  
  * dcsing.input  --> test file for dynamic constructible singular points
                       package

