1 /*++
2 Copyright (c) 2012 Microsoft Corporation
3 
4 Module Name:
5 
6     api_polynomial.h
7 
8 Abstract:
9 
10     Polynomial manager and caches for the external API.
11 
12 Author:
13 
14     Leonardo de Moura (leonardo) 2012-12-08
15 
16 Notes:
17 
18 --*/
19 #pragma once
20 
21 #include "math/polynomial/polynomial.h"
22 
23 namespace api {
24 
25     class pmanager final {
26         unsynch_mpz_manager m_nm;
27         polynomial::manager m_pm;
28         // TODO: add support for caching expressions -> polynomial and back
29     public:
30         pmanager(reslimit& lim) : m_pm(lim, m_nm) {}
31         ~pmanager() {}
32         polynomial::manager & pm() { return m_pm; }
33     };
34 
35 };
36 
37