Experimental code for polynomial construction.

478066f7 · Alan Mishchenko · 9ac7b05e · 478066f7 · 478066f7 · 478066f7
Commit 478066f7 authored Sep 03, 2016 by Alan Mishchenko
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

abclib.dsp
+8 -0

src/proof/acec/acecPo.c
+0 -0

src/proof/acec/acecRe.c
+0 -0

No files found.
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5371,10 +5371,18 @@ SOURCE=.\src\proof\acec\acecOrder.c
 # End Source File
 # Begin Source File
+SOURCE=.\src\proof\acec\acecPo.c
+# End Source File
+# Begin Source File
 SOURCE=.\src\proof\acec\acecPolyn.c
 # End Source File
 # Begin Source File
+SOURCE=.\src\proof\acec\acecRe.c
+# End Source File
+# Begin Source File
 SOURCE=.\src\proof\acec\acecUtil.c
 # End Source File
 # End Group

--- a/src/proof/acec/acecPo.c
+++ b/src/proof/acec/acecPo.c
--- a/src/proof/acec/acecRe.c
+++ b/src/proof/acec/acecRe.c