include Directory Reference
+ Directory dependency graph for include:

Directories

directory  factory
 
Multivariate polynomial factorization (factory)