include Directory Reference
+ Directory dependency graph for include:

Directories

directory  factory
 Multivariate polynomial factorization (factory)