Changeset 79b554 in git for kernel/GBEngine/kstd1.h

Timestamp:

Oct 7, 2020, 5:56:47 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

988d20a7d255148ce6f67c75c02013e707e97640

Parents:

86377be63ce8adb31c04a1d88be04adb1b9eaea7

Message:

fix: do not call startNmz without writeNmzPaths() before

File:

• kernel/GBEngine/kstd1.h (modified) (1 diff)

kernel/GBEngine/kstd1.h

@@ -65 +65 @@
               intvec *hilb=NULL, int syzComp=0,int reduced=0);
 
+BOOLEAN kVerify(ideal F,ideal Q);
 
 EXTERN_VAR intvec * kModW;