source: git/kernel/GBEngine/kverify.h @ 8e8744

fieker-DuValspielwiese
Last change on this file since 8e8744 was 930719, checked in by Hans Schoenemann <hannes@…>, 3 years ago
separate serial/parallel kVerify*, avoid fork on cygwin
  • Property mode set to 100644
File size: 175 bytes
Line 
1#ifndef KVERIFY_H
2#define KVERIFY_H
3#include "polys/simpleideals.h"
4BOOLEAN kVerify1(ideal F, ideal Q); /* seriell*/
5BOOLEAN kVerify2(ideal F, ideal Q); /* parallel */
6#endif
Note: See TracBrowser for help on using the repository browser.