Changeset f3adf3 in git for factory/facAbsFact.cc
- Timestamp:
- Jul 3, 2020, 11:34:36 AM (3 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 4946e35d65284bf8331bb39f8665243b19ddc573
- Parents:
- b287470827373f8b355e6acb8f830baa5b3e88d1
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/facAbsFact.cc
rb28747 rf3adf3 30 30 #ifdef HAVE_FLINT 31 31 #include "FLINTconvert.h" 32 #endif33 #ifdef HAVE_NTL34 #include "NTLconvert.h"35 #include <NTL/LLL.h>36 32 #endif 37 33
Note: See TracChangeset
for help on using the changeset viewer.